Skip to main content

conjugacy_classes

Function conjugacy_classes 

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

The conjugacy classes of the group — the partition of its elements by g ~ x⁻¹gx. The number of classes equals the number of irreducible representations (the bridge to character theory); the singleton classes are exactly the centre Z(G). Requires enumerating the group, so it returns None when |G| > cap.