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

learn more… | top users | synonyms

1
vote
1answer
30 views

Localization of a coherent module is coherent

I would like to prove that the coherence of a sheaf on a scheme is affine-local. For this, it is necessary to prove that for a coherent $A$-module $M$, its localization $M_{f}$ at $f\in A$ is a ...
0
votes
0answers
34 views

Looking for reference to solve a problem (representation theory, I think)

This question appeared on an algebra qualifying exam: Let $R$ be the group algebra $\mathbf{C}[S_3]$. How many nonisomorphic, irreducible, left modules does $R$ have and why? Would I be able to ...
0
votes
1answer
22 views

Can you always construct a homomorphism from a module into its dual?

Suppose we have some $R$-module $M$ with $R$-dual $M^\ast=Hom_R(M,\,R)$. Can we always construct an $R$-module homomorphism $M\to M^\ast$?
1
vote
0answers
38 views

Example of two modules M, N where the set of the $m\otimes n$ is not a submodule

If I remember my Algebra class correctly, this is in general not true because, for example, the addition isn't closed. So if I take: $B:\mathbb{R}^2 \times \mathbb{R}^2\to \mathbb{R}^{2^2}\cong ...
-1
votes
0answers
34 views

Generalization of Singular locus and non-free locus to an algebra

Let $R$ be a commutative noetherian local ring with maximal ideal $\mathfrak{m}$ and $ \Lambda $ be a noetherian $ R $-algebra. Recall that: (1) The singular locus of $R$, denoted by $\mathsf{Sing} ...
4
votes
0answers
50 views

Computing simplicial homology via Smith Normal Form over Rings

I am not sure whether this is the right forum to ask such a question, if not please let me know. In the context of my masters thesis, I am working on writing a program to compute simplicial homology ...
1
vote
1answer
26 views

A simple divisible module

Let $k$ be division ring and $V$ be a left $k$-vector space of infinite dimension. Let $E=\text{End}_k(V)$ be the ring of right linear transformations on $V$. My questions are: (1) Is $V$ a simple ...
4
votes
1answer
34 views

$Z_n$ as $Z[i]$-module

I am trying to find all $n$ such that $Z_n$ is a $Z[i]$-module, where $Z[i]$ is a Gaussian integer ring. I proved that any $Z[i]$-module $M$ is just an Abelian group with hommomrphism ...
5
votes
1answer
72 views

If $m$ divides $n$, find a free resolution of $\mathbb{Z}/m$ as a $\mathbb{Z}/n$-module.

If $m$ divides $n$, find a free resolution of $\mathbb{Z}/m$ as a $\mathbb{Z}/n$-module. I have tried this one and got $0 \leftarrow \mathbb{Z}/m \leftarrow \mathbb{Z}/n \leftarrow \mathbb{Z}/n$. ...
0
votes
0answers
29 views

Under what conditions is a ZG-module torsion-free?

If we have a ZG-module A, I was wondering if there are known condition we may imply on either A or the group G to make A torsion-free?
2
votes
1answer
29 views

Difference between torsion and zero divisor

I'm not understanding what the difference is between a zero divisor and a torsion element of a module. My best guess is that the torsion elements are "vectors" and zero divisors are scalars. This ...
0
votes
1answer
18 views

Using Exchange Lemma in a decomposition

The "Exchange Lemma" in the decomposition of modules states that any decomposition of right $R$-modules $M_1⊕...⊕M_n=A⊕B$ with the endomorphism ring $End (A_R)$ local yields $M_i≈A⊕X$ for some $i$, ...
4
votes
3answers
281 views

On a commutative diagram

Let a commutative diagram be given: $$\require{AMScd} \begin{CD} 0 @>>> A @>f>> B @>g>> C @>>> 0 \\ @. @V{\alpha}VV @V{\beta}VV @V{\gamma}VV @. \\ 0 @>>> ...
2
votes
1answer
33 views

