(algebra) A direct sum with an exterior product of multivector spaces which are all based on a same underlying finite-dimensional vector space. The associative algebra of sums and exterior products of scalars, vectors, blades, multivectors, and hybrid (i.e., non-homogeneous) sums of multivectors of different grades.

plural of Heyting algebra

(algebra, order theory) A bounded lattice, L, modified to serve as a model for a logical calculus by being equipped with a binary operation called "implies", denoted → (sometimes ⊃ or ⇒), defined such that (a→b)∧a ≤ b and, moreover, that x = a→b is the greatest element such that x∧a ≤ b (in the sense that if c∧a ≤ b then c ≤ a→b).

plural of Abelian algebra

(mathematics) Any algebra in which multiplication (or its equivalent) is commutative.

(mathematics) The branch of algebra concerned with commutative rings and objects related to them (such as ideals and modules).

Alternative letter-case form of Abelian algebra

plural of abelian algebra

plural of Hopf algebra

(mathematics) A structure that is simultaneously a unital associative algebra and a counital coassociative coalgebra, equipped with an antiautomorphism satisfying a certain property.