The Group Properties Wiki (pre-alpha)

TIP: Having trouble locating the wiki page about a given fact? Get tips

ABOUT US: We use a Creative Commons license. All our content is free to reuse, with attribution. Learn more

ALSO CHECK OUT: Topospaces: The Topology Wiki

From Groupprops

This article gives the statement and possibly, proof, of an implication relation between two group properties. That is, it states that every group satisfying the first group property must also satisfy the second group property
View all group property implications | View all group property non-implications |Get help on looking up group property implications/non-implications
|

Contents 1 Statement 1.1 Property-theoretic statement 1.2 Verbal statement 2 Definitions used 2.1 Automorph-conjugate subgroup 2.2 ACIC-group 2.3 Finite nilpotent group 3 Facts used 4 Related facts 5 Proof 5.1 Proof using subgroup property collapse

Statement

Property-theoretic statement

For finite groups, the property of being ACIC is stronger than the property of being nilpotent.

Verbal statement

Any finite ACIC-group is nilpotent.

Definitions used

Automorph-conjugate subgroup

Further information: automorph-conjugate subgroup

A subgroup H of a group G is termed an automorph-conjugate subgroup if for every automorphism σ of G, H and σ(H) are conjugate subgroups.

ACIC-group

Further information: ACIC-group

A group is termed ACIC if every automorph-conjugate subgroup is characteristic, or equivalently, any automorph-conjugate subgroup is normal.

Finite nilpotent group

Further information: Finite nilpotent group

A finite group is termed nilpotent if all Sylow subgroups are normal (this is just one of the formulations of nilpotence for finite groups). The definition breaks down for infinite groups).

Facts used

• In a finite group, any Sylow subgroup is automorph-conjugate. Further information: Sylow implies automorph-conjugate
• The definition of finite nilpotent group given above: a finite nilpotent group is a finite group in which every Sylow subgroup is normal.

Related facts

• Frattini subgroup is nilpotent
• Frattini subgroup is ACIC
• Abelian implies ACIC

Proof

Proof using subgroup property collapse

For any finite group, we have:

Sylow automorph-conjugate

And for an ACIC-group, we have:

Automorph-conjugate normal

Thus, for a finite ACIC-group, we have:

Sylow Normal

Which is precisely the condition for being a finite nilpotent group.