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

learn more… | top users | synonyms

1
vote
1answer
24 views

What is ker $f \otimes g$?

I am trying to find out the $ker(f\otimes g)$ where $f:M \rightarrow P$ and $g:N \rightarrow Q$ are $A$ linear maps where $A$ is not a field.So $(f\otimes g):M\otimes N\rightarrow P\otimes Q $ is $A$ ...
0
votes
2answers
17 views

Calculate the tensor product of two vectors

Let $\{e_1, e_2\}$ and $\{f_1, f_2, f_3\}$ the canonical ordered bases of $\mathbb{R}^2$ and $\mathbb{R}^3$ respectively. Find the coordinates of $x \otimes y$ with respect to the basis ...
1
vote
1answer
28 views

Isomorphism with tensor product

Let $f$ : $\Bbb Z_2$ $\rightarrow$ $\Bbb Z_4$ given as $f$($a$ + $2$$\Bbb Z$) = $2a$ + $\Bbb Z_4$ is a monomorphism . And knowing that <0,2> as subgroup of $\Bbb Z_4$ is isomorphic to $\Bbb Z_2$ ...
1
vote
1answer
34 views

Is a vector of coprime ring elements column of an invertible matrix?

Given a commutative ring $R$ with unit and $a_1=(r_1,\ldots,r_n)^T \in R^n$ with coprime entries (i.e. $\sum_i Rr_i=R)$. Are there $a_2,\ldots,a_n \in R^n$ such that the matrix $A = ...
0
votes
1answer
14 views

Rational Canonical Form Confusion; Choosing Basis Which Gives the Rational Canonical Form.

I am reading the theory of finitely generated modules over a PID. One of the applications of the the theory is that one can derive the theory of rational canonical form of a linear operator on a ...
5
votes
1answer
54 views

Why $R^{op}$ used in the definition of “category of $R$-modules”?

Earlier today, I was thinking: "Oh, an $R$-module is just an additive functor $R \rightarrow \mathbf{Ab}.$" Anyway, I had a bit of a read over at nLab, and it says: For any small ...
0
votes
0answers
20 views

Center of a ring projective?

If $R$ is a ring and $Z(R)$ denotes $R$'s centre, then when is $R$ projective as an $Z(R)$-module?
1
vote
1answer
13 views

Proof that the connecting morphism in the snake lemma is well defined

The snake lemma says: suppose we have two exact sequences of $R$-modules $M_1 \xrightarrow{f_M} M_2 \xrightarrow{g_M} M_3 \rightarrow 0$ $0\rightarrow N_1 \xrightarrow{f_N} N_2 \xrightarrow{g_N} ...
1
vote
2answers
26 views

If $M$ is a $R$-module with $R=R_1\times \cdots \times R_n$ then $M\simeq M_1\times \cdots \times M_n$ where $M_i$ is a $R_i$-module?

Let $R_1, \ldots, R_n$ be rings and consider the ring $R:=R_1\times \cdots\times R_n$. How can I show every $R$-module $M$ is isomorphic to a product $M_1\times \cdots\times M_n$ where each $M_i$ is a ...
0
votes
0answers
21 views

Why most discussion on ring(like module) is over PID, not UFD? [on hold]

I think many properties and discussion are based on unique factorization. Like On UFD, irreducible element is also prime. So why these analysises are not based on UFD?
1
vote
1answer
27 views

A group ring has finite length

I have been given a version of Maschke's Theorem to prove: Let $k$ be a field and $G$ a finite group s.t. $|G|$ is non-zero in $k$. Show that the group ring $k[G]$ is a semi-simple ring. A hint ...
2
votes
1answer
40 views

Socle of submodule relative to the module

in these notes i am reading i am told that the socle of $K$ (where $K \subset M$ , and $M$ is a module) is = $K \cap$ Soc $ M$ But why is this? i see the intuition but cannot formalize a proof ...
3
votes
1answer
43 views

Homomorphisms of semi-simple submodules

I managed to show $\forall$ R-Module M, $\exists$ unique semi-simple submodule $sM \subset M$ containing every semi-simple submodule of M, by showing that the direct sum of semi-simple submodules are ...
0
votes
0answers
23 views

$I^{n-1}/I^n$ is a Noetherian $R$-module

Let $R$ be a commutative ring with unity and $I \subseteq R$ an ideal. Prove: if $R/I$ is a Noetherian ring and $I/I^2$ is a finitely-generated $R$-module, then $I^{n-1}/I^n$ is a Noetherian ...
0
votes
2answers
12 views

All the solutions for this system 5x+33y = 6 (mod 13) and 7x + 2y = 9 (mod 13)

I want all the solutions for this system. 5x + 3y = 6 (mod 13) and 7x + 2y = 9 (mod 13)... Thanks
0
votes
1answer
19 views

$f:M\to N$ is surjective $R$-linear map

