Zero-Divisor Graphs and Lattices of Finite Commutative Rings

Total Page:16

File Type:pdf, Size:1020Kb

Zero-Divisor Graphs and Lattices of Finite Commutative Rings Rose-Hulman Undergraduate Mathematics Journal Volume 12 Issue 1 Article 4 Zero-Divisor Graphs and Lattices of Finite Commutative Rings Darrin Weber Millikin University, [email protected] Follow this and additional works at: https://scholar.rose-hulman.edu/rhumj Recommended Citation Weber, Darrin (2011) "Zero-Divisor Graphs and Lattices of Finite Commutative Rings," Rose-Hulman Undergraduate Mathematics Journal: Vol. 12 : Iss. 1 , Article 4. Available at: https://scholar.rose-hulman.edu/rhumj/vol12/iss1/4 Rose- Hulman Undergraduate Mathematics Journal Zero-Divisor Graphs and Lattices of Finite Commutative Rings Darrin Webera Volume 12, no. 1, Spring 2011 Sponsored by Rose-Hulman Institute of Technology Department of Mathematics Terre Haute, IN 47803 Email: [email protected] a http://www.rose-hulman.edu/mathjournal Millikin University, Decatur, IL, [email protected] Rose-Hulman Undergraduate Mathematics Journal Volume 12, no. 1, Spring 2011 Zero-Divisor Graphs and Lattices of Finite Commutative Rings Darrin Weber Abstract.In this paper we consider, for a finite commutative ring R, the well- studied zero-divisor graph Γ(R) and the compressed zero-divisor graph Γc(R) of R and a newly-defined graphical structure — the zero-divisor lattice Λ(R) of R. We give results which provide information when Γ(R) =∼ Γ(S), Γc(R) =∼ Γc(S), and Λ(R) =∼ Λ(S) for two finite commutative rings R and S. We also provide a theorem which says that Λ(R) is almost always connected. Acknowledgements: This paper is the result of a summer’s worth of undergraduate research at Millikin University and was funded by Millikin University’s Student Undergrad- uate Research Fund. The author would like to thank Dr. Joe Stickles for his guidance and advice throughout the development of this paper, Dr. Michael Axtell for his comments and suggestions, and Dr. James Rauff for his helpful input. Page58 RHITUndergrad.Math.J.,Vol. 12, no. 1 1 Introduction The notion of a zero-divisor graph was introduced in [7] and was studied further in [4]. However, the definition we will provide of the zero-divisor graph of a ring is more generally accepted and was first used in [3]. Much research has been done on zero-divisor graphs over the past ten years, and many of the papers can be found in the reference section of [2]. The hope is that the graph-theoretic properties of the zero-divisior graph will help us better understand the ring-theoretic properties of R. Not only have zero-divisor graphs been studied by professional mathematicians, but they have also been the focus of master’s theses and doctorial dissertations. Further, many under- graduates have researched zero-divisor graphs extensively providing a number of substantial results in the field. In particular, the Wabash Summer Institute in Mathematics at Wabash College has, in part, focused on the interplay between ring structure and zero-divisor graph structure. Some tools used to aid in the research process in this program were Mathematica notebooks that displayed the zero-divisor graph of certain rings. These notebooks have been rewritten as well as additional notebooks added, and they can be found at [14]. All of the graphs displayed in this paper were generated using those notebooks. To help study large zero-divisor graphs, we introduce another related definition to the zero-divisor graph, called the compressed zero-divisor graph, which first appeared in a similar form in [12] and was further studied in [13]. We also introduce the definition for the zero- divisor lattice suggested by Dr. Nicholas Baeth of the University of Central Missouri. In section 2, we provide the necessary definitions for this paper. In section 3, we look at the connections between the zero-divisor graph and the compressed zero-divisor graph and prove that isomorphic graphs yield isomorphic compressed graphs in Theorem 3.1. In Theorem 3.3, we also demonstrate that in most cases cut-sets are preserved when looking at the compressed zero-divisor graph. In section 4, we explore the connections between all three graphical structures and show in Theorems 4.1 and 4.2 that isomorphic graphs or isomorphic compressed graphs gives us isomorphic lattices. In section 5, we show that the zero-divisor lattice is connected in almost every case. 2 Definitions Throughout this paper, R denotes a finite commutative ring with identity. An element a is a zero-divisor if there exists a nonzero r ∈ R such that ar = 0. We denote the set of all zero- divisors in R as Z(R). The set of annihilators of a ring element x is ann(x)= {a | ax =0}. A ring is called local if it has one unique maximal ideal. (A maximal ideal is an ideal A of a ring R such that if A ⊆ B ⊆ R, where B is also an ideal, then either A = B or B = R.) A field is a commutative ring with identity in which every nonzero element has a multiplicative inverse. For a graph G, we denote the set of vertices of G as V (G) and the set of edges as E(G). We define a path between two elements a1,an ∈ V (G) to be an ordered sequence of distinct vertices and edges {a1,e1,a2,...,en−1,an} of G such that edge ei, denoted by ai RHIT Undergrad. Math. J., Vol. 12, no. 1 Page 59 — ai+1, is incident to vertices ai and ai+1, for each i ∈ {1,...,n − 1}. For x,y ∈ V (G), the minimum length of all paths from x to y, if it exists, is called the distance from x to y and is denoted d(x,y). If no path from x to y exists, then d(x,y) = ∞. The diameter of a graph is diam(G) = sup{d(x,y) | x,y ∈ V (G)}. The neighborhood of a vertex is the set nbd(x) = {z ∈ V (G) | x — z}. A graph is connected if a path exists between any two distinct vertices. A complete r-partite graph is the disjoint union of r nonempty vertex sets in which two distinct vertices are adjacent if and only if they are in distinct vertex sets. In the case where r = 2, we call the graph complete bipartite. Two graphs G and H are said to be isomorphic if there exists a one-to-one and onto function φ : V (G) → V (H) such that if x,y ∈ V (G), then x — y if and only if φ(x)— φ(y). Lemma 2.1 shows that graph isomorphism preserves neighborhoods. We provide a proof for completeness. Lemma 2.1. Let G ∼= H. If φ(x)= y, then φ(nbd(x)) = nbd(y). Proof. Let φ : G → H be a graph isomorphism. Let x ∈ V (G) and φ(x)= y ∈ V (H). Then φ(nbd(x)) = {φ(z) | x — z} = {φ(z) | φ(x) — φ(z)} = {φ(z) | y — φ(z)} = nbd(y). The zero-divisor graph of a ring R, denoted Γ(R), is a graph with V (Γ(R)) = Z(R)\{0} and E(Γ(R)) = {a — b | ab = 0}. By [3], we know that Γ(R) is always connected and diam(Γ(R)) ≤ 3 for any ring R. Notice that nbd(x) = ann(x) in a zero-divisor graph. A cut-set of a graph G is a set A ⊂ V (G) minimal among all subsets of V (G) such that there exist distinct vertices c,d ∈ V (G)\A such that every path from c to d involves at least one element of A. Example 2.2. In Γ(Z30), shown in Figure 1(a), there are three cut-sets: {15}, {10, 20}, and {6, 12, 18, 24}. The cut-sets in Γc(R) are {15}, {10}, and {6} and are shown in Figure 1(b). A cut vertex is a cut-set of size 1. The study of cut vertices of zero-divisor graphs began in [6] and was continued in [9]. In [6], it was shown that a cut vertex along with zero form an ideal in the ring. In [9], the cut vertex was generalized to cut-sets, and cut-sets were classified for finite, nonlocal commutative rings. In addition, it was shown that the cut-set along with zero form an ideal in the ring. For algebraic definitions and concepts not listed here, see [10], and for graph theory definitions and concepts, see [8]. To define both the compressed zero-divisor graph and the zero-divisor lattice, we first need to define an equivalence relation on the zero-divisors of R. Definition 2.1. Let R be a commutative ring. Define a relation ≡ on R by x ≡ y if and only if ann(x) = ann(y). It is easy to see that ≡ is an equivalence relation on R. We denote the equivalence class of x byx ¯. Notice that ann(0) = R andx ¯ =y ¯ for all x,y ∈ R\Z(R). However, we will only focus on the equivalence classes of the nonzero zero-divisors. Page60 RHITUndergrad.Math.J.,Vol. 12, no. 1 Definition 2.2. For a ring R, the compressed zero-divisor graph, denoted Γc(R), is a graph whose vertices are the equivalence classes of the nonzero zero-divisors, and two vertices a¯ and ¯b are connected by an edge if and only if ab =0. Example 2.3. For Z30, Figure 1 shows the difference between the zero-divisor graph, (a), and the compressed zero-divisor graph, (b). 2 3 2 3 4 9 8 15 10 21 10 14 20 27 15 16 6 6 12 22 18 24 26 28 5 25 5 (a) Γ(Z30) (b) Γc(Z30) Figure 1: The zero-divisor graph and compressed zero-divisor graph of Z30 Notice that by Theorem 2.8 in [3], when the zero-divisor graph is a complete graph, either the ring is Z2 × Z2, or every vertex loops to itself.
Recommended publications
  • On the Lattice Structure of Quantum Logic
    BULL. AUSTRAL. MATH. SOC. MOS 8106, *8IOI, 0242 VOL. I (1969), 333-340 On the lattice structure of quantum logic P. D. Finch A weak logical structure is defined as a set of boolean propositional logics in which one can define common operations of negation and implication. The set union of the boolean components of a weak logical structure is a logic of propositions which is an orthocomplemented poset, where orthocomplementation is interpreted as negation and the partial order as implication. It is shown that if one can define on this logic an operation of logical conjunction which has certain plausible properties, then the logic has the structure of an orthomodular lattice. Conversely, if the logic is an orthomodular lattice then the conjunction operation may be defined on it. 1. Introduction The axiomatic development of non-relativistic quantum mechanics leads to a quantum logic which has the structure of an orthomodular poset. Such a structure can be derived from physical considerations in a number of ways, for example, as in Gunson [7], Mackey [77], Piron [72], Varadarajan [73] and Zierler [74]. Mackey [77] has given heuristic arguments indicating that this quantum logic is, in fact, not just a poset but a lattice and that, in particular, it is isomorphic to the lattice of closed subspaces of a separable infinite dimensional Hilbert space. If one assumes that the quantum logic does have the structure of a lattice, and not just that of a poset, it is not difficult to ascertain what sort of further assumptions lead to a "coordinatisation" of the logic as the lattice of closed subspaces of Hilbert space, details will be found in Jauch [8], Piron [72], Varadarajan [73] and Zierler [74], Received 13 May 1969.
    [Show full text]
  • Adjacency Matrices of Zero-Divisor Graphs of Integers Modulo N Matthew Young
    inv lve a journal of mathematics Adjacency matrices of zero-divisor graphs of integers modulo n Matthew Young msp 2015 vol. 8, no. 5 INVOLVE 8:5 (2015) msp dx.doi.org/10.2140/involve.2015.8.753 Adjacency matrices of zero-divisor graphs of integers modulo n Matthew Young (Communicated by Kenneth S. Berenhaut) We study adjacency matrices of zero-divisor graphs of Zn for various n. We find their determinant and rank for all n, develop a method for finding nonzero eigen- values, and use it to find all eigenvalues for the case n p3, where p is a prime D number. We also find upper and lower bounds for the largest eigenvalue for all n. 1. Introduction Let R be a commutative ring with a unity. The notion of a zero-divisor graph of R was pioneered by Beck[1988]. It was later modified by Anderson and Livingston [1999] to be the following. Definition 1.1. The zero-divisor graph .R/ of the ring R is a graph with the set of vertices V .R/ being the set of zero-divisors of R and edges connecting two vertices x; y R if and only if x y 0. 2 D To each (finite) graph , one can associate the adjacency matrix A./ that is a square V ./ V ./ matrix with entries aij 1, if vi is connected with vj , and j j j j D zero otherwise. In this paper we study the adjacency matrices of zero-divisor graphs n .Zn/ of rings Zn of integers modulo n, where n is not prime.
    [Show full text]
  • Zero Divisor Conjecture for Group Semifields
    Ultra Scientist Vol. 27(3)B, 209-213 (2015). Zero Divisor Conjecture for Group Semifields W.B. VASANTHA KANDASAMY1 1Department of Mathematics, Indian Institute of Technology, Chennai- 600 036 (India) E-mail: [email protected] (Acceptance Date 16th December, 2015) Abstract In this paper the author for the first time has studied the zero divisor conjecture for the group semifields; that is groups over semirings. It is proved that whatever group is taken the group semifield has no zero divisors that is the group semifield is a semifield or a semidivision ring. However the group semiring can have only idempotents and no units. This is in contrast with the group rings for group rings have units and if the group ring has idempotents then it has zero divisors. Key words: Group semirings, group rings semifield, semidivision ring. 1. Introduction study. Here just we recall the zero divisor For notions of group semirings refer8-11. conjecture for group rings and the conditions For more about group rings refer 1-6. under which group rings have zero divisors. Throughout this paper the semirings used are Here rings are assumed to be only fields and semifields. not any ring with zero divisors. It is well known1,2,3 the group ring KG has zero divisors if G is a 2. Zero divisors in group semifields : finite group. Further if G is a torsion free non abelian group and K any field, it is not known In this section zero divisors in group whether KG has zero divisors. In view of the semifields SG of any group G over the 1 problem 28 of .
    [Show full text]
  • Lattice-Ordered Loops and Quasigroupsl
    View metadata, citation and similar papers at core.ac.uk brought to you by CORE provided by Elsevier - Publisher Connector JOIJRNALOFALGEBRA 16, 218-226(1970) Lattice-Ordered Loops and Quasigroupsl TREVOREVANS Matkentatics Department, Emory University, Atlanta, Georgia 30322 Communicated by R. H, Brwk Received April 16, 1969 In studying the effect of an order on non-associativesystems such as loops or quasigroups, a natural question to ask is whether some order condition which implies commutativity in the group case implies associativity in the corresponding loop case. For example, a well-known theorem (Birkhoff, [1]) concerning lattice ordered groups statesthat if the descendingchain condition holds for the positive elements,then the 1.0. group is actually a direct product of infinite cyclic groups with its partial order induced in the usual way by the linear order in the factors. It is easy to show (Zelinski, [6]) that a fully- ordered loop satisfying the descendingchain condition on positive elements is actually an infinite cyclic group. In this paper we generalize this result and Birkhoff’s result, by showing that any lattice-ordered loop with descending chain condition on its positive elements is associative. Hence, any 1.0. loop with d.c.c. on its positive elements is a free abelian group. More generally, any lattice-ordered quasigroup in which bounded chains are finite, is isotopic to a free abelian group. These results solve a problem in Birkhoff’s Lattice Theory, 3rd ed. The proof uses only elementary properties of loops and lattices. 1. LATTICE ORDERED LOOPS We will write loops additively with neutral element0.
    [Show full text]
  • Noncommutative Unique Factorization Domainso
    NONCOMMUTATIVE UNIQUE FACTORIZATION DOMAINSO BY P. M. COHN 1. Introduction. By a (commutative) unique factorization domain (UFD) one usually understands an integral domain R (with a unit-element) satisfying the following three conditions (cf. e.g. Zariski-Samuel [16]): Al. Every element of R which is neither zero nor a unit is a product of primes. A2. Any two prime factorizations of a given element have the same number of factors. A3. The primes occurring in any factorization of a are completely deter- mined by a, except for their order and for multiplication by units. If R* denotes the semigroup of nonzero elements of R and U is the group of units, then the classes of associated elements form a semigroup R* / U, and A1-3 are equivalent to B. The semigroup R*jU is free commutative. One may generalize the notion of UFD to noncommutative rings by taking either A-l3 or B as starting point. It is obvious how to do this in case B, although the class of rings obtained is rather narrow and does not even include all the commutative UFD's. This is indicated briefly in §7, where examples are also given of noncommutative rings satisfying the definition. However, our principal aim is to give a definition of a noncommutative UFD which includes the commutative case. Here it is better to start from A1-3; in order to find the precise form which such a definition should take we consider the simplest case, that of noncommutative principal ideal domains. For these rings one obtains a unique factorization theorem simply by reinterpreting the Jordan- Holder theorem for right .R-modules on one generator (cf.
    [Show full text]
  • The Structure of Residuated Lattices
    The Structure of Residuated Lattices Kevin Blount and Constantine Tsinakis May 23, 2002 Abstract A residuated lattice is an ordered algebraic structure L = hL, ∧, ∨, · , e, \ , / i such that hL, ∧, ∨i is a lattice, hL, ·, ei is a monoid, and \ and / are binary operations for which the equivalences a · b ≤ c ⇐⇒ a ≤ c/b ⇐⇒ b ≤ a\c hold for all a, b, c ∈ L. It is helpful to think of the last two operations as left and right division and thus the equivalences can be seen as “di- viding” on the right by b and “dividing” on the left by a. The class of all residuated lattices is denoted by RL. The study of such objects originated in the context of the theory of ring ideals in the 1930’s. The collection of all two-sided ideals of a ring forms a lattice upon which one can impose a natural monoid structure making this object into a residuated lattice. Such ideas were investi- gated by Morgan Ward and R. P. Dilworth in a series of important papers [15], [16],[45], [46], [47] and [48] and also by Krull in [33]. Since that time, there has been substantial research regarding some specific classes of residuated structures, see for example [1], [9], [26] and [38], but we believe that this is the first time that a general structural the- ory has been established for the class RL as a whole. In particular, we develop the notion of a normal subalgebra and show that RL is an “ideal variety” in the sense that it is an equational class in which con- gruences correspond to “normal” subalgebras in the same way that ring congruences correspond to ring ideals.
    [Show full text]
  • Thermodynamic Properties of Coupled Map Lattices 1 Introduction
    Thermodynamic properties of coupled map lattices J´erˆome Losson and Michael C. Mackey Abstract This chapter presents an overview of the literature which deals with appli- cations of models framed as coupled map lattices (CML’s), and some recent results on the spectral properties of the transfer operators induced by various deterministic and stochastic CML’s. These operators (one of which is the well- known Perron-Frobenius operator) govern the temporal evolution of ensemble statistics. As such, they lie at the heart of any thermodynamic description of CML’s, and they provide some interesting insight into the origins of nontrivial collective behavior in these models. 1 Introduction This chapter describes the statistical properties of networks of chaotic, interacting el- ements, whose evolution in time is discrete. Such systems can be profitably modeled by networks of coupled iterative maps, usually referred to as coupled map lattices (CML’s for short). The description of CML’s has been the subject of intense scrutiny in the past decade, and most (though by no means all) investigations have been pri- marily numerical rather than analytical. Investigators have often been concerned with the statistical properties of CML’s, because a deterministic description of the motion of all the individual elements of the lattice is either out of reach or uninteresting, un- less the behavior can somehow be described with a few degrees of freedom. However there is still no consistent framework, analogous to equilibrium statistical mechanics, within which one can describe the probabilistic properties of CML’s possessing a large but finite number of elements.
    [Show full text]
  • On Finite Semifields with a Weak Nucleus and a Designed
    On finite semifields with a weak nucleus and a designed automorphism group A. Pi~nera-Nicol´as∗ I.F. R´uay Abstract Finite nonassociative division algebras S (i.e., finite semifields) with a weak nucleus N ⊆ S as defined by D.E. Knuth in [10] (i.e., satisfying the conditions (ab)c − a(bc) = (ac)b − a(cb) = c(ab) − (ca)b = 0, for all a; b 2 N; c 2 S) and a prefixed automorphism group are considered. In particular, a construction of semifields of order 64 with weak nucleus F4 and a cyclic automorphism group C5 is introduced. This construction is extended to obtain sporadic finite semifields of orders 256 and 512. Keywords: Finite Semifield; Projective planes; Automorphism Group AMS classification: 12K10, 51E35 1 Introduction A finite semifield S is a finite nonassociative division algebra. These rings play an important role in the context of finite geometries since they coordinatize projective semifield planes [7]. They also have applications on coding theory [4, 8, 6], combinatorics and graph theory [13]. During the last few years, computational efforts in order to clasify some of these objects have been made. For instance, the classification of semifields with 64 elements is completely known, [16], as well as those with 243 elements, [17]. However, many questions are open yet: there is not a classification of semifields with 128 or 256 elements, despite of the powerful computers available nowadays. The knowledge of the structure of these concrete semifields can inspire new general constructions, as suggested in [9]. In this sense, the work of Lavrauw and Sheekey [11] gives examples of constructions of semifields which are neither twisted fields nor two-dimensional over a nucleus starting from the classification of semifields with 64 elements.
    [Show full text]
  • 6. Localization
    52 Andreas Gathmann 6. Localization Localization is a very powerful technique in commutative algebra that often allows to reduce ques- tions on rings and modules to a union of smaller “local” problems. It can easily be motivated both from an algebraic and a geometric point of view, so let us start by explaining the idea behind it in these two settings. Remark 6.1 (Motivation for localization). (a) Algebraic motivation: Let R be a ring which is not a field, i. e. in which not all non-zero elements are units. The algebraic idea of localization is then to make more (or even all) non-zero elements invertible by introducing fractions, in the same way as one passes from the integers Z to the rational numbers Q. Let us have a more precise look at this particular example: in order to construct the rational numbers from the integers we start with R = Z, and let S = Znf0g be the subset of the elements of R that we would like to become invertible. On the set R×S we then consider the equivalence relation (a;s) ∼ (a0;s0) , as0 − a0s = 0 a and denote the equivalence class of a pair (a;s) by s . The set of these “fractions” is then obviously Q, and we can define addition and multiplication on it in the expected way by a a0 as0+a0s a a0 aa0 s + s0 := ss0 and s · s0 := ss0 . (b) Geometric motivation: Now let R = A(X) be the ring of polynomial functions on a variety X. In the same way as in (a) we can ask if it makes sense to consider fractions of such polynomials, i.
    [Show full text]
  • Cayley's and Holland's Theorems for Idempotent Semirings and Their
    Cayley's and Holland's Theorems for Idempotent Semirings and Their Applications to Residuated Lattices Nikolaos Galatos Department of Mathematics University of Denver [email protected] Rostislav Horˇc´ık Institute of Computer Sciences Academy of Sciences of the Czech Republic [email protected] Abstract We extend Cayley's and Holland's representation theorems to idempotent semirings and residuated lattices, and provide both functional and relational versions. Our analysis allows for extensions of the results to situations where conditions are imposed on the order relation of the representing structures. Moreover, we give a new proof of the finite embeddability property for the variety of integral residuated lattices and many of its subvarieties. 1 Introduction Cayley's theorem states that every group can be embedded in the (symmetric) group of permutations on a set. Likewise, every monoid can be embedded into the (transformation) monoid of self-maps on a set. C. Holland [10] showed that every lattice-ordered group can be embedded into the lattice-ordered group of order-preserving permutations on a totally-ordered set. Recall that a lattice-ordered group (`-group) is a structure G = hG; _; ^; ·;−1 ; 1i, where hG; ·;−1 ; 1i is group and hG; _; ^i is a lattice, such that multiplication preserves the order (equivalently, it distributes over joins and/or meets). An analogous representation was proved also for distributive lattice-ordered monoids in [2, 11]. We will prove similar theorems for resid- uated lattices and idempotent semirings in Sections 2 and 3. Section 4 focuses on the finite embeddability property (FEP) for various classes of idempotent semirings and residuated lat- tices.
    [Show full text]
  • LATTICE THEORY of CONSENSUS (AGGREGATION) an Overview
    Workshop Judgement Aggregation and Voting September 9-11, 2011, Freudenstadt-Lauterbad 1 LATTICE THEORY of CONSENSUS (AGGREGATION) An overview Bernard Monjardet CES, Université Paris I Panthéon Sorbonne & CAMS, EHESS Workshop Judgement Aggregation and Voting September 9-11, 2011, Freudenstadt-Lauterbad 2 First a little precision In their kind invitation letter, Klaus and Clemens wrote "Like others in the judgment aggregation community, we are aware of the existence of a sizeable amount of work of you and other – mainly French – authors on generalized aggregation models". Indeed, there is a sizeable amount of work and I will only present some main directions and some main results. Now here a list of the main contributors: Workshop Judgement Aggregation and Voting September 9-11, 2011, Freudenstadt-Lauterbad 3 Bandelt H.J. Germany Barbut, M. France Barthélemy, J.P. France Crown, G.D., USA Day W.H.E. Canada Janowitz, M.F. USA Mulder H.M. Germany Powers, R.C. USA Leclerc, B. France Monjardet, B. France McMorris F.R. USA Neumann, D.A. USA Norton Jr. V.T USA Powers, R.C. USA Roberts F.S. USA Workshop Judgement Aggregation and Voting September 9-11, 2011, Freudenstadt-Lauterbad 4 LATTICE THEORY of CONSENSUS (AGGREGATION) : An overview OUTLINE ABSTRACT AGGREGATION THEORIES: WHY? HOW The LATTICE APPROACH LATTICES: SOME RECALLS The CONSTRUCTIVE METHOD The federation consensus rules The AXIOMATIC METHOD Arrowian results The OPTIMISATION METHOD Lattice metric rules and the median procedure The "good" lattice structures for medians: Distributive lattices Median semilattice Workshop Judgement Aggregation and Voting September 9-11, 2011, Freudenstadt-Lauterbad 5 ABSTRACT CONSENSUS THEORIES: WHY? "since Arrow’s 1951 theorem, there has been a flurry of activity designed to prove analogues of this theorem in other contexts, and to establish contexts in which the rather dismaying consequences of this theorem are not necessarily valid.
    [Show full text]
  • Problems and Comments on Boolean Algebras Rosen, Fifth Edition: Chapter 10; Sixth Edition: Chapter 11 Boolean Functions
    Problems and Comments on Boolean Algebras Rosen, Fifth Edition: Chapter 10; Sixth Edition: Chapter 11 Boolean Functions Section 10. 1, Problems: 1, 2, 3, 4, 10, 11, 29, 36, 37 (fifth edition); Section 11.1, Problems: 1, 2, 5, 6, 12, 13, 31, 40, 41 (sixth edition) The notation ""forOR is bad and misleading. Just think that in the context of boolean functions, the author uses instead of ∨.The integers modulo 2, that is ℤ2 0,1, have an addition where 1 1 0 while 1 ∨ 1 1. AsetA is partially ordered by a binary relation ≤, if this relation is reflexive, that is a ≤ a holds for every element a ∈ S,it is transitive, that is if a ≤ b and b ≤ c hold for elements a,b,c ∈ S, then one also has that a ≤ c, and ≤ is anti-symmetric, that is a ≤ b and b ≤ a can hold for elements a,b ∈ S only if a b. The subsets of any set S are partially ordered by set inclusion. that is the power set PS,⊆ is a partially ordered set. A partial ordering on S is a total ordering if for any two elements a,b of S one has that a ≤ b or b ≤ a. The natural numbers ℕ,≤ with their ordinary ordering are totally ordered. A bounded lattice L is a partially ordered set where every finite subset has a least upper bound and a greatest lower bound.The least upper bound of the empty subset is defined as 0, it is the smallest element of L.
    [Show full text]