On a finiteley generated submodule of a direct sum of left R-modules

  • Context: MHB 
  • Thread starter Thread starter steenis
  • Start date Start date
  • Tags Tags
    Direct sum Sum
Click For Summary
SUMMARY

The discussion focuses on the structure of finitely generated submodules within a direct sum of left R-modules. It establishes that for a finitely generated submodule \(N = \langle x_1, \ldots, x_m \rangle\) of \(M = \bigoplus_{i \in I} M_i\), each element \(x_j\) can be expressed as a finite sum of components from the modules \(M_i\). Specifically, each \(x_j\) belongs to a finite subset \(I_j \subset I\) such that \(x_j \in \bigoplus_{i \in I_j} M_i\), confirming that only finitely many components \(m_{ij}\) are nonzero.

PREREQUISITES
  • Understanding of left R-modules
  • Familiarity with direct sums in module theory
  • Knowledge of finitely generated modules
  • Basic concepts of module homomorphisms
NEXT STEPS
  • Study the properties of finitely generated modules over rings
  • Explore the implications of direct sums in module theory
  • Learn about the structure theorem for finitely generated modules over a PID
  • Investigate the relationship between submodules and quotient modules
USEFUL FOR

Mathematicians, algebraists, and students studying module theory, particularly those focusing on the properties and structures of finitely generated submodules in algebraic contexts.

steenis
Messages
312
Reaction score
18
Suppose $(M_i)_{i \in I}$ is a family of left $R$-modules and $M = \bigoplus_{i \in I} M_i$.
Suppose $N = \langle x_1 \cdots x_m \rangle$ is a finitely generated submodule of $M$.
Then for each $j = 1 \cdots m$, there is a finite $I_j \subset I$ such that $x_j \in \bigoplus_{i \in I_j} M_i$.

Can anyone help me with this ?*EDIT*
It is clear that each $x_j$ is in at least one $M_i$. I even think that it is exactly one. I need some confirmation.$
 
Last edited:
Physics news on Phys.org
My *EDIT* in post #1 in not correct.It took me a while, but the solution is:

Each $x_j$ is an element of $M = \bigoplus_{ i \in I} M_i $.

Therefore $x_j = (m_{ij})_{I \in I}$ where $m_{ij} \in M_i$ is the i-th component of $x_j$ in $\bigoplus_{ i \in I} M_i $.

M is an external direct sum, so only finitely many $m_{ij}$ are nonzero.

Let $I_j = \{i \in I | m_{ij} \neq 0 \}$, $I_j$ is finite.

Then $x_j \in $ $\bigoplus_{ i \in I_j} M_i $.
 
Last edited:

Similar threads

  • · Replies 7 ·
Replies
7
Views
2K
  • · Replies 2 ·
Replies
2
Views
1K
Replies
2
Views
2K
  • · Replies 5 ·
Replies
5
Views
2K
  • · Replies 9 ·
Replies
9
Views
2K
  • · Replies 40 ·
2
Replies
40
Views
3K
Replies
2
Views
2K
Replies
1
Views
1K
  • · Replies 2 ·
Replies
2
Views
2K
Replies
2
Views
2K