$R$ be a commutative ring with $1$ and maximal ideal $m$.Let $f:M \rightarrow N$ be a $R-linear $ map and $N$ is finitely generated $R-$ module.Suppose that the induced homomorphism $M\otimes_R(R/m) ...
0
votes
3answers
31 views

When considering the commutative ring $R$ over itself, if its submodule is free, then the submodule equals to the module?

When considering the commutative ring $R$ over itself, then this $R$-module is isomorphic to $R$, but if $I$ is an ideal of $R$, then it is a submodule, if this submodule is free too, then it is ...
1
vote
1answer
20 views

When is the Tensor product of Modules itself a Module?

If $M$ is a right $R$ module and $N$ is a left $R$ module then $M \otimes_R N$ is an abelian group. Wikipedia says that if $M$ is an $R$ bimodule then $M \otimes_R N$ can take on the structure of a ...
0
votes
0answers
20 views

Show that field of fraction of a commutative domain is an indecomposable module

I came across this problem and get stuck for quite sometime. Problem: Let $R$ be a commutative domain that is not a field. Let $F$ be its field of fractions. Show that $F$ is an indecomposable ...
1
vote
1answer
35 views

Showing the socle of a module exists and is unique

I have been set the following exercise: For every $R$-module $M$, show that there exists a unique semi-simple submodule $sM$ $\subset$ $M$ which contains every semi-simple submodule of $M$. ...
0
votes
0answers
14 views

Ring of Upper triangular matrices submodule

Suppose that $R$ is the ring of all matrices of the form $ \left( \begin{array}{cc} z & p \\ 0 & q \end{array} \right) $, where $z\in \mathbb{Z}$ and $p,q\in \mathbb{Q}$. Let $$ I_n= ...
3
votes
2answers
59 views

Direct summand of modules proof

I'm have problems trying to show this, any help would be appreciated. Show $i: N \subset M$ is a direct summand iff $\exists$ a module map $r: M \to N$ s.t $ri = 1_{N}$, and that any complement of ...
0
votes
1answer
56 views

Is $R$ PID if every submodule of a free $R$-module is free?

Let $R$ be a commutative ring. Before I proved that every submodule of a free $R$-module is free over a P.I.D. Now I'm trying to prove the reciprocal, if every submodule of a free $R$-module is ...
1
vote
1answer
46 views

Examples of modules (basis and generators)

I have to give examples for modules such that $1.$ There's a linearly independent set with more elements than a generator set. $2.$ There's a linearly independent set with the same cardinal than a ...
0
votes
0answers
37 views

Cardinal of a linearly independent subset of $R$-module

Let $R$ be a commutative ring, and consider $R$ as an $R$-module with the action given by the product of $R$. Prove that if $B\subset R$ is linearly independent, then $\operatorname{card}(B)=1.$ ...
1
vote
1answer
26 views

Identifying sets

I keep seeing written in texts the phrase 'identify sets', for example: Identify $A$ as a subset of $F(A)$ by $a\mapsto f_a$, where $f_a$ is the function which is 1 at a and 0 elsewhere. This is in ...
0
votes
1answer
23 views

Z_m module as Z_n module

I think every Z_n module can be viewed as Z_m module. I would like to confirm that we don't require any restriction on n and m, such as m divides n.
0
votes
1answer
30 views

Why an ideal in a ring is a submodule of a free module over that ring

I know an ideal in a ring is a module over this ring, but I don't know why it's a submodule of a free module, what's the free module? Thank you.
1
vote
1answer
50 views

Modules of Finite Length over Local Artinian Rings

Let $R$ be a commutative local artinian ring with identity. Denote its maximal ideal by $\mathfrak{m}$ and let $\mathbb{k}$ denote the residue field $\mathbb{k}=R/\mathfrak{m}$. Assume also that there ...
1
vote
0answers
42 views

Module and group ring: definitions and notations

I apologize in advance for the stupid questions and the bad English, but I've started studying math few months ago. I've some problems with the definitions of group ring, modules and their notations. ...
1
vote
1answer
29 views

Is a projective $R[G]$-module a projective $R[H]$-module if $H$ is a subgroup of $G$?

I have a ring $R$ of characteristic $0$ and a finite group $G$. Let $H$ be a subgroup of $G$. Question: If $M$ is a projective $R[G]$-module where $R[G]$ is the usual group ring then is $M$ ...
0
votes
0answers
20 views

Semisimple modules and short exact sequences

Though I suspect that this is a folklore result, I've been unable to find a proof by digital book searching. I also mention (my apologies) that I am new to noncommutative algebras theory and I am not ...
4
votes
1answer
57 views

Characterization of free modules

Let $M$ be a finitely generated module over a commutative ring $A$. Is it true that if there exists a positive integer $n$ and a pair of homomorphisms $\pi:A^n\rightarrow M$ and $\phi:A^n\rightarrow ...
1
vote
1answer
55 views

Length of a module over a local Artinian ring

If $R$ is a local Artinian ring with maximal ideal $P$, and $M$ is a finitely generated $R$-module, I would like to show that the length of any series $M= M_n\geq M_{n-1}\geq\dots\geq M_0=(0)$ such ...
1
vote
1answer
22 views

