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

learn more… | top users | synonyms

0
votes
0answers
20 views

Question on a property of $Ass(M)$ for modules over notherian rings

I got stuck reading a proof of the following lemma: Lemma Suppose that $M$ is a module over a commutative noetherian ring $R$ and let $m\neq 0 \in M$. Let $S$ be a multiplicative set in $R$ such ...
1
vote
0answers
18 views

Maximal ideals of the ring of matrices

Let K be a field. We consider $K^n$ as a left module of $M_{n, n}(K)$, the ring of matrices of size $n$ over $K$. 1) For any $M_{n, n}(K)$ module homomorphism $ 0 ≠ \phi: M_{n, n}(K) \to K^n$, show ...
1
vote
2answers
50 views

Module structure of base extension via tensor product

Let $A,B$ be commutative rings. Defining 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
0answers
25 views

Motivation For Tensor Product of R-Modules

I have recently learned about tensor products of modules,specifically the material in Dummit and Foote chapter 10 section 4. My understanding is that the construction of tensor spaces is important ...
1
vote
1answer
25 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 ...
2
votes
1answer
73 views

Cover of a direct summand

Let $L,N$ be $R$-modules. If $L$ and $L \oplus N$ have projective covers, is it true that $N$ admits a projective cover?
0
votes
0answers
19 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
21 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
62 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 ...
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 ...
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 ...
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
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 ...
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
42 views

Different module on same set

Let $M$ be a (left) $R$-module. Is there any example that $M$ has two $R$-module structure? (i.e. has different $R$-multiplications)
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
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
71 views

Dual of polynomial ring

Consider the free $k$-algebra $k[x_i]_{i \in I}$ indexed by $I$. Then is $Hom_{k-Mod}(k[x_i]_{i \in I},k) \cong k[x_i]_{i \in I}$?
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 ...
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 ...
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 ...
4
votes
0answers
127 views

Why has the category of all discrete $G$-modules not enough projectives when $G$ is profinite?

I found this article about Galois Cohomology. In it, it says that, when $G$ is a profinite group and $\mathbf{C}_G$ is the category of all discrete $G$-modules, $\mathbf{C}_G$ doesn't have enough ...
6
votes
1answer
64 views

$M\times N$ Doesn’t Have a Module Structure

In Keith Conrad's notes (page 4) is written: For two $R-$modules $M$ and $N$ , $M\oplus N$ and $M\times N$ are the same sets, but $M\oplus N$ is an $R-$module and $M\times N$ doesn’t have a ...
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 ...
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 ...
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 ...
4
votes
2answers
97 views

Direct sum of indecomposable modules

Prove or disprove: There exist indecomposable modules $V,U,W$ such that $\displaystyle{ V \oplus U \cong V \oplus W }$ and $\displaystyle { U \not \cong W}$. I think that this is true, but I have no ...
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 ...
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, ...
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 ...
0
votes
1answer
56 views

Identifying the tensor product of two given modules over $\mathbb Z/2\mathbb Z$.

Suppose that $\pi$ denotes the finite ring of order $2$, $\mathbb Z_+$ the trivial $\pi$-module and $\mathbb Z_-$ the non-trivial $\pi$-module (i.e., the generator acts by multiplication by −1). I ...
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, ...
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 ...
2
votes
2answers
106 views

Decomposition of finitely generated graded modules over PID

I found this decomposition theorem used in a paper I'm reading, but it isn't referenced and I can't seem to find it in any of the books I have: Every graded module $M$ over a graded PID decomposes ...
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 ...
3
votes
1answer
86 views

Are all simple left modules over a simple left artinian ring isomorphic?

I've a basic question. $R$ is a simple left artinian ring. I want to show that all simple left $R$-modules are isomorphic. A simple $R$-module $M$ is isomorphic to $R/J$ where $J$ is a maximal ...
2
votes
2answers
161 views

Quasi-hereditary algebras

Can anyone please recommend a reference (I prefer a book chapter) on Quasi-hereditary algebras? and if it is possible tell me how to prove that Schur algebras are Quasi-hereditary (or any other ...
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
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 ...
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, $$ ...