homomorphic image
21Free group — In mathematics, a group G is called free if there is a subset S of G such that any element of G can be written in one and only one way as a product of finitely many elements of S and their inverses (disregarding trivial variations such as st 1 =… …
22Magma (algebra) — In abstract algebra, a magma (or groupoid; not to be confused with groupoids in category theory) is a basic kind of algebraic structure. Specifically, a magma consists of a set M equipped with a single binary operation . A binary operation is… …
23Gelfand-Naimark-Segal construction — In functional analysis, given a C* algebra A , the Gelfand Naimark Segal construction establishes a correspondence between cyclic * representations of A and certain linear functionals on A (called states ). The correspondence is shown by an… …
24Polynomial ring — In mathematics, especially in the field of abstract algebra, a polynomial ring is a ring formed from the set of polynomials in one or more variables with coefficients in another ring. Polynomial rings have influenced much of mathematics, from the …
25Flat module — In abstract algebra, a flat module over a ring R is an R module M such that taking the tensor product over R with M preserves exact sequences.Vector spaces over a field are flat modules. Free modules, or more generally projective modules, are… …
26Krohn–Rhodes theory — In mathematics and computer science, Krohn Rhodes theory is an approach to the study of finite semigroups and automata that seeks to decompose them in terms of elementary components. These turn out to correspond to finite aperiodic semigroups and …
27Koszul complex — In mathematics, the Koszul complex was first introduced to define a cohomology theory for Lie algebras, by Jean Louis Koszul (see Lie algebra cohomology). It turned out to be a useful general construction in homological algebra.IntroductionIn… …
28Antimatroid — In mathematics, an antimatroid is a formal system that describes processes in which a set is built up by including elements one at a time, and in which an element, once available for inclusion, remains available until it is included. Antimatroids …
29Universal C*-algebra — In mathematics, more specifically in the theory of C* algebras, a universal C* algebra is one characterized by a universal property. A universal C* algebra can be expressed as a presentation, in terms of generators and relations. One requires… …
30Kazhdan's property (T) — In mathematics, a locally compact topological group G has property (T) if the trivial representation is an isolated point in its unitary dual equipped with the Fell topology. Informally, this means that if G acts unitarily on a Hilbert space and… …
