A lattice in which the Arguesian law is valid, i.e. for all , ,
, for any permutation [a21]. Arguesian lattices form a variety (cf. also Algebraic systems, variety of), since within lattices is equivalent to . A lattice is Arguesian if and only if it is a modular lattice and (central perspectivity) implies (axial perspectivity). In an Arguesian lattice and for , such that and , the converse implication is valid too [a24]. A lattice is Arguesian if and only if its partial order dual is Arguesian.
Examples of Arguesian lattices.
3) Every lattice of normal subgroups (respectively, congruence relations; cf. Normal subgroup; Congruence (in algebra)) of a group and any lattice of permuting equivalence relations [a21] (also called a linear lattice).
4) Considering all lattices of congruence relations of algebraic systems (cf. Algebraic system) in a variety, the Arguesian law is equivalent to the modular law.
The Arguesian law can be characterized in terms of forbidden subconfigurations, but not in terms of sublattices [a17]. Weaker versions involve less variables and higher-dimensional versions have increasing strength and number of variables; all are valid in linear lattices [a10]. The basic structure theory relies on the modular law, cf. Modular lattice and [a3], [a27]. For its role in the congruence and commutator theory of algebraic systems, cf. [a12]. Large parts of dimension theory for rings and modules can be conveniently done within modular lattices [a29].
See [a16]. Every modular lattice with complements (cf. Lattice with complements) can be embedded into for a projective space on the set of its maximal filters (cf. Filter), actually a sublattice of the ideal lattice of the filter lattice (with filters ordered by inverse inclusion), whence preserving all identities. This Frink embedding generalizes the Stone representation theorem for Boolean algebras (cf. Boolean algebra). The coordinatization theorem of projective geometry implies that any Arguesian relatively complemented lattice can be embedded into a direct product of lattices of subspaces of vector spaces (cf. Vector space) [a22].
A compact element of a modular algebraic lattice is called a point if it is a join-irreducible element, i.e. has a unique lower cover . If each element of is a join of points (e.g., if ), then can be understood as the subspace lattice of an ordered linear space on the set of points: the order is induced by . Points , , are collinear if they are distinct and , and a subspace is a subset such that implies , and with , , collinear implies . This can also be viewed as a presentation of as a semi-lattice. Instead of all collinearities one may use a base of lines: for each element a maximal set of points with pairwise join . For an abstract ordered linear space one has to require that collinearity is a totally symmetric relation, that collinear points are incomparable, that and , , collinear implies , that for and , , collinear there are and such that , , are collinear or or , and, finally, a more elaborate version of the triangle axiom. Then the subspaces form a lattice as above and each modular lattice can be naturally embedded into such, preserving identities.
Subdirect products and congruences.
See [a3], [a20]. Every lattice is a subdirect product of subdirectly irreducible homomorphic images (cf. Homomorphism). By Jónsson's lemma, the subdirect irreducibles in the variety generated by a class are homomorphic images of sublattices of ultraproducts from . A pair of complementary central elements , provides a direct decomposition , a neutral element implies a subdirect decomposition .
Any congruence on a modular lattice is determined by its set of quotients, where a quotient is a pair with , equivalently, an interval . A pair of quotients is projective if it belongs to the equivalence relation generated by , such that and . A subquotient of is such that . If is generated by a set of quotients, then is the transitive closure of the set of all quotients projective to some subquotient of a quotient in . The congruences form a Brouwer lattice, with the pseudo-complement of given by the quotients not having any subquotient projective to a subquotient of a quotient in . is subdirectly decomposed into and and each subdirectly indecomposable factor of is a homomorphic image of or . If is onto, , and if (which then preserves sups) and the dual exist, i.e. for a bounded image, then for one finds that is the transitive closure of prime quotients with , for some prime quotient in . For any onto mapping with not factoring through , this splitting method yields the relations for prime quotients in . If is generated by a finite set , starting with and iterating, with , , ranging over all subtriples of lines of a given base, leads to for some [a28].
For , each congruence is determined by its prime quotients, either those in a given composition sequence or those of the form , a point. It follows that the congruences form a finite Boolean algebra and are in one-to-one correspondence with unions of connected components of the point set under the binary relation: with , , collinear. Moreover, the subdirectly indecomposable factors of are simple, i.e. correspond to maximal congruences , and the dimensions add up: . The connected components associated with the are disjoint and are isomorphic images of the spaces of the via . Thus, the space of can be constructed as the disjoint union of the spaces of the with if and only if where depends only on the subdirect product of and and can be computed, in the scaffolding construction, as the pointwise largest sup-homomorphism of into such that for a given set of generators .
See [a8]. A tolerance relation on a lattice is a binary relation that is reflexive, symmetric, and compatible, i.e. a subalgebra of . A block is a maximal subset with every pair of elements in relation, whence a convex sublattice. The set of blocks has a lattice structure. A convenient way to think of this is as a pair of embeddings of a (not necessarily modular) skeleton lattice into the filter, respectively ideal, lattice of preserving finite sups, respectively infs, such that is non-empty for each , namely one of the blocks. A relevant tolerance for modular lattices is given by the relation that be complemented. Its blocks are the maximal relatively complemented convex sublattices of , and is then the prime skeleton. One has a glueing if the smallest congruence extending the tolerance is total; this occurs for modular of and the prime skeleton tolerance. The neutrality of can be shown with suitable via an order-preserving mapping turning into a glueing with blocks , ; this happens if: is sup-preserving, is inf-preserving, and for each in some generating set there is an with .
Every lattice with a tolerance gives rise to a system of adjunctions between the blocks , , in , satisfying certain axioms. Namely, if and only if if and only if . Conversely, each such system defines a pre-order on the disjoint union of the and, factoring by the associated equivalence relation, a lattice with tolerance having blocks . Glueing always produces a modular lattice from modular blocks, but only in special cases the impact of the Arguesian law and various kinds of representability are understood (a necessary condition is that any pair of adjunctions matching coordinate rings of two frames induces an anti-isomorphism of partially ordered sets [a17]). For the combinatorial analysis of subgroup lattices of finite Abelian groups, cf. [a2].
See [a5], [a7]. J. von Neumann introduced the lattice-theoretic analogue of projective coordinate systems: an -frame consists of independent elements , , , , such that , , , and . There are equivalent variants. Any provides frames , and , , where , of sublattices which can be used to derive frames satisfying relations. The elements such that and form the coordinate domain . For a free -module with basis one has the canonical frame , and . If or, in the presence of the Arguesian law, [a6], then the are turned into rings (cf. Ring) isomorphic via , respectively , with unit and
Every modular lattice generated by a frame can be generated by elements. Every finitely-generated semi-group can be embedded into the multiplicative semi-group of the coordinate ring of a suitable frame in some -generated sublattice of over a given field (finite dimensional if is finite).
A complemented Arguesian lattice possessing a large partial -frame (i.e., a -frame of a section with having a complement , perspective to ) or being simple of dimension is isomorphic to the lattice of principal right ideals of some regular ring [a23]. Under suitable richness assumptions, lattices have been characterized for various classes of rings via the Arguesian law and geometric conditions on the lattice, e.g. for completely primary uniserial rings [a24] and left Ore domains. There are results on lattice isomorphisms induced by semi-linear mappings, respectively Morita equivalences (cf. also Morita equivalence), and on lattice homomorphisms induced by tensoring [a1]. Abelian lattices, having certain features of Abelian categories, can be embedded into subgroup lattices of Abelian groups. This includes algebraic modular lattices having an infinite frame [a32].
See [a5], [a7], [a8], [a20]. The class of all linear lattices, respectively the class of all lattices embeddable into some , forms a quasi-variety, since it arises from a projective class in the sense of Mal'tsev. Natural axiom systems and proof theories for quasi-identities have been given, cf. [a10], [a33]. The latter present identities via graphs. On the other hand, there is no finitely-axiomatized quasi-variety containing , some field, and satisfying all higher-dimensional Arguesian laws. Also, every quasi-variety of modular lattices containing some also contains a -generated finitely-presented lattice with unsolvable decision problem for words [a18].
Identities are preserved when passing to the ideal lattice; thus, one may assume algebraicity. Frames are projective systems of generators and relations within modular lattices: for each there are terms , in the variables , such that the , form a frame in a sublattice for any choice of the , in a modular lattice and , if these happen to form a frame already. This allows one to translate divisibility of integer multiples of in a ring (more generally, solvability of systems of linear equations with integer coefficients) into lattice identities. The converse has been done in [a19] for lattices of submodules: solving the decision problem for words in free lattices in , whenever has decidable divisibility of integers (e.g. ), and providing a complete list of all varieties , each generated by finite-dimensional members (related ideas occur in the model theory of modules [a31]). In contrast, no finitely-axiomatized variety of modular lattices containing is generated by its finite-dimensional members. For free lattices with generators in the quasi-varieties of all Arguesian linear, respectively normal, subgroup lattices the decision problem remains open (in contrast to the negative answer for modular lattices [a11]). The corresponding variety containments, with included, are all proper [a25], [a26], [a30]. There are rings with not a variety, but the status for , a field, , normal subgroup and linear lattices is unknown. Yet, for finite-dimensional a retraction into is possible. The variety generated by modular lattices of can be finitely axiomatized; for the lattice of subvarieties and the covering varieties have been determined [a20]. Finitely-generated varieties are finitely axiomatizable (this does not extend to quasi-varieties).
Generators and relations.
See [a28]. Given a pair , of complements in a modular lattice and a subset such that for all , one has that , are central in the sublattice they generate together with . This applies to a direct decomposition of a representation of a partially ordered set, , with . Hence, for a set of generators with partial order relation, the subdirectly indecomposable factors of the free lattice in can be obtained via Jónsson's lemma from the subdirectly indecomposable factors of indecomposable finite-dimensional representations. In particular, this carries through for representation-finite . For not containing nor , these are exactly the subdirectly indecomposable modular lattices generated by such , namely - or -element. For one obtains all , , the prime subfield, lattices with , and a series of -distributives (with labelings by generators) [a13]. The latter are exactly the subdirectly indecomposable modular lattices generated by two pairs of complements. Also, the structure of the free lattices in over these and other tame of finite growth is understood [a4]. Moreover, the word problem for -generated finitely-presented lattices in is solvable. The lattice-theoretic approach determines the subdirectly indecomposable factors , first, using neutral elements and the splitting method.
A large number of finitely-presented modular lattices with additional unary operations have been determined in [a14], [a28] as invariants for the orbits (cf. Orbit) of subspaces under the group of isometric mappings (cf. Isometric mapping) of a vector space endowed with a sesquilinear form. The above methods have been modified to this setting.
The Arguesian lattices generated by a frame can be explicitly determined as certain lattices of subgroups of Abelian groups. To some extent the analysis for and other generating posets carries over to Arguesian lattices, but essentially new phenomena occur [a15].
|[a1]||U. Brehm, M. Greferath, S.E. Schmidt, "Projective geometry on modular lattices" F. Buekenhout (ed.) , Handbook of Incidence Geometry , Elsevier (1995) pp. 1115–1142 MR1360736 Zbl 0823.51006|
|[a2]||L.M. Butler, "Subgroup lattices and symmetric functions" , Memoirs , 539 , Amer. Math. Soc. (1994) MR1223236 Zbl 0813.05067|
|[a3]||P. Crawley, R.P. Dilworth, "Algebraic theory of lattices" , Prentice-Hall (1973) Zbl 0494.06001|
|[a4]||A.A. Cylke, "Perfect and linearly equivalent elements in modular lattices" V. Dlab (ed.) etAAsal. (ed.) , Representations of Algebras VI (Proc. Int. Conf. Ottawa 1992) , CMS Conf. Proc. , 14 , Amer. Math. Soc. (1993) pp. 125–148 MR1265280|
|[a5]||A. Day, "Geometrical applications in modular lattices" R. Freese (ed.) O. Garcia (ed.) , Universal Algebra and Lattice Theory , Lecture Notes in Mathematics , 1004 , Springer (1983) pp. 111–141 MR0716178 Zbl 0516.06008|
|[a6]||A. Day, D. Pickering, "The coordinatization of Arguesian lattices" Trans. Amer. Math. Soc. , 278 (1983) pp. 507–522 MR0701508 Zbl 0516.06007|
|[a7]||A. Day, "Applications of coordinatization in modular lattice theory: the legacy of J. von Neumann" Order , 1 (1985) pp. 295–300 MR0779395 Zbl 0558.06007|
|[a8]||A. Day, R. Freese, "The role of gluing in modular lattice theory" K. Bogart (ed.) R. Freese (ed.) J. Kung (ed.) , The Dilworth Theorems, Selected Papers of Robert P. Dilworth , Birkhäuser (1990) pp. 251–260 MR1111499|
|[a9]||H. (eds.) Draškovičová, etAAsal., "Ordered sets and lattices, I--II" Amer. Math. Soc. Transl. Ser. 2 , 142, 152 (1989/1992)|
|[a10]||D. Finberg, M. Mainetti, G.-C. Rota, "The logic of computing with equivalence relations" A. Ursini (ed.) P. Agliano (ed.) , Logic and Algebra , Lecture Notes Pure Applied Math. , 180 , M. Dekker (1996)|
|[a11]||R. Freese, "Free modular lattices" Trans. Amer. Math. Soc. , 261 (1980) pp. 81–91 MR0576864 Zbl 0437.06006|
|[a12]||R. Freese, R. McKenzie, "Commutator theory for congruence modular varieties" , Lecture Notes , 125 , London Math. Soc. (1987) MR0909290 Zbl 0636.08001|
|[a13]||"Representation theory. Selected papers" I.M. Gel'fand (ed.) , Lecture Notes , 69 , London Math. Soc. (1982)|
|[a14]||H. Gross, "Quadratic forms in infinite dimensional vector spaces" , Progress in Math. , 1 , Birkhäuser (1979) MR0537283 Zbl 0413.10013|
|[a15]||C. Herrmann, "On elementary Arguesian lattices with four generators" Algebra Universalis , 18 (1984) pp. 225–259 MR0743468 Zbl 0539.06009|
|[a16]||C. Herrmann, D. Pickering, M. Roddy, "Geometric description of modular lattices" Algebra Universalis , 31 (1994) pp. 365–396 MR1265349 Zbl 0816.06008|
|[a17]||C. Herrmann, "Alan Day's work on modular and Arguesian lattices" Algebra Universalis , 34 (1995) pp. 35–60|
|[a18]||G. Hutchinson, "Embedding and unsolvability theorems for modular lattices" Algebra Universalis , 7 (1977) pp. 47–84 MR0441804 Zbl 0376.06015|
|[a19]||G. Hutchinson, G. Czédli, "A test for identities satisfied in lattices of submodules" Algebra Universalis , 8 (1978) pp. 269–309 MR0469840 Zbl 0384.06009|
|[a20]||P. Jipsen, H. Rose, "Varieties of lattices" , Lecture Notes in Mathematics , 1533 , Springer (1992) MR1223545 Zbl 0779.06005|
|[a21]||B. Jónsson, "On the representation of lattices" Math. Scand. , 1 (1953) pp. 193–206 MR0058567 Zbl 0053.21304|
|[a22]||B. Jónsson, "Modular lattices and Desargues' theorem" Math. Scand. , 2 (1954) pp. 295–314 MR0067859 Zbl 0056.38403|
|[a23]||B. Jónsson, "Representations of complemented modular lattices" Trans. Amer. Math. Soc. , 60 (1960) pp. 64–94 MR0120175 Zbl 0101.02204|
|[a24]||B. Jónsson, G. Monk, "Representation of primary Arguesian lattices" Pacific J. Math. , 30 (1969) pp. 95–130 MR0258685|
|[a25]||B. Jónsson, "Varieties of algebras and their congruence varieties" , Proc. Int. Congress Math., Vancouver (1974) pp. 315–320 MR0427206 Zbl 0353.08001|
|[a26]||B. Jónsson, "Congruence varieties" , G. Grätzer: Universal Algebra , Springer (1978) pp. 348–377 (Appendix 3) MR0564122 MR0439713 MR0427206 Zbl 0841.08004 Zbl 0438.08003 Zbl 0361.08009 Zbl 0353.08001|
|[a27]||R. McKenzie, G. McNulty, W. Taylor, "Algebras, lattices, varieties" , I , Wadsworth (1987)|
|[a28]||"Orthogonal geometry in infinite dimensional vector spaces" H.A. Keller (ed.) U.-M. Kuenzi (ed.) H. Storrer (ed.) M. Wild (ed.) , Lecture Notes in Mathematics , Springer (to appear) MR1632306 Zbl 0905.11001|
|[a29]||C. Năstăsecu, F. van Ostayen, "Dimensions of ring theory" , Reidel (1987)|
|[a30]||P.P. Pálfy, C. Szabó, "Congruence varieties of groups and Abelian groups" K. Baker (ed.) R. Wille (ed.) , Lattice Theory and Its Applications , Heldermann (1995) MR1366871 Zbl 0832.06006|
|[a31]||M. Prest, "Model theory and modules" , Lecture Notes , 130 , London Math. Soc. (1988) MR0933092 Zbl 0634.03025|
|[a32]||G. Hutchinson, "Modular lattices and abelian categories" J. Algebra , 19 (1971) pp. 156–184 MR0279154 Zbl 0221.06003|
|[a33]||G. Hutchinson, "On the representation of lattices by modules" Trans. Amer. Math. Soc. , 209 (1975) pp. 47–84 MR0376462 Zbl 0328.06002|
Arguesian lattice. Encyclopedia of Mathematics. URL: http://www.encyclopediaofmath.org/index.php?title=Arguesian_lattice&oldid=38973