Computing injective hulls over a lower triangular matrix ring

Let $R$ be the ring $\begin{pmatrix} {\mathbb Z }_{ p } & 0 \\ {\mathbb Z }_{ p } & {\mathbb Z }_{ p } \end{pmatrix}$ with $p$ prime. $R$ is an artinian ring and is also a $\mathbb ...
3
votes
2answers
110 views

Modules that have finitely many submodules

Drawing the lattice of submodules of a given module helps me to gain some intuition about the structure of module. Sometimes, however, it is not possible to draw in neat manner; For example vector ...
0
votes
1answer
42 views

What's a diagonal sum of two matrices?

Let $A$ be an $n\times n$ matrix over a field $K$. Show that there exists an invertible matrix $P$ such that $P^{-1}AP$ is a diagonal sum of an invertible matrix and a nilpotent matrix. (Hint: use ...
4
votes
2answers
66 views

“If $x$ is a non-unit, then $1-ux$ is a unit”

I don't understand these two lines from my book. We are given that $R$ is a local ring. If every $2$-generator submodule is cyclic and $Ra$, $Rb$ are given, then $Ra+Rb=Rc$, hence ...
0
votes
1answer
33 views

What's a $2$-generator submodule?

Context: Let $R$ be a local ring and $M$ an $R$-module. Show that the set of all submodules of $M$ is totally ordered by inclusion iff every finitely generated submodule of $M$ is cyclic or, ...
1
vote
3answers
74 views

What does $\overline{r}m:=rm$ mean?

On this Wikipedia article, it says that you can define an $R$-module $M$ as an $R/Ann_R(M)$-module using the action $\overline{r}m:=rm.$ What does that action actually mean? What is $\overline{r}$?
6
votes
2answers
69 views

“Theorem of Witt” for modules

For modules $M_1 \oplus N \cong M_2 \oplus N$, why is $M_1 \cong M_2$, if $Hom(M_1,N)=\{0\}=Hom(M_2,N)$? It seams similar to Witt's cancellation theorem for quadratic forms. Regards, Khanna
1
vote
0answers
22 views

Decompose finitely generated modules and use Krull-Schmidt theorem [duplicate]

I'm trying to show that if $R$ is an Artinian ring, then for finitely generated modules $M,N,N'$, we have that $M\oplus N\cong M\oplus N'$ implies that $N\cong N'$. I'm supposed to do this by ...
0
votes
1answer
57 views

Module of constant rank over noetherian reduced ring

Let $A$ be a reduced noetherian commutative ring and $M$ be a finitely-generated $A$-module such that for all prime ideals $\mathfrak p$, $M_{\mathfrak p}/\mathfrak pM_{\mathfrak p}$ is an ...
4
votes
1answer
97 views

When $N \to M \otimes_R N$ is not an embedding.

Can someone please provide an example of the following (or tell me why such an example doesn't exist): Let $R$ be a (not necessarily commutative) ring, $M$ an $R$-$R$-bimodule containing a copy of ...
1
vote
1answer
40 views

$I\otimes I$ is torsion free for a principal ideal $I$ in domain $R$

Question is : Suppose $I$ is a principal ideal in a domain $R$. Prove that the $R$ module $I\otimes_R I$ is torsion free. Suppose we have $r(m\otimes n)=0$.. Just for simplicity assume that ...
0
votes
0answers
27 views

Free and projective modules

I have two simple questions. Let $R$ be a ring. Is every free $R$-Mod of the form $R^{(S)}$ for some set $S$? Can $R^S$ be projective for an infinite set $S$, for suitable, non-trivial $R$? Note that ...
18
votes
2answers
423 views

If the tensor power $M^{\otimes n} = 0$, is it possible that $M^{\otimes n-1}$ is nonzero?

Let $M$ be a module over a commutative ring $R$. It is possible that $M \otimes M = 0$ if $M$ is nonzero, for example when $R = \mathbb{Z}$ and $M = \mathbb{Q}/ \mathbb{Z}$. What about when higher ...
2
votes
1answer
33 views

A question about 1.0.3 in Grothendieck's EGA

In (1.0.3), Grothendieck states that, given non-commutative rings $A$ and $B$, a homomorphism $\varphi : A \to B$, and a left ideal $\mathfrak{J}$ of $A$, the left ideal $B\mathfrak{J}$ of $B$ ...
1
vote
1answer
27 views

Simple bimodule over a basic algebra

I am looking for a reference for the following result: Let $k$ be an algebraically closed field and $A$ be a finite dimensional $k$-algebra. If $A$ is basic, then every simple $A$-$A$ bimodule is ...
2
votes
2answers
38 views

Equivalent definitions of faithful flatness

I am currently studying the equivalent definitions of faithful flatness over (probably noncommutative) unital rings. In particular, there is a version that I have doubts about: Let $R \subseteq S$ ...
1
vote
1answer
28 views

How can I show $I\simeq L$ where $L$ is a direct summand of $X$ such that $L\subseteq \textrm{ker}(g)$?

Consider the exact sequence of $R$-modules ($R$ is ring with identity $1_R$): $$ 0\longrightarrow K\oplus I\stackrel{f}{\longrightarrow} X\stackrel{g}{\longrightarrow} Y\longrightarrow 0,$$ where $I$ ...
0
votes
2answers
121 views

How to show that $A=(A/\operatorname{rad}A)\oplus \operatorname{rad}A$ using Wedderburn-Malcev theorem?

Let $A$ be a $K$-algebra and $K$ an algebraically closed field. How to show that $A=(A/\operatorname{rad}A)\oplus \operatorname{rad}A$ using Wedderburn-Malcev theorem? Thank you very much. ...
5
votes
1answer
46 views

Three different notions for “bigness” of a module (length, rank and “mass”).

Let $M$ be an $R-$module where $R$ is an integral domain. I'm trying to understand the relations between these three notions of size: Let $S \subset M$ be a generating set of minimal cardinality. ...
3
votes
1answer
76 views

If $A$ is a finitely generated $R$-module, is $\operatorname{Hom}_R(A,R)$ finitely generated? [duplicate]

Let $R$ be an utterly arbitrary commutative, unital ring. Let $A$ be a finitely generated $R$-module. Is $\operatorname{Hom}_R(A,R)$ finitely generated as an $R$-module? Intuitively and based on ...
2
votes
0answers
114 views

Left Ideals and Two-Sided Ideals of Rings of Matrices

This is a question I posted in this topic: Pathologies in "rng". However, I decided that the question deserves its own thread, and I want to know if anybody can answer it. For ...
1
vote
2answers
60 views

Why do nil ideals annihilate simple modules?

A nil ideal $N$ of a ring $R$ is defined as follows: $(N,+)$ is a subgroup of $(R,+)$ $\forall x \in N, \forall r \in R :\quad x \cdot r \in N$ $\forall x \in N, \forall r \in R : \quad r \cdot x ...
0
votes
0answers
34 views

Projective and injective resolutions of cyclic modules

Let $R$ be a ring and $M$ a cyclic $R$-module. It is well-known that always exist projective and injective resolutions of $M$. Is it any method to construct explicitly these resolutions which have the ...
2
votes
1answer
22 views

Decomposition of Torsion Module

Let $k$ be a field, $k[X]$ the polynomial ring in one variable and $M$ a torsion $k[X]$-module (not necessarily finitely generated). Consider the submodules \begin{equation*} M_1 = \{a \in M \mid ...
4
votes
0answers
37 views

Too Many Members in a Finitely Generated Module are Linearly Dependent

I am new to module theory and as of now am not very comfortable with the subject. So can somebody please check whether my claim and its proof is okay? Consider the following statement: Let $M$ be ...
0
votes
0answers
22 views

Looking for a Coordinate Free Way to Prove a Precursor to Nakayama Lemma.

Let $M$ be a finitely generated module over a ring (commutative with identity) $R$. Let $\mathfrak a$ be an ideal of $R$ and $\phi:M\to M$ be an $R$-module homomorphism such that ...
1
vote
1answer
26 views

Prove socle is ideal

In any ring $R$ define the socle as the sum of all minimal right ideals of $R$. Say we have two minimal ideals $A,B$. If $a\in A,b\in B$, then $a+b$ is in the socle. If $x\in R$, then ...
1
vote
3answers
30 views

Centre of matrix ring over skew field

Let $R$ be a semisimple ring. Show that $R$ is simple iff the centre of $R$ is a field. Book's solution: If $R$ is simple, it has the form $\mathfrak{M}_n(K)$ for a skew field $K$, and its ...
2
votes
1answer
24 views

When is the external tensor product of indecomposable modules indecomposable?

Let $k$ a field and $A$, $B$ finite dimensional associative $k$-algebras. If $M$ is an irreducible $A$-module, and $N$ is an irreducible $B$-module, then $M\otimes_kN$ is an irreducible $A\otimes ...
1
vote
1answer
45 views

Tensor power modulo cyclic group action

Let $M$ be some $R$-module and $n \geq 1$ be some positive integer. The cyclic group $\mathbb{Z}/n\mathbb{Z}$, with a chosen generator $t$, acts on $M^{\otimes n}$ via $t(m_1 \otimes \dotsc \otimes ...
1
vote
0answers
31 views

Change of basis - free submodule

Let $R$ be a commutative ring and $(e_1, \dotsc, e_n)$ be a basis for $R^n$, the free $R$-module of rank n. Let $A$ be an $n \times n$ matrix with entries in $R$. Let $f_i = \sum \limits_{j=1}^n ...
3
votes
1answer
322 views

Projective Modules, Annihilators, and Idempotents

Let $Ra$ be the left ideal of a ring $R$ generated by an element $a \in R$. Show that $Ra$ is a projective left $R$-module if and only if the left annihilator of $a$, $\{r \in R \mid ra = 0\}$ ...
1
vote
1answer
29 views

If $R$ is a simple Artinian ring, then when is a finitely generated module free?

Here's an exercise from my book, which only gives a brief solution which leaves me very confused. Let $R$ be a simple Artinian ring, say $R=K_r$. Show that there is only one simple right ...
1
vote
2answers
51 views

What is the significance of $A+ (B\cap C)=(A + B)\cap C$, where $A\subseteq C$, for modules?

My book (Introduction to Ring Theory, Paul Cohn) states this as a theorem and gives a proof. The book usually skips over trivial/easy proofs, so I don't really understand why this is in here. Isn't ...
2
votes
0answers
53 views

Question concerning a self-injective algebra and a faithful module

I'd like to know how corollary 2.11 of http://www.sciencedirect.com/science/article/pii/S002186930098726X# follows from theorem 2.10 from the same reference. 1) I know that $A$ being self-injective ...
3
votes
0answers
55 views

Is ${(k^n)}^{\otimes r}$ a faithful $k\Sigma_r$-module for $n\geq r$?

I have the following question: Let $k$ be an infinite field. Let $E:={(k^n)}^{\otimes r}$ and let the symmetric group $\Sigma_r$ act from the right on $E$ by place permutations. It is well-known that ...
2
votes
0answers
46 views

proving $\mathbb {Z}_n $ is an injective $\mathbb {Z}_n$-module [duplicate]

How can I prove a well-known fact: $\mathbb {Z}_n (=:\mathbb {Z}/n\mathbb {Z})$ is an injective $\mathbb {Z}_n $-module? I classified all ideals of $\mathbb {Z}_n $ and tried to use Baer's ...