P-normal group
From Groupprops
The article defines a property of groups, where the definition may be in terms of a particular prime that serves as parameter
View other prime-parametrized group properties | View other group properties
Contents
Definition
Suppose is a finite group and
is a prime number. We say that
is
-normal if it satisfies the following equivalent conditions:
- There exists a
-Sylow subgroup
of
such that the center
is a weakly closed subgroup of
relative to
.
- For every
-Sylow subgroup
of
, the center
is a weakly closed subgroup of
relative to
.
- There exists a
-Sylow subgroup
of
with center
such that for any
-Sylow subgroup
of
containing the center
,
is a normal subgroup of
.
- For every
-Sylow subgroup
of
with center
, it is true that for any
-Sylow subgroup
of
containing the center
,
is a normal subgroup of
.
- There exists a
-Sylow subgroup
such that, for every
-Sylow subgroup
containing the center
,
.
- For every
-Sylow subgroup
, and for every
-Sylow subgroup
containing the center
,
.
Equivalence of definitions
The equivalence between definitions (1)-(2) and between definitions (3)-(4) follows from the fact that Sylow implies order-conjugate: any two -Sylow subgroups are conjugate, and the conjugating automorphism preserves all properties including weak closure. The equivalence between (1) and (3) follows from the fact that characteristic subgroup of Sylow subgroup is weakly closed iff it is normal in every Sylow subgroup containing it.
Relation with other properties
Stronger properties
Property | Meaning | Proof of implication | Proof of strictness (reverse implication failure) | Intermediate notions |
---|---|---|---|---|
p-nilpotent group | there is a p'-Hall subgroup, i.e., a normal p-complement. The ![]() |
p-nilpotent implies p-normal | p-normal not implies p-nilpotent | |FULL LIST, MORE INFO |
group in which the ![]() |
Incomparable properties
References
- The Theory of Groups by Marshall Hall, Jr., Page 205, Section 14.4, More info
- Finite Groups by Daniel Gorenstein, ISBN 0821843427, Page 256, Chapter 7 (Fusion, transfer and p-factor groups), Section 6(Elementary applications), More info