Abelian groups and exponent of a group

moont14263
Messages
40
Reaction score
0
Let p be a prime. Let H_{i}, i=1,...,n be normal subgroups of a finite group G. I want to prove the following:
If G/H_{i}, i=1,...,n are abelian groups of exponent dividing p-1, then G/N is abelian group of exponent dividing p-1 where N=\bigcap H_{i} ,i=1,...,n.

Proof:
Since G/H_{i}, i=1,...,n are abelian groups, then G^{'} (the derived subgroup of G) is contained in every H_{i}, i=1,...,n. Hence G^{'} is contained in N. Therefore G/N is abelian. I do not know how to deal with the exponent.
Thanks in advance.
 
Physics news on Phys.org
moont14263 said:
Let p be a prime. Let H_{i}, i=1,...,n be normal subgroups of a finite group G. I want to prove the following:
If G/H_{i}, i=1,...,n are abelian groups of exponent dividing p-1, then G/N is abelian group of exponent dividing p-1 where N=\bigcap H_{i} ,i=1,...,n.

Proof:
Since G/H_{i}, i=1,...,n are abelian groups, then G^{'} (the derived subgroup of G) is contained in every H_{i}, i=1,...,n. Hence G^{'} is contained in N. Therefore G/N is abelian. I do not know how to deal with the exponent.
Thanks in advance.


I think you only need the following two things:

1) If A is an abelian group of exponent m, then the exponent of any subgroup of A and of any homomorphic image of A divides m

(2)\,\,\forall i\,\,,\,\, N \leq H_i\, \Longrightarrow \,\,\forall\,\, g\in G\,\,,\, m(g + N) = N\Longrightarrow mg \in N \leq H_i\Longrightarrow \,m(g + H_i) = H_i \Longrightarrow
\Longrightarrow\, m\,\, \text{divides the exponent of}\,\, G/H_i\,\, .

DonAntonio
 
thank you very much.
 
Excuse me, how did you know that m is less than the exponent of G/Hi?
 
##\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...

Similar threads

Replies
2
Views
2K
Replies
4
Views
60
Replies
14
Views
3K
Replies
2
Views
1K
Replies
13
Views
584
Replies
5
Views
2K
Back
Top