ON THE CONGRUENCE LATTICES OF UNARY ALGEBRAS

Similar documents
REGULAR IDENTITIES IN LATTICES

CHAPTER I. Rings. Definition A ring R is a set with two binary operations, addition + and

NOTES ON PLANAR SEMIMODULAR LATTICES. IV. THE SIZE OF A MINIMAL CONGRUENCE LATTICE REPRESENTATION WITH RECTANGULAR LATTICES

NOTES ON PLANAR SEMIMODULAR LATTICES. IV. THE SIZE OF A MINIMAL CONGRUENCE LATTICE REPRESENTATION WITH RECTANGULAR LATTICES

DENSITY RELATIVE TO A TORSION THEORY

FREE STEINER LOOPS. Smile Markovski, Ana Sokolova Faculty of Sciences and Mathematics, Republic of Macedonia

TROPICAL SCHEME THEORY

Homework 10 M 373K by Mark Lindberg (mal4549)

Math 120 HW 9 Solutions

A CHARACTERIZATION OF LOCALLY FINITE VARIETIES THAT SATISFY A NONTRIVIAL CONGRUENCE IDENTITY

RINGS ISOMORPHIC TO THEIR NONTRIVIAL SUBRINGS

SEPARATION AXIOMS FOR INTERVAL TOPOLOGIES

ON FREE ABELIAN /-GROUPS1

Finite pseudocomplemented lattices: The spectra and the Glivenko congruence

Disjointness conditions in free products of. distributive lattices: An application of Ramsay's theorem. Harry Lakser< 1)

Algebra Homework, Edition 2 9 September 2010

INFINITE RINGS WITH PLANAR ZERO-DIVISOR GRAPHS

Finite Fields. Saravanan Vijayakumaran Department of Electrical Engineering Indian Institute of Technology Bombay

MODULAR AND DISTRIBUTIVE SEMILATTICES

Subdirectly Irreducible Modes

On the variety generated by planar modular lattices

MATH 326: RINGS AND MODULES STEFAN GILLE

1. Suppose that a, b, c and d are four different integers. Explain why. (a b)(a c)(a d)(b c)(b d)(c d) a 2 + ab b = 2018.

A GENERAL THEORY OF ZERO-DIVISOR GRAPHS OVER A COMMUTATIVE RING. David F. Anderson and Elizabeth F. Lewis

ARCHIVUM MATHEMATICUM (BRNO) Tomus 48 (2012), M. Sambasiva Rao

ON VARIETIES OF LEFT DISTRIBUTIVE LEFT IDEMPOTENT GROUPOIDS

ON THREE-VALUED MOISIL ALGEBRAS. Manuel ARAD and Luiz MONTEIRO

MATRIX RINGS OVER POLYNOMIAL IDENTITY RINGS

PELL S EQUATION, II KEITH CONRAD

TRANSLATION-INVARIANT FUNCTION ALGEBRAS ON COMPACT GROUPS

Chapter 5. Modular arithmetic. 5.1 The modular ring

Math 418 Algebraic Geometry Notes

DERIVATIONS. Introduction to non-associative algebra. Playing havoc with the product rule? BERNARD RUSSO University of California, Irvine

RINGS WITH RESTRICTED MINIMUM CONDITION

ON THE EQUATION Xa=7X+/3 OVER AN ALGEBRAIC DIVISION RING

AN EXTENSION OF A THEOREM OF NAGANO ON TRANSITIVE LIE ALGEBRAS

Uni\JHRsitutis-ZcientioRurn

Course 311: Michaelmas Term 2005 Part III: Topics in Commutative Algebra

Algebraic structures I

ALGEBRAIC GEOMETRY COURSE NOTES, LECTURE 2: HILBERT S NULLSTELLENSATZ.

ON FILTERS IN BE-ALGEBRAS. Biao Long Meng. Received November 30, 2009

Name: MAT 444 Test 4 Instructor: Helene Barcelo April 19, 2004

Factorization in Polynomial Rings

REMARKS 7.6: Let G be a finite group of order n. Then Lagrange's theorem shows that the order of every subgroup of G divides n; equivalently, if k is

A Generalization of Wilson s Theorem

IDEMPOTENT n-permutable VARIETIES

Arithmetic Funtions Over Rings with Zero Divisors

ON ORDER-CONVERGENCE

