Jump to: navigation, search

Finite-extensible implies class-preserving

34 bytes removed, 16:05, 8 April 2009
Facts used
==Facts used==
# [[uses::Finite-extensible implies finite-characteristicHall-semidirectly extensible]]# [[uses::Finite-characteristicHall-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 [[class-separating field]]
# [[uses::Every finite group admits a sufficiently large prime field]]
Bureaucrats, emailconfirmed, Administrators

Navigation menu