MHB Direct sum of p-primary components of an R-module counterexample?

kalish1
Messages
79
Reaction score
0
Let $x \in R - \{0\},$ where $R$ is a domain.

Define $T_x(M) = \{m \in M \ | \ x^n m=0 \ \ \mathrm{for \ some} \ n \in \mathbb{N}\}$ as the $x$-torsion of $M.$

I know that $T_x(M \oplus N) = T_x(M) \oplus T_x(N)$ for $R$-modules $M,N$ only if $R$ is a PID.

But I can't think of a counterexample for $R$ an integral domain.

Any ideas?
 
Physics news on Phys.org
kalish said:
Let $x \in R - \{0\},$ where $R$ is a domain.

Define $T_x(M) = \{m \in M \ | \ x^n m=0 \ \ \mathrm{for \ some} \ n \in \mathbb{N}\}$ as the $x$-torsion of $M.$

I know that $T_x(M \oplus N) = T_x(M) \oplus T_x(N)$ for $R$-modules $M,N$ only if $R$ is a PID.

But I can't think of a counterexample for $R$ an integral domain.

Any ideas?

Here is the modified problem:

Let $x \in R - \{0\},$ where $R$ is a domain.

Define $T_x(M) = \{m \in M \ | \ x^n m=0 \ \ \mathrm{for \ some} \ n \in \mathbb{N}\}$ as the $x$-torsion of $M.$

I need to show that $T_x(M \oplus N) = T_x(M) \oplus T_x(N)$ for $R$-modules $M,N$ or show that there is a counterexample.

Why is this proof wrong?

Take $(a,b)\in T_x(M\oplus N)$. Then there exist $m,n \in \mathbb{N},$ not necessarily equal, such that $x^m a + x^n b=0.$ Take $(a,b)\in T_x(M) \oplus T_x(N)$. Then there exist $m,n \in \mathbb{N}$ such that $x^m a=0$ and $x^n b=0.$ So if $(a,b)\in T_x(M) \oplus T_x(N),$ then $(a,b)\in T_x(M\oplus N).$ But the converse is not true. Thus $T(M \oplus N) \neq T(M) \oplus T(N).$
 
The world of 2\times 2 complex matrices is very colorful. They form a Banach-algebra, they act on spinors, they contain the quaternions, SU(2), su(2), SL(2,\mathbb C), sl(2,\mathbb C). Furthermore, with the determinant as Euclidean or pseudo-Euclidean norm, isu(2) is a 3-dimensional Euclidean space, \mathbb RI\oplus isu(2) is a Minkowski space with signature (1,3), i\mathbb RI\oplus su(2) is a Minkowski space with signature (3,1), SU(2) is the double cover of SO(3), sl(2,\mathbb C) is the...

Similar threads

  • · Replies 8 ·
Replies
8
Views
3K
  • · Replies 5 ·
Replies
5
Views
759
Replies
1
Views
2K
  • · Replies 26 ·
Replies
26
Views
647
  • · Replies 4 ·
Replies
4
Views
2K
  • · Replies 4 ·
Replies
4
Views
3K
Replies
7
Views
2K
Replies
7
Views
2K
Replies
21
Views
1K
  • · Replies 1 ·
Replies
1
Views
1K