plural of Kac-Moody algebra

plural of Borel σ-algebra

plural of De Morgan algebra

plural of power-associative algebra

(algebra) A field of sets whose elements are equivalent to Boolean formulas (or, perhaps more precisely, equivalence classes of Boolean formulas). Starting with a set of n variables which are independent of each other and are called generators, the power set of this set has 2ⁿmembers which may be called atoms and are valuations of the n variables: a valuation can be considered to be a set of variables which are "true" under that valuation, or a conjunction of generators (such that variables not included in that set are included in negated form in the equivalent conjunction). Then the power set of the set of atoms yields a set of 2^(2ⁿ) members which are the elements of the said field of sets. These elements correspond to Boolean formulas: a formula can be considered to be a set of valuations which make the formula true, or a linear combination (i.e., a disjunction) of atoms.

(algebra) A relatively new discipline in mathematics that combines techniques and concepts from combinatorics and commutative algebra, and in which the geometry of convex polytopes also plays a significant role.

plural of central simple algebra

(algebra, ring theory) A finite-dimensional associative algebra over some field K that is a simple algebra and whose centre is exactly K.

plural of algebra over a field

(algebra) A vector space (over some field) with an additional binary operation, a vector-valued product between vectors, which is bilinear over vector addition and scalar multiplication. (N.B.: such bilinearity implies distributivity of the vector multiplication with respect to the vector addition, which means that such a vector space is also a ring.)