For questions about modules over rings, concerning either their properties in general or regarding specific cases.

learn more… | top users | synonyms

1
vote
1answer
31 views

absolutely irreducible module

If L be lie algebra over F ( F is a field), I want to know what is the definition of absolutely irreducible FL-module? I have confused of several key words related to irreducible modules!? Is there ...
0
votes
1answer
35 views

Is this ring Noetherian

If $R=\{\frac m n\in{\mathbb{Q}}: \mbox{7 does not divide $n$}\}$. Is $R$ Noetherian? What i think is the ideals of $R$ are finitely generated. But how do i prove this, i have no idea. Can anyone ...
0
votes
1answer
23 views

Submodule Equality

I was wondering whether the following is true or not: Suppose $N$ and $L$ are submodules of $M$ with $N\subseteq L$. If $M/L\cong M/N$ then $L=N$. I am particularly curious about the case when ...
2
votes
1answer
33 views

Infinite dimensional Vector Spaces and Bases of Quotients

Given a basis $\mathcal{B}$ of an infinite dimensional vector space $V$, will a quotient of $V$ by a subspace $I$ necessarily have a basis? Is there a way of obtaining it using $\mathcal{B}$? My ...
0
votes
0answers
20 views

What is $M\otimes_\mathbf{Z}(N/P)\cong ?$

Let $A=\mathbf{Z}[G]$ where $G$ finite, and let $M,N,P$ be $A$-mods. Is there any particularly nice relationship for $M\otimes_\mathbf{Z}(N/P)$?
1
vote
1answer
33 views

Finding a suitable basis for a vector space

Let $k$ be a division ring and $V$ be a left $k$-vector space of infinite dimension. Let $E=\mathrm{End}(V)$, defined as a ring of right operators on $V$. My questions are: (1) Why $V$ is a simple ...
0
votes
1answer
62 views

$A\otimes_RB$ is an $R$-algebra

This is Proposition 21 on page 374 of Dummit and Foote's Algebra: If $A,\ B$ are $R$-algebras, that is, they are module which have a center containing $R$, then $A\otimes_R B$ is still so where $R$ ...
0
votes
1answer
15 views

Isomorphism of a torsion product and a quotioten of torsion product.

I have the following problem: If $A'$ a submodule of the right $R$-module $A$ and $B'$ a submodule of the left $R$-module $B$, then $A/A' \otimes B/B' \cong (A\otimes B)/C$ where $C$ is the ...
1
vote
0answers
21 views

Characterization of projective modules.

Show that $R$-module $P$ is projective, iff there exist a family $\{m_{\lambda}\}_{\lambda\in\Lambda}$ of elements of $P$ and homomorphisms $\{f_{\lambda}:P\rightarrow R \}_{\lambda\in\Lambda}$ ...
1
vote
1answer
72 views

Are $\mathbb{Q}$ or $\mathbb{Z}$ flat modules?

I have the following three question about flat modules. Why is not $\mathbb{Z}$ a flat $\mathbb{Z}$-module. Why is $\mathbb{Q}$ a flat module $\mathbb{Z}$-module. I need an example of a module which ...
2
votes
1answer
34 views

Tensor product and its homomorphisms.

Given $f:A_R\rightarrow A'_R$, $g:B_R\rightarrow B'_R$ R-module homomorphism we can define $f\otimes g: A\otimes_R B\rightarrow A'\otimes_R B'$ such that $(f\otimes g)(a\otimes b)=f(a)\otimes g(b)$ ...
1
vote
1answer
25 views

Help understanding statement relating to structure of modules over PIDs

Lemma IV.6.11 of Hungerford's Algebra is Lemma 6.11. Let $R$ be a principal ideal domain. If $r \in R$ factors as $r = p_1^{n_1} \cdots p_k^{n_k}$ with $p_1,\ldots,p_k \in R$ distinct primes and ...
1
vote
0answers
34 views

Why does $\rho_{\mathbf{Z}^t\otimes P}=\rho_R$ imply the isomorphsim of $\mathbf{Z}^t\otimes P\cong R$?

so I have happened upon a thesis regarding the calculations of various $\mathbf{Z}D_6$ modules and their isomorphisms and came across a technique which is bothering me. Let me give an example. Let ...
2
votes
0answers
78 views

If $R$ is a domain and $M$ a finitely generated $R$-module, is it true that $\bigcap_{f\in M^{*}}\ker{f}=\operatorname{Tor}M$?

