information:classification, information:extraction, structural:reformatting
Zero algebra

An algebra is called a zero algebra if uv = 0 for all u, v in the algebra, not to be confused with the algebra with one element. It is inherently non-unital (except in the case of only one element), associative and commutative.

One may define a unital zero algebra by taking the direct sum of modules of a field (or more generally a ring) K and a K -vector space (or module) V, and defining the product of every pair of elements of V to be zero. That is, if λ, μ ∈ K and u, v ∈ V, then (λ + u) (μ + v) = λμ + (λv + μu). If e,... e is a basis of V, the unital zero algebra is the quotient of the polynomial ring K by the ideal generated by the E E for every pair (i, j).

An example of unital zero algebra is the algebra of dual numbers, the unital zero R -algebra built from a one dimensional real vector space.

These unital zero algebras may be more generally useful, as they allow to translate any general property of the algebras to properties of vector spaces or modules. For example, the theory of Gröbner bases was introduced by Bruno Buchberger for ideals in a polynomial ring R = K over a field. The construction of the unital zero algebra over a free R -module allows extending this theory as a Gröbner basis theory for submodules of a free module. This extension allows, for computing a Gröbner basis of a submodule, to use, without any modification, any algorithm and any software for computing Gröbner bases of ideals.