Antoni Marczyk A NOTE ON ARBITRARILY VERTEX DECOMPOSABLE GRAPHS

A Generalization of Boolean Rings

THE PRODUCT OF A LINDELÖF SPACE WITH THE SPACE OF IRRATIONALS UNDER MARTIN'S AXIOM

THE GALOIS CORRESPONDENCE FOR LINEAR HOMOGENEOUS DIFFERENCE EQUATIONS

INJECTIVE DE MORGAN AND KLEENE ALGEBRAS1

School of Mathematics and Statistics. MT5836 Galois Theory. Handout 0: Course Information

LOCALLY SOLVABLE FACTORS OF VARIETIES

SUBLATTICES OF LATTICES OF ORDER-CONVEX SETS, III. THE CASE OF TOTALLY ORDERED SETS

How many units can a commutative ring have?

φ(xy) = (xy) n = x n y n = φ(x)φ(y)

THE GROUP OF UNITS OF SOME FINITE LOCAL RINGS I

FINITE BOREL MEASURES ON SPACES OF CARDINALITY LESS THAN c

MAXIMAL INDEPENDENT COLLECTIONS OF CLOSED SETS

10. Finite Lattices and their Congruence Lattices. If memories are all I sing I d rather drive a truck. Ricky Nelson

ATOMIC AND AP SEMIGROUP RINGS F [X; M], WHERE M IS A SUBMONOID OF THE ADDITIVE MONOID OF NONNEGATIVE RATIONAL NUMBERS. Ryan Gipson and Hamid Kulosman

FORMAL TAYLOR SERIES AND COMPLEMENTARY INVARIANT SUBSPACES

PLANAR AND STRONGLY UNIFORM NEAR-RINGS1

AN AXIOMATIC FORMATION THAT IS NOT A VARIETY

UNIQUENESS OF THE UNIFORM NORM

Mathematics Course 111: Algebra I Part I: Algebraic Structures, Sets and Permutations

SYMMETRIC ALGEBRAS OVER RINGS AND FIELDS

A Basis for Polynomial Solutions to Systems of Linear Constant Coefficient PDE's

SQUARE ROOTS OF 2x2 MATRICES 1. Sam Northshield SUNY-Plattsburgh

Polynomial Rings : Linear Algebra Notes

ON CHARACTERISTIC 0 AND WEAKLY ALMOST PERIODIC FLOWS. Hyungsoo Song

VARIETIES WITHOUT EXTRA AUTOMORPHISMS II: HYPERELLIPTIC CURVES

Immerse Metric Space Homework

Math 120: Homework 6 Solutions

CIRCULAR CHROMATIC NUMBER AND GRAPH MINORS. Xuding Zhu 1. INTRODUCTION

SUBRINGS OF NOETHERIAN RINGS

Rings and groups. Ya. Sysak

Basic Definitions: Group, subgroup, order of a group, order of an element, Abelian, center, centralizer, identity, inverse, closed.

A Generalization of VNL-Rings and P P -Rings

4.1 Primary Decompositions

A ROLE FOR DOUBLY STOCHASTIC MATRICES IN GRAPH THEORY

A Class of Infinite Convex Geometries

A CHARACTERIZATION OF COMPLETE LATTICES

CHAPTER 14. Ideals and Factor Rings

Points of Finite Order

Wilson s Theorem and Fermat s Little Theorem

Some practice problems for midterm 2

A CLASS OF INFINITE CONVEX GEOMETRIES

A MODEL-THEORETIC PROOF OF HILBERT S NULLSTELLENSATZ

THE CLOSED-POINT ZARISKI TOPOLOGY FOR IRREDUCIBLE REPRESENTATIONS. K. R. Goodearl and E. S. Letzter

DISCRETE MATH (A LITTLE) & BASIC GROUP THEORY - PART 3/3. Contents

Finite Simple Abelian Algebras are Strictly Simple

JORDAN HOMOMORPHISMS AND DERIVATIONS ON SEMISIMPLE BANACH ALGEBRAS

Ultraproducts of Finite Groups

2a 2 4ac), provided there is an element r in our

MATH 8253 ALGEBRAIC GEOMETRY WEEK 12

QUASI-REFLEXIVE SPACES1

The Blok-Ferreirim theorem for normal GBL-algebras and its application

Transcription:

