# Hall-semidirectly extensible implies linearly pushforwardable over prime field

From Groupprops

This article gives the statement and possibly, proof, of an implication relation between two automorphism properties. That is, it states that every automorphism satisfying the first automorphism property (i.e., Hall-semidirectly extensible automorphism) must also satisfy the second automorphism property (i.e., linearly pushforwardable automorphism)

View all automorphism property implications | View all automorphism property non-implications

Get more facts about Hall-semidirectly extensible automorphism|Get more facts about linearly pushforwardable automorphism

## Statement

Suppose is a finite group and is a Hall-semidirectly extensible automorphism of . Then, if is a prime not dividing the order of , is a linearly pushforwardable automorphism with respect to the prime field of elements.