DOCSLIB.ORG

Hopf Algebras, Weak Hopf Algebras and Hopf Quasigroups in a Monoidal Setting

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Hopf Algebras, Weak Hopf Algebras and Hopf Quasigroups in a Monoidal Setting Magmas, comagmas, monoids and comonoids Hopf algebras Weak Hopf algebras Hopf quasigroups Hopf Algebras, Weak Hopf Algebras and Hopf Quasigroups in a Monoidal Setting Ramón González Rodríguez http://www.dma.uvigo.es/˜rgon/ Departamento de Matemática Aplicada II. Universidade de Vigo Red Nc-Alg: Escuela de investigación avanzada en Álgebra no Conmutativa Granada, 9-13 de noviembre de 2015 Ramón González Rodríguez Hopf Algebras, Weak Hopf Algebras and Hopf Quasigroups in a Monoidal Setting Magmas, comagmas, monoids and comonoids Hopf algebras Weak Hopf algebras Hopf quasigroups Outline 1 Magmas, comagmas, monoids and comonoids 2 Hopf algebras 3 Weak Hopf algebras 4 Hopf quasigroups Ramón González Rodríguez Hopf Algebras, Weak Hopf Algebras and Hopf Quasigroups in a Monoidal Setting Magmas, comagmas, monoids and comonoids Hopf algebras Weak Hopf algebras Hopf quasigroups 1 Magmas, comagmas, monoids and comonoids 2 Hopf algebras 3 Weak Hopf algebras 4 Hopf quasigroups Ramón González Rodríguez Hopf Algebras, Weak Hopf Algebras and Hopf Quasigroups in a Monoidal Setting Magmas, comagmas, monoids and comonoids Hopf algebras Weak Hopf algebras Hopf quasigroups In the following C denotes a strict monoidal category with tensor product ⊗, unit object K. Ramón González Rodríguez Hopf Algebras, Weak Hopf Algebras and Hopf Quasigroups in a Monoidal Setting Definition. A monoid is a unital magma A = (A; ηA; µA) where µA ◦ (A ⊗ µA) = µA ◦ (µA ⊗ A): Given two monoids A = (A; ηA; µA) and B = (B; ηB ; µB ), f : A ! B is a monoid morphism if it is a morphism of unital magmas. Magmas, comagmas, monoids and comonoids Hopf algebras Weak Hopf algebras Hopf quasigroups Definition. By a unital magma in C we understand a triple A = (A; ηA; µA) where A is an object in C and ηA : K ! A (unit), µA : A ⊗ A ! A (product) are morphisms in C such that µA ◦ (A ⊗ ηA) = idA = µA ◦ (ηA ⊗ A). Given two unital magmas A = (A; ηA; µA) and B = (B; ηB ; µB ), f : A ! B is a morphism of unital magmas if µB ◦ (f ⊗ f ) = f ◦ µA; f ◦ ηA = ηB : Ramón González Rodríguez Hopf Algebras, Weak Hopf Algebras and Hopf Quasigroups in a Monoidal Setting Magmas, comagmas, monoids and comonoids Hopf algebras Weak Hopf algebras Hopf quasigroups Definition. By a unital magma in C we understand a triple A = (A; ηA; µA) where A is an object in C and ηA : K ! A (unit), µA : A ⊗ A ! A (product) are morphisms in C such that µA ◦ (A ⊗ ηA) = idA = µA ◦ (ηA ⊗ A). Given two unital magmas A = (A; ηA; µA) and B = (B; ηB ; µB ), f : A ! B is a morphism of unital magmas if µB ◦ (f ⊗ f ) = f ◦ µA; f ◦ ηA = ηB : Definition. A monoid is a unital magma A = (A; ηA; µA) where µA ◦ (A ⊗ µA) = µA ◦ (µA ⊗ A): Given two monoids A = (A; ηA; µA) and B = (B; ηB ; µB ), f : A ! B is a monoid morphism if it is a morphism of unital magmas. Ramón González Rodríguez Hopf Algebras, Weak Hopf Algebras and Hopf Quasigroups in a Monoidal Setting Definition. A comonoid is a counital comagma D = (D;"D ; δD ) where (δD ⊗ D) ◦ δD = (D ⊗ δD ) ◦ δD : If D = (D;"D ; δD ) and E = (E;"E ; δE ) are comonoids, f : D ! E is a morphism of comonoids if it is a a morphism of counital comagmas. Magmas, comagmas, monoids and comonoids Hopf algebras Weak Hopf algebras Hopf quasigroups Definition. By duality, a counital comagma in C is a triple D = (D;"D ; δD ) where D is an object in C and "D : D ! K (counit), δD : D ! D ⊗ D (coproduct) are morphisms in C such that ("D ⊗ D) ◦ δD = idD = (D ⊗ "D ) ◦ δD . If D = (D;"D ; δD ) and E = (E;"E ; δE ) are counital comagmas, f : D ! E is a morphism of counital comagmas if (f ⊗ f ) ◦ δD = δE ◦ f ;"E ◦ f = "D : Ramón González Rodríguez Hopf Algebras, Weak Hopf Algebras and Hopf Quasigroups in a Monoidal Setting Magmas, comagmas, monoids and comonoids Hopf algebras Weak Hopf algebras Hopf quasigroups Definition. By duality, a counital comagma in C is a triple D = (D;"D ; δD ) where D is an object in C and "D : D ! K (counit), δD : D ! D ⊗ D (coproduct) are morphisms in C such that ("D ⊗ D) ◦ δD = idD = (D ⊗ "D ) ◦ δD . If D = (D;"D ; δD ) and E = (E;"E ; δE ) are counital comagmas, f : D ! E is a morphism of counital comagmas if (f ⊗ f ) ◦ δD = δE ◦ f ;"E ◦ f = "D : Definition. A comonoid is a counital comagma D = (D;"D ; δD ) where (δD ⊗ D) ◦ δD = (D ⊗ δD ) ◦ δD : If D = (D;"D ; δD ) and E = (E;"E ; δE ) are comonoids, f : D ! E is a morphism of comonoids if it is a a morphism of counital comagmas. Ramón González Rodríguez Hopf Algebras, Weak Hopf Algebras and Hopf Quasigroups in a Monoidal Setting If A, B are unital magmas (monoids) in C, the object A⊗B is a unital magma (monoid) in C where ηA⊗B = ηA ⊗ ηB ; µA⊗B = (µA ⊗ µB ) ◦ (A ⊗ cB;A ⊗ B): In a dual way, if D, E are counital comagmas (comonoid) in C, D ⊗ E is a counital comagma (comonoid) in C where "D⊗E = "D ⊗ "E ; δD⊗E = (D ⊗ cD;E ⊗ E) ◦ (δD ⊗ δE ): Magmas, comagmas, monoids and comonoids Hopf algebras Weak Hopf algebras Hopf quasigroups Assume that C is braided with braiding c. Ramón González Rodríguez Hopf Algebras, Weak Hopf Algebras and Hopf Quasigroups in a Monoidal Setting In a dual way, if D, E are counital comagmas (comonoid) in C, D ⊗ E is a counital comagma (comonoid) in C where "D⊗E = "D ⊗ "E ; δD⊗E = (D ⊗ cD;E ⊗ E) ◦ (δD ⊗ δE ): Magmas, comagmas, monoids and comonoids Hopf algebras Weak Hopf algebras Hopf quasigroups Assume that C is braided with braiding c. If A, B are unital magmas (monoids) in C, the object A⊗B is a unital magma (monoid) in C where ηA⊗B = ηA ⊗ ηB ; µA⊗B = (µA ⊗ µB ) ◦ (A ⊗ cB;A ⊗ B): Ramón González Rodríguez Hopf Algebras, Weak Hopf Algebras and Hopf Quasigroups in a Monoidal Setting Magmas, comagmas, monoids and comonoids Hopf algebras Weak Hopf algebras Hopf quasigroups Assume that C is braided with braiding c. If A, B are unital magmas (monoids) in C, the object A⊗B is a unital magma (monoid) in C where ηA⊗B = ηA ⊗ ηB ; µA⊗B = (µA ⊗ µB ) ◦ (A ⊗ cB;A ⊗ B): In a dual way, if D, E are counital comagmas (comonoid) in C, D ⊗ E is a counital comagma (comonoid) in C where "D⊗E = "D ⊗ "E ; δD⊗E = (D ⊗ cD;E ⊗ E) ◦ (δD ⊗ δE ): Ramón González Rodríguez Hopf Algebras, Weak Hopf Algebras and Hopf Quasigroups in a Monoidal Setting Magmas, comagmas, monoids and comonoids Hopf algebras Weak Hopf algebras Hopf quasigroups Definition Let A be an monoid. We say that (M;'M ) is a left A-module if M is an object in C and 'M : A ⊗ M ! M is a morphism in C (called the action) satisfying 'M ◦ (ηA ⊗ M) = idM ;'M ◦ (A ⊗ 'M ) = 'M ◦ (µA ⊗ M): Given two left A-modules (M;'M ) and (N;'N ), f : M ! N is a morphism of left A-modules if 'N ◦ (A ⊗ f ) = f ◦ 'M : We denote the category of right A-modules by AC. In an analogous way we define the category of right H-modules and we denote it by CA. In this case the right action will be denoted by φM . Ramón González Rodríguez Hopf Algebras, Weak Hopf Algebras and Hopf Quasigroups in a Monoidal Setting Magmas, comagmas, monoids and comonoids Hopf algebras Weak Hopf algebras Hopf quasigroups Definition Let D be a comonoid. We say that (M;%M ) is a left D-comodule if M is an object in C and %M : M ! D ⊗ M is a morphism in C (called the coaction) satisfying ("D ⊗ M) ◦ %M = idM ; (D ⊗ %M ) ◦ %M = (δH ⊗ M) ◦ %M : Given two left D-comodules (M;%M ) and (N;%N ), f : M ! N is a morphism of left D-comodules if %N ◦ f = (D ⊗ f ) ◦ %M : We denote the category of left H-comodules by D C. Analogously, CD denotes the category of right D-comodules. In this case the right coaction will be denoted by ρM . Ramón González Rodríguez Hopf Algebras, Weak Hopf Algebras and Hopf Quasigroups in a Monoidal Setting Magmas, comagmas, monoids and comonoids Hopf algebras Weak Hopf algebras Hopf quasigroups 1 Magmas, comagmas, monoids and comonoids 2 Hopf algebras 3 Weak Hopf algebras 4 Hopf quasigroups Ramón González Rodríguez Hopf Algebras, Weak Hopf Algebras and Hopf Quasigroups in a Monoidal Setting Magmas, comagmas, monoids and comonoids Hopf algebras Weak Hopf algebras Hopf quasigroups The notion of Hopf algebra emerged slowly from the work of the topologists in the 1940’s dealing with the cohomology of compact Lie groups and their homogeneous spaces................ Pierre Cartier, A primer of Hopf algebras, preprints.ihes.fr/2006/M/M-06-40.pdf Ramón González Rodríguez Hopf Algebras, Weak Hopf Algebras and Hopf Quasigroups in a Monoidal Setting Definition A Hopf algebra H is an object in C with a monoid structure (H; ηH ; µH ) and a comonoid structure (H;"H ; δH ) such δH and "H are monoid morphisms and there exists a morphism λH : H ! H in C (called the antipode of H) verifiying: λH ∗ idH = "H ⊗ ηH = idH ∗ λH : Magmas, comagmas, monoids and comonoids Hopf algebras Weak Hopf algebras Hopf quasigroups In the following C denotes a strict braided monoidal category with braiding c. Ramón González Rodríguez Hopf Algebras, Weak Hopf Algebras and Hopf Quasigroups in a Monoidal Setting Magmas, comagmas, monoids and comonoids Hopf algebras Weak Hopf algebras Hopf quasigroups In the following C denotes a strict braided monoidal category with braiding c.
Load more