proceedings of the american mathematical society Volume 36, Number 1, November 1972 ON THE CONGRUENCE LATTICES OF UNARY ALGEBRAS JOEL BERMAN Abstract. Characterizations of those unary algebras whose congruence lattices are semimodular or atomic are obtained. Combining these results gives necessary and sufficient conditions for a unary algebra to have a geometric congruence lattice. A unary algebra, 3I=(/.; f), is a set A together with a function/from A into A. A congruence relation d of 3t is an equivalence relation on A such that if x=y(d) then f(x)=f(y)(d). The congruence lattice of 31, denoted 0(31), is the collection of all congruence relations of 31 partially ordered in the usual manner [2, p. 50]. If L is a lattice and a, b e L, then b is said to cover a if a<b and {x\a<x<b}= 0. This relation will be denoted <2<6. L is semimodular if for any a, b and cel such that c<a and c<b then a<^anb and è<av/>. Theorem 1 gives a characterization of those unary algebras whose congruence lattices are semimodular. An atom of a lattice with 0 is an element that covers 0. A lattice is atomic if every element is a join of atoms. Theorem 2 gives a characterization of those unary algebras whose congruence lattices are atomic. Let 31={A; f) be a unary algebra. For any xe A and any positive integer «Iet/0(x)=;c andfn(x)=f(fn~1(x)). A component of 31 is a subset of A such that x, y are in the same component if and only if there exist m, ne N such that f"'(x)=fn(y). Index the components of 31 by an index set /so that/. = (J e/ A. For each component/!,, choose a fixed subset C called a cycle, as follows: If there exists «A' and xeat such that f"(x)=x, let Ci {fk(x)\k e N}. Such a cycle is a unique finite subset of A. Denote such a finite cycle by {x0, xx,, xm_x}, with f(x )=xi+x. If «is any integer let xn=xi where n = i (mod m), 0<i<m. If no such x and «exist for Ai let x0 be any fixed element of A, C2 = {/"'(*o) W7 A7}- Denote this set by {jc0, xx, x2, } where f(x )=xi+1. If C and C3 are any two cycles, C =W7 and C3 =«73, then Ci and C3 are said to have relatively prime cardinalities if both «., and w3 are finite and («.,, m )= 1 or if «7; is Received by the editors November 16, 1971. AMS 1970 subject classifications. Primary 08A25, 06A20; Secondary 05B35, 94A25. Key words and phrases. Congruence relations, congruence lattices, unary algebras, universal algebras, semimodular lattices, atomic lattices, matroid lattices, geometric lattices, sequential machines. American Mathematical Society 1972 34

on the congruence lattices of unary algebras 35 infinite and m I. A general discussion of unary algebras can be found in [3] and [4]. If B^A, let d(b) denote the smallest element of 0(21) for which B is contained in one congruence class. 0({x,y}) is usually denoted by 6(x, y). IA and UA will denote {(x, x)\x e A) and Ax A respectively. A congruence class is said to be nontrivial if it has more than one element. Finally, if L is any lattice, a, b e L, then [a, b] = {x\x e L and a^x^b}. Lemma 1. Let <&=(A;f) and % = {B;g) and d=(c;h) be unary algebras such that 93 is any homomorphic image o/2i and ( is any subalgebra of 21. Then (23) is isomorphic to a dual ideal o/q(2i) awe/ 0(d) is isomorphic to an ideal of ' (21). Proof. The result for homomorphic images holds for any algebra [2, p. 61]. As for subalgebras, since 21 is a unary algebra, C is the only nontrivial congruence class of 0(C). Hence the interval [IA, 0(C)] in 0(21) is isomorphic to (( ). Lemma 2. Let C be any cycle of some unary algebra 21= {A; f). Then [IA, 0(C)] is semimodular. Proof. If C is finite then [la, 0(C)] is isomorphic to the lattice of divisors of \C\ and is distributive and hence semimodular. If C is infinite and if 0 6 (IA, 6(C)] then 0=0(*m, xm+v) for fixed m and p. Also 0<T if and only ifx =d(xm+x, xm+x+v) oix =d(xm, xm+q) where pjq is prime. An examination of these possibilities shows semimodularity holds. Lemma 3. Let 21= (A; f) be a unary algebra. Then the atoms o/0(2i) are of the following types: (i) atoms of [IA, 0(C )] where C is a finite cycle; (ii) 6(x,y) where f(x)=f(y); (iii) d(x,y) where x e C y e C, i^j, C = C3 and C,- is finite. Proof. Let 0 be an atom, x=y(d), xj y. Then if 0 is not of type (ii) then 6=6(x,y) = d(f(x),f(y)). This implies that {x,y}^{fn(x)\n^\}\j {fn(y)\n= 0- Therefore x and y must be in finite cycles. If they are in the same cycle (i) must hold. If they are in different cycles (iii) must hold. Theorem 1. Let 21= {A; f) be a unary algebra. Then @(2t) is upper semimodular if and only if the cycles of 21 have relatively prime cardinalities. Proof. Suppose that the cycles of 21 are of relatively prime cardinality and a, ß, and t are in 0(21), r<a and r<ß. Let 2I=2I/t. It follows that the cycles of 21 are also of relatively prime cardinality. Also 0(21)^ [t, Ua] in 0(21) by Lemma 1. Let ä and ß be the images of a and ß in

36 JOEL BERMAN [November 0(31). Thus 5 and ß are atoms of 0(31). So any atom of type (iii) in Lemma 3 will have only one nontrivial congruence class and this will be of cardinality two. It will be sufficient to show that ß<ßva. and 5</3vä in 0(37). Note that if â and ß are such that their nontrivial congruence classes are disjoint then indeed ß<ßva. and 5</?vâ. Since ß and â are atoms and by Lemma 3 there are only three types of atoms, there are essentially only six different cases to consider: 5 and ß both of type (i). Let a<;0(c,) and S<;0(C3) for cycles C, and Cj in 3T. By Lemma 2 it can be assumed that ijtj. Also S v ß e [IA, 8(Ct) v fl(c,-)] ~ [IA, 0(C,)] x [IA, 0(C,)]. From Lemma 2 and the fact that the product of semimodular lattices is semimodular, semimodularity holds in this case. â of type (i) and ß of type (ii). Let 5_0(C ) and ß = 0(x,y) where f(x)=f(y). ß has only one nontrivial congruence class and this will be of cardinality two. By the remarks above concerning disjoint congruence classes it can be assumed that x e C and y $ Cr But then ßvä has as its congruence classes those of 5 with y adjoined to one of them. Clearly then ß<ßvä. and ä</?vä. ä of type (i) and ß of type (iii). Since the cycles of 31 are of relatively prime cardinalities, 5 and ß must have disjoint nontrivial congruence classes so the desired covering relations hold. The remaining three cases are handled similarly. Conversely, it will be shown that the interval sublattice [IA, 0(C uc3)] is not semimodular if the cardinalities of C and C are not relatively prime. Let C =ff7i and \Cj\=mj. If «2 and m are both finite let/> be any prime that divides both of them. If only mt is finite let p be any prime that divides ntf. If m,- and m are both infinite let p be any prime. Let {x0, xx, x2, } Ci and {>, yx, y2, } C, where f(xt)=xt+1 and f(yt)=yt+x. Let t e 0(31) be r=6(x0, y0, x, yp). Since p is a prime r<0(xo,y0, xx,yx). Also (ta(0(xo, xx)vd(y0,yl))) = d(x0, x,)vd(y0,yv)<t. Also d(x0, x )vd(y0, y )<9(x0, xn)vd(y0, yx), since p is prime. This gives the following covering diagram: 6(x0, xi,y0,yi) 6(x0, x ) v d(y0.yx) 6(x0,xp)v 0(yo.yl) 6(x0. xp) v 00o yp)

1972] ON THE CONGRUENCE LATTICES OF UNARY ALGEBRAS 37 This shows that semimodularity cannot hold in [IA, 0(C uc,)]. Note. If 21 has only one component then 0(21) is semimodular. This gives, in the finite case, Theorem 3 of [6]. Theorem 2. Let 'übe a unary algebra with components Ai and cycles C, / e I. Then 0(21) is atomic if and only if11 satisfies the following conditions: (i) IQI is finite for all i e I. (ii) C = C3. /o/-u///,y6/. (iii) ]C,- M a square free integer for all i e I. (iv) For at most one i e I does A^C^ in which case there exists x0 e C such that for all u e A, u $ Ci,f(u)=x0. Proof. Let 2Í be such that 0(21) is atomic. Then (i) must hold since if C is an infinite cycle, the interval [IA, 0(C,)] contains no atoms. If IQItíIC,! and x0 e C and y0 e C} then, by Lemma 3, d(x0,y0) is not an atom. But 0(xo,yo) is also join irreducible. Hence (ii) holds. Next, suppose contrary to (iii) that \Cf\=p2q where/? is some prime number. Let x0, xq be in C. The element d(x0, xa) is not an atom in 0(21) since it covers 0(xo, xv(l). But 0(xo, xa) is also join irreducible. This contradicts the fact that 0(21) is atomic. Now suppose that there exists ijàj such that A^Ct and AjT^Cj. Let u e A>\Ct and v e A^Cj be such that/(w)=x0 e C and f(v)=y0 e Cy d(u, v) is not an atom since d(u, v)>6(x0,y0)>ia. But again d(u, v) is join irreducible. This shows that the first part of (iv) must hold. A similar argument applies to u, v e A \Ct, f(u)j^f(v), f(u), f(v) e C. Finally, suppose there exists u e A^d, f(u) C. Let fn(u)=x0, so w>l. Consider 0(w, x_n); it is also nonatomic and join irreducible. Hence (iv) holds. Conversely, suppose conditions (i) (iv) hold. Let x0 be as in condition (iv). Form S={u\f(u)=x0}. Then [IA, 6(S)] is isomorphic to «fís^the lattice of all equivalence relations on 5. Since é'(s) is atomic, it follows that [IA,6(S)] is also. Let ote 0(21). Claim a=(aa0((jci))v(aa0(s)). For if j sm(oc) where yi e C, and u $ UC, then yi+x=x0(x) and hence jy =.x_i(<x)- But then y^sx^aaodjc,)) and j,=x_,=tt(a) so x_x = u(ola6(s)) so that u=yi(alad(\jci))y(cna6(s)). This verifies the claim. Hence all that remains is to show that the interval [IA, 0( JCt)] is atomic. Conditions (i) and (iii) imply that [IA, 0(C )] is atomic and hence [1A, \JieI 0(C,)] is also atomic. Condition (ii) guarantees that any element oftheform 0(x,^)isanatomforx e Qandj e C,, kj j. But any element in [IA, 0(IJiS/ C )] is the join of elements 6(x,y) where either x, y e C or x e Cj and y e Ck. But these are either atoms or joins of atoms so the proof is complete. Definition. A geometric lattice is a finite dimensional lattice that is both atomic and semimodular.

