Algebraic Structures & Operator Algebras

← Back to Domain-Specific Families

Abstractions about algebraic structures generalizing rings, algebras, and their representations, including operator algebras (Calkin algebra, nuclear C*-algebra, Jordan operator algebra), coalgebra and Hopf-type structures (bialgebra, Lie coalgebra, quasi-Hopf algebra), and classification invariants or constructions (Gelfand-Kirillov dimension, Schur functor, term algebra).

24 abstractions in this family — domain-specific abstractions that sit near one another in structural-signature space (k-means over structural-signature embeddings). Each is shown with its short description.

• Additive inverse — For an element in an additive algebraic structure, another element whose sum with it is the additive identity.
• Bialgebra — A vector space carrying compatible unital associative algebra and counital coassociative coalgebra structures, so multiplication and unit are coalgebra maps equivalently comultiplication and counit are algebra maps.
• Calkin algebra — The C*-algebra obtained by quotienting all bounded operators on an infinite-dimensional separable Hilbert space by the ideal of compact operators.
• Capelli's identity — Correct the determinant identity det(AB)=det(A)det(B) for matrices of noncommuting multiplication and differentiation operators by adding an ordered diagonal shift, yielding a central invariant in gl_n representation theory.
• Colombeau algebra — A differential algebra of generalized functions that embeds distributions while permitting nonlinear multiplication and retaining compatibility with smooth-function products.
• Dirichlet algebra — A closed unital subalgebra of continuous functions on a compact Hausdorff space whose real parts are uniformly dense in all continuous real-valued functions.
• E∞-operad — An operad whose spaces of n-ary operations are contractible with suitably free symmetric-group actions, encoding multiplication associative and commutative up to coherent higher homotopies.
• Gamas's theorem — A criterion stating that a tensor projected by an irreducible symmetric-group representation is nonzero exactly when its vectors can be partitioned into linearly independent subsets of sizes given by the partition’s columns.
• Gelfand–Kirillov dimension — An invariant measuring the polynomial growth rate of an algebra or module generated by finite-dimensional subspaces.
• Jordan operator algebra — A normed Jordan algebra modeled on self-adjoint operators with the symmetrized product a circle b equal to one half of ab plus ba.
• Lie coalgebra — A vector space with a skew-symmetric cobracket satisfying the co-Jacobi identity, dual to a Lie algebra in finite dimensions.
• Locally nilpotent — A local finiteness condition under which every finitely generated subobject is nilpotent, or an ideal becomes nilpotent after localization at a specified prime.
• Nuclear C*-algebra — A C-algebra whose algebraic tensor product with every C-algebra has a unique C*-norm, equivalently whose identity approximately factors through matrix algebras by completely positive maps.
• Partial groupoid — A set equipped with a binary operation that is defined only for a specified subset of ordered pairs.
• Quasi-Hopf algebra — A quasi-bialgebra equipped with an antipode and distinguished elements whose identities replace the strict Hopf antipode laws in the presence of a nontrivial associator.
• Quasifield — A nonassociative division-like algebra whose additive structure is a group and whose multiplication supports division while satisfying only selected distributive laws.
• Quasitrace — A positive tracial functional on a C-star algebra that is homogeneous and additive on commuting positive elements but need not be globally additive.
• Quasivariety — A class of algebraic structures of a fixed signature axiomatizable by quasi-identities, equivalently closed under isomorphisms, subalgebras, direct products, and ultraproduct or reduced-product conditions under standard formulations.
• Schur functor — A polynomial functor indexed by a partition that constructs an irreducible polynomial representation from tensor powers using prescribed row symmetries and column antisymmetries.
• Subfield of an algebra — An F-subalgebra of an F-algebra that is itself a field, with maximal and strictly maximal variants recording containment and dimension conditions.
• Superalgebra — A Z₂-graded algebra split into even and odd components whose multiplication adds parity modulo two.
• Term algebra — The freely generated algebra of formal terms built from variables and operation symbols in a signature, initial among algebras receiving those generators.
• Tomita–Takesaki theory — The modular theory deriving a one-parameter automorphism group and commutant duality from a von Neumann algebra with a cyclic separating vector or faithful normal weight.
• Ultrastrong topology — A locally convex operator topology on bounded operators generated by seminorms obtained from countable square-summable families of Hilbert-space vectors or positive normal functionals.