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

learn more… | top users | synonyms

1
vote
1answer
18 views

Finitely generated modules and submodules

Let $R$ be a ring, $M$ an $R$-module and $U$ a submodule of $M$. Show that, if $U$ and $M/U$ are finitely generated, then $M$ is finitely generated aswell. I thought to maybe show this by taking ...
2
votes
3answers
36 views

Show that $N = f(M) \bigoplus N'$ if and only if there exists $\alpha: N \rightarrow M$ such that $\alpha(f(m)) = m$ for all $m \in M$.

Let $R$ be a ring with $1$, and let $f: M \rightarrow N$ be an $R$-module homomorphism. Suppose that $f$ is injective. Show that $N$ has a submodule $N'$ such that $N = f(M) \bigoplus N'$ if and only ...
0
votes
0answers
18 views

Module length and connection between $\varphi,\det\varphi$ [on hold]

$e_A(\varphi,M) = l_A(\mathrm{coker}\varphi) - l_A(\ker\varphi)$ Let $A$ be domain. I want to prove that $e_{A}(\varphi,A^n) < \infty \iff e_{A}(\det\varphi,A) <\infty$ using the fact that ...
0
votes
0answers
20 views

direct sum of modules is isomorphic to the direct sum permuting indices? [on hold]

the primary for the exercise idea is to use the universal property of the external direct sum of modules.
1
vote
1answer
59 views

Determine a basis for $\mathbb{Z} \oplus \mathbb{Z}$ which determines a basis for the submodule $N$ generated by $(6,9)$

Proof Clearly the rank of $\mathbb{Z} \oplus \mathbb{Z}$ is $2$, so we must have that the rank of $(6,9)$ is $\leq 2$.Let $e_1 = (1,0)$ and $e_2 = (0,1)$ be a basis for $\mathbb{Z} \oplus ...
3
votes
1answer
43 views

Length of tensor product of finite length modules is finite

Let $R$ be a commutative ring. If $M$ and $N$ are finite length $R$-modules, then $M\otimes_R N$ has finite length, and $l(M\otimes_R N) \le l(M)l(N)$. I know the question has been posted ...
1
vote
1answer
14 views

Isomorphism of tensor product involving a principal ideal

This question arose when dealing with a long exact sequence of Tor. Let $R$ be a (not necessarily commutative) ring, $g$ a central element of $R$ and $M$ a right $R$-module. We have an exact sequence ...
0
votes
2answers
41 views

Factorization in modular arithmetic

Is this expansion a legal step? $12^8\mod15 = 2^8 * 2 ^ 8 * 3 ^ 8\mod15$
0
votes
0answers
35 views

Property of free submodules for a module over a PID [duplicate]

This question was asked here and remains without solution. It's possible to produce an example of an integral domain $R$ and a free $R$-module $M$ with free submodules $L, L'$ such that $L+L'$ is ...
0
votes
0answers
13 views

Extra Operation required for Smith Normal Form over PID-Theoretical Justification

Why does one need an extra operation for performing smith normal form over a PID? One might suspect and say that it is because of the lack of Euclidean algorithm or just say that we need the ...
0
votes
2answers
45 views

tensor product and algebra

Let $A,B$ be commutative rings. Defininig a product of $B\otimes_{A}B$ as $(b_1 \otimes b_2)\cdot (b_3 \otimes b_4)=(b_1b_3)\otimes(b_2b_4)$, this becomes a commutative ring. Defining $b\cdot(b_1 ...
0
votes
1answer
34 views

$R/Ra$ is an injective module over itself

Let $R$ be a PID, $a\in R$ be a nonzero nonunit in $R$. Prove that $R/Ra$ is an injective module over itself. If $R$ is a PID, every $R$- divisible module is injective, but the question concerns ...
0
votes
1answer
36 views

characterization of some finitely generated Z-modules

I want to characterize all finitely generated $\mathbb{Z}$-modules $M$ with the property that each submodule of $M$ is a direct summand of $M$. I think the module has to be torsion but I couldn't say ...
0
votes
1answer
34 views

When does a real inverrtible matrix send a lattice in $\mathbb{R}^2$ to itself?

There is a question in Artin asking when does an inverrtible 2x2 real matrix send a lattice to itself. The issue I have is with this question not being specific as to what kind of answer is ...
0
votes
0answers
37 views

When do three complex numbers define a lattice?

Given three complex numbers, when is the set of all integer linear combinations of them a lattice? Since lattices can be defined by only two basis elements, I suppose the answer must be that one ...
2
votes
1answer
46 views

Subring of a commutative Noetherian ring

We know that it's possible subring of the commutative Noetherian ring become not Noetherian (for example: Subring of a Noetherian ring need not be Noetherian?). But if $S$ be a subring of ...
0
votes
1answer
94 views

Is this module injective? [duplicate]

Here's the problem: (This problem is from Hungerford's Algebra Chapter 5 exercise 6.7 ) Let R be a principal ideal domain and $p$ a prime in $R$ and $n$ a positive integer. Then $R/(p^{n})$ is an ...
4
votes
1answer
21 views