Let $R$ be a domain and $M$ a finitely generated $R$-module. Let $M^{*}=\hom_{R}(M,R)$. Let Tor$M$ be the torsion submodule of $M$. It it true that $$\displaystyle\bigcap_{f\in ...
0
votes
1answer
35 views

$0\to L\to M\to N\to 0 $ is split if $0\to {\rm Hom}_R(D,L)\to {\rm Hom}_R(D,M)\to {\rm Hom}_R(D,N)\to 0$ is exact for any $D$.

Prove that $0\rightarrow L\rightarrow M\stackrel{\phi}\rightarrow N\rightarrow 0 $ is split if $$0\rightarrow {\rm Hom}_R(D,L)\rightarrow {\rm Hom}_R(D,M)\rightarrow {\rm Hom}_R(D,N)\rightarrow 0$$ ...
0
votes
0answers
47 views

Polynomial Ideals and Transverse modules

I have a given ideal and I want to find the "smallest" ideal so that when I add it to the original one, I get another certain ideal. Let $\mathcal{E}$ be the ring of smooth function germs ...
2
votes
2answers
62 views

Consider $\mathbf{Z}G$, $G$ finite. If the characters of two $\mathbf{Z}G$-modules are equal, does it follow that the modules are isomorphic?

So I have recently started to delve into integral representation theory and I was wondering if a particularly useful theorem survives the transition to integral rep theory. Basically, suppose we have ...
0
votes
2answers
56 views

Existence of module homomorphism $\phi : M \rightarrow N$ such that $\Phi =\phi^2$

This is a homework problem and I have solved part (a), but I am not sure how to approach part (b). Should I approach it the way how the universal property of free modules are defined? Any hint(s) ...
4
votes
1answer
130 views

Free modules basic understanding problem

I have been told that the $\mathbb{Z}$ module $\mathbb{Z}/2\mathbb{Z}=\{0,1\}$ isn't free. For a module to be free, there must exist a subset such that every element is expressible as a finite linear ...
1
vote
1answer
16 views

Irreducibles - difficulty with the definition

I'm working from the definition that in an integral domain $R$, an irreducible is an element $p$ such that if $p=xy$ then either $x$ or $y$ is a unit. In certain proofs on my course, the lecturer has ...
1
vote
1answer
29 views

Unqiue Factorization Domains, is the product finite?

Having looked around a bit, the most common definition of a UFD is an integral domain such that any element can be expressed as a product of a unit and irreducible elements, and that this ...
-1
votes
1answer
62 views

How does the free abelian group of $M \times N $ have $M\times N$ as basis in construction of tensor product of modules?

With M and N being R-modules, how does Z(M,N) have $M\times N$as a basis and therefore becomes a free abelian group? Consider the element n(m,0) for an element$\,m\in M $ of order n. This is zero ...
1
vote
1answer
55 views

Question concerning a list sorting problem

I have the following question: Let $a,b,c,d$ be four natural numbers with $a \leq b$ and $c\leq d$. I have written a program that produces a list, which has as entries all 2-tuples $(x,y)$ with ...
1
vote
0answers
53 views

Direct proof that $\mathbb{Z}/p\mathbb{Z}$ is not a flat $\mathbb{Z}/p^2\mathbb{Z}$-module.

I am trying to prove that $\mathbb{Z}/p\mathbb{Z}$ is not a flat $\mathbb{Z}/p\mathbb{Z}$-module. The reasoning I have is the following. We have an exact sequence $0 \to \mathbb{Z}/p\mathbb{Z} ...
0
votes
1answer
20 views

Finitely generated quotient module isomorphism

In an assignment, I was asked to prove that if $M$ is an $R$ module and $N\subseteq M$ is a submodule such that $M/N$ is finitely generated and free, then there exists a submodule $F$ of $M$ which is ...
1
vote
0answers
26 views

Example of a ring of finite global dimension with flat qu0tient

I've been thinking about this for quite a while but I cannot seem to find an example of If $k$ is a commutative ring of finite global dimension and I'm looking for a strictly not-commutative ...
1
vote
1answer
24 views

Inclusion induce an isomorphism

I have a small question If $E,F$ are two sub-modules of a module $G$, how to prove that the inclusion $E \rightarrow E+F$ induces an isomorphism $(E/E \cap F) \simeq (E + F) / F$ Please Thank you ...
2
votes
0answers
54 views

Structure theorem of modules in the graded case

I ran into an exercise in D. Passman's book A course in ring theory (page 130) asking me to prove the structure theorem of modules over PIDs in the graded case. Could anyone point me in the right ...
1
vote
1answer
22 views

Finitely generated quotient module

In an assignment question, I'm a bit stumped by the following: Let $R$ be a commutative ring, $M$ be an $R$-module and $N$ an $R$-submodule of $M$. I was first asked to prove that if both $N$ and ...
2
votes
3answers
64 views

Contrasting definitions of bimodules? An illusion?

Recently my definition of a bimodule over a $k$-algebra has been challenged and I believe both definitions to be equivalent, am I wrong? Notation: $k$ is a commutative ring and $A$ is a (unital ...
2
votes
1answer
133 views

Is there vector space $\mathbb R $ over $\mathbb R $ with dimension $m\neq1$?

I am searching a new scalar product that with this scalar product the vector space $\mathbb R $over $\mathbb R $ with ordinary vector sum has dimension $m$ , which $m$ is any arbitrary natural ...
-1
votes
1answer
105 views

Any module is the colimit of its finitely generated submodules.

Fact A : If $E_i$ is a directed system of $R$-modules, and $F$ is another $R$-module. Then $$\varinjlim(F\otimes E_{i})=F\otimes(\varinjlim E_{i}).$$ Fact B : "Every module is a direct limit of its ...
1
vote
1answer
46 views

Question about Universal Mapping Property

Now I seem to understand the construction of the tensor product of $R$-Modules by defining $$F_R(M \times N) := \bigoplus_{(m,n) \in M \times N} R\delta_{(m,n)}$$ and constructing the submodule $D$ in ...
2
votes
3answers
129 views

Isomorphic quotient of a module over Noetherian commutative ring

I have a nice solution to the following problem and I thought of writing a paper about it but beforehand, I wanted to ask the problem here to see if this is an easy problem and if you people can solve ...
0
votes
0answers
16 views

$f_I(R)$ and $ f_I(M)$

The question is special case of this question. So, for background, see it. Is there a relation between $f_I(R)$ and $ f_I(M)$ ? Any hint, reference will be helpful. Thanks.
1
vote
0answers
64 views

Tensor product of free modules over free algebra

Suppose $M$ and $N$ are modules over a (commutative, unital) ring $S$. Let $R$ be a subring of $S$ such that $S,M$ and $N$ are all free, finitely generated modules over $R$. Question: Under what ...
2
votes
0answers
50 views

How are 'irreducible' elements called in module theory?

Let $R$ be a 'nice' ring (whatever that means, I guess commutative with unity $1_R$) and let $M$ be an $R$--module. Is there a name for the following property? An element $m \in M$ is called ... iff. ...
0
votes
1answer
79 views

Rank of a module when the base ring is not a domain

Suppose $R$ is a commutative Noetherian local ring with $1$, which is not a domain. Let $M$ be a (non-free) finite $R$-module. What is meant by rank of $M$ in this case?
0
votes
2answers
83 views

Graded rings and modules - which book to refer to?

Could you recommend a book with a good treatment of the theory of graded rings and modules?
0
votes
0answers
22 views

Finitely generated submodules

Suppose we have two finitely generated $\mathbb{Z}$-modules $a \subset a'$. I would like to prove that the index $(a' : a)$ equals the determinant of the base change matrix passing from a ...
3
votes
2answers
72 views

module over a quotient of a principal ideal domain

The Statement I suspect the following proposition is well known, but I found no reference. Proposition If $A$ is a principal ideal domain, if $I$ is a nonzero ideal of $A$, and if $M$ is an ...
1
vote
1answer
36 views

Product of divisible module is divisible

I have the following problem Is the product of divisible $R$-modules divisible? I think it is not. But I need some counterexample to this, somebody can give me a "place" to search one? Thanks a ...
1
vote
2answers
89 views

The ring $R$ is a field iff $R$ has a finitely generated divisible module

I have the following problem: Prove that a integral domain $R$ is a field iff there exist a finitely generated divisible $R$-module. One side is easy, because if $R$ is a field then $R$ itself ...
1
vote
2answers
39 views

An integral domain and its field of fractions.

I'm trying to solve the following problem: Let $R$ be a integral domain which is not a field and $K$ its fractions field. Show that a non-zero module $R$-homomorphism from $K$ to $R$ does not ...
1
vote
0answers
63 views

$\operatorname{supp}(M) \subseteq \operatorname{supp}(N) \iff f_I(M)\subseteq f_I(N) $?

Let $ R $ be a commutative unital ring, $ I $ an ideal of $ R $, and $ M $ an $ R $-module. It has proven (here) that if $\operatorname{supp}(M) \subseteq \operatorname{supp}(N)$ then ...
1
vote
1answer
14 views

Torsion and module over a ring.

I need to solve the following problem: Show that a ring $R$ is a field iff every $R$-module is torsion free module. The "only if" part is quite easy because if $R$ is a field then every ...
0
votes
1answer
34 views

Characterization of right noetherian rings

Here's a quick question on noetherian rings. I know that for a ring $R$, the following are equivalent. $R$ is left noetherian Every finitely generated left $R$-module is noetherian Every submodule ...
2
votes
1answer
42 views

A two sided ideal of a Noetherian ring

$R$ is a left Noetherian ring with a minimal left ideal. Consider the set of minimal left ideals of $R$ ordered by inclusion. Then there is a maximal element $\mathfrak b= \bigoplus_{i\in I} \mathfrak ...
2
votes
3answers
52 views

Example of ring $R$ with ideals $I\neq J$ such that $R/I \cong R/J$ as modules

It's easy to prove that if $I$, $J$ are two-sided ideals and $R/I\cong R/J$ as modules over $R$, then $I=J$. What about left ideals? Is there a simple counterexample? I believe I've found an answer, ...
2
votes
1answer
53 views

Show that $D \cong {\rm End}_A(D^n)$ where $D$ is a division algebra and $A\cong M_n(D)$

Define $A$ to be a finite dimensional simple algebra over a field $k$. $D$ is a $k$-division algebra (not necessarily commutative) such that $A\cong M_n(D)$ for some integer $n$. Let $L$ be a minimal ...