independence of algebras
play

Independence of algebras Erhard Aichinger and Peter Mayr Department - PowerPoint PPT Presentation

Independence of algebras Erhard Aichinger and Peter Mayr Department of Algebra Johannes Kepler University Linz, Austria June 2015, AAA90 Supported by the Austrian Science Fund (FWF) P24077 and P24285 Outline We will study: relation


  1. Independence of algebras Erhard Aichinger and Peter Mayr Department of Algebra Johannes Kepler University Linz, Austria June 2015, AAA90 Supported by the Austrian Science Fund (FWF) P24077 and P24285

  2. Outline We will study: ◮ relation between Clo k ( A ) , Clo k ( B ) and Clo k ( A × B ) . ◮ relation between F V ( A ) ( k ) × F V ( B ) ( k ) and F V ( A × B ) ( k ) . ◮ relation between V ( A ) , V ( B ) and V ( A ) ∨ V ( B ) .

  3. Term functions on direct products Question How do the term functions of A × B depend on the term functions of A and B ? Proposition Let A , B be similar algebras, k ∈ N , and define φ : Clo k ( A × B ) − → Clo k ( A ) × Clo k ( B ) t A × B ( t A , t B ) . �− → Then φ is a subdirect embedding. Proposition A , B from a cp variety, k ∈ N . Then for all k -ary terms s , t : ( s A , t B ) ∈ Im ( φ ) ⇐ ⇒ V ( A ) ∩ V ( B ) | = s ≈ t .

  4. Disjoint varieties φ : Clo k ( A × B ) − → Clo k ( A ) × Clo k ( B ) t A × B ( t A , t B ) . �− → If A , B are from a cp variety, then ∃ u : u A = s A and u B = t B ( s A , t B ) ∈ Im ( φ ) ⇔ ⇔ V ( A ) ∩ V ( B ) | = s ≈ t . Definition V 1 and V 2 are disjoint if V 1 ∩ V 2 | = x ≈ y . Corollary A , B from a cp variety, k ≥ 2. Then φ is an isomorphism from Clo k ( A × B ) to Clo k ( A ) × Clo k ( B ) ⇐ ⇒ V ( A ) and V ( B ) are disjoint.

  5. History (1955 – 1969) Definition [Foster, 1955] A sequence ( V 1 , . . . , V n ) of subvarieties of W is independent if there is a term t ( x 1 , . . . , x n ) such that ∀ i ∈ [ n ] : V i | = t ( x 1 , . . . , x n ) ≈ x i . Example [Grätzer et al., 1969] ( G , f 0 ( x , y ) = x · y , f 1 ( x , y ) = x · y − 1 ) | V 0 := { | | ( G , · , − 1 , 1 ) is a group } V 1 := { ( L , f 0 ( x , y ) = x ∨ y , f 1 ( x , y ) = x ∧ y ) | | | ( L , ∨ , ∧ ) is a lattice } , t ( x , y ) := f 1 ( f 0 ( x , y ) , y ) . Then = f 1 ( f 0 ( x , y ) , y ) = ( x · y ) · y − 1 ≈ x and ◮ V 0 | ◮ V 1 | = f 1 ( f 0 ( x , y ) , y ) = ( x ∨ y ) ∧ y ≈ y .

  6. History (1969) Theorem [Grätzer et al., 1969] Let V 0 and V 1 be independent subvarieties of W . Then every A ∈ V 0 ∨ V 1 is isomorphic to a direct product A 0 × A 1 with A 0 ∈ V 0 and A 1 ∈ V 1 . Consequence Let V 0 and V 1 be independent. Then ( V 0 ∨ V 1 ) SI = ( V 0 ) SI ∪ ( V 1 ) SI .

  7. History (1971) Theorem [Hu and Kelenson, 1971] Let ( V 1 , . . . , V n ) be a sequence of subvarieties of a cp variety W . If for all i � = j , V i ∩ V j | = x ≈ y ( V i and V j are disjoint), then ( V 1 , . . . , V n ) is independent. Proof for n = 2 : ◮ Goal: construct t ( x 1 , x 2 ) with V 1 | = t ( x 1 , x 2 ) ≈ x 1 and V 2 | = t ( x 1 , x 2 ) ≈ x 2 . ◮ φ : F V 1 ∨ V 2 ( x , y ) → F V 1 ( x , y ) × F V 2 ( x , y ) , t / ∼ V 1 ∨ V 2 �→ ( t / ∼ V 1 , t / ∼ V 2 ) . ◮ Im ( φ ) ≤ sd F V 1 ( x , y ) × F V 2 ( x , y ) . ◮ Fleischer’s Lemma yields D , α 1 : F V 1 ( x , y ) ։ D , α 2 : F V 2 ( x , y ) ։ D with | Im ( φ ) = { ( f , g ) | | α 1 ( f ) = α 2 ( g ) } . ◮ | D | = 1, hence φ is surjective. ◮ Thus ( x / ∼ V 1 , y / ∼ V 2 ) ∈ Im ( φ ) , which yields t .

  8. History (2004 – 2013) Theorem [Jónsson and Tsinakis, 2004] The join of two independent finitely based varieties is finitely based. Theorem [Kowalski et al., 2013] Let V 1 , V 2 be disjoint subvarieties of W . Then V 1 and V 2 are independent iff ∃ q ( x , y , z ) : V 1 | = q ( x , x , y ) ≈ y and V 2 | = q ( x , y , y ) ≈ x .

  9. Product subalgebras Definition C ≤ E × F is a product subalgebra if C = π E ( C ) × π F ( C ) . Proposition C ≤ E × F is a product subalgebra iff for all a , b , c , d : ( a , b ) ∈ C and ( c , d ) ∈ C = ⇒ ( a , d ) ∈ C . Definition α ∈ Con ( E × F ) is a product congruence if α = β × γ for some β ∈ Con ( E ) and γ ∈ Con ( F ) .

  10. Product subalgebras of powers Theorem [Aichinger and Mayr, 2015] Let A , B be algebras in a cp variety. We assume that 1. all subalgebras of A × B are product subalgebras, and 2. for all E ≤ A and F ≤ B , all congruences of E × F are product congruences. Then for all m , n ∈ N 0 , all subalgebras of A m × B n are product subalgebras.

  11. Product subalgebras of powers Theorem [Aichinger and Mayr, 2015] Let k ≥ 2, let A , B be algebras in a variety with k -edge term. We assume that 1. for all r , s ∈ N with r + s ≤ max( 2 , k − 1 ) , every subalgebra of A r × B s is a product subalgebra, and 2. for all E ≤ A and F ≤ B , every tolerance of E × F is a product tolerance. Then for all m , n ∈ N 0 , every subalgebra of A m × B n is a product subalgebra.

  12. Direct products and independence Definition A , B ∈ W are independent : ⇐ ⇒ V ( A ) and V ( B ) are independent.

  13. Independence in cp varieties Proposition Theorem (EA, Mayr, 2015) Let A and B be similar algebras. Let A , B be finite algebras in a TFAE: cp variety. TFAE: 1. A and B are independent. 1. A and B are independent. 2. For all sets I , J with 2. All subalgebras of A × B | I | ≤ | A | 2 and | J | ≤ | B | 2 , all are product subalgebras, subalgebras of A I × B J are and all congruences of all product subalgebras. subalgebras of A × B are product congruences. If A and B lie in a cp variety, 3. All subalgebras of A 2 × B 2 then these two items are furthermore equivalent to are product subalgebras. 4. HS ( A 2 ) ∩ HS ( B 2 ) contains 3. V ( A ) and V ( B ) are disjoint. only one element algebras.

  14. Independence for algebras with edge term Theorem [Aichinger and Mayr, 2015] Let k ≥ 2, and let A , B be finite algebras in a variety with k -edge term. Then the following are equivalent: 1. A and B are independent. 2. For all r , s ∈ N with r + s ≤ max( 2 , k − 1 ) , every subalgebra of A r × B s is a product subalgebra, and for all E ≤ A , F ≤ B , every tolerance of E × F is a product tolerance. 3. For all r , s ∈ N with r + s ≤ max( 4 , k − 1 ) , every subalgebra of A r × B s is a product subalgebra. Example - infinite groups Let p , q be primes, p � = q , | ∃ n ∈ N : z p n = 1 } , B := C q ∞ . Then all A := C p ∞ = { z ∈ C | | subalgebras of A m × B n are product subalgebras, but A and B are not independent.

  15. Application to polynomial functions Theorem Let A and B be finite algebras in a variety with a 3-edge term, and let k ∈ N . We assume that every tolerance of A × B is a product tolerance. Let ψ : Pol k ( A ) × Pol k ( B ) → ( A × B ) ( A × B ) k be the mapping defined by ψ ( f , g ) (( a 1 , b 1 ) , . . . , ( a k , b k )) := ( f ( a ) , g ( b )) for f ∈ Pol k ( A ) , g ∈ Pol k ( B ) , a ∈ A k , and b ∈ B k . Then ψ is a bijection from Pol k ( A ) × Pol k ( B ) to Pol k ( A × B ) .

  16. Application to polynomial functions Corollary Let A and B be algebras in the variety V , and let k ∈ N . If either 1. V has a majority term, or 2. V is cp, and every congruence of A × B is a product congruence, then for all polynomial functions f ∈ Pol k ( A ) and g ∈ Pol k ( B ) , there is a polynomial function h ∈ Pol k ( A × B ) with h (( a 1 , b 1 ) , . . . , ( a k , b k )) = ( f ( a ) , g ( b )) for all a ∈ A k and b ∈ B k .

  17. Aichinger, E. and Mayr, P . (2015). Independence of algebras with edge term. Internat. J. Algebra Comput. , 25(7):1145–1157. Foster, A. L. (1955). The identities of—and unique subdirect factorization within—classes of universal algebras. Math. Z. , 62:171–188. Grätzer, G., Lakser, H., and Płonka, J. (1969). Joins and direct products of equational classes. Canad. Math. Bull. , 12:741–744. Hu, T. K. and Kelenson, P . (1971). Independence and direct factorization of universal algebras. Math. Nachr. , 51:83–99. Jónsson, B. and Tsinakis, C. (2004). Products of classes of residuated structures. Studia Logica , 77(2):267–292. Kowalski, T., Paoli, F., and Ledda, A. (2013). On independent varieties and some related notions. Algebra Universalis , 70(2):107–136.

Recommend


More recommend