2,896 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

    Training Needs and Applications for Special Educators with Paraeducator Supervision Responsibilities

    Get PDF
    This project highlights the need for training for paraeducators working in Special Education settings. Duties performed by paraeducators often overlap with teacher duties and much of the direct instruction provided to students in self-contained classrooms is delivered by paraeducators. The tasks of training and supervising paraeducators often falls on the special education teacher, who may not have received training in supervision. The project includes a brief review of the literature on this topic and two project reports. I designed my project with the objective of improving the quality of instruction being delivered to students in my classroom through training of the paraeducators who deliver much of the instruction. Project reports describe (1) training provided by a teacher to paraeducators who work in a special education post-high classroom; and (2) an application of this training in the form of a curriculum adaptation designed to be implemented by paraeducators to support student IEP goals. Sample lesson plans were designed for a target student and included research-based instructional strategies for supporting a multi-language learning student in a post-high classroom. Report 1 focuses on the preparation and training sessions for paraeducators and Report 2 is a curriculum adaptation designed for paraeducator use with a multi-language learning student. Products from this project include a set of training materials for use with paraeducators and an adapted curriculum and lesson plan ready for paraeducator use. Based on feedback and personal reflections, outcomes of the project include increased preparedness of paraeducators to work with students with disabilities in a post-high setting, in particular students who are culturally and linguistically diverse students with disabilities and multi-language learners with disabilities. The project concludes with reflections on each paraeducator training and on the curriculum adaptation process and implementation

    Supersymmetric pairing of kinks for polynomial nonlinearities

    Get PDF
    We show how one can obtain kink solutions of ordinary differential equations with polynomial nonlinearities by an efficient factorization procedure directly related to the factorization of their nonlinear polynomial part. We focus on reaction-diffusion equations in the travelling frame and damped-anharmonic-oscillator equations. We also report an interesting pairing of the kink solutions, a result obtained by reversing the factorization brackets in the supersymmetric quantum mechanical style. In this way, one gets ordinary differential equations with a different polynomial nonlinearity possessing kink solutions of different width but propagating at the same velocity as the kinks of the original equation. This pairing of kinks could have many applications. We illustrate the mathematical procedure with several important cases, among which the generalized Fisher equation, the FitzHugh-Nagumo equation, and the polymerization fronts of microtubulesComment: 13 pages, 2 figures, revised during the 2nd week of Dec. 200

    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

    Influence of a transverse static magnetic field on the magnetic hyperthermia properties and high-frequency hysteresis loops of ferromagnetic FeCo nanoparticles

    Full text link
    The influence of a transverse static magnetic field on the magnetic hyperthermia properties is studied on a system of large-losses ferromagnetic FeCo nanoparticles. The simultaneous measurement of the high-frequency hysteresis loops and of the temperature rise provides an interesting insight into the losses and heating mechanisms. A static magnetic field of only 40 mT is enough to cancel the heating properties of the nanoparticles, a result reproduced using numerical simulations of hysteresis loops. These results cast doubt on the possibility to perform someday magnetic hyperthermia inside a magnetic resonance imaging setup.Comment: 6 pages, 3 figure
    • …
    corecore