Struct ProfiniteGroup 

pub struct ProfiniteGroup {
    pub name: String,
    pub index_list: Vec<u64>,
}

A profinite group, given as an inverse limit of finite groups.

Fields

name: String

Name of the group (e.g. “ℤ_p”, “Gal(ℚ^ab/ℚ)”).

index_list: Vec<u64>

Indices of the finite quotients in the inverse system.

Implementations

impl ProfiniteGroup

pub fn new(name: impl Into<String>) -> Self

Construct a profinite group with a given name.

pub fn is_pro_p(&self, p: u64) -> bool

True if every open subgroup has p-power index (i.e. the group is pro-p).

pub fn is_abelian(&self) -> bool

True if the group is (topologically) abelian.