subdirect factorization
Recently Published Documents


TOTAL DOCUMENTS

4
(FIVE YEARS 0)

H-INDEX

3
(FIVE YEARS 0)

2015 ◽  
Vol 25 (07) ◽  
pp. 1145-1157 ◽  
Author(s):  
Erhard Aichinger ◽  
Peter Mayr

In [A. L. Foster, The identities of — and unique subdirect factorization within — classes of universal algebras, Math. Z. 62 (1955) 171–188], two varieties [Formula: see text] of the same type are defined to be independent if there is a binary term [Formula: see text] such that [Formula: see text] and [Formula: see text]. In this paper, we give necessary and sufficient conditions for two finite algebras with a Mal’cev term (or, more generally, with an edge term) to generate independent varieties. In particular we show that the independence of finitely generated varieties with edge term can be decided by a polynomial time algorithm.


Sign in / Sign up

Export Citation Format

Share Document