Module isomorphism from $R$ to $R \oplus R$ for a certain ring $R$

My textbook says: Let $R$ denote the set of infinite–by–infinite, row– and column–finite matrices with complex entries. Show that $R \cong R \oplus R$ as $R$–modules. So for $A, B \in R$, I tried ...
1
vote
2answers
42 views

What are the semisimple $\mathbb{Z}$-modules?

What are the semisimple $\mathbb{Z}$-modules? Comments: I think they are direct sums of copies of such $\mathbb{Z}_p$'s, where $p$ is a prime number. I believe it is, but I can not prove.
0
votes
1answer
31 views

generating system of the kernel of a module-transformation

Let $G ≠ 1$ be a group and A a commutative ring. Now, the group ring $A[G]$ is naturally an A-module. Next, let's consider the transformation: $$\phi: A[G] \to A, \sum_{g \in G} a_gg \mapsto \sum_{g ...
1
vote
1answer
35 views

Show that if $M$ is a semisimple artinian module then $M$ is finitely generated.

The exercise is as follows: Show that for a semisimple module $M$ over any ring, the following conditions are equivalent: $(1)$ $M$ is finitely generated; $(2)$ $M$ is Noetherian; $(3)$ $M$ is ...
3
votes
1answer
51 views

If R is a Noetherian ring, is it true that there exists an integer N such that every ideal of R is generated by at most N elements? [duplicate]

I think, as R is an ideal of itself, and R is Noetherian thus R is finite generated, assume it is generated by N elements, then every ideal is generated by at most N elements. But my conclusion is ...
0
votes
1answer
22 views

Constructing a module homomorphism

Let $\phi: M \to M'$ be a homomorphism of left R-modules, and let $N' \subset M'$ be a submodule. Construct a natural module homomorphism: $\tilde{\phi}: M/\phi^{-1}(N') \to M'/N'$ and show that ...
1
vote
2answers
22 views

$\displaystyle \mathbb KG\simeq \frac{\mathbb K[t]}{\langle t^n-1\rangle}$ as algebras?

Suppose $G$ is a cyclic group of order $n<\infty$. How can I show the isomorphism of algebras: $$\mathbb KG\simeq \frac{\mathbb K[t]}{\langle t^n-1\rangle}?$$ Above $\mathbb K$ is a field, ...
0
votes
0answers
39 views

Colimits in $Ch_R$, help with a step of the proof

I want to prove that the category of chain complexes of R-modules admits small colimits. I was told to try proving that the chain complex defined degree wise as the colimit of the modules of the same ...
1
vote
1answer
26 views

Number rings as free module over base ring

Let $K \subset L$ be number fields and $\mathcal{O_K}, \mathcal{O_L}$ the corresponding rings of algebraic integers. Further let dimension$(L/K)$ = n as a vector space. If $K$ is a PID, then ...
1
vote
1answer
26 views

Finite tensor product of infinite $R$-modules

I was challenged to find a ring $R$ and infinite $R$-modules $A$ and $B$ such that $A \otimes_R B$ is a finite but nontrivial abelian group. I can think of many examples that give $0$, but I'm ...
3
votes
1answer
21 views

Regard naturally as modules.

Suppose that $I$ is a two-sided ideal in the ring $R$, and that $M$ is a module over the quotient ring $R/I$. Why can we naturally regard $M$ as a $R$-module that is annihilated by $I$? Conversely, ...
3
votes
1answer
58 views

(Hopefully) Simple question about the exterior algebra functor

I have some (hopefully super) basic questions about the exterior algebra functor $$ \wedge:R\text{-Mod}\rightarrow R\text{-Alg}. $$ As I (think I) understand it, if one considers it as a functor ...
0
votes
1answer
11 views

Is the following short exact sequence always split?

Is it always true that the following short exact sequence of modules split? $0\to N\to M\to M/N\to0$
2
votes
1answer
42 views

Does the bicategory of bimodules really have left Kan extensions?

Let $\mathsf{Bimod}$ denote the bicategory whose $0$-cells are rings $A$, a $1$-cell $A \longrightarrow B$ is an $(A,B)$-bimodule and a $2$-cell is a bimodule map. The composition of $1$-cells is ...
0
votes
1answer
42 views

Why $M \otimes M$ does not have a ring structure?

I am reading some section about tensor algebras, and I don't have clear the idea on why $M \otimes M$ dont have a ring structure, where $M$ is an $R$-module. R is commutative and $1 \in R$. So far my ...
1
vote
0answers
28 views

Reference request: extending tensor product of modules

I'm looking for a reference to a construction similar to the following. I have a right R-module, $A_{K'}$, and a left R-module, $_KB$, where $K$ and $K'$ are fields and $K'\subset K$. I want to take ...
1
vote
1answer
98 views

How to calculate sum of combinations with different n and k

Input: $[X,Y]$ and $L$ Output : no of increasing sequence of length L and all elements should be $X\le i \le Y$ e.g: for $[6,7]$ and $2$ sequences are $6,66,67,7,77.$ For the above question my ...
3
votes
1answer
19 views

