Odd-order elementary abelian group is fully invariant in holomorph
This article states and (possibly) proves a fact that is true for odd-order p-groups: groups of prime power order where the underlying prime is odd. The statement is false, in general, for groups whose order is a power of two.
View other such facts for p-groups|View other such facts for finite groups
Statement
Let be an odd prime and consider the Elementary abelian group (?) with the product taken times. Then, is a Fully invariant subgroup (?) inside its holomorph.
Facts used
- Additive group of a field implies monolith in holomorph
- Monolith is fully invariant in co-Hopfian group (and in particular, in a finite group).
Proof
The proof follows from facts (1) and (2), along with the observations that: (i) any elementary abelian group is the additive group of a field, so we can use (1), and (ii) the holomorph of a finite group is again finite, so we can use (2).