Skip to main content

outer_automorphism_order

Function outer_automorphism_order 

Source
pub fn outer_automorphism_order(
    degree: usize,
    gens: &[Perm],
    cap: usize,
) -> Option<u128>
Expand description

The order of the outer automorphism group Out(G) = Aut(G)/Inn(G), where the inner automorphisms Inn(G) ≅ G/Z(G) are those realised by conjugation. Out(G) counts the “exotic” symmetries of the group not coming from within it. None when out of range.