General algebraic systems Products and constructions Concept
Free product of algebras
Summary
The free product of a family of algebras in a variety is the most general algebra of the variety generated by images of the members. It is the coproduct in the category of algebras of the variety. The free product of groups and the free product of monoids are the best known cases.
Where this leads
1 page builds on this one.
Further reading
About this page
| Tag | HHNWHS1XTN |
|---|---|
| URI | m2://HHNWHS1XTN |
| Kind | concept |
| Writing | W0 stub |
| MSC | 08B25, 20E06 |
| 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.