General algebraic systems Terms, identities and equational logic Concept
Equational theory
Summary
The equational theory of a class of algebras is the set of all identities that hold in every member of the class. A set of identities is called an equational theory when it arises in this way. Equational theories correspond one to one to varieties of algebras, with larger theories giving smaller varieties.
Where this leads
5 pages build on this one.
Further reading
About this page
| Tag | F1M51B4MDG |
|---|---|
| URI | m2://F1M51B4MDG |
| Kind | concept |
| Writing | W0 stub |
| MSC | 08B05, 03C05 |
| Changed | 2 November 2026 |
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.