Struct IwasawaModule 

pub struct IwasawaModule {
    pub algebra: IwasawaAlgebra,
    pub rank: usize,
    pub torsion: String,
}

A finitely generated module over the Iwasawa algebra.

Fields

algebra: IwasawaAlgebra

The Iwasawa algebra acting on this module.

rank: usize

The rank of the free part of the module.

torsion: String

Informal description of the torsion submodule.

Implementations

impl IwasawaModule

pub fn new(algebra: IwasawaAlgebra, rank: usize, torsion: String) -> Self

Construct an Iwasawa module with given algebra, rank, and torsion description.

pub fn structural_theorem_statement(&self) -> String

Return a string describing the structure theorem for finitely generated Λ-modules.