Basics

Creation of algebras

See the corresponding sections on structure constant algebras, group algebras and quaternion algebras.

zero_algebra Method

zero_algebra([T, ] K::Field) -> AbstractAssociativeAlgebra

Return the zero ring as an algebra over the field $K$.

The optional first argument determines the type of the algebra, and can be StructureConstantAlgebra (default) or MatrixAlgebra.

Examples

julia> A = zero_algebra(QQ)
Structure constant algebra of dimension 0 over QQ

source

Basic properties

base_ring Method

base_ring(A::AbstractAssociativeAlgebra) -> Field

Given a $K$-algebra $A$, return $K$.

source

basis Method

basis(A::AbstractAssociativeAlgebra) -> Vector

Given a $K$-algebra $A$ return the $K$-basis of $A$. See also coordinates to get the the coordinates of an element with respect to the bases.

source

Predicates

is_zero Method

is_zero(A::AbstractAssociativeAlgebra) -> Bool

Return whether $A$ is the zero algebra.

source

is_commutative Method

is_commutative(A::AbstractAssociativeAlgebra) -> Bool

Return whether $A$ is commutative.

Examples

julia> A = matrix_algebra(QQ, 2);

julia> is_commutative(A)
false

source

is_central Method

is_central(A::AbstractAssociativeAlgebra)

Return whether the $K$-algebra $A$ is central, that is, whether $K$ is the center of $A$.

source

Creation of elements

Elements of algebras can be constructed by arithmetic with basis elements, generators or by providing coordinates.

julia> Q = quaternion_algebra(QQ, -1, -1)
Quaternion algebra
  over rational field
  defined by i^2 = -1, j^2 = -1

julia> B = basis(Q);

julia> x = B[1] + B[2] + 1//3 * B[4]
1 + i + 1//3*k

julia> Q([1, 1, 0, 1//3])
1 + i + 1//3*k

Generators

gens Method

gens(A::AbstractAssociativeAlgebra; thorough_search::Bool = false) -> Vector

Given a $K$-algebra $A$, return a subset of basis(A), which generates $A$ as an algebra over $K$.

If thorough_search is true, the number of returned generators is possibly smaller. This will in general increase the runtime. It is not guaranteed that the number of generators is minimal in any case.

The gens_with_data function computes additional data for expressing a basis as words in the generators.

Examples

julia> A = matrix_algebra(QQ, 3);

julia> gens(A; thorough_search = true)
5-element Vector{MatAlgebraElem{QQFieldElem, QQMatrix}}:
 [1 0 0; 0 0 0; 0 0 0]
 [0 0 0; 1 0 0; 0 0 0]
 [0 0 0; 0 0 0; 1 0 0]
 [0 1 0; 0 0 0; 0 0 0]
 [0 0 1; 0 0 0; 0 0 0]

source

gens_with_data Method

gens_with_data(A::AbstractAssociativeAlgebra; thorough_search::Bool = false)
                                                   -> Vector, Vector, Vector

Given a $K$-algebra $A$, return a triple $(G,B,w)$ consisting of

• a subset $G$ of basis(A), which generates $A$ as an algebra over $K$,

• a (new) basis $B$ and a vector w::Vector{Tuple{Int, Int}}, such that B[i] = prod(G[j]^k for (j, k) in w[i].

If thorough_search is true, the number of returned generators is possibly smaller. This will in general increase the runtime. It is not guaranteed that the number of generators is minimal in any case.

Examples

julia> A = matrix_algebra(QQ, 3);

julia> G, B, w = gens_with_data(A; thorough_search = true);

julia> B[1] == prod(G[i]^j for (i, j) in w[1])
true

source

Center

center Method

center(A::AbstractAssociativeAlgebra)
                                   -> StructureConstantAlgebra, Map

Returns the center $C$ of $A$ and the inclusion $C\to A$. Note that $C$ itself is an algebra.

Examples

julia> A = matrix_algebra(QQ, 2);

julia> C, CtoA = center(A);

julia> C
Structure constant algebra of dimension 1 over QQ

source

dimension_of_center Method

dimension_of_center(A::AbstractAssociativeAlgebra) -> Int

Given a $K$-algebra, return the $K$-dimension of the center of $A$.

Examples

julia> A = matrix_algebra(QQ, 2);

julia> dimension_of_center(A)
1

source

dimension_over_center Method

dimension_over_center(A::AbstractAssociativeAlgebra) -> Int

Given a simple $K$-algebra with center $C$, return the $C$-dimension $A$.

Examples

julia> A = matrix_algebra(QQ, 2);

julia> dimension_of_center(A)
1

source