Abelian groups and exponent of a group

  • Context: Graduate 
  • Thread starter Thread starter moont14263
  • Start date Start date
  • Tags Tags
    Exponent Group Groups
Click For Summary

Discussion Overview

The discussion revolves around the properties of finite groups, specifically focusing on the relationship between normal subgroups and the structure of the quotient group. Participants explore the conditions under which a group is abelian and the implications for the exponent of the group.

Discussion Character

  • Technical explanation
  • Mathematical reasoning
  • Debate/contested

Main Points Raised

  • One participant proposes that if the quotient groups G/H_{i} are abelian with exponents dividing p-1, then G/N is also abelian with an exponent dividing p-1, where N is the intersection of the normal subgroups H_{i}.
  • Another participant suggests that the exponent of any subgroup or homomorphic image of an abelian group divides the exponent of the group itself.
  • A challenge is raised regarding the assumption that the exponent of G/H_{i} is greater than or equal to m, questioning how this relationship is established.

Areas of Agreement / Disagreement

The discussion contains multiple viewpoints regarding the implications of the properties of abelian groups and their exponents. There is no consensus on how to definitively establish the relationship between the exponent of G and the exponents of the quotient groups.

Contextual Notes

Participants express uncertainty about the handling of the exponent in the proof, indicating that further clarification or additional assumptions may be necessary to resolve the issue.

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?
 

Similar threads

  • · Replies 1 ·
Replies
1
Views
820
  • · Replies 26 ·
Replies
26
Views
1K
  • · Replies 2 ·
Replies
2
Views
3K
  • · Replies 4 ·
Replies
4
Views
814
  • · Replies 14 ·
Replies
14
Views
3K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 13 ·
Replies
13
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 5 ·
Replies
5
Views
2K