Puig subgroup

Short description: Characteristic subgroup in mathematical finite group theory

In finite group theory, a branch of mathematics, the Puig subgroup, introduced by Puig (1976), is a characteristic subgroup of a p-group analogous to the Thompson subgroup.

## Definition

If H is a subgroup of a group G, then LG(H) is the subgroup of G generated by the abelian subgroups normalized by H.

The subgroups Ln of G are defined recursively by

* L0 is the trivial subgroup
* Ln+1 = LG(Ln)

They have the property that

* L0 ⊆ L2 ⊆ L4... ⊆ ...L5 ⊆ L3 ⊆ L1

The Puig subgroup L(G) is the intersection of the subgroups Ln for n odd, and the subgroup L*(G) is the union of the subgroups Ln for n even.

## Properties

Puig proved that if G is a (solvable) group of odd order, p is a prime, and S is a Sylow p-subgroup of G, and the p′-core of G is trivial, then the center Z(L(S)) of the Puig subgroup of S is a normal subgroup of G.

## References

* Bender, Helmut; Glauberman, George (1994), "Appendix B - The Puig Subgroup", Local analysis for the odd order theorem, London Mathematical Society Lecture Note Series, 188, Cambridge University Press, pp. 139–144, ISBN 978-0-521-45716-3, https://books.google.com/books?id=DvTw3KMSLdsC&pg=PA139
* Puig, Luis (1976), "Structure locale dans les groupes finis", Bulletin de la Société Mathématique de France (47): 132, ISSN 0037-9484, http://www.numdam.org/item?id=MSMF_1976__47__5_0

0.00

(0 votes)

Original source: https://en.wikipedia.org/wiki/Puig subgroup. Read more

|

Retrieved from "https://handwiki.org/wiki/index.php?title=Puig_subgroup&oldid=3979823"