Type Alias ChalkboardStructureExtension<T, U>

The type for algebraic structure extensions in abstract algebra.

type ChalkboardStructureExtension<T, U extends T> = {
    base: ChalkboardStructure<T>;
    basis: ChalkboardVector[];
    degree: number;
    extension: ChalkboardStructure<U>;
    isAlgebraic: boolean;
    isFinite: boolean;
    isSimple: boolean;
}

Properties

The algebraic structure which is a substructure of the extension structure

The basis vectors of the extension structure

degree: number

The dimension of the extension structure as a vector space over the base structure

The algebraic structure which is an extension of the base structure

isAlgebraic: boolean

Whether the extension structure is algebraic or not

isFinite: boolean

Whether the extension structure is finite or not

isSimple: boolean

Whether the extension structure is simple or not