Jump to: navigation, search

Finite-extensible implies class-preserving

20 bytes removed, 01:22, 1 May 2009
no edit summary
# [[uses::Finite-extensible implies Hall-semidirectly extensible]]
# [[uses::Hall-semidirectly extensible implies linearly pushforwardable over prime field]] (where the prime does not divide the order of the group)
# [[uses::Linearly pushforwardable implies class-preserving]] when the field is a [[for class-separating field]]
# [[uses::Every finite group admits a sufficiently large prime field]]
# [[uses::Sufficiently large implies splitting]], [[uses::splitting implies character-separating]], [[uses::character-separating implies class-separating]]
Bureaucrats, emailconfirmed, Administrators

Navigation menu