Torsion Units of Integral Group Rings and Scheme Rings

Total Page:16

File Type:pdf, Size:1020Kb

Torsion Units of Integral Group Rings and Scheme Rings TORSION UNITS OF INTEGRAL GROUP RINGS AND SCHEME RINGS A Thesis Submitted to the Faculty of Graduate Studies and Research In Partial Fulfillment of the Requirements For the Degree of Doctor of Philosophy In Mathematics University of Regina By Gurmail Singh Regina, Saskatchewan August, 2015 c Copyright 2015: Gurmail Singh UNIVERSITY OF REGINA FACULTY OF GRADUATE STUDIES AND RESEARCH SUPERVISORY AND EXAMINING COMMITTEE Gurmail Singh, candidate for the degree of Doctor of Philosophy in Mathematics, has presented a thesis titled, Torsion Units of Integral Group Rings and Scheme Rings, in an oral examination held on August 26, 2015. The following committee members have found the thesis acceptable in form and content, and that the candidate demonstrated satisfactory knowledge of the subject material. External Examiner: *Dr. Yuanlin Li, Brock University Co-Supervisor: Dr. Allen Herman, Department of Mathematics & Statistics Co-Supervisor: Dr. Shaun Fallat, Department of Mathematics & Statistics Committee Member: Dr. Fernando Szechtman, Department of Mathematics & Statistics Committee Member: Dr. Karen Meagher, Department of Mathematics & Statistics Committee Member: **Dr. Robert Hilderman, Department of Computer Science Chair of Defense: Dr. Christopher Yost, Department of Biology *via SKYPE **Not present at defense Abstract We study torsion units of algebras over the ring of integers Z with nice bases. These include integral group rings, integral adjacency algebras of association schemes and integral C-algebras. Torsion units of group rings have been studied extensively since the 1960’s. Much of the attention has been devoted to the Zassenhaus conjecture for normal- ized torsion units of ZG, which says that they should be rationally conjugate (i.e. in QG) to elements of the group G. In recent years several new restrictions on inte- gral partial augmentations for torsion units of ZG have been introduced that have improved the effectiveness of the Luthar-Passi method for checking the Zassen- haus conjecture for specific finite groups G. We have implemented a computer program that constructs units of QG that have integral partial augmentations that are relevant to the Zassenhaus conjecture. Indeed, any unit of ZG with these par- tial augmentations would be a counterexample to the conjecture. In all but three i exceptions among groups of order less than 160, we have constructed units of QG with these partial augmentations that satisfy a condition which implies they cannot be rationally conjugate to an element of ZG. Currently our package has computational difficulties with the Luthar-Passi method for some of the groups of order 160. As C-algebras are generalization of groups, it is natural to ask about torsion units of C-algebras. We establish some basic results about torsion units of C- algebras analogous to what happens for torsion units of group rings. These results can be immediately applied to give new results for Schur rings, Hecke algebras, adjacency algebras of association schemes and fusion rings. We also investigate the possibility for a conjecture analogous to the Zassenhaus conjecture in the C- algebra setting. ii Acknowledgment I am grateful to my supervisors Professor Allen W. Herman and Professor Shaun M. Fallat for all of the their support, understanding, patience, and knowledge they have provided me over the course of my study. Without their supervision and mentorship this would not have been possible. I am thankful to Dr. Yuanlin Li, my external examiner. I also wish to thank Dr. Karen Meagher and Dr. Fernando Szechtman for their advice and careful reading of the manuscript. Their suggestions have been valuable and helpful for my thesis. Finally, the financial support of my supervisors’s NSERC grants, Department of Mathematics and Statistics, and the Faculty of Graduate Studies and Research during my PhD program allowed me to focus solely on my PhD program during these past years. iii To my family iv Contents Acknowledgment iii Dedication iv 1 Introduction 1 2 Background 5 2.1 Group rings . .5 2.2 Generalized C-algebras and table algebras . .9 2.3 Association schemes and scheme rings . 12 2.4 Representations and characters of semisimple algebras . 18 2.4.1 Semisimple algebras . 18 2.4.2 Representation theory of semisimple algebras . 21 2.4.3 Representation theory of groups . 24 v 3 Basic Tools 28 3.1 Torsion units of ZG and partial augmentations . 29 3.2 Luthar-Passi method . 30 3.3 The standard feasible trace of a C-algebra . 36 4 Normalized Torsion Units of Integral Group Rings 45 4.1 Partial augmentations and rational conjugacy . 46 4.2 Computer implementation of the Luthar-Passi method . 49 4.3 Computer construction of torsion units with prescribed partial aug- mentations . 55 4.4 Partially central torsion units of QG ................ 65 5 Torsion units of C-algebras 69 5.1 Torsion units of RB ......................... 70 5.2 Torsion units for integral C-algebras with a standard character . 75 5.3 Lagrange’s theorem for normalized torsion units of Z¯ B ............................. 82 5.4 Applications to Schur rings and Hecke algebras . 90 5.4.1 Schur rings . 90 vi 5.4.2 Integral Hecke algebras . 92 6 Future Work 93 6.1 Categorical aspects . 94 6.2 When all units of ZB are trivial . 96 6.3 Normalized automorphisms of QB ................. 98 vii Chapter 1 Introduction Let R be a commutative ring with identity. A group ring RG is a ring as well as a free R-module whose basis is a multiplicative group G. When the ring R is replaced with a field K then KG is called a group algebra. The trivial units of a group ring RG are scalar multiples of a single group element in G by a unit of the ring R. We will investigate a conjecture that would characterize the nontrivial torsion units of the integral group ring ZG. To get a broader perspective of what is really going on, we formulate and study the analogous conjecture in the general settings of the integral C-algebras and integral adjacency algebras of association schemes (a.k.a scheme rings). Along the way we establish several basic results to set up the necessary machinery in these new settings. 1 In this dissertation we present new results on torsion units of group rings, C-algebras, and scheme rings. Using the Luthar-Passi method and our new con- struction for partially central units we show how we have verified the Zassenhaus conjecture for all but three groups of order up to 159. In the case of C-algebras we establish some fundamental results for torsion units of integral C-algebras with s- tandard character, and we prove a Lagrange-type theorem for integral C-algebras that applies directly to integral scheme rings. Our initial motivation came from the fact that the Zassenhaus conjecture for integral group rings was open for fairly small groups, and so there was an opportu- nity to raise the lower bound or to find a counterexample . The algebraic study of association schemes, table algebras, and C-algebras has seen a number of signifi- cant advances in the last five years, due to the realization of close connections with finite group theory. As the bases for C-algebras and finite association schemes are close to finite groups, we felt we could formulate and investigate versions of the Zassenhaus conjecture in these settings. The purpose of this dissertation is to shed light upon various properties of torsion units for both group rings, C-algebras and scheme rings, to verify Zassen- haus’s conjecture for group rings in some new cases and to move a step toward establishing the Zassenhaus conjecture for a broader class of rings. 2 The dissertation is organized in the following manner. In Chapter 2, we de- fine the algebraic structures such as group rings, adjacency algebras and torsion units of integral C-algebras. We give a brief review of particular known results for torsion units of integral group rings. In Section 2.1, we define integral group rings, their normalized torsion units, and we give the statement of the Zassenhaus conjecture for the normalized torsion units of integral group rings. In Section 2.2, we define generalized C-algebras and table algebras. In Section 2.3, we define as- sociation schemes and scheme rings and demonstrate how an association scheme is a generalization of a group. In Section 2.4, we define semisimple algebras and state some background results for semisimple algebras that will be used. Then we define representations and characters for algebras, and give a similar treatment for groups. In Chapter 3, we state all the preliminary results that will be used in Chapters 4 and 5 to prove the results. In Section 3.1, we state the results used in the Luthar-Passi method. In Section 3.2, we demonstrate the Luthar-Passi method by applying it to the group A4. In Section 3.3, we introduce standard feasible of a C-algebra that will be needed in Chapters 5. In Chapter 4, we examine the extent to which rational conjugacy of units in QG is determined by partial aug- mentations. Also we show that partially central units are not conjugate in QG to elements of ZG and we construct partially central units of QG for a group of order 3 48. This demonstrates the method we used to verify the Zassenhaus conjecture for all but three groups of orders up to 159. In Chapter 5, we prove a generalization of the Berman-Higman Lemma for integral C-algebras and using this we prove a Lagrange-type theorem for integral C-algebras. We apply these results directly to several familiar settings, including that of integral scheme rings. We try to move a step toward generalizing the Zassenhaus conjecture to integral C-algebras by proving conjugacy of finite subgroups of units of KB in LB implies their conju- gacy in KB, where K and L are infinite subfields of C with K ⊆ L and B is the distinguished basis for the C-algebra.
Recommended publications
  • An Algorithmic Approach to Operator Product Expansions, W-Algebras
    Katholieke Universiteit Leuven Faculteit Wetenschappen Instituut voor Theoretische Fysica An Algorithmic Approach to Operator Product Expansions, -Algebras and -Strings W W Promotor: Dr. W. Troost Proefschrift ingediend tot het behalen van de graad van Doctor in de Wetenschappen door Kris Thielemans Leuven, juni 1994. arXiv:hep-th/9506159v1 23 Jun 1995 Jun 23 arXiv:hep-th/9506159v1 Notations ¯ d d Abstract ∂, ∂ : dz , dz¯. δ : infinitesimal transformation with ε(x) an infinitesimal parameter. String theory is currently the most promising theory to explain ε the spectrum of the elementary particles and their interactions. : T1T2 : : normal ordening. One of its most important features is its large symmetry group, which contains the conformal transformations in two dimensions OPA : Operator Product Algebra, subsection 2.3.3. as a subgroup. At quantum level, the symmetry group of a theory OPE : Operator Product Expansions, section 2.3. gives rise to differential equations between correlation functions of observables. We show that these Ward-identities are equiva- [T1(z)T2(z0)] : the complete OPE. lent to Operator Product Expansions (OPEs), which encode the T1(z)T2(z0) : singular part of an OPE. short-distance singularities of correlation functions with symme- try generators. The OPEs allow us to determine algebraically −n [T1T2]n : coefficient of (z z0) in the OPE [T1(z)T2(z0)], eq. (2.3.3). many properties of the theory under study. We analyse the calcu- − << c 0 2T ∂T >> : list of the operators at the singular poles in an OPE. High- lational rules for OPEs, give an algorithm to compute OPEs, and 2 | | | discuss an implementation in Mathematica.
    [Show full text]
  • PBW Deformations of Artin-Schelter Regular Algebras and Their Omogeh Nizations Jason D
    University of Wisconsin Milwaukee UWM Digital Commons Theses and Dissertations May 2013 PBW Deformations of Artin-Schelter Regular Algebras and Their omogeH nizations Jason D. Gaddis University of Wisconsin-Milwaukee Follow this and additional works at: https://dc.uwm.edu/etd Part of the Mathematics Commons Recommended Citation Gaddis, Jason D., "PBW Deformations of Artin-Schelter Regular Algebras and Their omoH genizations" (2013). Theses and Dissertations. 98. https://dc.uwm.edu/etd/98 This Dissertation is brought to you for free and open access by UWM Digital Commons. It has been accepted for inclusion in Theses and Dissertations by an authorized administrator of UWM Digital Commons. For more information, please contact [email protected]. PBW deformations of Artin-Schelter regular algebras and their homogenizations by Jason D. Gaddis A Dissertation Submitted in Partial Fulfillment of the Requirements for the Degree of Doctor of Philosophy in Mathematics at The University of Wisconsin-Milwaukee May 2013 ABSTRACT PBW deformations of Artin-Schelter regular algebras and their homogenizations by Jason D. Gaddis The University of Wisconsin-Milwaukee, 2013 Under the Supervision of Professor Allen Bell A central object in the study of noncommutative projective geometry is the (Artin-Schelter) regular algebra, which may be considered as a noncommutative version of a polynomial ring. We extend these ideas to algebras which are not necessarily graded. In particular, we define an algebra to be essentially regular of dimension d if its homogenization is regular of dimension d + 1. Essentially regular algebras are described and it is shown that that they are equivalent to PBW deformations of regular algebras.
    [Show full text]
  • Geometric Algebra and Its Application to Mathematical Physics
    Geometric Algebra and its Application to Mathematical Physics Chris J. L. Doran Sidney Sussex College A dissertation submitted for the degree of Doctor of Philosophy in the University of Cambridge. February 1994 Preface This dissertation is the result of work carried out in the Department of Applied Mathematics and Theoretical Physics between October 1990 and October 1993. Sections of the dissertation have appeared in a series of collaborative papers [1] —[10]. Except where explicit reference is made to the work of others, the work contained in this dissertation is my own. Acknowledgements Many people have given help and support over the last three years and I am grateful to them all. I owe a great debt to my supervisor, Nick Manton, for allowing me the freedom to pursue my own interests, and to my two principle collaborators, Anthony Lasenby and Stephen Gull, whose ideas and inspiration were essential in shaping my research. I also thank David Hestenes for his encouragement and his company on an arduous journey to Poland. Above all, I thank Julie Cooke for the love and encouragement that sustained me through to the completion of this work. Finally, I thank Stuart Rankin and Margaret James for many happy hours in the Mill, Mike and Rachael, Tim and Imogen, Paul, Alan and my other colleagues in DAMTP and MRAO. I gratefully acknowledge financial support from the SERC, DAMTP and Sidney Sussex College. To my parents Contents 1 Introduction 1 1.1 Some History and Recent Developments . 4 1.2 Axioms and Definitions . 9 1.2.1 The Geometric Product .
    [Show full text]
  • Distribución De Álgebras De Lie, Malcev Y De Evolución En Clases De Isotopismos
    Programa de Doctorado \Matem´aticas" PhD Dissertation DISTRIBUCIÓN DE ÁLGEBRAS DE LIE, MALCEV Y DE EVOLUCIÓN EN CLASES DE ISOTOPISMOS Author Óscar Jesús Falcón Ganfornina Supervisor Co-supervisor Prof. Dr. Juan Núñez Valdés Prof. Dr. Raúl Manuel Falcón Ganfornina June 2016 UNIVERSIDAD DE SEVILLA Facultad de Matem´aticas DEPARTAMENTO DE GEOMETR´IA Y TOPOLOG´IA DISTRIBUCION´ DE ALGEBRAS´ DE LIE, MALCEV Y EVOLUCION´ EN CLASES DE ISOTOPISMOS Memoria presentada por Oscar´ Jes´us Falc´on Ganfornina, para optar al grado de Doctor en Matem´aticas por la Universidad de Sevilla. Fdo.: Oscar´ Jes´us Falc´on Ganfornina. Vo. Bo. LOS DIRECTORES Fdo.: Juan N´u˜nez Vald´es. Fdo.: Ra´ul Manuel Falc´on Ganfornina Profesor Titular de Universidad Profesor Contratado Doctor Interino Dpto. Geometr´ıa y Topolog´ıa Dpto. Matem´atica Aplicada I Universidad de Sevilla. Universidad de Sevilla. Sevilla, Junio de 2016 “It is possible, you know, to drift off to an unknown world and find happiness there. Maybe even more happiness than you’ve ever known before”. – John Boyne, The Terrible Thing That Happened to Barnaby Brocket iii ACKNOWLEDGES Many years have passed since this work started being part of my life. No math- ematical thesis was in my thoughts when I graduated in 2009. However, who could have guessed that a disappointment in a competitive exam would lead me to write these acknowledgments. The following lines, where teachers, colleagues, friends and family appear mixed up, are the ending to all these years. Firstly, I would like to express my gratitude to my advisor Ra´ul Falc´on for his patience and dedication in this thesis.
    [Show full text]
  • Arxiv:2004.08808V2 [Math.AG]
    F –MANIFOLDS AND GEOMETRY OF INFORMATION NOÉMIE COMBE AND YURI I. MANIN Abstract. The theory of F –manifolds, and more generally, manifolds endowed with commutative and associative multiplication of their tangent fields, was discovered and formalised in various models of quantum field theory involving algebraic and analytic geometry, at least since 1990’s. The focus of this paper consists in the demonstration that various spaces of probability distributions defined and studied at least since 1960’s also carry natural structures of F –manifolds. This fact remained somewhat hidden in various domains of the vast territory of models of information storing and transmission that are briefly surveyed here. Contents 0. Introduction and summary 1 1. Frobenius manifolds and F –manifolds 3 2. F –manifolds and singularities 4 3. Convex cones and families of probabilities 7 4. Statistical manifolds and paracomplex structures 10 References 19 0. Introduction and summary The structure of Frobenius manifolds and its later weakened versions weak Frobe- nius manifolds, also called F –manifolds, was discovered in the 1980’s and 1990’s in the process of development and formalisation of Topological Field Theory, in- cluding Mirror Conjecture: see [D96],[HeMa99], and references therein. Date: 02-02-2020 . 1991 Mathematics Subject Classification. Primary: 53D45, 62B10; Secondary: 46Lxx, 51P05, arXiv:2004.08808v2 [math.AG] 24 Jun 2020 53Cxx. Key words and phrases. Weak Frobenius manifolds, Vinberg cones, statistical manifold, para- complex structure. Both authors wish to thank the anonymous referee for suggestions. The first author wishes to thank Professor Ph. Combe and Professor H. Nencka for many helpful discussions and sug- gestions concering statistical manifolds.
    [Show full text]
  • A Historical Review of the Classifications of Lie Algebras
    REVISTA DE LA UNION´ MATEMATICA´ ARGENTINA Vol. 54, No. 2, 2013, Pages 75{99 Published online: December 11, 2013 A HISTORICAL REVIEW OF THE CLASSIFICATIONS OF LIE ALGEBRAS LUIS BOZA, EUGENIO M. FEDRIANI, JUAN NU´ NEZ,~ AND ANGEL´ F. TENORIO Abstract. The problem of Lie algebras' classification, in their different vari- eties, has been dealt with by theory researchers since the early 20th century. This problem has an intrinsically infinite nature since it can be inferred from the results obtained that there are features specific to each field and dimen- sion. Despite the hundreds of attempts published, there are currently fields and dimensions in which only partial classifications of some families of alge- bras of low dimensions have been obtained. This article intends to bring some order to the achievements of this prolific line of research so far, in order to facilitate future research. 1. Introduction About 1870, the Norwegian mathematician Sophus Marius Lie (1842{1899) be- gan to study some types of geometric transformations that promised to have con- siderable relevance in the subsequent study of symmetries. No one could have imagined at that moment the impact of his discoveries: the gestation of key tools for the development of Modern Physics and, in particular, the Theory of Relativity. We can currently state that Lie Theory, regarding Lie groups as well as Lie alge- bras, has proved to be the key to solving many problems related to Geometry and to Differential Equations, which links theoretical Mathematics to the real world. Owing precisely to their tangible applications, scientists of different disciplines have used specific examples of Lie algebras over different fields and in different dimensions, everyone according to their needs.
    [Show full text]
  • Zariski Cancellation Problem for Skew PBW Extensions Helbert Javier
    Zariski cancellation problem for skew P BW extensions Helbert Javier Venegas Ram´ırez Master of science in mathematics Universidad Nacional de Colombia Facultad de Ciencias Departamento de Matematicas´ Bogota,´ D.C. Jun 2020 Zariski cancellation problem for skew P BW extensions Helbert Javier Venegas Ram´ırez Master of science in mathematics Graduate work to obtain the title of Doctor of Science Mathematics Advisor Oswaldo Lezama, Ph.D. Full time professor Research line Noncommutative Algebra Research group Seminario de Algebra´ constructiva, SAC2. Universidad Nacional de Colombia Facultad de Ciencias Departamento de Matematicas´ Bogota,´ D.C. Jun 2020 Title in English Zariski cancellation problem for skew P BW extensions. T´ıtuloen espa~nol Problema de cancelaci´onde Zariski para extenciones P BW torcidas. Abstract: A special question for noncommutative algebras is Zariski cancellation problem. In this thesis we establish cancellation for some special classes of algebras such as skew P BW extensions, some Artin{Schelter regular algebras and universal enveloping algebras of dimension three. In addition, we provide general properties for cancellation and we present a noncommutative analogues of a cancellation theorem for algebras of Gelfand-Kirillov dimension one. Resumen: Una pregunta especial para ´algebras no conmutativas es el problema de cancelaci´onde Zariski. En esta tesis, establecemos cancelaci´onpara algunas clases especiales de ´algebrascomo extensiones P BW torcidas, algunas ´algebras Artin{Schelter regulares y ´algebrasenvolvente universal de dimensi´ontres. Adi- cionalmente, proveemos propiedades generales para cancelaci´ony presentamos un an´alogono conmutativo del teorema de cancelaci´onpara ´algebrasde dimensi´on Gelfand-Kirillov uno. Keywords: Cancellation, retractable, detectable, Morita cancellation, locally nilpotent derivation, Makar-Limanov invariant, hopfian, discriminant, center, skew P BW extensions, AS-regular algebras.
    [Show full text]
  • Recent Progress in Algebra
    CONTEMPORARY MATHEMATICS 224 Recent Progress in Algebra An International Conference on Recent Progress in Algebra August 11-15, 1997 KAIST, Taejon, South Korea Sang Geun Hahn Hyo Chul Myung Efim Zelmanov Editors Licensed to Univ of Michigan. Prepared on Fri Jul 5 15:22:04 EDT 2013 for download from IP 68.40.185.65/141.213.236.110. License or copyright restrictions may apply to redistribution; see http://www.ams.org/publications/ebooks/terms http://dx.doi.org/10.1090/conm/224 Selected Titles in This Series 224 Sang Geun Hahn, Hyo Chul Myung, and Efim Zelmanov, Editors, Recent progress in algebra, 1999 223 Bernard Chazelle, Jacob E. Goodman, and Richard Pollack, Editors, Advances in discrete and computational geometry, 1999 222 Kang-Tae Kim and Steven G. Krantz, Editors, Complex geometric analysis in Pohang, 1999 221 J. Robert Dorroh, Gisela Ruiz Goldstein, Jerome A. Goldstein, and Michael Mudi Tom, Editors, Applied analysis, 1999 220 Mark Mahowald and Stewart Priddy, Editors, Homotopy theory via algebraic geometry and group representations, 1998 219 Marc Henneaux, Joseph Krasil'shchik, and Alexandre Vinogradov, Editors, Secondary calculus and cohomological physics, 1998 218 Jan Mandel, Charbel Farhat, and Xiao-Chuan Cai, Editors, Domain decomposition methods 10, 1998 217 Eric Carlen, Evans M. Harrell, and Michael Loss, Editors, Advances in differential equations and mathematical physics, 1998 216 Akram Aldroubi and EnBing Lin, Editors, Wavelets, multiwavelets, and their applications, 1998 215 M. G. Nerurkar, D. P. Dokken, and D. B. Ellis, Editors, Topological dynamics and applications, 1998 214 Lewis A. Coburn and Marc A. Rieffel, Editors, Perspectives on quantization, 1998 213 Farhad Jafari, Barbara D.
    [Show full text]
  • A Reduction Theorem for Τ-Rigid Modules
    Math. Z. https://doi.org/10.1007/s00209-018-2067-4 Mathematische Zeitschrift A reduction theorem for τ-rigid modules Florian Eisele1 · Geoffrey Janssens2 · Theo Raedschelders3 Received: 25 October 2016 / Accepted: 27 March 2018 © The Author(s) 2018 Abstract We prove a theorem which gives a bijection between the support τ-tilting modules over a given finite-dimensional algebra A and the support τ-tilting modules over A/I ,whereI is the ideal generated by the intersection of the center of A and the radical of A. This bijection is both explicit and well-behaved. We give various corollaries of this, with a particular focus on blocks of group rings of finite groups. In particular we show that there are τ-tilting-finite wild blocks with more than one simple module. We then go on to classify all support τ- tilting modules for all algebras of dihedral, semidihedral and quaternion type, as defined by Erdmann, which include all tame blocks of group rings. Note that since these algebras are symmetric, this is the same as classifying all basic two-term tilting complexes, and it turns out that a tame block has at most 32 different basic two-term tilting complexes. We do this by using the aforementioned reduction theorem, which reduces the problem to ten different algebras only depending on the ground field k, all of which happen to be string algebras. To deal with these ten algebras we give a combinatorial classification of all τ-rigid modules over (not necessarily symmetric) string algebras. The first author is supported by the EPSRC, grant EP/M02525X/1, and was, at the beginning of the project presented in this article, supported by the FWO, project G.0157.12N.
    [Show full text]
  • Center of Skew PBW Extensions
    Center of skew PBW extensions Jos´eOswaldo Lezama Serrano [email protected] Helbert Javier Venegas Ram´ırez [email protected] Seminario de Algebra´ Constructiva - SAC2 Departamento de Matem´aticas Universidad Nacional de Colombia, Sede Bogot´a Abstract In this paper we compute the center of many noncommutative algebras that can be interpreted as skew PBW extensions. We show that, under some natural assumptions on the parameters that define the extension, either the center is trivial, or, it is of polynomial type. As an application, we provided new examples of noncommutative algebras that are cancellative. Key words and phrases. Center of an algebra, quantum algebras, skew PBW extensions, Zariski cancellation problem. 2010 Mathematics Subject Classification. Primary: 16U70. Secondary: 16S36, 16S38. 1 Introduction The center and the centralizers are natural commutative subalgebras that play an important role in representation theory and in the general theory of rings and algebras. Recently these subalgebras were used by Bell and Zhang to investigate the Zariski Cancellation Problem (ZCP) for noncommutative algebras ([8]); some other authors have also studied related questions as the automorphism problem and arXiv:1804.05425v4 [math.RA] 17 Jul 2018 the Dixmier conjecture applying the description of the center (see [6], [15], [25], [29]). The center of many algebras coming from mathematical physics has been computed in the last years, among the examples are: Q,Γ The Weyl algebra, the quantum Weyl algebra of Maltsiniotis, the quantized Weyl algebra An (K), the 2n quantum symplectic space q(sp(K )), some universal enveloping algebras of Lie algebras, the Jordan plane, the quantum plane (seeO [12], [19], [24], [28], [29], [31]).
    [Show full text]
  • Rota---Baxter Operators on Unital Algebras
    16W99, 17C20 (MSC2010) RotaBaxter operators on unital algebras V. Gubarev Abstract We state that all RotaBaxter operators of nonzero weight on the Grassmann algebra over a field of characteristic zero are projections on a subalgebra along another one. We show the one-to-one correspondence between the solutions of associative YangBaxter equation and RotaBaxter operators of weight zero on the matrix algebra Mn(F ) (joint with P. Kolesnikov). We prove that all RotaBaxter operators of weight zero on a unital associative (alternative, Jordan) algebraic algebra over a field of characteristic zero are nilpo- tent. We introduce a new invariant for an algebra A called the RB-index rb(A) as the minimal nilpotency index of RotaBaxter operators of weight zero on A. We show that rb(M (F )) = 2n 1 provided that characteristic of F is zero. n − Keywords: RotaBaxter operator, YangBaxter equation, matrix algebra, Grassmann algebra, Faulhaber polynomial. Contents 1 Introduction 2 2 Preliminaries 4 3 YangBaxter equation 6 3.1 ClassicalYangBaxterequation. ... 7 3.2 ModifiedYangBaxterequation. 8 arXiv:1805.00723v3 [math.RA] 3 Oct 2019 3.3 Associative YangBaxter equation . ... 8 4 RotaBaxter operators of nonzero weight 10 4.1 Triangular-splittingRB-operators . ...... 11 4.2 The simple Jordan algebra of a bilinear form . ..... 12 4.3 Sumoffields.................................. 12 4.4 Grassmannalgebra .............................. 13 4.5 Matrixalgebra ................................ 15 4.6 Derivationsofnonzeroweight . .. 24 5 RotaBaxter operators of weight zero 24 5.1 Constructions ofRotaBaxteroperators . ..... 25 5.2 Unitalalgebras ................................ 27 5.3 Grassmannalgebra .............................. 31 5.4 Matrixalgebra ................................ 32 5.5 Simple Jordan algebras and composition algebras . ....... 36 1 1 Introduction Given an algebra A and a scalar λ F , where F is a ground field, a linear operator R: A A is called a RotaBaxter operator∈ (RB-operator, for short) of weight λ if the → identity R(x)R(y)= R(R(x)y + xR(y)+ λxy) (1) holds for all x, y A.
    [Show full text]
  • Representation Theory
    CONTEMPORARY MATHEMATICS 478 Representation Theory Fourth International Conference on Representation Theory July 16 –20, 2007 Lhasa, China Zongzhu Lin Jianpan Wang Editors American Mathematical Society This page intentionally left blank CONTEMPORARY MATHEMATICS 478 Representation Theory Fourth International Conference on Representation Theory July 16–20, 2007 Lhasa, China Zongzhu Lin Jianpan Wang Editors American Mathematical Society Providence, Rhode Island Editorial Board Dennis DeTurck, managing editor George Andrews Abel Klein Martin J. Strauss 2000 Mathematics Subject Classification. Primary 16Gxx, 17Bxx, 20Cxx, 20Gxx; Secondary 17B10, 17B20, 17B37, 17B45, 17B56, 20G05, 20G10, 20G42, 20C05, 20C08, 20C30. Library of Congress Cataloging-in-Publication Data Representation theory / Zongzhu Lin, Jianpan Wang, editors. p. cm. — (Contemporary mathematics ; v. 478) Includes bibliographical references. ISBN 978-0-8218-4555-4 (alk. paper) 1. Representations of algebras—Congresses. 2. Representations of groups—Congresses. I. Lin, Zongzhu. II. Wang, Jianpan, 1949– III. Title. QA150 .R46 2008 515.7223—dc22 2008034291 Copying and reprinting. Material in this book may be reproduced by any means for edu- cational and scientific purposes without fee or permission with the exception of reproduction by services that collect fees for delivery of documents and provided that the customary acknowledg- ment of the source is given. This consent does not extend to other kinds of copying for general distribution, for advertising or promotional purposes, or for resale. Requests for permission for commercial use of material should be addressed to the Acquisitions Department, American Math- ematical Society, 201 Charles Street, Providence, Rhode Island 02904-2294, USA. Requests can also be made by e-mail to [email protected].
    [Show full text]