Abstract | ||
---|---|---|
In [A. L. Foster, The identities of - and unique subdirect factorization within - classes of universal algebras, Math. Z. 62 (1955) 171-188], two varieties V, W of the same type are defined to be independent if there is a binary term t(x, y) such that V satisfies t(x, y) approximate to x and W satisfies t(x, y) approximate to y. 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. |
Year | DOI | Venue |
---|---|---|
2015 | 10.1142/S0218196715500344 | INTERNATIONAL JOURNAL OF ALGEBRA AND COMPUTATION |
Keywords | Field | DocType |
Direct products, term operations, polynomial functions, congruence permutable varieties, edge terms | Discrete mathematics,Combinatorics,Finitely-generated abelian group,Algebra,Approx,Time complexity,Mathematics,Binary number | Journal |
Volume | Issue | ISSN |
25 | 7 | 0218-1967 |
Citations | PageRank | References |
0 | 0.34 | 2 |
Authors | ||
2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Erhard Aichinger | 1 | 2 | 2.92 |
Peter Mayr | 2 | 5 | 3.34 |