Critical subgroup: Difference between revisions

From Groupprops
No edit summary
No edit summary
Line 10: Line 10:
Let <math>G</math> be a [[group of prime power order]].
Let <math>G</math> be a [[group of prime power order]].


A subgroup <math>H</math> of <math>G</math> is said to be '''critical''' if the following three conditions hold:
A subgroup <math>H</math> of <math>G</math> is said to be '''critical''' if it is [[characteristic subgroup|characteristic]] in <math>G</math>, and the following three conditions hold:


* <math>\Phi(H) \le Z(H)</math>, viz the [[Frattini subgroup]] is contained inside the [[center]]
* <math>\Phi(H) \le Z(H)</math>, viz the [[Frattini subgroup]] is contained inside the [[center]]
Line 18: Line 18:
==Facts==
==Facts==


Every [[group of prime power order]] has a critical subgroup that is also [[characteristic subgroup|characteristic]]. {{further|[[Thompson's critical subgroup theorem]]}}
Every [[group of prime power order]] has a critical subgroup. {{further|[[Thompson's critical subgroup theorem]]}}

Revision as of 21:39, 6 July 2008

This article is about a subgroup property related to the Classification of finite simple groups

WARNING: POTENTIAL TERMINOLOGICAL CONFUSION: Please don't confuse this with critical group


This article is about a definition in group theory that is standard among the group theory community (or sub-community that dabbles in such things) but is not very basic or common for people outside.
VIEW: Definitions built on this | Facts about this: (facts closely related to Critical subgroup, all facts related to Critical subgroup) |Survey articles about this | Survey articles about definitions built on this
VIEW RELATED: Analogues of this | Variations of this | Opposites of this |
View a list of other standard non-basic definitions

Definition

Definition with symbols

Let G be a group of prime power order.

A subgroup H of G is said to be critical if it is characteristic in G, and the following three conditions hold:

Facts

Every group of prime power order has a critical subgroup. Further information: Thompson's critical subgroup theorem