Construct a unique simple submodule

  • #1
TMO
45
1
Problem. Let ##p## be a prime integer. Let ##Z_p^\infty## be the set of complex numbers having order ##p^n## for some ##n \in \mathbb{N}##, regarded as an abelian group under multiplication. Show that ##Z_p^\infty## has an unique simple submodule.

Attempted solution. The collection of all elements of order ##p## of ##Z_p^\infty## has the structure of an abelian cyclic group. Now how do I also show that it is closed under scalar multiplication? Would showing that it is closed under scalar multiplication suffice to prove that it is a submodule?
 

Answers and Replies

  • #2
fresh_42
Mentor
Insights Author
2021 Award
16,449
15,508
Problem. Let ##p## be a prime integer. Let ##Z_p^\infty## be the set of complex numbers having order ##p^n## for some ##n \in \mathbb{N}##, regarded as an abelian group under multiplication. Show that ##Z_p^\infty## has an unique simple submodule.

Attempted solution. The collection of all elements of order ##p## of ##Z_p^\infty## has the structure of an abelian cyclic group. Now how do I also show that it is closed under scalar multiplication? Would showing that it is closed under scalar multiplication suffice to prove that it is a submodule?
What is the module structure of ##\mathbb{Z}_p^\infty ##, means what is the ring of scalars?
 

Related Threads on Construct a unique simple submodule

  • Last Post
Replies
1
Views
2K
  • Last Post
Replies
2
Views
5K
  • Last Post
Replies
15
Views
2K
Replies
13
Views
2K
  • Last Post
Replies
1
Views
992
Replies
2
Views
2K
Replies
13
Views
2K
Replies
1
Views
2K
Top