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:
I am studying the mathematical formalism behind non-commutative geometry approach to quantum gravity. I was reading about Hopf algebras and their Drinfeld twist with a specific example of the Moyal-Weyl twist defined as F=exp(-iλ/2θ^(μν)∂_μ⊗∂_ν) where λ is a constant parametar and θ antisymmetric constant tensor. {∂_μ} is the basis of the tangent vector space over the underlying spacetime Now, from my understanding the enveloping algebra which appears in the definition of the Hopf algebra...

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