Linear Aspects of Equational Triality in Quasigroups

Total Page:16

File Type:pdf, Size:1020Kb

Linear Aspects of Equational Triality in Quasigroups Iowa State University Capstones, Theses and Graduate Theses and Dissertations Dissertations 2020 Linear aspects of equational triality in quasigroups Alex William Nowak Iowa State University Follow this and additional works at: https://lib.dr.iastate.edu/etd Recommended Citation Nowak, Alex William, "Linear aspects of equational triality in quasigroups" (2020). Graduate Theses and Dissertations. 17959. https://lib.dr.iastate.edu/etd/17959 This Thesis is brought to you for free and open access by the Iowa State University Capstones, Theses and Dissertations at Iowa State University Digital Repository. It has been accepted for inclusion in Graduate Theses and Dissertations by an authorized administrator of Iowa State University Digital Repository. For more information, please contact [email protected]. Linear aspects of equational triality in quasigroups by Alex William Nowak A dissertation submitted to the graduate faculty in partial fulfillment of the requirements for the degree of DOCTOR OF PHILOSOPHY Major: Mathematics Program of Study Committee: Jonathan D. H. Smith, Major Professor Tathagata Basak Jonas T. Hartwig Jack H. Lutz Timothy H. McNicholl The student author, whose presentation of the scholarship herein was approved by the program of study committee, is solely responsible for the content of this dissertation. The Graduate College will ensure this dissertation is globally accessible and will not permit alterations after a degree is conferred. Iowa State University Ames, Iowa 2020 Copyright c Alex William Nowak, 2020. All rights reserved. ii DEDICATION To my parents, who always gave me the courage to sit down and think. iii TABLE OF CONTENTS Page LIST OF TABLES . .v ACKNOWLEDGMENTS . vi ABSTRACT . vii CHAPTER 1. INTRODUCTION . .1 1.0.1 Some historical remarks motivating quantum quasigroups . .1 1.1 Overview . .3 1.2 Basic quasigroup theory . .4 1.2.1 Multiplication groups . .6 1.2.2 Quasigroup triality . .6 1.3 Notions from category theory and universal algebra . 10 1.3.1 Categories of quasigroups . 10 1.3.2 Coproducts, free products, and algebraic presentations . 11 1.3.3 Group modules, abelian group objects in slice categories . 13 1.4 Free extensions of quasigroups . 16 1.4.1 A confluent rewriting system for the normal form . 17 CHAPTER 2. QUASIGROUP MODULE THEORY . 20 2.1 The universal multiplication group, universal stabilizer and the Fundamental Theorem 20 2.2 Combinatorial differentiation and the Relativized Fundamental Theorem . 23 2.2.1 Modules over semisymmetric quasigroups . 24 2.2.2 The Relativized Fundamental Theorem . 25 CHAPTER 3. MODULES OVER H-SYMMETRIC QUASIGROUPS AND MODULES OVER H-SYMMETRIC, IDEMPOTENT QUASIGROUPS . 27 3.1 Universal multiplication groups . 29 3.1.1 Useful conventions and lemmas . 29 3.1.2 Classification of universal multiplication groups . 31 3.2 Universal stabilizers . 34 3.2.1 Left symmetric quasigroups . 38 3.2.2 Totally symmetric quasigroups . 39 3.3 Classifying the rings of representation . 40 3.3.1 H-symmetric quasigroups . 40 3.3.2 Idempotent, H-symmetric quasigroups . 46 iv CHAPTER 4. AFFINE MENDELSOHN TRIPLE SYSTEMS AND THE EISENSTEIN IN- TEGERS . 55 4.1 Abstract . 55 4.2 Introduction . 55 4.2.1 The isomorphism problem for affine MTS . 55 4.2.2 Affine MTS, entropicity, and distributivity, . 58 4.3 Background on the Eisenstein integers . 59 4.3.1 Modules over the Eisenstein integers . 59 4.4 A direct product decomposition for affine MTS . 61 4.5 Affine non-ramified MTS . 64 4.5.1 Direct product decomposition for non-ramified MTS . 64 4.5.2 Enumeration . 67 4.6 Affine ramified MTS . 68 4.6.1 Even powers of 1 + ζ ................................ 69 4.6.2 Odd powers of 1 + ζ: mixed congruence . 69 4.7 Combinatorial properties of affine MTS . 74 4.7.1 Purity . 74 4.7.2 The converse of affine MTS . 76 CHAPTER 5. TRIALITY IN THE THEORY OF QUANTUM QUASIGROUPS . 81 5.1 Quantum quasigroups and their conjugates . 81 5.1.1 Quantum conjugates . 82 5.2 Triality of quantum conjugates for H-bialgebras . 84 5.3 Conjugates of the quantum couple . 88 CHAPTER 6. CONCLUSIONS AND FUTURE WORK . 93 6.1 Rings of representation . 93 6.1.1 Future work . 93 6.2 Affine Mendelsohn triple systems . 94 6.2.1 Future work . 94 6.3 Conjugates of quantum quasigroups . 94 6.3.1 Future work . 94 BIBLIOGRAPHY . 96 v LIST OF TABLES Page Table 2.1 Partial derivatives of quasigroup words . 25 Table 3.1 Rings associated with feg, regarded as an H-symmetric quasigroup . 54 Table 3.2 Rings associated with feg, regarded as an idempotent, H-symmetric quasi- group . 54 vi ACKNOWLEDGMENTS Thank you to my advisor, Jonathan Smith, for creating the machinery that made much of this work possible. I encountered Jonathan's unconventional, uncompromising, penetrating vision of the algebraic landscape in my first semester at ISU. Since then, he has brought out the best in me, and allowed me to share in that vision. Many thanks are due to the rest of my committee. Tim's Logic Seminar has brought forth new questions and collaborators whose impact will stretch well beyond this work. Jack has always offered thoughtful questions and insights during my talks in this seminar. His course in finite-state randomness taught me new ways to ask \what is knowable?" Jonas is always incredibly generous with his time and intellect. Several discussions in his office shaped the way I thought about the presentations of rings in Chapter3. In addition to being a generally good influence on my presentation style, Tathagata keyed me in on Hensel lifting as a potential way out of the ramified case for affine MTS. I would like to acknowledge Bokhee Im for her contributions to the project that led to a triality theory for quantum quasigroups, and for treating my whole house to a very mathematical dinner at Proof. Chapter4 was conceived of and drafted at 1660 East McKinley Avenue, aided by the love of my adoptive Iowa family: Jenetta, Chelsea, Patrick and Nathan. Thank you for showing such concern for \the six cases" that evaded me throughout the Spring of 2019. I doubt that I would have survived graduate school without my partner Esperanza. She uprooted life in the Greatest City on Earth to join me in Ames, and for that, I will always be grateful. I love you Espi. Lastly, I'd like to thank the Au-Gilbert family for hosting me in quarantine during the final stages of this project. vii ABSTRACT We approach quasigroup triality from two vantages: Q-modules and quantum quasigroups. The former requires considerable exposition and a review of the Fundamental Theorems of Quasigroup Modules due to Smith. There are six varieties associated with triality symmetry. We give presen- tations for rings whose module theories coincide with the Beck modules for quasigroups in each of these six varieties, plus the idempotent extensions of each of these varieties. In three of the idempotent cases, we are able to give abstract structure theorems which present these rings as free products of PIDs and free group rings. We define a Mendelsohn triple system (MTS) of order coprime with 3, and having multiplication affine over an abelian group, to be affine non-ramified. We classify, up to isomorphism, all affine non-ramified MTS and enumerate isomorphism classes (extending the work of Donovan, Griggs, McCourt, Oprˇsal, and Stanovsk´y). As a consequence, all entropic MTS and distributive MTS of order coprime with 3 are classified. The classification is accomplished via the representation theory 2 of the Eisenstein integers, Z[ζ] = Z[X]=(X − X + 1). Partial results on the isomorphism problem for affine MTS with order divisible by 3 are given, and a complete classification is conjectured. We also prove that for any affine MTS, the qualities of being non-ramified, pure, and self-orthogonal are equivalent. We conclude with an exploration of conjugates and triality in quantum quasigroups, which offer a nonassociative generalization of Hopf algebras. We show that if Q is a finite quasigroup and G ≤ Aut(Q), then the Hopf smash product KG#K(Q) exhibits a quantum quasigroup structure which, despite being noncoassociative and noncocommutative, has a set of conjugates on which S3 acts. 1 CHAPTER 1. INTRODUCTION Quasigroups provide an algebraic account of Latin squares and offer a nonassociative generaliza- tion of group theory. In addition to being objects of pure combinatorial interest, Latin squares have found applications in in molecular biology [9], coding theory [55], and experimental design [54], to name a few areas. Our work is concerned with a triality (symmetry of threes) that is inherent to the theory of quasigroups. To be more precise, consider a set under binary multiplication (Q; ·). For · to be a quasigroup operation means that its multiplication table 2 T = f(x1; x2; x1 · x2) j (x1; x2) 2 Q g (1.0.1) has the Latin square property: for all (x1; x2; x3); (y1; y2; y3) 2 T , jf1 ≤ i ≤ 3 j xi = yigj 6= 2. Quasigroup triality refers to the fact that the Latin square property is invariant under S3-action, g which is to say that T is Latin if and only if T = f(x1g; x2g; x3g) j (x1; x2; x3) 2 T g is Latin for all g g 2 S3. The multiset fT j g 2 S3g is the set of conjugates of T . For a subgroup H ≤ S3, we say gh g that a quasigroup is H-symmetric when T = T for all g 2 S3, h 2 H. In this Latin square formulation, quasigroup triality is rather tidy, but if we want to obtain models of these H-symmetry classes it is, in some sense, necessary [19] to move to a universal algebraic and then further to a linear algebraic formulation of triality and H-symmetry.
Recommended publications
  • Varieties of Quasigroups Determined by Short Strictly Balanced Identities
    Czechoslovak Mathematical Journal Jaroslav Ježek; Tomáš Kepka Varieties of quasigroups determined by short strictly balanced identities Czechoslovak Mathematical Journal, Vol. 29 (1979), No. 1, 84–96 Persistent URL: http://dml.cz/dmlcz/101580 Terms of use: © Institute of Mathematics AS CR, 1979 Institute of Mathematics of the Czech Academy of Sciences provides access to digitized documents strictly for personal use. Each copy of any part of this document must contain these Terms of use. This document has been digitized, optimized for electronic delivery and stamped with digital signature within the project DML-CZ: The Czech Digital Mathematics Library http://dml.cz Czechoslovak Mathematical Journal, 29 (104) 1979, Praha VARIETIES OF QUASIGROUPS DETERMINED BY SHORT STRICTLY BALANCED IDENTITIES JAROSLAV JEZEK and TOMAS KEPKA, Praha (Received March 11, 1977) In this paper we find all varieties of quasigroups determined by a set of strictly balanced identities of length ^ 6 and study their properties. There are eleven such varieties: the variety of all quasigroups, the variety of commutative quasigroups, the variety of groups, the variety of abelian groups and, moreover, seven varieties which have not been studied in much detail until now. In Section 1 we describe these varieties. A survey of some significant properties of arbitrary varieties is given in Section 2; in Sections 3, 4 and 5 we assign these properties to the eleven varieties mentioned above and in Section 6 we give a table summarizing the results. 1. STRICTLY BALANCED QUASIGROUP IDENTITIES OF LENGTH £ 6 Quasigroups are considered as universal algebras with three binary operations •, /, \ (the class of all quasigroups is thus a variety).
    [Show full text]
  • Dedekind Domains
    Dedekind Domains Mathematics 601 In this note we prove several facts about Dedekind domains that we will use in the course of proving the Riemann-Roch theorem. The main theorem shows that if K=F is a finite extension and A is a Dedekind domain with quotient field F , then the integral closure of A in K is also a Dedekind domain. As we will see in the proof, we need various results from ring theory and field theory. We first recall some basic definitions and facts. A Dedekind domain is an integral domain B for which every nonzero ideal can be written uniquely as a product of prime ideals. Perhaps the main theorem about Dedekind domains is that a domain B is a Dedekind domain if and only if B is Noetherian, integrally closed, and dim(B) = 1. Without fully defining dimension, to say that a ring has dimension 1 says nothing more than nonzero prime ideals are maximal. Moreover, a Noetherian ring B is a Dedekind domain if and only if BM is a discrete valuation ring for every maximal ideal M of B. In particular, a Dedekind domain that is a local ring is a discrete valuation ring, and vice-versa. We start by mentioning two examples of Dedekind domains. Example 1. The ring of integers Z is a Dedekind domain. In fact, any principal ideal domain is a Dedekind domain since a principal ideal domain is Noetherian integrally closed, and nonzero prime ideals are maximal. Alternatively, it is easy to prove that in a principal ideal domain, every nonzero ideal factors uniquely into prime ideals.
    [Show full text]
  • Introduction to Linear Bialgebra
    View metadata, citation and similar papers at core.ac.uk brought to you by CORE provided by University of New Mexico University of New Mexico UNM Digital Repository Mathematics and Statistics Faculty and Staff Publications Academic Department Resources 2005 INTRODUCTION TO LINEAR BIALGEBRA Florentin Smarandache University of New Mexico, [email protected] W.B. Vasantha Kandasamy K. Ilanthenral Follow this and additional works at: https://digitalrepository.unm.edu/math_fsp Part of the Algebra Commons, Analysis Commons, Discrete Mathematics and Combinatorics Commons, and the Other Mathematics Commons Recommended Citation Smarandache, Florentin; W.B. Vasantha Kandasamy; and K. Ilanthenral. "INTRODUCTION TO LINEAR BIALGEBRA." (2005). https://digitalrepository.unm.edu/math_fsp/232 This Book is brought to you for free and open access by the Academic Department Resources at UNM Digital Repository. It has been accepted for inclusion in Mathematics and Statistics Faculty and Staff Publications by an authorized administrator of UNM Digital Repository. For more information, please contact [email protected], [email protected], [email protected]. INTRODUCTION TO LINEAR BIALGEBRA W. B. Vasantha Kandasamy Department of Mathematics Indian Institute of Technology, Madras Chennai – 600036, India e-mail: [email protected] web: http://mat.iitm.ac.in/~wbv Florentin Smarandache Department of Mathematics University of New Mexico Gallup, NM 87301, USA e-mail: [email protected] K. Ilanthenral Editor, Maths Tiger, Quarterly Journal Flat No.11, Mayura Park, 16, Kazhikundram Main Road, Tharamani, Chennai – 600 113, India e-mail: [email protected] HEXIS Phoenix, Arizona 2005 1 This book can be ordered in a paper bound reprint from: Books on Demand ProQuest Information & Learning (University of Microfilm International) 300 N.
    [Show full text]
  • Semiring Frameworks and Algorithms for Shortest-Distance Problems
    Journal of Automata, Languages and Combinatorics u (v) w, x–y c Otto-von-Guericke-Universit¨at Magdeburg Semiring Frameworks and Algorithms for Shortest-Distance Problems Mehryar Mohri AT&T Labs – Research 180 Park Avenue, Rm E135 Florham Park, NJ 07932 e-mail: [email protected] ABSTRACT We define general algebraic frameworks for shortest-distance problems based on the structure of semirings. We give a generic algorithm for finding single-source shortest distances in a weighted directed graph when the weights satisfy the conditions of our general semiring framework. The same algorithm can be used to solve efficiently clas- sical shortest paths problems or to find the k-shortest distances in a directed graph. It can be used to solve single-source shortest-distance problems in weighted directed acyclic graphs over any semiring. We examine several semirings and describe some specific instances of our generic algorithms to illustrate their use and compare them with existing methods and algorithms. The proof of the soundness of all algorithms is given in detail, including their pseudocode and a full analysis of their running time complexity. Keywords: semirings, finite automata, shortest-paths algorithms, rational power series Classical shortest-paths problems in a weighted directed graph arise in various contexts. The problems divide into two related categories: single-source shortest- paths problems and all-pairs shortest-paths problems. The single-source shortest-path problem in a directed graph consists of determining the shortest path from a fixed source vertex s to all other vertices. The all-pairs shortest-distance problem is that of finding the shortest paths between all pairs of vertices of a graph.
    [Show full text]
  • On Free Quasigroups and Quasigroup Representations Stefanie Grace Wang Iowa State University
    Iowa State University Capstones, Theses and Graduate Theses and Dissertations Dissertations 2017 On free quasigroups and quasigroup representations Stefanie Grace Wang Iowa State University Follow this and additional works at: https://lib.dr.iastate.edu/etd Part of the Mathematics Commons Recommended Citation Wang, Stefanie Grace, "On free quasigroups and quasigroup representations" (2017). Graduate Theses and Dissertations. 16298. https://lib.dr.iastate.edu/etd/16298 This Dissertation is brought to you for free and open access by the Iowa State University Capstones, Theses and Dissertations at Iowa State University Digital Repository. It has been accepted for inclusion in Graduate Theses and Dissertations by an authorized administrator of Iowa State University Digital Repository. For more information, please contact [email protected]. On free quasigroups and quasigroup representations by Stefanie Grace Wang A dissertation submitted to the graduate faculty in partial fulfillment of the requirements for the degree of DOCTOR OF PHILOSOPHY Major: Mathematics Program of Study Committee: Jonathan D.H. Smith, Major Professor Jonas Hartwig Justin Peters Yiu Tung Poon Paul Sacks The student author and the program of study committee are solely responsible for the content of this dissertation. The Graduate College will ensure this dissertation is globally accessible and will not permit alterations after a degree is conferred. Iowa State University Ames, Iowa 2017 Copyright c Stefanie Grace Wang, 2017. All rights reserved. ii DEDICATION I would like to dedicate this dissertation to the Integral Liberal Arts Program. The Program changed my life, and I am forever grateful. It is as Aristotle said, \All men by nature desire to know." And Montaigne was certainly correct as well when he said, \There is a plague on Man: his opinion that he knows something." iii TABLE OF CONTENTS LIST OF TABLES .
    [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]
  • Quasigroup Identities and Mendelsohn Designs
    Can. J. Math., Vol. XLI, No. 2, 1989, pp. 341-368 QUASIGROUP IDENTITIES AND MENDELSOHN DESIGNS F. E. BENNETT 1. Introduction. A quasigroup is an ordered pair (g, •), where Q is a set and (•) is a binary operation on Q such that the equations ax — b and ya — b are uniquely solvable for every pair of elements a,b in Q. It is well-known (see, for example, [11]) that the multiplication table of a quasigroup defines a Latin square, that is, a Latin square can be viewed as the multiplication table of a quasigroup with the headline and sideline removed. We are concerned mainly with finite quasigroups in this paper. A quasigroup (<2, •) is called idempotent if the identity x2 = x holds for all x in Q. The spectrum of the two-variable quasigroup identity u(x,y) = v(x,y) is the set of all integers n such that there exists a quasigroup of order n satisfying the identity u(x,y) = v(x,y). It is particularly useful to study the spectrum of certain two-variable quasigroup identities, since such identities are quite often instrumental in the construction or algebraic description of combinatorial designs (see, for example, [1, 22] for a brief survey). If 02? ®) is a quasigroup, we may define on the set Q six binary operations ®(1,2,3),<8)(1,3,2),®(2,1,3),®(2,3,1),(8)(3,1,2), and 0(3,2,1) as follows: a (g) b = c if and only if a <g> (1,2, 3)b = c,a® (1, 3,2)c = 6, b ® (2,1,3)a = c, ft <g> (2,3, l)c = a, c ® (3,1,2)a = ft, c ® (3,2, \)b = a.
    [Show full text]
  • 7. Euclidean Domains Let R Be an Integral Domain. We Want to Find Natural Conditions on R Such That R Is a PID. Looking at the C
    7. Euclidean Domains Let R be an integral domain. We want to find natural conditions on R such that R is a PID. Looking at the case of the integers, it is clear that the key property is the division algorithm. Definition 7.1. Let R be an integral domain. We say that R is Eu- clidean, if there is a function d: R − f0g −! N [ f0g; which satisfies, for every pair of non-zero elements a and b of R, (1) d(a) ≤ d(ab): (2) There are elements q and r of R such that b = aq + r; where either r = 0 or d(r) < d(a). Example 7.2. The ring Z is a Euclidean domain. The function d is the absolute value. Definition 7.3. Let R be a ring and let f 2 R[x] be a polynomial with coefficients in R. The degree of f is the largest n such that the coefficient of xn is non-zero. Lemma 7.4. Let R be an integral domain and let f and g be two elements of R[x]. Then the degree of fg is the sum of the degrees of f and g. In particular R[x] is an integral domain. Proof. Suppose that f has degree m and g has degree n. If a is the leading coefficient of f and b is the leading coefficient of g then f = axm + ::: and f = bxn + :::; where ::: indicate lower degree terms then fg = (ab)xm+n + :::: As R is an integral domain, ab 6= 0, so that the degree of fg is m + n.
    [Show full text]
  • SOME ALGEBRAIC DEFINITIONS and CONSTRUCTIONS Definition
    SOME ALGEBRAIC DEFINITIONS AND CONSTRUCTIONS Definition 1. A monoid is a set M with an element e and an associative multipli- cation M M M for which e is a two-sided identity element: em = m = me for all m M×. A−→group is a monoid in which each element m has an inverse element m−1, so∈ that mm−1 = e = m−1m. A homomorphism f : M N of monoids is a function f such that f(mn) = −→ f(m)f(n) and f(eM )= eN . A “homomorphism” of any kind of algebraic structure is a function that preserves all of the structure that goes into the definition. When M is commutative, mn = nm for all m,n M, we often write the product as +, the identity element as 0, and the inverse of∈m as m. As a convention, it is convenient to say that a commutative monoid is “Abelian”− when we choose to think of its product as “addition”, but to use the word “commutative” when we choose to think of its product as “multiplication”; in the latter case, we write the identity element as 1. Definition 2. The Grothendieck construction on an Abelian monoid is an Abelian group G(M) together with a homomorphism of Abelian monoids i : M G(M) such that, for any Abelian group A and homomorphism of Abelian monoids−→ f : M A, there exists a unique homomorphism of Abelian groups f˜ : G(M) A −→ −→ such that f˜ i = f. ◦ We construct G(M) explicitly by taking equivalence classes of ordered pairs (m,n) of elements of M, thought of as “m n”, under the equivalence relation generated by (m,n) (m′,n′) if m + n′ = −n + m′.
    [Show full text]
  • QUIVER BIALGEBRAS and MONOIDAL CATEGORIES 3 K N ≥ 0
    QUIVER BIALGEBRAS AND MONOIDAL CATEGORIES HUA-LIN HUANG (JINAN) AND BLAS TORRECILLAS (ALMER´IA) Abstract. We study the bialgebra structures on quiver coalgebras and the monoidal structures on the categories of locally nilpotent and locally finite quiver representations. It is shown that the path coalgebra of an arbitrary quiver admits natural bialgebra structures. This endows the category of locally nilpotent and locally finite representations of an arbitrary quiver with natural monoidal structures from bialgebras. We also obtain theorems of Gabriel type for pointed bialgebras and hereditary finite pointed monoidal categories. 1. Introduction This paper is devoted to the study of natural bialgebra structures on the path coalgebra of an arbitrary quiver and monoidal structures on the category of its locally nilpotent and locally finite representations. A further purpose is to establish a quiver setting for general pointed bialgebras and pointed monoidal categories. Our original motivation is to extend the Hopf quiver theory [4, 7, 8, 12, 13, 25, 31] to the setting of generalized Hopf structures. As bialgebras are a fundamental generalization of Hopf algebras, we naturally initiate our study from this case. The basic problem is to determine what kind of quivers can give rise to bialgebra structures on their associated path algebras or coalgebras. It turns out that the path coalgebra of an arbitrary quiver admits natural bial- gebra structures, see Theorem 3.2. This seems a bit surprising at first sight by comparison with the Hopf case given in [8], where Cibils and Rosso showed that the path coalgebra of a quiver Q admits a Hopf algebra structure if and only if Q is a Hopf quiver which is very special.
    [Show full text]
  • Right Product Quasigroups and Loops
    RIGHT PRODUCT QUASIGROUPS AND LOOPS MICHAEL K. KINYON, ALEKSANDAR KRAPEZˇ∗, AND J. D. PHILLIPS Abstract. Right groups are direct products of right zero semigroups and groups and they play a significant role in the semilattice decomposition theory of semigroups. Right groups can be characterized as associative right quasigroups (magmas in which left translations are bijective). If we do not assume associativity we get right quasigroups which are not necessarily representable as direct products of right zero semigroups and quasigroups. To obtain such a representation, we need stronger assumptions which lead us to the notion of right product quasigroup. If the quasigroup component is a (one-sided) loop, then we have a right product (left, right) loop. We find a system of identities which axiomatizes right product quasigroups, and use this to find axiom systems for right product (left, right) loops; in fact, we can obtain each of the latter by adjoining just one appropriate axiom to the right product quasigroup axiom system. We derive other properties of right product quasigroups and loops, and conclude by show- ing that the axioms for right product quasigroups are independent. 1. Introduction In the semigroup literature (e.g., [1]), the most commonly used definition of right group is a semigroup (S; ·) which is right simple (i.e., has no proper right ideals) and left cancellative (i.e., xy = xz =) y = z). The structure of right groups is clarified by the following well-known representation theorem (see [1]): Theorem 1.1. A semigroup (S; ·) is a right group if and only if it is isomorphic to a direct product of a group and a right zero semigroup.
    [Show full text]
  • Characterization of Hopf Quasigroups
    Characterization of Hopf Quasigroups Wei WANG and Shuanhong WANG ∗ School of Mathematics, Southeast University, Jiangsu Nanjing 210096, China E-mail: [email protected], [email protected] Abstract. In this paper, we first discuss some properties of the Galois linear maps. We provide some equivalent conditions for Hopf algebras and Hopf (co)quasigroups as its applications. Then let H be a Hopf quasigroup with bijective antipode and G be the set of all Hopf quasigroup automorphisms of H. We introduce a new category CH(α, β) with α, β ∈ G over H and construct a new braided π-category C (H) with all the categories CH (α, β) as components. Key words: Galois linear map; Antipode; Hopf (co)quasigroup; Braided π-category. Mathematics Subject Classification 2010: 16T05. 1. Introduction The most well-known examples of Hopf algebras are the linear spans of (arbitrary) groups. Dually, also the vector space of linear functionals on a finite group carries the structure of a Hopf algebra. In the case of quasigroups (nonassociative groups)(see [A]) however, it is no longer a Hopf algebra but, more generally, a Hopf quasigroup. In 2010, Klim and Majid in [KM] introduced the notion of a Hopf quasigroup which was arXiv:1902.10141v1 [math.QA] 26 Feb 2019 not only devoted to the development of this missing link: Hopf quasigroup but also to under- stand the structure and relevant properties of the algebraic 7-sphere, here Hopf quasigroups are not associative but the lack of this property is compensated by some axioms involving the antipode S. This mathematical object was studied in [FW] for twisted action as a gen- eralization of Hopf algebras actions.
    [Show full text]