Statements (102)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:mathematical_concept
|
| gptkbp:focusesOn |
general properties of algebraic systems
|
| gptkbp:hasConcept |
gptkb:disambiguation_term
gptkb:algebra gptkb:algebraic_geometry gptkb:identity gptkb:television_series gptkb:Clone gptkb:direct_product gptkb:execution gptkb:algebraic_system gptkb:binary_operation gptkb:automorphism algebraic logic identity element signature algebraic equation congruence relation endomorphism subalgebra universal property algebraic closure unary operation algebraic semantics term rewriting algebraic specification algebraic operation algebraic theory algebraic data type arity clone theory equational class free object primitive operation quasivariety term algebra algebraic independence 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 |
| 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:model_theory gptkb:category_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 |
8
|
| https://www.w3.org/2000/01/rdf-schema#label |
Universal Algebra
|