Statements (63)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:mathematical_concept
|
| gptkbp:developedBy |
gptkb:Alfred_North_Whitehead
gptkb:Garrett_Birkhoff gptkb:George_Grätzer gptkb:Paul_M._Cohn |
| gptkbp:focusesOn |
general properties of algebraic systems
|
| gptkbp:hasApplication |
gptkb:logic
gptkb:category_theory abstract algebra computer science cryptography theoretical computer science automated theorem proving algebraic specification universal logic |
| gptkbp:hasConcept |
gptkb:Titan
gptkb:architecture gptkb:identity gptkb:software gptkb:television_series gptkb:Birkhoff's_theorem gptkb:Mal'cev_conditions gptkb:HSP_theorem gptkb:Tarski's_high_school_algebra_problem disambiguation term automorphism homomorphism operations signature congruence relation direct product direct sum endomorphism isomorphism subalgebra polynomial functions arity clone theory equational class equational theory free object primitive operation quasivariety quotient algebra substructure term algebra |
| https://www.w3.org/2000/01/rdf-schema#label |
Universal algebra
|
| gptkbp:includes |
fields
groups vector spaces rings lattices |
| gptkbp:relatedTo |
gptkb:logic
gptkb:category_theory model theory |
| gptkbp:studies |
algebraic structures
varieties congruences identities homomorphisms free algebras |
| gptkbp:bfsParent |
gptkb:algebra
|
| gptkbp:bfsLayer |
4
|