Are All Indecomposable Groups Cyclic?

  • Thread starter Thread starter metapuff
  • Start date Start date
  • Tags Tags
    Cyclic Groups
metapuff
Messages
53
Reaction score
6
A group is said to be indecomposable if it cannot be written as a product of smaller groups. An example of this is any group of prime order p, which is isomorphic to the group of integers modulo p (with addition as the group operation). Since the integers modulo p is a cyclic group (generated by 1), we have that any indecomposable group of prime order is cyclic. I have two questions:

Are ALL indecomposable groups cyclic? (N.B. not just those of prime order)

Are all cyclic groups indecomposable?

Thanks!
 
Physics news on Phys.org
Look at a list of "simple" groups.
 
If you restrict to finite abelian groups, then all indecomposable such groups are cyclic, but not all cyclic groups are indecomposable. All finite abelian groups decompose into a product of not just cyclic factors, but of indecomposable cyclic factors.

see my notes, especially pages 42-43:

http://www.math.uga.edu/%7Eroy/4050sum08.pdf
 
Ah, thanks @mathwonk! Your notes turned out to be just the reference I was looking for. I thought the extension to linear mappings was pretty interesting.
 
you are welcome. i had fun thinking that stuff through for a summer course in linear algebra, especially the analogies with finite abelian groups.
 
##\textbf{Exercise 10}:## I came across the following solution online: Questions: 1. When the author states in "that ring (not sure if he is referring to ##R## or ##R/\mathfrak{p}##, but I am guessing the later) ##x_n x_{n+1}=0## for all odd $n$ and ##x_{n+1}## is invertible, so that ##x_n=0##" 2. How does ##x_nx_{n+1}=0## implies that ##x_{n+1}## is invertible and ##x_n=0##. I mean if the quotient ring ##R/\mathfrak{p}## is an integral domain, and ##x_{n+1}## is invertible then...
The following are taken from the two sources, 1) from this online page and the book An Introduction to Module Theory by: Ibrahim Assem, Flavio U. Coelho. In the Abelian Categories chapter in the module theory text on page 157, right after presenting IV.2.21 Definition, the authors states "Image and coimage may or may not exist, but if they do, then they are unique up to isomorphism (because so are kernels and cokernels). Also in the reference url page above, the authors present two...
When decomposing a representation ##\rho## of a finite group ##G## into irreducible representations, we can find the number of times the representation contains a particular irrep ##\rho_0## through the character inner product $$ \langle \chi, \chi_0\rangle = \frac{1}{|G|} \sum_{g\in G} \chi(g) \chi_0(g)^*$$ where ##\chi## and ##\chi_0## are the characters of ##\rho## and ##\rho_0##, respectively. Since all group elements in the same conjugacy class have the same characters, this may be...
Back
Top