On the Directly and Subdirectly Irreducible Many-Sorted Algebras
A theorem of single-sorted universal algebra asserts that every finite algebra can be represented as a product of a finite family of finite directly irreducible algebras. In this article, we show that the many-sorted counterpart of the above theorem is also true, but under the condition of requiring...
| Main Authors: | , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
De Gruyter
2015-03-01
|
| Series: | Demonstratio Mathematica |
| Subjects: | |
| Online Access: | http://www.degruyter.com/view/j/dema.2015.48.issue-1/dema-2015-0001/dema-2015-0001.xml?format=INT |