start - MathStructures

This page is read only. You can view the source, but not change it. Ask your administrator if you think this is wrong.
===== Mathematical Structures =====

The webpages collected here list information about classes of
mathematical structures. The aim is to have a central place to check
what properties are known about these structures. 

Initially the main content concerns mostly first-order classes of relational
structures and, more particularly, equationally defined classes of algebraic structures.
If you are familiar with some of these classes of structures and would like some information added, please email Peter Jipsen (jipsen@chapman.edu). [Account creation unfortunately had to be disabled.] 

**New:** Boldface links below display lists of finite algebras in a particular class (calculated locally in the browser).

[[Acknowledgements]] | [[Notation and terminology]] | [[Properties]] | [[Tools]] | [[Online books and lecture notes]]

[[Varieties]] | [[Quasivarieties]] | [[Universal classes]] | [[First-order classes]] | [[Second-order classes]] 

[[Algebras]] | [[Logics]] | [[Syntax]] | [[Terms]] | [[Equations]] | [[Horn formulas]] | [[Universal formulas]] | [[First-order formulas]] 

=== Alphabetical list of all classes ===
  -[[Abelian groups]] [[wp>Abelian group]]
  -[[Abelian lattice-ordered groups]]
  -[[Abelian ordered groups]]
  -[[Abelian p-groups]]
  -[[Abelian partially ordered groups]]
  -[[Action algebras]] [[wp>Action algebra]]
  -[[Action lattices]]
  -[[Algebraic lattices]]
  -[[Algebraic posets]] [[wp>Algebraic poset]]
  -[[Algebraic semilattices]]
  -[[Allegories]] [[wp>Allegory (category theory)]]
  -[[Almost distributive lattices]]
  -[[Associative algebras]] [[wp>Associative algebra]]
  -[[Banach spaces]] [[wp>Banach space]]
  -[[Bands]] [[wp>Band (mathematics)]], **[[Finite bands]]**
  -[[Basic logic algebras]]
  -[[BCI-algebras]] [[wp>BCI algebra]]
  -[[BCK-algebras]] [[wp>BCK algebra]]
  -[[BCK-join-semilattices]]
  -[[BCK-lattices]]
  -[[BCK-meet-semilattices]]
  -[[Bilattices]]
  -[[Bilinear algebras]]
  -[[Binars]], **[[Finite binars]], [[Finite binars with identity|with identity]], [[Finite binars with zero|with zero]], [[Finite binars with identity and zero|with identity and zero]]**, 
  -[[Basic logic algebras|BL-algebras]]
  -[[Boolean algebras]] [[wp>Boolean algebra (structure)]]
  -[[Boolean algebras with operators]]
  -[[Boolean groups]]
  -[[Boolean lattices]]
  -[[Boolean modules over a relation algebra]]
  -[[Boolean monoids]]
  -[[Boolean algebras|Boolean rings]]
  -[[Boolean semigroups]]
  -[[Boolean semilattices]]
  -[[Boolean spaces]]
  -[[Bounded distributive lattices]]
  -[[Bounded lattices]]
  -[[Bounded residuated lattices]]
  -[[Brouwerian algebras]]
  -[[Brouwerian semilattices]]
  -[[wp>C*-algebras]]
  -[[Cancellative commutative monoids]]
  -[[Cancellative commutative semigroups]]
  -[[Cancellative monoids]]
  -[[Cancellative partial monoids]]
  -[[Cancellative semigroups]]
  -[[Cancellative residuated lattices]]
  -[[Categories]]
  -[[Chains]]
  -[[Clifford semigroups]]
  -[[wp>Clifford algebras]]
  -[[Closure algebras]]
  -[[Commutative BCK-algebras]]
  -[[Commutative binars]], **[[Finite commutative binars]], [[Finite commutative binars with identity|with identity]], [[Finite commutative binars with zero|with zero]], [[Finite commutative binars with identity and zero|with identity and zero]]** 
  -[[Commutative idempotent involutive residuated lattices]]
  -[[Commutative integral ordered monoids]], **[[Finite commutative integral ordered monoids]]**
  -[[Commutative inverse semigroups]]
  -[[Commutative involutive FL-algebras]]
  -[[Commutative involutive residuated posets]]
  -[[Commutative lattice-ordered monoids]]
  -[[Commutative lattice-ordered rings]]
  -[[Commutative lattice-ordered semigroups]]
  -[[Commutative monoids]], **[[Finite commutative monoids]], [[Finite commutative monoids with zero]]**
  -[[Commutative ordered monoids]]
  -[[Commutative ordered rings]]
  -[[Commutative ordered semigroups]], **[[Finite commutative ordered semigroups]]**
  -[[Commutative partially ordered monoids]]
  -[[Commutative partially ordered semigroups]]
  -[[Commutative regular rings]]
  -[[Commutative residuated lattice-ordered semigroups]]
  -[[Commutative residuated lattices]]
  -[[Commutative residuated partially ordered monoids]]
  -[[Commutative residuated partially ordered semigroups]]
  -[[Commutative rings]]
  -[[Commutative rings with identity]]
  -[[Commutative semigroups]], **[[Finite commutative semigroups]], [[Finite commutative semigroups with zero|with zero]]**
  -[[Compact topological spaces]]
  -[[Boolean spaces|Compact zero-dimensional Hausdorff spaces]]
  -[[Complemented lattices]]
  -[[Boolean lattices|Complemented distributive lattices]]
  -[[Complemented modular lattices]]
  -[[Complete distributive lattices]]
  -[[Complete lattices]]
  -[[Complete semilattices]]
  -[[Directed complete partial orders|Complete partial orders]]
  -[[Completely regular Hausdorff spaces]]
  -[[wp>Completely regular semigroups]]
  -[[Conjugative binars]]
  -[[Continuous lattices]]
  -[[Continuous posets]]
  -[[Cyclic involutive FL-algebras]]
  -[[Cyclic involutive residuated posets]]
  -[[Cylindric algebras]]
  -[[De Morgan algebras]]
  -[[De Morgan monoids]]
  -[[Dedekind categories]]
  -[[Dedekind domains]]
  -[[Dense linear orders]]
  -[[Digraph algebras]]
  -[[Directed complete partial orders]]
  -[[Directed partial orders]]
  -[[Directed graphs]]
  -[[Directoids]]
  -[[Distributive allegories]]
  -[[Distributive double p-algebras]]
  -[[Distributive dual p-algebras]]
  -[[Distributive involutive residuated lattices]]
  -[[Distributive lattice expansions]]
  -[[Distributive lattices]]
  -[[Distributive lattices with operators]]
  -[[Distributive lattice ordered semigroups]]
  -[[Distributive p-algebras]]
  -[[Distributive residuated lattices]]
  -[[Division algebras]]
  -[[Division rings]]
  -[[Double Stone algebras]]
  -[[Dunn monoids]]
  -[[Dynamic algebras]]
  -[[Effect algebras]]
  -[[Medial groupoids|Entropic groupoids]]
  -[[Equivalence algebras]]
  -[[Equivalence relations]]
  -[[Euclidean domains]]
  -[[Function rings|f-rings]]
  -[[Fields]]
  -[[FL-algebras]]
  -[[FLc-algebras]]
  -[[Heyting algebras|FLcw-algebras]]
  -[[FLe-algebras]]
  -[[FLec-algebras]]
  -[[Heyting Algebras|FLecw-algebras]]
  -[[FLew-algebras]]
  -[[FLi-algebras]]
  -[[FLo-algebras]]
  -[[FLw-algebras]]
  -[[Frames]]
  -[[Function rings]]
  -[[G-sets]]
  -[[Generalized BL-algebras]]
  -[[Generalized Boolean algebras]]
  -[[Generalized effect algebras]]
  -[[Generalized MV-algebras]]
  -[[Generalized orthoalgebras]]
  -[[Generalized pseudo-effect algebras]]
  -[[Generalized separation algebras]]
  -[[Gödel algebras]]
  -[[Graphs]]
  -[[Groupoids]]
  -[[Groups]]
  -[[Hausdorff spaces]]
  -[[Heyting algebras]]
  -[[Hilbert algebras]]
  -[[Hilbert spaces]]
  -[[Hoops]]
  -[[Idempotent residuated lattices]]
  -[[Idempotent involutive residuated lattices]]
  -[[Idempotent semirings]]
  -[[Idempotent semirings with identity]]
  -[[Idempotent semirings with identity and zero]]
  -[[Idempotent semirings with zero]]
  -[[Tarski algebras|Implication algebras]]
  -[[Implicative lattices]]
  -[[Integral domains]]
  -[[Integral involutive FL-algebras]]
  -[[Integral ordered monoids]], **[[finite integral ordered monoids]]**
  -[[Integral relation algebras]]
  -[[Integral residuated lattices]]
  -[[Intuitionistic linear logic algebras]]
  -[[Inverse semigroups]]
  -[[Involutive FL-algebras]]
  -[[Involutive lattices]]
  -[[Involutive FL-algebras|Involutive residuated lattices]]
  -[[Involutive residuated posets]]
  -[[Join-semidistributive lattices]]
  -[[Semilattices|Join-semilattices]]
  -[[Jordan algebras]]
  -[[Kleene algebras]]
  -[[Kleene lattices]]
  -[[Kleene logic algebras]]
  -[[Residuated partially ordered semigroups|Lambek algebras]]
  -[[Lattice effect algebras]]
  -[[Lattice implication algebras]]
  -[[Lattice-ordered groups]]
  -[[Lattice-ordered monoids]]
  -[[Lattice-ordered rings]]
  -[[Lattice-ordered semigroups]]
  -[[Lattices]]
  -[[Left cancellative semigroups]]
  -[[Left neofield]]
  -[[Lie algebras]]
  -[[Commutative residuated partially ordered monoids|Lineales]]
  -[[Goedel algebras|Linear Heyting algebras]]
  -[[Linear logic algebras]]
  -[[Chains|Linear orders]]
  -[[Frames|Locales]]
  -[[wp>Locally compact topological spaces]]
  -[[Loops]]
  -[[Lukasiewicz algebras of order n]]
  -[[M-sets]]
  -[[Binars|Magmas]]
  -[[Medial groupoids]]
  -[[Medial quasigroups]]
  -[[Meet-semidistributive lattices]]
  -[[Semilattices|Meet-semilattices]]
  -[[Metric spaces]]
  -[[Modal algebras]]
  -[[Modular lattices]]
  -[[Modular ortholattices]]
  -[[Modules over a ring]]
  -[[Monadic algebras]]
  -[[Monoidal t-norm logic algebras]]
  -[[Monoids]], **[[Finite monoids]], [[Finite monoids with zero|with zero]]**
  -[[Monounary algebras]]
  -[[Moufang loops]]
  -[[Moufang quasigroups]]
  -[[Multiplicative additive linear logic algebras]]
  -[[Multiplicative lattices]]
  -[[Multiplicative semilattices]]
  -[[Multisets]]
  -[[MV-algebras]]
  -[[MV-effect algebras]]
  -[[m-zeroids]]
  -[[Neardistributive lattices]]
  -[[Near-rings]]
  -[[Near-rings with identity]]
  -[[Near-fields]]
  -[[Neofields]]
  -[[Nilpotent groups]]
  -[[Nonassociative relation algebras]]
  -[[Bilinear algebras|Nonassociative algebras]]
  -[[Normal bands]]
  -[[Normal valued lattice-ordered groups]]
  -[[Normed vector spaces]]
  -[[Ockham algebras]]
  -[[Order algebras]]
  -[[Ordered abelian groups]]
  -[[Ordered fields]]
  -[[Ordered groups]]
  -[[Ordered monoids]]
  -[[Ordered monoids with zero]]
  -[[Ordered rings]]
  -[[Ordered semigroups]], **[[Finite ordered semigroups]], [[Finite ordered semigroups with zero]]**
  -[[Ordered semilattices]], **[[Finite ordered semilattices]]**
  -[[Partially ordered sets|Ordered sets]]
  -[[Ore domains]]
  -[[Orthoalgebras]]
  -[[Ortholattices]]
  -[[Orthomodular lattices]]
  -[[p-groups]]
  -[[Partial groupoids]]
  -[[Partial monoid]]
  -[[Partial semigroups]]
  -[[Partially ordered groups]]
  -[[Partially ordered monoids]]
  -[[Partially ordered semigroups]]
  -[[Partially ordered sets]]
  -[[Peirce algebras]]
  -[[Pocrims]]
  -[[FL-algebras|Pointed residuated lattices]]
  -[[Polrims]]
  -[[wp>Polyadic algebras]]
  -[[Partially ordered sets|Posets]]
  -[[Post algebras]]
  -[[Preordered sets]]
  -[[Priestley spaces]]
  -[[Principal Ideal Domains]]
  -[[Process algebras]]
  -[[Pseudo basic logic algebras]]
  -[[Pseudo-effect algebras]]
  -[[Pseudo MTL-algebras]]
  -[[Pseudo MV-algebras]]
  -[[Pseudocomplemented distributive lattices]]
  -[[Pure discriminator algebras]]
  -[[Quandles]]
  -[[Quantales]]
  -[[Quasigroups]]
  -[[Quasi-implication algebras]]
  -[[Quasi-MV-algebra]]
  -[[Preordered sets|Quasi-ordered sets]]
  -[[Quasitrivial groupoids]]
  -[[Rectangular bands]]
  -[[Reflexive relations]]
  -[[Regular rings]]
  -[[Regular semigroups]]
  -[[Relation algebras]]
  -[[Relative Stone algebras]]
  -[[Relativized relation algebras]]
  -[[Representable cylindric algebras]]
  -[[Representable lattice-ordered groups]]
  -[[Representable relation algebras]]
  -[[Representable residuated lattices]]
  -[[Residuated idempotent semirings]]
  -[[Residuated lattice-ordered semigroups]]
  -[[Residuated lattices]]
  -[[Residuated partially ordered monoids]]
  -[[Residuated partially ordered semigroups]]
  -[[Residuated partially ordered monoids|Residuated posets]]
  -[[Right residuated binars]]
  -[[Right hoops]]
  -[[Right quasigroups]]
  -[[Rings]]
  -[[Rings with identity]]
  -[[Schroeder categories]]
  -[[Semiassociative relation algebras]]
  -[[Semidistributive lattices]]
  -[[Semifields]]
  -[[Semigroups]], **[[Finite semigroups]]**
  -[[Monoids|Semigroups with identity]]
  -[[Semigroups with zero]], **[[Finite semigroups with zero]]**
  -[[Semilattices]], **[[Finite semilattices]]**
  -[[Semilattices with identity]], **[[Finite semilattices with identity]]**
  -[[Semilattices with zero]]
  -[[Semirings]]
  -[[Semirings with identity]]
  -[[Semirings with identity and zero]]
  -[[Semirings with zero]]
  -[[Separation algebras]]
  -[[Sequential algebras]]
  -[[Sets]]
  -[[Shells]]
  -[[Division rings|Skew-fields]]
  -[[Skew lattices]]
  -[[Small categories]]
  -[[Sober T0-spaces]]
  -[[Solvable groups]]
  -[[Sqrt-quasi-MV-algebras]]
  -[[Stably compact spaces]]
  -[[Steiner quasigroups]]
  -[[Stone algebras]]
  -[[Sugihara algebras]]
  -[[Sugihara monoids]]
  -[[Symmetric relations]]
  -[[T0-spaces]]
  -[[T1-spaces]]
  -[[Hausdorff spaces|T2-spaces]]
  -[[Tarski algebras]]
  -[[Tense algebras]]
  -[[Temporal algebras]]
  -[[Topological groups]]
  -[[Topological spaces]]
  -[[wp>Topological vector spaces]]
  -[[Torsion groups]]
  -[[Abelian ordered groups|Totally ordered abelian groups]]
  -[[Ordered groups|Totally ordered groups]]
  -[[Ordered monoids|Totally ordered monoids]]
  -[[Transitive relations]]
  -[[Trees]]
  -[[Tournaments]]
  -[[Unary algebras]]
  -[[Unique factorization domains]]
  -[[Rings with identity|Unital rings]]
  -[[Vector spaces]]
  -[[MV-algebras|Wajsberg algebras]]
  -[[Wajsberg hoops]]
  -[[Weakly associative lattices]]
  -[[Weakly associative relation algebras]]
  -[[Weakly representable relation algebras]]

[[Template]]
Trace: • closure_algebras • moufang_loops • ordered_fields • congruence_distributive • halmos_algebras • dedekind_categories • finite_bands • commutative_residuated_lattice-ordered_semigroups • dunn_monoids • semirings_with_zero