Struct KGroup 

pub struct KGroup {
    pub algebra: String,
    pub index: u8,
}

The K-group K_n(A) of a C*-algebra A, for n ∈ {0, 1}.

K₀(A) is the Grothendieck group of stable isomorphism classes of projections. K₁(A) ≅ K₀(SA) where SA is the suspension of A.

Fields

algebra: String

Name of the C*-algebra.

index: u8

Index: 0 for K₀, 1 for K₁.

Implementations

impl KGroup

pub fn new(algebra: impl Into<String>, index: u8) -> Self

Construct the K_n group for the named algebra.

pub fn is_finitely_generated(&self) -> bool

Returns true if this K-group is finitely generated.

For C*-algebras of compact spaces and AF-algebras this is typically true.