Two short exact sequences with projective objects in the middle

Problem: Prove that for two short exact sequences $$ 0\rightarrow A \xrightarrow{f} B \xrightarrow{g} C \rightarrow 0 $$ $$ 0\rightarrow A' \xrightarrow{f'} B' \xrightarrow{g'} C \rightarrow 0, $$ ...
1
vote
1answer
36 views

How to prove tensor product is exact when acted on split short exact sequence?

I know tensor product is right exact, but I can't figure out why it's exact when it is acted on a split short exact sequence. In addition, can you give an example that tensor product acts on a short ...
1
vote
1answer
37 views

Period of a module vs element

I believe that my notes are a little off because it seems that in one instance per$(M)$ is a set and in another case it's an element. Maybe a computation from the notes would help clarify the ...
0
votes
1answer
45 views

Kernel of a map on tensor product of modules

Let $M,N, P$ be $A$-modules, and let $f:M \otimes N \to P$ be an $A$-homomorphism. If $m \otimes n \in \ker f$ implies $m\otimes n =0$ for all $m\in M, n\in N$, does it follow that $\ker f=0?$ For ...
4
votes
0answers
66 views

Property of free submodules for a module over a PID

It's possible to produce an example of an integral domain $R$ and a free $R$-module $M$ with free submodules $L, L'$ such that $L+L'$ is not free. We can take $R=M=K[x,y]$ , $L=<x>$ , ...
3
votes
1answer
41 views

How to define an exact sequence of $\mathbb Z$-modules?

Let $p$ be a prime. How to make an exact sequence of $\mathbb Z$-modules (abelian groups): $$0\longrightarrow \mathbb Z_p\stackrel{f}{\longrightarrow} \mathbb Z_{p^2}\stackrel{g}{\longrightarrow} ...
3
votes
2answers
37 views

On the existence of finitely generated modules with finite injective dimension

Assume $R$ is a commutative local Noetherian ring. It is known that if there is a finitely generated module with finite injective dimension then $R$ is Cohen-Macaulay. My question is: if $R$ is ...
1
vote
2answers
34 views

Is the sequence of $\mathbb Z$-modules below exact?

I came across the following example in my algebra textbook: Considere the sequence of $\mathbb Z$-modules: $$0\longrightarrow \mathbb Z_2\stackrel{f}{\longrightarrow}\mathbb ...
0
votes
1answer
19 views

Prove that if M is irreducible but not cyclic, then for every $r \in R$ and $m \in M$ we have $ rm = 0.$

Prove that if M is irreducible but not cyclic, then for every $r \in R$ and $m \in M$, $rm = 0.$ This is what i write but i don't know how to continue Suppose there exists an $r \in R$ and $m ...
4
votes
0answers
130 views

The dimension of vector space $F^{X}$.

Here's the problem: Let $F$ be field, $X$ an infinite set and $F^{X}$ be the set of all functions $f:X\rightarrow F$. Then $F^{X}$ is a vector space over $F$ (with $(f+g)(x)=f(x)+g(x)$ and ...
3
votes
1answer
31 views

Group ring C[Z/n] and Artin-Wedderburn decomposition

I am trying to answer the following questions, which I assume follow on from eachother each other; Write $\mathbb C$[$\mathbb Z$/n] as a product of simple rings. For abelian groups $G_1$, $G_2$, ...
1
vote
1answer
26 views

By Zorn's Lemma, a module can be finitely generated by its some elements and a submodule?

Take A as an R-module, and B is its submodule. We can get a submodule $B_1$ of A generated by B and an element $b_1 \in A\backslash$B. By the similar way we can get a submodule $B_2$ of A generated by ...
1
vote
1answer
15 views

Submodule of a finitely generated module over a Dedekind domain

If $R$ is a Dedekind domain then is a submodule of a finitely generated $R$-module also finitely generated over $R$? Many thanks in advance.
-1
votes
2answers
17 views

Free and infinite abelian groups and the $\mathbb{Z}$-module structure. [closed]

I want to establish a specific link between the free and infinite Abelian groups and the $\mathbb{Z}$-module structure. Let me explain: 1 - If I have a finite abelian group $A$, is it possible ...
0
votes
1answer
19 views

A question about the quotient of two chain complexes of $R$-modules

Let $P$ be an acyclic object of $Ch_R$, let $P^{(k)}$ be the chain subcomplex of $P$ which agrees with $P$ above the degree $k-1$, contains $Bd_{k-1}P$ in degree $k-1$, and vanishes below degree ...
1
vote
1answer
34 views

$M\simeq D$ and $N\simeq D$ then $M\oplus N\simeq D\oplus D$?

Suppose $D$ is a PID and $M,N$ are $D$-modules and we have $\varphi_1:D\longrightarrow M$ and $\varphi_2:D\longrightarrow N$ isomorphism. Then if I take $\varphi:D\oplus D\longrightarrow M\oplus N$, ...