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

learn more… | top users | synonyms

0
votes
1answer
20 views

Free module over a ring with identity with a basis of size m, ∀m≥n

Please, help on this Exercise [Hungerford's Algebra, IV.2.12] If $F$ is a free module over a ring with identity such that $F$ has a basis of finite cardinality $n\geq 1$ and another basis of ...
1
vote
2answers
64 views

On a proof that left artinian implies left noetherian

Questions: [Refer to below] Could one elaborate on $\rm\color{#c00}{(a)}$, $\rm\color{#c00}{(b)}$ and $\rm\color{#c00}{(c)}$ ? My thoughts : $\rm\color{#c00}{(a)}$ For $r+J\in R/J$ and ...
3
votes
1answer
23 views

bilinear maps with respect to noncommutative rings

Consider a noncommutative ring with unity $R$, three left $R$-modules $M,N,P$ and a map $f\colon\;M\times N\to P$ such that: $ f(m+m',n)=f(m,n)+f(m',n)\\ f(m,n+n')=f(m,n)+f(m,n')\\ ...
0
votes
2answers
57 views

not free modules

I'm not sure if this result is true or not. Let $R$ be a commutative ring and M a left $R$-module, if P is not free as a sub-module of M, can we say that M is not free either? thank you for your time
4
votes
1answer
28 views

Picard group of $\mathbb Z[\sqrt{-5}]$

I search for a simple proof for the fact that $\operatorname{Pic}(\mathbb Z[\sqrt{-5}])=\mathbb Z/2\mathbb Z$, where $\operatorname{Pic}(R)$ is the Picard group of the ring $R$ - the set of ...
2
votes
1answer
20 views

Isomorphism between modules over a semisimple ring

If $P$ is a module over the semisimple ring $R/J$, where $R$ is a semilocal ring having $1$, and $J$ is its Jacobson radical, does any isomorphism $P⊕...⊕P≅P'⊕...⊕P'$ with the same (finite) number of ...
0
votes
0answers
14 views

From progenerators to progenerators

I know that if $R$ is a ring (with identity) and $P$ is a progenarator right $R$-module (a f.g. projective generator) then $P/PJ$ is clearly f.g. when $J$ is the Jacobson radical of $R$; but, how ...
3
votes
1answer
40 views

Are finitely presentable modules closed under extensions?

If $0 \to A \to B \to C \to 0$ is an exact sequence of modules, and $A$ and $C$ are finitely presentable, then is $B$ finitely presentable? The answer is "yes" if we replace modules with groups, ...
1
vote
1answer
60 views

Given a, b How many solutions exists for x, such that: $a \bmod{x}=b $

Given $a, b$. How many solutions exists for $x$, such that: $$a \bmod{x}=b $$ By example: $a = 21$ and $b = 5$ $21 \bmod{8} = 21 \bmod{16} = 5$ Then $x$ has 2 solutions
7
votes
2answers
56 views

Is Orzech's generalization of the surjective-endomorphism-is-injective theorem correct?

In math.stackexchange answer #239445, Makoto Kato quoted a statement from the paper Morris Orzech, Onto Endomorphisms are Isomorphisms, Amer. Math. Monthly 78 (1971), 357--362. The statement ...
1
vote
1answer
20 views

Prove that if $M$ is an $R-$ projective left module then $M/IM$ is an $R/I-$ projective left module. [duplicate]

Let $I$ ba a two-sided ideal of a ring $R$ and $M$ be an $R-$ left module. Prove that if $M$ is an $R-$ projective left module then $M/IM$ is an $R/I-$ projective left module. It is easy to see that ...
1
vote
1answer
14 views

Let $M$ be an $R-$module and $x\in M\setminus\left\{ 0\right\} $. Prove that there exists a left ideal of $R$, say $I$ such that $Rx\cong R/I $.

Let $M$ be an $R-$module and $x\in M\setminus\left\{ 0\right\} $. Prove that there exists a left ideal of $R$, say $I$ such that $Rx\cong R/I $. Help me some hints. Thank you in advance.
0
votes
0answers
41 views

Two properties related to semisimple rings

Let $R$ be a semisimple ring Show the following (i) If $xy=1 \in R$, then $yx=1$. (ii) If $x \in R$ is such that $xR$ is a left ideal of $R$, then $xR=Rx$. I am pretty lost with the two items. I ...
1
vote
2answers
28 views

IM is a submodule of M

In the fisrt answer of this question where $R$ is a ring, $I$ is a left ideal of $R$ and $M$ an $R$-module; I don't know why can't I see that $IM$ is closed under addition. If we take two elements $x$ ...
1
vote
1answer
22 views

Equivalence of categorical coproduct proof

quiLet $C$ be an abelian category and {$X_1$,...,$X_n$} a finite family of objects in that category. ( $X$,($M_i$: $X_i$$\to$ $X$) where $i_1$=1,....n a coproduct of the finite family if and only if ...
0
votes
2answers
29 views

Prove that an exact sequence splits

Let $0 \to r\mathbb{Z}_n \to \mathbb{Z}_n \to s\mathbb{Z}_n \to 0$ where n =rs an exact sequence of $\mathbb Z$ modules the how can I prove the sequence splits if and only if $(r,s)=1$ The only thing ...
2
votes
1answer
20 views

Semisimplicity of the ring $\mathbb Z_n$

I am being asked to figure out when $\mathbb Z_n$ is a semisimple ring. It is clear to me that if $n$ is prime then $\mathbb Z_n$ is simple, which implies it is semisimple. If $n=p_1...p_n$ is a ...
0
votes
0answers
20 views

Simple problem about morphism in abelian categories

$f$ : $X\to$ $Y$ and $g$ : $Y\to$$Z$ a sequence in abelian categories. Show that if $gf$=$0$ if and only if exist a monomorphism $h$:$Im(f)$ $\to$ $Ker(g)$ such $kh$=$j$, where $j$:$Im(f)$$\to$ $Y$ ...
0
votes
1answer
24 views

Exact sequence of modules exercise

Show that if $$0 \rightarrow M_1 \xrightarrow{f} M_2 \xrightarrow{g} M_3$$ is an exact sequence of $R$-modules, then for all $R$-module $$0 \rightarrow \operatorname{Hom}_R(M,M_1) \xrightarrow{f_*} ...
3
votes
1answer
36 views

Finite abelian groups (application of structure theorem)

Problem Find all finite abelian groups that simultaneously have exactly $7$ elements of order $2$, exactly8 elements of order $3$, exactly $8$ elements of order $4$, at least an element of order ...
1
vote
1answer
52 views

Constructing pullback and pushout problem

i) Let $p$ be a prime and $f: \Bbb Z \rightarrow \Bbb Z_p$ and $g: \Bbb Z_{p^2}\rightarrow\Bbb Z_p$ be the canonical epimorphism. Show that the pullback of $f$ and $g$ is isomorphic to $\Bbb Z ...
3
votes
1answer
54 views

Are two bimodules isomomorphic as left and right modules also isomorphic as bimodules?

let R be a commutative ring, and M, N two bimodules over R, such that there exists f : M -> N an isomorphism of left R-modules, and g : M -> N an isomorphism of right R-modules. Then are M and N ...
1
vote
1answer
35 views

Exact sequence and Noetherian modules

Let $R$ be a ring, $X,Y,Z$ and $T$ four $R-$ modules such that there exists a short exact sequence $$0 \rightarrow X \xrightarrow{f_1} Y \xrightarrow{f_2} Z \xrightarrow{f_3} T \rightarrow 0 $$ Prove ...
3
votes
1answer
37 views

Let $R=M_n(D)$, $D$ is a division ring. Prove that every $R-$simple module is isomorphic to each other. [duplicate]

Let $R=M_n(D)$, $D$ is a division ring. Prove that every $R-$simple module is isomorphic to each other. I need some hints to prove it. Thank you very much.
3
votes
2answers
46 views

If $M/N$ is isomorphic to $M/N'$, can we conclude that $N$ is isomorphic to $N'$?

Let $N$ and $N'$ be submodules of $R-$module $M$. If $M/N$ is isomorphic to $M/N'$, can we conclude that $N$ is isomorphic to $N'$? I believe the answer is no but I can't find a counter example. Help ...
1
vote
1answer
21 views

Finitely generated modules over a PIR (structure theorem application)

Let $R:=\mathbb R[x]/\langle (x^2+1)^2 \rangle$ and $J:=\langle x^2+1 \rangle \lhd R$. Prove that every finitely generated $R$-module is isomorphic to $R^m \oplus (R/J)^n$ for a unique pair of non ...
1
vote
0answers
29 views

Group presentation and Smith normal form

Problem Let $A=\langle a,b: a-3b=0,3a=3b \rangle$ and $B=\mathbb Z^3/S$ with $S=\{m \in \mathbb Z^3: m_1+2m_2+m_3=0, 5|m_3 \}$. Calculate $\operatorname{Hom}_{\mathbb Z}(A,B)$. My attempt at a ...
3
votes
1answer
92 views

Atiyah-MacDonald Ch. 4 exercise 20: what's the module analogue of $\sqrt{\mathfrak{a}+\mathfrak{b}} = \sqrt{\sqrt{\mathfrak{a}}+\sqrt{\mathfrak{b}}}$?

Atiyah-MacDonald exercises 20-23 in chapter 4 develop a theory of primary decomposition for modules, in analogy with the theory developed in the chapter for rings. Exercise 20 begins with this ...
0
votes
1answer
19 views

Representatives of simple $\mathbb C[\mathbb D_3]$-modules (left modules)

Problem Let $\mathbb D_3$ be the symmetry group of the equilateral triangle. Give a complete list of the representatives of the simple left $\mathbb C[\mathbb D_3]$-modules. My attempt at a solution ...
-1
votes
0answers
27 views

Module of representation matrix

Can someone please show me why the module of any representation matrix in a one-dimensional representation of a finite group is equal to 1? and please define module of a representation as well. ...
2
votes
0answers
27 views

Characterize all $\mathbb Z[i]$ modules of order $21$ and $65$

I am trying to figure out how many $\mathbb Z[i]$ modules (up to isomorphisms) are of $21$ and $65$ elements. I've done a few similar exercises for finite abelian groups ($\mathbb Z$ modules) but I am ...
1
vote
0answers
25 views

Let $p,q$ and $r$ be positive prime numbers. Determine the number of abelian groups of order $p^6q^3r$

Let $p,q$ and $r$ be positive prime numbers. Calculate the number of non isomorphic abelian groups of order $p^6q^3r$. I've tried to use the structure theorem. So we have $$G \cong \mathbb Z/\langle ...
1
vote
0answers
16 views

Invariant factors of finite abelian group

Calculate the invariant factors of the group $G=\mathbb Z_{12} \oplus \mathbb Z_{21} \oplus \mathbb Z \oplus \mathbb Z \oplus \mathbb Z_{20} \oplus \mathbb Z_{9} \oplus \mathbb Z_7$. Applying the ...
0
votes
0answers
39 views

$G$ finite abelian group, $p$ prime that divides order of $G$

Problem Let $G$ be a finite abelian group and $p$ a positive prime that divides $|G|$. Show that the number of elements of order $p$ in $G$ is coprime with $p$. Let $|G|=p^nm$ with $n \geq 1$ and ...
2
votes
1answer
32 views

How can I visualize or understand a module in concrete terms?

As I understand it, a module is a ring action on an abelian group, usually a group that carries the operation of addition. I get this because I think of it as a set of elements where these abstract ...
2
votes
1answer
27 views

Is {0} a free module?

Is $\{0\}$ a free module (over any ring $R$) ? A free module is isomorphic to $R^n$, but is $n=0$ allowed? Alternatively, a free module is defined to have a set of linearly independent generating ...
2
votes
1answer
44 views

Is there a non-projective submodule of a free module?

Is there an example of a commutative ring $R$ with identity such that there exists a free $R$ module $M$ that has a non-projective submodule? I tried experimenting with modules over $\mathbb Z$ but ...
3
votes
1answer
30 views

Abelian group of order $p^2q^2$ ($p$,$q$ distinct primes) determine number of elements of order $pq$ and $pq^2$

Problem For each abelian group of order $p^2q^2$ determine the number of elements of order $pq$ and the number of elements of order $pq^2$ in $G$. By the structure theorem we have that $$(1) ...
0
votes
0answers
29 views

$I+J=R$ and $IJ$ is principal. prove that $I$ is a projective module.

let $I$ and $J$ be ideals of a commutative ring with identity $R$. assume that $I+J=R$ and that $IJ$ is principal. prove that $I$ is a projective module. I am familiar tiwh the theorem that states ...
0
votes
0answers
21 views

Show that a heptagon is not constructible with a compass and straight edge.

I've so far worked out that we need to prove that we cant construct the angle $\frac{2\pi}7$, or that point on the unit circle $e^{i\frac{2\pi}7}$. What I dont understand is solving for the roots of ...
1
vote
1answer
75 views

non-examples for Krull-Schmidt-Azumaya

I am looking for some rings $A$ and finitely generated $A$-modules $M$, where the conclusion of the Krull-Schmidt-Azumaya Theorem does not hold for $M$, i.e. where $M$ can be written as direct sums of ...
4
votes
2answers
54 views

Semisimple ring and finitely generated modules exercise

Problem Let $R$ be a semisimple ring (i.e. $R$ is semisimple as a left $R$-module). Show that if $M,N$ and $P$ are finitely generated $R$-modules such that $M \oplus P \cong N \oplus P$, then ...
1
vote
1answer
31 views

Finitely generated module with free submodule $S$ and $M/S$ torsion free implies $M$ is free

Let $R$ be a PID and $M$ a module. Show the following: (i) If $M$ is finitely generated and $S$ is a free submodule with $M/S$ torsion free, then $M$ is free. (ii) If $M$ is torsion free ...
0
votes
1answer
49 views

Contravariant functor properties

What does F as an exact contravariant additive functor preserves or changes over an abelian category? (i.e kernels, cokernels, images, etc) Thanks
0
votes
0answers
37 views

Additive exact functors preserve homology of modules

If $C$ is a chain complex of modules over a ring $R$ and $F: Mod_R \to Mod_S$ an additive exact functor then: If $F$ is covariant then $H_n(FC)\cong FH_n(C)$. Can anyone give my an idea or an ...
1
vote
1answer
67 views

Trouble showing flatness

Let $K$ be a field and $\pi: K[x]/(x^2) \to K$ be the ring homomorphism given by the valuation at $0$. I'm stuck in showing that $\pi^*(K)$ (the pullback) is not a flat module (over $K[x]/(x^2)$).
1
vote
1answer
27 views

Polynomial greatest common divisor algorithem

I look for an algorithm for Polynomial greatest common divisor. I saw this at Wikipedia but I didn't understand where is the algorithm. If you have other source for this algorithm, or you can write ...
2
votes
1answer
73 views

A problem with tensor products

Let $K$ be a field, $R=K[x^2,x^3]$, $S=K[x]$, and consider $S$ as an $R$-module. Given $f: S \to R \oplus R$ so that $f:p \mapsto (x^3p,-x^2p)$, prove that $f\otimes 1: S \otimes_R S \to (R\oplus R) ...
0
votes
1answer
20 views

Module and Noetherian/Artinian Rings

I am trying to prove that: Every finitely generated $F$-module $M$ is both Noetherian and Artinian where $F$ is a field. For this I am looking at the submodules of $F$ and saying that they are in ...
2
votes
2answers
38 views

A non-projective module

Let a ring with identity $R$ be decomposed as $S_1⊕\cdots⊕S_n$ (as a right $R$-module), where $S_i=e_iR$ with $e_i$ nonzero idempotents of $R$ adding up to $1$. If $J$ is the Jacobson radical of ...