38 JOEL BERMAN Theorem 3. A unary algebra 31= (A;f) has a congruence lattice which is a geometric lattice if and only if A is finite and (1) 3Í has exactly one cycle C, \C\ is square free and for all x, y e A\C, f(x)=f(y) e C. (2) Every cycle of 31 is of cardinality 1, and if C is the union of all these cycles, then for all x, y e A\C,f(x)=f(y) e C. Proof. Combine the conditions of Theorems I and 2. Note. If the conditions of Theorem 3 hold then it is easily verified that 0(3O~[/^, 0(C)]X [IA, 6(T)] where T={x\f(x)=f(y), x*y). Corollary. Let L be a geometric lattice. Then L is isomorphic to the congruence lattice of some unary algebra If and only if Z.~2P X S(S) or L^ê(S)xê(T), where p is a finite positive integer and S and T are finite sets. References 1. G. Birkhoff, Lattice theory, 3rd ed., Amer. Math. Soc. Colloq. Publ., vol. 25, Amer. Math. Soc, Providence, R.I., 1967. MR 37 #2638. 2. G. Grätzer, Universal algebra, Van Nostrand, Princeton, N.J., 1968. MR 40 #1320. 3. J. Johnson and R. L. Seifert, A survey of multiunary algebras. Mimeographed Seminar Notes (R. McKenzie, Director), University of California, Berkeley, Calif., 1967. 4. B. Jónsson, Topics in universal algebra, Lecture Notes, Vanderbilt University, Nashville, Tenn., 1969/70. 5. R. S. Pierce, Introduction to the theory of abstract algebras, Holt, Rinehart and Winston, New York, 1968. MR 37 #2655. 6. M. Yoeli and A. Ginzburg, On homomorphic images of transition graphs, J. Franklin Inst. 278 (1964), 291-296. MR 29 #5240. Department of Mathematics, University of Illinois at Chicago Circle, Chicago, Illinois 60680