Finitely generated submodule of a localisation

Let $R$ be a commutative ring with unity, and $S$ be a multiplicatively closed set. Consider a $R$-module $M$ and a submodule $N\subset S^{-1}M$ (where $S^{-1}M$ is considered as a module over ...
0
votes
2answers
22 views

Property of unfaithful module over PID

Proposition Let $R$ be a PID and $M$ a torsion module over $R$. Suppose $M$ is not faithful, with $\operatorname{Ann(M)}=Ra$ and $a=u{p_1}^{\alpha_1}...{p_n}^{\alpha_n}$ an irreducible factorization ...
1
vote
0answers
23 views

Quick Question on a Proof of Artin-Wedderburn Theorem

Artin-Wedderburn Theorem: Let $M$ be a semisimple $R$-module of finite type. Then $$\text{End}_R(M)\cong\bigoplus_{i=1}^k M_{n_i\times n_i}(D_i)$$ for some division rings $D_i$. Proof: ...
2
votes
1answer
22 views

Trace ideal of generator

Let $R$ be a unital ring. In Lam's "Lectures on modules on rings" (Theorem 18.8, p483), the following implication is stated for a right $R$-module $P$: $$\mathrm{tr}(P) = R \implies R \text{ is a ...
2
votes
0answers
43 views

Syzygies of $Gr_{2}(\mathbb{C}^4)$

I'm going to start the study the problem of syzygies. I read on web that it is possible to compute syzygies of an algebraic variety for example $Gr_2(\mathbb{C}^4)$, but I don't understand how can I ...
3
votes
2answers
86 views

PID and finitely generated module

I am trying to prove the following statements: Let $R$ be a PID and $M$ a finitely generated $R$-module. Prove: (a) $M$ is torsion module iff $\operatorname{Hom}_R(M,R)=0$ (b) $M$ is an ...
0
votes
1answer
18 views

Show that there is an $R$-module homomorphism $\bar{h}$ such that $g \circ \bar{h} = h$.

Let $R$ be a unital ring. Suppose that a finitely generated free $R$-module is the internal direct sum of submodules $P$ and $Q$. Let $g:A \rightarrow B$ be a surjective $R$-module homomorphism. Let ...
0
votes
1answer
28 views

Some properties of matrices over rings

Problem (i) Let $R,T$ be division rings and $m,n \in \mathbb N$, then $M_n(R \times T) \cong M_n(R) \times M_n(T)$ and $M_m(M_n(R)) \cong M_{mn}(R)$. (ii) If $R$ is a semisimple ring and $n \in ...
2
votes
3answers
21 views

Torsion-free module morphism

I am trying to prove the statement: Let $R$ be a PID but not a field and let $M$ be an $R$-module. Then $$ M \space \text{is torsion-free $R$-module} \space \text{iff} \space ...
1
vote
1answer
28 views

A ,B is finitely generated R-algebra then $A\otimes_RB$ is fg $R$-algebra.

$A$,$B$ are finitely generated $R$-algebra.$R$ is a commutative ring with $1$.Then how can I show that $A\otimes_RB$ is finitely generated $R$-algebra. What I have tried: First I have to show that ...
2
votes
1answer
49 views

PID and module problem

Let $R$ be a principal ideal domain but not a field, and let $M$ be an $R$-module. Show the following: (i) Let $p \in R$ be an irreducible element and $r \in R \setminus \{0\}$. Then $(R/ ...
2
votes
2answers
25 views

Extension of scalars $M_B=B\otimes_A M$

Most textbooks say that the $B$-module structure on $M_B$ (for $A\rightarrow B$ a ring morphism and $M$ an $A$-module) is "defined" by $b'(b\otimes m)=b'b\otimes m$. How is this a proper definition? ...
0
votes
1answer
50 views

A question on short exact sequences

Let $0\to L\stackrel{\alpha}\to M\stackrel{\beta}\to N\to 0$ be a splitting short exact sequence so it exist a morphism $r: M \to L$ such that $r \circ \alpha = Id_L$ and a morphism $s: N \to M$ such ...
1
vote
1answer
45 views

Other proof for tensor product equal to zero (without use Nakayama lemma and Jacobson radical)

Let $R$ is commutative local ring, $M$ is $R$-module, $N$ is $R$-module. If $M,N$ are finitely generated, how to prove: $M \otimes_R N=0$ if and only if $M=0$ or $N=0$. If we delete the ...
-1
votes
0answers
24 views

calculate high power of 10

I need some help with this calculation : $$10^{73099226}\mod n $$ I am calculating it in python but that says **Result too large **
4
votes
1answer
64 views

Is there an interpretation of higher cohomology groups in terms of group extensions?

1) Consider a group $G$ and a $G$-module $A$. Then it is well-known that there is a $1-1$ correspondence between elements of $H^2(G,A),$ and group extensions $1\rightarrow A \rightarrow H\rightarrow ...