Recommended publications
  • 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]
  • 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]
  • Irreducible Representations of Finite Monoids
    U.U.D.M. Project Report 2019:11 Irreducible representations of finite monoids Christoffer Hindlycke Examensarbete i matematik, 30 hp Handledare: Volodymyr Mazorchuk Examinator: Denis Gaidashev Mars 2019 Department of Mathematics Uppsala University Irreducible representations of finite monoids Christoffer Hindlycke Contents Introduction 2 Theory 3 Finite monoids and their structure . .3 Introductory notions . .3 Cyclic semigroups . .6 Green’s relations . .7 von Neumann regularity . 10 The theory of an idempotent . 11 The five functors Inde, Coinde, Rese,Te and Ne ..................... 11 Idempotents and simple modules . 14 Irreducible representations of a finite monoid . 17 Monoid algebras . 17 Clifford-Munn-Ponizovski˘ıtheory . 20 Application 24 The symmetric inverse monoid . 24 Calculating the irreducible representations of I3 ........................ 25 Appendix: Prerequisite theory 37 Basic definitions . 37 Finite dimensional algebras . 41 Semisimple modules and algebras . 41 Indecomposable modules . 42 An introduction to idempotents . 42 1 Irreducible representations of finite monoids Christoffer Hindlycke Introduction This paper is a literature study of the 2016 book Representation Theory of Finite Monoids by Benjamin Steinberg [3]. As this book contains too much interesting material for a simple master thesis, we have narrowed our attention to chapters 1, 4 and 5. This thesis is divided into three main parts: Theory, Application and Appendix. Within the Theory chapter, we (as the name might suggest) develop the necessary theory to assist with finding irreducible representations of finite monoids. Finite monoids and their structure gives elementary definitions as regards to finite monoids, and expands on the basic theory of their structure. This part corresponds to chapter 1 in [3]. The theory of an idempotent develops just enough theory regarding idempotents to enable us to state a key result, from which the principal result later follows almost immediately.
    [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]
  • Algebras of Boolean Inverse Monoids – Traces and Invariant Means
    C*-algebras of Boolean inverse monoids { traces and invariant means Charles Starling∗ Abstract ∗ To a Boolean inverse monoid S we associate a universal C*-algebra CB(S) and show that it is equal to Exel's tight C*-algebra of S. We then show that any invariant mean on S (in the sense of Kudryavtseva, Lawson, Lenz and Resende) gives rise to a ∗ trace on CB(S), and vice-versa, under a condition on S equivalent to the underlying ∗ groupoid being Hausdorff. Under certain mild conditions, the space of traces of CB(S) is shown to be isomorphic to the space of invariant means of S. We then use many known results about traces of C*-algebras to draw conclusions about invariant means on Boolean inverse monoids; in particular we quote a result of Blackadar to show that any metrizable Choquet simplex arises as the space of invariant means for some AF inverse monoid S. 1 Introduction This article is the continuation of our study of the relationship between inverse semigroups and C*-algebras. An inverse semigroup is a semigroup S for which every element s 2 S has a unique \inverse" s∗ in the sense that ss∗s = s and s∗ss∗ = s∗: An important subsemigroup of any inverse semigroup is its set of idempotents E(S) = fe 2 S j e2 = eg = fs∗s j s 2 Sg. Any set of partial isometries closed under product and arXiv:1605.05189v3 [math.OA] 19 Jul 2016 involution inside a C*-algebra is an inverse semigroup, and its set of idempotents forms a commuting set of projections.
    [Show full text]
  • Binary Opera- Tions, Magmas, Monoids, Groups, Rings, fields and Their Homomorphisms
    1. Introduction In this chapter, I introduce some of the fundamental objects of algbera: binary opera- tions, magmas, monoids, groups, rings, fields and their homomorphisms. 2. Binary Operations Definition 2.1. Let M be a set. A binary operation on M is a function · : M × M ! M often written (x; y) 7! x · y. A pair (M; ·) consisting of a set M and a binary operation · on M is called a magma. Example 2.2. Let M = Z and let + : Z × Z ! Z be the function (x; y) 7! x + y. Then, + is a binary operation and, consequently, (Z; +) is a magma. Example 2.3. Let n be an integer and set Z≥n := fx 2 Z j x ≥ ng. Now suppose n ≥ 0. Then, for x; y 2 Z≥n, x + y 2 Z≥n. Consequently, Z≥n with the operation (x; y) 7! x + y is a magma. In particular, Z+ is a magma under addition. Example 2.4. Let S = f0; 1g. There are 16 = 42 possible binary operations m : S ×S ! S . Therefore, there are 16 possible magmas of the form (S; m). Example 2.5. Let n be a non-negative integer and let · : Z≥n × Z≥n ! Z≥n be the operation (x; y) 7! xy. Then Z≥n is a magma. Similarly, the pair (Z; ·) is a magma (where · : Z×Z ! Z is given by (x; y) 7! xy). Example 2.6. Let M2(R) denote the set of 2 × 2 matrices with real entries. If ! ! a a b b A = 11 12 , and B = 11 12 a21 a22 b21 b22 are two matrices, define ! a b + a b a b + a b A ◦ B = 11 11 12 21 11 12 12 22 : a21b11 + a22b21 a21b12 + a22b22 Then (M2(R); ◦) is a magma.
    [Show full text]
  • The Characteristics of Some Kinds of Special Quasirings *
    ISSN 1746-7659, England, UK Journal of Information and Computing Science Vol. 1, No. 5, 2006, pp. 295-302 The Characteristics of Some Kinds of Special Quasirings * Ping Zhu1, Jinhui Pang 2, Xu-qing Tang3 1 School of Science, Southern Yangtze University, Wuxi, Jiangsu 214122, P. R. China + 2 School of Management & Economics, Beijing Institute Of Technology, Beijing, 100081, P. R. China 3 Key Laboratory of Intelligent Computing &Signal Processing of Ministry of Education, Anhui University, Hefei, 230039, P. R. China ( Received July 02, 2006, Accepted September 11, 2006 ) Abstract. By using quasi-group, we introduce some kinds of special quasi-rings and discuss their characteristics. According to the concept of monogenic semigroup we introduce definition of monogenic semiring and discuss the numbers and structures of monogenic semiring .Then we display their relations as following: Ø {integral domain }(∉ { strong biquasiring }) {}division ring Ø {}({int})strong biquasiring∉ egral domain Ø {}ring ØØØ{}biquasiring {}{} quasiring semiring Ø {}monogenic semiring Keywords: Semiring, Quasiring, Biquasiring, Strong Biquasiring, Monogenic Semiring AMS: Subject Classification (2000): 20M07, 20M10 1. Introduction A semiring[1] S = (S,+,•) is an algebra where both the additive reduct (S,+) and the multiplicative reduct (S,•) are semigroups and such that the following distributive laws hold: x( y + z) = xy + xz, (x + y)z = xz + yz . A semiring (,,)S + • is called a nilsemiring if there are additive idempotent 0 and for any a∈S ,there are n∈N , such that na = 0 . An ideal (prime ideal) of a semiring (S,+,•) is the ideal (prime ideal) of the (S,•). An ideal I of a semiring S is called a K-ideal[1], if ∀a,b ∈ S, a ∈ I and (a + b ∈ I or b + a ∈ I ) ⇒ b ∈ I .
    [Show full text]
  • A Guide to Self-Distributive Quasigroups, Or Latin Quandles
    A GUIDE TO SELF-DISTRIBUTIVE QUASIGROUPS, OR LATIN QUANDLES DAVID STANOVSKY´ Abstract. We present an overview of the theory of self-distributive quasigroups, both in the two- sided and one-sided cases, and relate the older results to the modern theory of quandles, to which self-distributive quasigroups are a special case. Most attention is paid to the representation results (loop isotopy, linear representation, homogeneous representation), as the main tool to investigate self-distributive quasigroups. 1. Introduction 1.1. The origins of self-distributivity. Self-distributivity is such a natural concept: given a binary operation on a set A, fix one parameter, say the left one, and consider the mappings ∗ La(x) = a x, called left translations. If all such mappings are endomorphisms of the algebraic structure (A,∗ ), the operation is called left self-distributive (the prefix self- is usually omitted). Equationally,∗ the property says a (x y) = (a x) (a y) ∗ ∗ ∗ ∗ ∗ for every a, x, y A, and we see that distributes over itself. Self-distributivity∈ was pinpointed already∗ in the late 19th century works of logicians Peirce and Schr¨oder [69, 76], and ever since, it keeps appearing in a natural way throughout mathematics, perhaps most notably in low dimensional topology (knot and braid invariants) [12, 15, 63], in the theory of symmetric spaces [57] and in set theory (Laver’s groupoids of elementary embeddings) [15]. Recently, Moskovich expressed an interesting statement on his blog [60] that while associativity caters to the classical world of space and time, distributivity is, perhaps, the setting for the emerging world of information.
    [Show full text]
  • Ring (Mathematics) 1 Ring (Mathematics)
    Ring (mathematics) 1 Ring (mathematics) In mathematics, a ring is an algebraic structure consisting of a set together with two binary operations usually called addition and multiplication, where the set is an abelian group under addition (called the additive group of the ring) and a monoid under multiplication such that multiplication distributes over addition.a[›] In other words the ring axioms require that addition is commutative, addition and multiplication are associative, multiplication distributes over addition, each element in the set has an additive inverse, and there exists an additive identity. One of the most common examples of a ring is the set of integers endowed with its natural operations of addition and multiplication. Certain variations of the definition of a ring are sometimes employed, and these are outlined later in the article. Polynomials, represented here by curves, form a ring under addition The branch of mathematics that studies rings is known and multiplication. as ring theory. Ring theorists study properties common to both familiar mathematical structures such as integers and polynomials, and to the many less well-known mathematical structures that also satisfy the axioms of ring theory. The ubiquity of rings makes them a central organizing principle of contemporary mathematics.[1] Ring theory may be used to understand fundamental physical laws, such as those underlying special relativity and symmetry phenomena in molecular chemistry. The concept of a ring first arose from attempts to prove Fermat's last theorem, starting with Richard Dedekind in the 1880s. After contributions from other fields, mainly number theory, the ring notion was generalized and firmly established during the 1920s by Emmy Noether and Wolfgang Krull.[2] Modern ring theory—a very active mathematical discipline—studies rings in their own right.
    [Show full text]
  • Semilattice Sums of Algebras and Mal'tsev Products of Varieties
    Mathematics Publications Mathematics 5-20-2020 Semilattice sums of algebras and Mal’tsev products of varieties Clifford Bergman Iowa State University, [email protected] T. Penza Warsaw University of Technology A. B. Romanowska Warsaw University of Technology Follow this and additional works at: https://lib.dr.iastate.edu/math_pubs Part of the Algebra Commons The complete bibliographic information for this item can be found at https://lib.dr.iastate.edu/ math_pubs/215. For information on how to cite this item, please visit http://lib.dr.iastate.edu/ howtocite.html. This Article is brought to you for free and open access by the Mathematics at Iowa State University Digital Repository. It has been accepted for inclusion in Mathematics Publications by an authorized administrator of Iowa State University Digital Repository. For more information, please contact [email protected]. Semilattice sums of algebras and Mal’tsev products of varieties Abstract The Mal’tsev product of two varieties of similar algebras is always a quasivariety. We consider when this quasivariety is a variety. The main result shows that if V is a strongly irregular variety with no nullary operations, and S is a variety, of the same type as V, equivalent to the variety of semilattices, then the Mal’tsev product V ◦ S is a variety. It consists precisely of semilattice sums of algebras in V. We derive an equational basis for the product from an equational basis for V. However, if V is a regular variety, then the Mal’tsev product may not be a variety. We discuss examples of various applications of the main result, and examine some detailed representations of algebras in V ◦ S.
    [Show full text]
  • Loop Near-Rings and Unique Decompositions of H-Spaces
    Algebraic & Geometric Topology 16 (2016) 3563–3580 msp Loop near-rings and unique decompositions of H-spaces DAMIR FRANETICˇ PETAR PAVEŠIC´ For every H-space X , the set of homotopy classes ŒX; X possesses a natural al- gebraic structure of a loop near-ring. Albeit one cannot say much about general loop near-rings, it turns out that those that arise from H-spaces are sufficiently close to rings to have a viable Krull–Schmidt type decomposition theory, which is then reflected into decomposition results of H-spaces. In the paper, we develop the algebraic theory of local loop near-rings and derive an algebraic characterization of indecomposable and strongly indecomposable H-spaces. As a consequence, we obtain unique decomposition theorems for products of H-spaces. In particular, we are able to treat certain infinite products of H-spaces, thanks to a recent breakthrough in the Krull–Schmidt theory for infinite products. Finally, we show that indecomposable finite p–local H-spaces are automatically strongly indecomposable, which leads to an easy alternative proof of classical unique decomposition theorems of Wilkerson and Gray. 55P45; 16Y30 Introduction In this paper, we discuss relations between unique decomposition theorems in alge- bra and homotopy theory. Unique decomposition theorems usually state that sum or product decompositions (depending on the category) whose factors are strongly indecomposable are essentially unique. The standard algebraic example is the Krull– Schmidt–Remak–Azumaya theorem. In its modern form, the theorem states that any decomposition of an R–module into a direct sum of indecomposable modules is unique, provided that the endomorphism rings of the summands are local rings; see Facchini [8, Theorem 2.12].
    [Show full text]
  • Mathematica Balkanica ————————— Analysis of Some Quasigroup Transformations As Boolean Functions Aleksandra Mi
    Mathematica B a l k a n i c a ||||||||| New Series Vol. 26, 2012, Fasc. 3{4 Analysis of Some Quasigroup Transformations as Boolean Functions Aleksandra Mileva Presented at MASSEE International Conference on Mathematics MICOM-2009 Two kind of attacks on cryptographic primitives - the linear and the differential crypt- analysis, have been occupied the attention of the cryptographic community since several years ago. Every cryptographic primitive can be examined as a vector valued Boolean function. The prop ratio tables and the correlation matrices are important tools for analyzing the resistance of any Boolean function to the linear and the differential cryptanalysis. There are several cryptographic primitives based on the so called quasigroup transformations, and in this paper we analyze these quasigroup transformations as Boolean functions. We examine correlation matrices, prop ratio tables and some other cryptographic properties. MSC 2010: 94A60, 20N05, 11T71. Key Words: vector valued Boolean function, prop ratio tables, correlation matrices, quasigroup transformations. 1. Introduction Most of the known constructions of cryptographic primitives use struc- tures from the associative algebras as groups, rings and fields. Two eminent specialists on quasigroups, J. D´enesand A. D. Keedwell [5], once proclaimed the advent of a new era in cryptology, consisting in the application of non- associative algebraic systems as quasigroups and neo-fields. In the past few years, cryptographic community have been introduced with several complete quasigroup based cryptographic primitives (complete in the sense of software and/or hardware implementations, security analysis and proofs and external cryptanalysis), as the binary additive stream cipher Edon80 [6], which is one of the few left unbroken eSTREAM finalists; two Round 1 candidate hash func- tions of NIST SHA-3 competition: Edon-R [7] and NaSHA [10]; etc.
    [Show full text]