Tag Info

For questions about algebras, their properties, and their structures.

An algebra over a field is a vector space equipped with a bilinear product. This product is not necessarily associative or unital, but if it is then the algebra is also a ring with unity. This can also be generalized by assuming that the scalars come from a commutative ring, rather than a field.

As with other algebraic objects, it is possible to define algebra homomorphisms, subalgebras, ideals, etc.

# Examples

• Group algebras, the algebra of polynomials $$K[x]$$ over a field $$K$$, and the quaternions are all associate algebras.

• Every ring is an associative algebra over it's center.

• The octonions are a non-associative algebra, and Lie algebras may not be associative.

Finite-dimensional algebras can be classified up to isomorphism by selecting a basis of $$n$$ and describing the multiplication of any two basis elements, which requires $$n^3$$ structure coefficients.