1,704 research outputs found

    Semisimple Varieties of Implication Zroupoids

    Get PDF
    It is a well known fact that Boolean algebras can be defined using only implication and a constant. In 2012, this result was extended to De Morgan algebras in [8] which led Sankappanavar to introduce, and investigate, the variety I of implication zroupoids generalizing De Morgan algebras. His investigations were continued in [3] and [4] in which several new subvarieties of I were introduced and their relationships with each other and with the varieties of [8] were explored. The present paper is a continuation of [8] and [3]. The main purpose of this paper is to determine the simple algebras in I. It is shown that there are exactly five simple algebras in I. From this description we deduce that the semisimple subvarieties of I are precisely the subvarieties of the variety generated by these 5 simple I-zroupoids and are locally finite. It also follows that the lattice of semisimple subvarieties of I is isomorphic to the direct product of a 4-element Boolean lattice and a 4-element chain.Comment: 21 page

    Order in Implication Zroupoids

    Get PDF
    The variety I\mathbf{I} of implication zroupoids was defined and investigated by Sankappanavar ([7]) as a generalization of De Morgan algebras. Also, in [7], several new subvarieties of I\mathbf{I} were introduced, including the subvariety I2,0\mathbf{I_{2,0}}, defined by the identity: x"≈xx" \approx x, which plays a crucial role in this paper. Several more new subvarieties of I\mathbf{I}, including the subvariety SL\mathbf{SL} of semilattices with a least element 00, are studied in [3], and an explicit description of semisimple subvarieties of I\mathbf{I} is given in [5]. It is well known that the operation ∧\land induces a partial order (⊑\sqsubseteq) in the variety SL\mathbf{SL} and also in the variety DM\mathbf{DM} of De Morgan algebras. As both SL\mathbf{SL} and DM\mathbf{DM} are subvarieties of I\mathbf{I} and the definition of partial order can be expressed in terms of the implication and the constant, it is but natural to ask whether the relation ⊑\sqsubseteq (now defined) on I\mathbf{I} is actually a partial order in some (larger) subvariety of I\mathbf{I} that includes SL\mathbf{SL} and DM\mathbf{DM}. The purpose of the present paper is two-fold: Firstly, a complete answer is given to the above mentioned problem. Indeed, our first main theorem shows that the variety I2,0\mathbf{I_{2,0}} is a maximal subvariety of I\mathbf{I} with respect to the property that the relation ⊑\sqsubseteq is a partial order on its members. In view of this result, one is then naturally led to consider the problem of determining the number of non-isomorphic algebras in I2,0\mathbf{I_{2,0}} that can be defined on an nn-element chain (herein called I2,0\mathbf{I_{2,0}}-chains), nn being a natural number. Secondly, we answer this problem in our second main theorem, which says that, for each n∈Nn \in \mathbb{N}, there are exactly nn nonisomorphic I2,0\mathbf{I_{2,0}}-chains of size nn.Comment: 35 page

    On Implicator Groupoids

    Full text link
    In a paper published in 2012, the second author extended the well-known fact that Boolean algebras can be defined using only implication and a constant, to De Morgan algebras-this result led him to introduce, and investigate (in the same paper), the variety I of algebras, there called implication zroupoids (I-zroupoids) and here called implicator gruopids (I- groupoids), that generalize De Morgan algebras. The present paper is a continuation of the paper mentioned above and is devoted to investigating the structure of the lattice of subvarieties of I, and also to making further contributions to the theory of implicator groupoids. Several new subvarieties of I are introduced and their relationship with each other, and with the subvarieties of I which were already investigated in the paper mentioned above, are explored.Comment: This paper, except the appendix, will appear in Algebra Universalis. 25 pages, 4 figures, a revised version with a new titl

    Evaluando los niveles tróficos de dos tiburones oceánicos del Océano Pacífico suroriental

    Get PDF
    Indexación: Web of ScienceStable isotope analyses for shortfin mako (Isurus oxyrinchus) and blue sharks (Prionace glauca) were conducted to assess their trophic position in two periods of time (before 1980 and after 2000) in the Southeastern Pacific waters (SEP). Both sharks showed that their trophic position decreased over time (P < 0.05). Many factors could be involved in this change such as dietary shifts, prey availability, or indirect fishing effects in SEP waters.RESUMEN. Para evaluar los niveles tróficos de los tiburones marrajo (Isurus oxyrinchus) y azulejo (Prionace glauca) en dos períodos de tiempo (previo a 1980 y posterior al 2000) en aguas del Pacífico suroriental (SEP), se realizaron análisis de isótopos estables. Ambos tiburones mostraron un descenso del nivel trófico en el tiempo (P < 0,05). Varios son los factores que pueden estar involucrados en este evento, como los cambios dietarios, la disponibilidad de las presas o los efectos indirectos de la pesquería en aguas del Pacífico suroriental.http://www.lajar.cl/pdf/imar/v44n2/Art%C3%ADculo_44_2_25.pd

    Extending the applicability of an open-ring trap to perform experiments with a single laser-cooled ion

    Full text link
    An open-ring ion trap, also referred to as transparent trap was initially built up to perform β\beta-ν\nu correlation experiments with radioactive ions. This trap geometry is also well suited to perform experiments with laser-cooled ions, serving for the development of a new type of Penning trap, in the framework of the project TRAPSENSOR at the University of Granada. The goal of this project is to use a single 40^{40}Ca+^+ ion as detector for single-ion mass spectrometry. Within this project and without any modification to the initial electrode configuration, it was possible to perform Doppler cooling on 40^{40}Ca+^+ ions, starting from large clouds and reaching single ion sensitivity. This new feature of the trap might be important also for other experiments with ions produced at Radioactive Ion Beam (RIB) facilities. In this publication, the trap and the laser system will be described, together with their performance with respect to laser cooling applied to large ion clouds down to a single ion.Comment: 9 pages, 13 figure
    • …
    corecore