General algebraic systems Terms, identities and equational logic Concept
Equational basis
Summary
An equational basis of a class of algebras is a set of identities from which all identities of the class follow. It is a set of axioms for the equational theory of the class, and it defines the variety generated by the class. The usual axioms of groups, rings or lattices are equational bases, and a central question is whether a given algebra has a finite one.
Where this leads
6 pages build on this one.
Further reading
About this page
| Tag | 9Q008GMZSW |
|---|---|
| URI | m2://9Q008GMZSW |
| Kind | concept |
| Writing | W0 stub |
| MSC | 08B05 |
Markdown · JSON · Edit on GitHub
What this page needs for W1
- an inventory row: the row of the inventory that the node accounts for (0 of 1)
- a source with a locator (0 of 1)
The writing levels say how complete the text of a page is. They do not measure its truth.
What links here
Used by
- Finitely based algebra
- Tarski's finite basis problem
- Word problem for free algebras of a variety
- Tarski's high school algebra problem