Statements (102)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:mathematical_concept
|
| gptkbp:focusesOn |
general properties of algebraic systems
|
| gptkbp:hasConcept |
gptkb:algebra
gptkb:algebraic_geometry gptkb:identity gptkb:television_series gptkb:execution algebraic logic disambiguation term automorphism identity element Clone signature algebraic equation congruence relation direct product endomorphism subalgebra universal property algebraic closure unary operation algebraic semantics term rewriting algebraic specification binary operation algebraic operation algebraic theory algebraic data type arity clone theory equational class free object primitive operation quasivariety term algebra algebraic independence algebraic system amalgamation property Mal'cev condition algebraic category algebraic closure operator algebraic closure property algebraic completeness algebraic congruence algebraic extension algebraic functor algebraic homomorphism algebraic identity algebraic lattice algebraic law algebraic model theory algebraic morphism algebraic property algebraic relation algebraic signature algebraic structure theory algebraic substructure algebraic variety theory commutator theory congruence distributive variety congruence lattice congruence modular variety congruence permutable variety equational basis homomorphic image n-ary operation nullary operation polynomial function presentation of algebra subdirect product subdirectly irreducible algebra term condition variety theorem |
| https://www.w3.org/2000/01/rdf-schema#label |
Universal Algebra
|
| gptkbp:includes |
fields
groups modules vector spaces rings lattices |
| gptkbp:notableFigure |
gptkb:Alfred_Tarski
gptkb:Garrett_Birkhoff gptkb:George_Grätzer gptkb:Paul_M._Cohn |
| gptkbp:notableWork |
Birkhoff's HSP theorem
Grätzer's Universal Algebra (book) |
| gptkbp:relatedTo |
gptkb:logic
gptkb:category_theory model theory |
| gptkbp:studies |
algebraic structures
varieties congruences equational logic identities homomorphisms free algebras term algebras |
| gptkbp:usedIn |
gptkb:logic
abstract algebra computer science |
| gptkbp:bfsParent |
gptkb:George_Grätzer
|
| gptkbp:bfsLayer |
6
|