In mathematics, an algebra over a field (often simply called an algebra) is a vector space equipped with a bilinear product. Thus, an algebra is an algebraic structure consisting of a set together with operations of multiplication and addition and scalar multiplication by elements of a field and satisfying the axioms implied by "vector space" and "bilinear".[1]
The multiplication operation in an algebra may or may not be associative, leading to the notions of associative algebras and non-associative algebras. Given an integer n, the ring of real square matrices of order n is an example of an associative algebra over the field of real numbers under matrix addition and matrix multiplication since matrix multiplication is associative. Three-dimensional Euclidean space with multiplication given by the vector cross product is an example of a nonassociative algebra over the field of real numbers since the vector cross product is nonassociative, satisfying the Jacobi identity instead.
An algebra is unital or unitary if it has an identity element with respect to the multiplication. The ring of real square matrices of order n forms a unital algebra since the identity matrix of order n is the identity element with respect to matrix multiplication. It is an example of a unital associative algebra, a (unital) ring that is also a vector space.
Many authors use the term algebra to mean associative algebra, or unital associative algebra, or in some subjects such as algebraic geometry, unital associative commutative algebra.
Replacing the field of scalars by a commutative ring leads to the more general notion of an algebra over a ring. Algebras are not to be confused with vector spaces equipped with a bilinear form, like inner product spaces, as, for such a space, the result of a product is not in the space, but rather in the field of coefficients.
^See also Hazewinkel, Gubareni & Kirichenko 2004, p. 3 Proposition 1.1.1
and 24 Related for: Algebra over a field information
mathematics, an algebraoverafield (often simply called an algebra) is a vector space equipped with a bilinear product. Thus, an algebra is an algebraic structure...
In the field of mathematics called abstract algebra, a division algebra is, roughly speaking, an algebraoverafield in which division, except by zero...
lattices, and algebrasoverafield. The term abstract algebra was coined in the early 20th century to distinguish it from older parts of algebra, and more...
related areas of mathematics a central simple algebra (CSA) overafield K is a finite-dimensional associative K-algebraA which is simple, and for which...
is used in the sense of a Boolean algebra and should not be confused with algebrasoverfields or rings in ring theory. Fields of sets play an essential...
mathematics, a quaternion algebraoverafield F is a central simple algebraAover F that has dimension 4 over F. Every quaternion algebra becomes a matrix...
unless otherwise stated, a Lie algebra is a finite-dimensional Lie algebraoverafield of characteristic 0. For such a Lie algebra g {\displaystyle {\mathfrak...
quantum field theory to string theory and LHC phenomenology. Formally, a Hopf algebra is an (associative and coassociative) bialgebra H overafield K together...
mathematics, an algebraic structure consists of a nonempty set A (called the underlying set, carrier set or domain), a collection of operations on A (typically...
In mathematics, an algebraic number field (or simply number field) is an extension field K {\displaystyle K} of the field of rational numbers Q {\displaystyle...
analysis, a Banach algebra, named after Stefan Banach, is an associative algebraA {\displaystyle A} over the real or complex numbers (or overa non-Archimedean...
Linear algebra is the branch of mathematics concerning linear equations such as: a 1 x 1 + ⋯ + a n x n = b , {\displaystyle a_{1}x_{1}+\cdots +a_{n}x_{n}=b...
In abstract algebra, a Jordan algebra is a nonassociative algebraoverafield whose multiplication satisfies the following axioms: x y = y x {\displaystyle...
3-dimensional Euclidean space Algebraoverafield – a vector space equipped with a bilinear product Any of the original vector algebras of the nineteenth century...
that a simple ring is an associative algebraover this field. It is then called a simple algebraover this field. Several references (e.g., Lang (2002)...
In mathematics, a composition algebraAoverafield K is a not necessarily associative algebraover K together with a nondegenerate quadratic form N that...
methods of transforming equations to isolate variables. Linear algebra is a closely related field investigating variables that appear in several linear equations...
mathematical field of representation theory, a Lie algebra representation or representation of a Lie algebra is a way of writing a Lie algebra as a set of matrices...
operator defining the multiplication of two vectors is an algebraoverafield (or F-algebra if the field F is specified). For example, the set of all polynomials...