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

  • Thread starter Thread starter steenis
  • Start date Start date
  • Tags Tags
    Direct sum Sum
Click For Summary
In the discussion, it is established that for a family of left R-modules $(M_i)_{i \in I}$ forming a direct sum $M = \bigoplus_{i \in I} M_i$, any finitely generated submodule $N = \langle x_1, \ldots, x_m \rangle$ consists of elements $x_j$ that can be expressed as finite sums of elements from the $M_i$. Each element $x_j$ is represented in the direct sum as $x_j = (m_{ij})_{i \in I}$, where only finitely many components $m_{ij}$ are nonzero due to the nature of the external direct sum. Consequently, for each $j$, a finite index set $I_j$ can be defined such that $x_j$ belongs to the direct sum of the modules indexed by $I_j$. This confirms that each $x_j$ indeed lies within a finite subset of the direct sum.
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:
Thread 'How to define a vector field?'
Hello! In one book I saw that function ##V## of 3 variables ##V_x, V_y, V_z## (vector field in 3D) can be decomposed in a Taylor series without higher-order terms (partial derivative of second power and higher) at point ##(0,0,0)## such way: I think so: higher-order terms can be neglected because partial derivative of second power and higher are equal to 0. Is this true? And how to define vector field correctly for this case? (In the book I found nothing and my attempt was wrong...

Similar threads

  • · Replies 7 ·
Replies
7
Views
2K
  • · Replies 5 ·
Replies
5
Views
2K
Replies
2
Views
2K
  • · Replies 2 ·
Replies
2
Views
1K
  • · 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
1
Views
2K