DOCSLIB.ORG

On the Structure of Quaternion Rings Over Zp 1 Introduction

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
On the Structure of Quaternion Rings Over Zp 1 Introduction International Journal of Algebra, Vol. 5, 2011, no. 27, 1313 - 1325 On the Structure of Quaternion Rings over Zp C. J. Miguel Instituto de Telecomunica¸c˜oes P´olo de Covilh˜a Beira Interior University Department of Mathematics [email protected] R. Serˆodio Centro de Matem´atica Beira Interior University Department of Mathematics Abstract In this paper we investigate the structure of quaternion rings over the finite field Zp. This work is based on M. Aristidou and A. Demetre’s paper, “A Note on Quaternion Rings over Zp”, who have point out a false theorem of Kandasamy published in “On Finite Quaternion Rings and Skew Fields”. We obtain more detailed descriptions of the struc- ture of Zp[i, j, k], in particular we find the number of zero-divisors of a quaternion ring over Zp and provide a detailed structural description of the zero-divisor graph of a quaternion ring over Zp. Mathematics Subject Classification: 15A03, 15A33, 15A30, 20H25 Keywords: quaternion, ring, division ring, finite field, zero divisor, idem- potent, zero divisor graph 1 Introduction The history of associative algebras begins with Hamilton’s discovery of the real quaternions in 1843. Before 1906 no other skew fields were known besides the quaternions. In that year, however, a completely new kind of skew field was described by Dickson (see [8], for details). The idea that the real quaternions, viewed as an algebra of dimension 4 over the real field with basis {1, i, j, k}, was later generalized by Dickson, replacing the field R by an arbitrary field 1314 C. J. Miguel and R. Serˆodio F of characteristic different from 2 and the elements i and j by two arbitrary elements linearly independent and quadratic over F. This idea is presented in the following definition. Definition 1.1 Let a and b be two non-zero elements of a field F whose characteristic is not 2. Let A be the four dimensional F -vector space with basis {1, i, j, k} and the bilinear multiplication defined by the conditions that 1 is a unity element, and i2 = a, j2 = b, ij = −ji = k. F a,b A is called a quaternion ring over the field and denoted by A = F . The notion of a quaternion ring can be seen as a generalization of the Hamilton quaternions to an arbitrary base field. The Hamilton quaternions −1,−1 R are the case A = R , where is the field of real numbers. By a famous theorem of Frobenius there are only two real quaternion alge- bras: 2× 2 matrices over the reals and Hamilton’s quaternions [5]. In a similar way, over a field F with characteristic different from 2, there are exactly two quaternion algebras: 2 × 2 matrices over F and a division algebra [12]. −1,−1 Hamilton quaternions R form a division algebra. The following ques- tions arise immediately: F a,b 1. For what choices of a, b and the field , is A = F a division algebra? a,b 2. If A = F is not a division algebra what is its structure? For question 1 see [12]. In this paper we explore question 2 for the case where F is the finite field Zp, with p a odd prime and a = b = −1. We use the −1 −1 notation Z [i, j, k] for , . p Zp The paper is organized as follows: in Section 2 we determine the number of zero divisors and idempotents in a quaternion ring over the finite field Zp. Also we construct an isomorphism between the quaternion ring over the finite field Zp and the ring of square matrices of order 2 over the finite field Zp. In section 3 we study the directed and undirected graphs of a quaternion ring over the finite field Zp. 2 Zero Divisors and Idempotents in Zp[i, j, k] In [6] M. Aristidou and A. Demeter show that Zp[i, j, k] does not form a finite division ring as mentioned by Kandasamy [10]. In fact, by the well known Wedderburn’s Little Theorem [11], every finite division ring is a field, that is, commutative. Since, for the finite field Zp, the quaternion ring Zp[i, j, k] Structure of quaternion rings over Zp 1315 is finite and noncommutative, it cannot be a field. Then, Zp[i, j, k] has non trivial zero divisors and non trivial idempotents. In this section we find the number of zero divisors and the number of idempotents of the quaternion ring Zp[i, j, k]. Theorem 2.1 Let p be an odd prime number. Then, the number of zero- divisors in Zp[i, j, k] is p3 + p2 − p. (1) Proof. Since, Zp[i, j, k] is not a division algebra, it is isomorphic to the matrix ring M2(Zp). So, Zp[i, j, k] and M2(Zp) have the same number of zero- divisors. A matrix a b A = ∈ M2(Z ) c d p is singular (a zero-divisor) if and only if the determinant is zero in the field Zp, that is, if and only if ad − bc =0 mod p (2) Thus, the number of zero-divisors in the quaternion ring Zp[i, j, k] is the same as the number of solutions of the congruence (2) in Zp. To find the number of solutions of (2), we will consider the following cases: 1. Suppose first that a =6 0 mod p and fix a, b and c. Then, the equation in the variable x ax = bc mod p, (3) from the theory of linear congruences [9], has a unique solution mod p. There are p2(p − 1) equations of the form (3). Thus, if a =6 0 mod p there are p2(p − 1) singular matrices. 2. Suppose that a = 0 mod p and c =6 0 mod p. Then, the matrix is singular if and only if cb =0 mod p. (4) No restriction takes place for d. There are p − 1 equations of the form (4) each of which has a unique solution. Thus, there are p(p−1) singular matrices of this form. 3. Now suppose that a = 0 mod p and c = 0 mod p. Then the matrix is singular for every b and d. There are p2 of such matrices. Thus, the number os singular matrices in M2(Zp) is p2(p − 1) + p(p − 1) + p2 = p3 + p2 − p. (5) 1316 C. J. Miguel and R. Serˆodio 2 It is well known that if R is a ring, with unity, every ideal in the complete matrix ring Mn(R), n a positive integer, is of the form Mn(I), where I is an ideal of R [11]. This implies that Mn(R) is simple if and only if R is simple. It is clear that a field is necessary simple, thus M(Zp) is simple. A simple non nilpotent artinian ring has only a central idempotent element, namely its unity element, but there may be many non central idempotents elements. In the next theorem we find the number of idempotents elements in Zp[i, j, k]. Theorem 2.2 Let p be an odd prime number. Then, the number of idem- potent elements in Zp[i, j, k] is p2 + p +2. (6) Proof. As we have seen in last result, Zp[i, j, k] ∼= M2(Zp). Thus, the number of idempotent elements in Zp[i, j, k] is exactly the same as in M2(Zp). A matrix A is idempotent if and only if A2 = A mod p, (7) or yet A2 − A =0 mod p, (8) A(A − I)=0 mod p, (9) where I is the identity matrix. Let a b A = ∈ M2(Z ). (10) c d p Then, A is idempotent if and only if a b a − 1 b 0 0 = mod p. (11) c d c d − 1 0 0 Let’s divide this problem into four cases: 1. If b = c =0 mod p, from (11) we have a(a − 1) = 0 mod p, (12) d(d − 1) = 0 mod p. (13) There are only two solutions for a and d. Namely, 0 and 1. Thus, in this case, there are 4 idempotent matrices. Structure of quaternion rings over Zp 1317 2. If b =0 mod p and c =06 mod p, from (11) we have a(a − 1) = 0 mod p, (14) d(d − 1) = 0 mod p, (15) c(a + d − 1) = 0 mod p. (16) From equations (14) and (15), we get that the values for a and d must be 0 or 1. But, from equation (16), since c =6 0 mod p, we must have a + d =1 mod p. The only combinations possible are a = 0 and d = 1 or a = 1 and d = 0. For each of these combinations, c can take p − 1 values. Thus there are 2 × (p − 1) idempotent matrices of this form. 3. If b =6 0 mod p and c = 0 mod p, by symmetry, we have the same number of idempotent matrices as in the last item, i.e, 2 × (p − 1). 4. If b =06 mod p and c =06 mod p, condition (11) implies a2 − a + bc = 0 mod p, (17) b(a + d − 1) = 0 mod p, (18) c(a + d − 1) = 0 mod p, (19) d2 − d + bc = 0 mod p. (20) From equations (18) and (19) we get that a + d = 1 mod p. There are p possible combination, one for each value of Zp. But, from these, we must remove a =0 mod p and a =1 mod p, because these values imply from equation (17) that bc = 0 mod p, which contradicts the initial hypothesis.
Load more

Recommended publications
  • On Regular Matrix Semirings
    Thai Journal of Mathematics Volume 7 (2009) Number 1 : 69{75 www.math.science.cmu.ac.th/thaijournal Online ISSN 1686-0209 On Regular Matrix Semirings S. Chaopraknoi, K. Savettaseranee and P. Lertwichitsilp Abstract : A ring R is called a (von Neumann) regular ring if for every x 2 R; x = xyx for some y 2 R. It is well-known that for any ring R and any positive integer n, the full matrix ring Mn(R) is regular if and only if R is a regular ring. This paper examines this property on any additively commutative semiring S with zero. The regularity of S is defined analogously. We show that for a positive integer n, if Mn(S) is a regular semiring, then S is a regular semiring but the converse need not be true for n = 2. And for n ≥ 3, Mn(S) is a regular semiring if and only if S is a regular ring. Keywords : Matrix ring; Matrix semiring; Regular ring; Regular semiring. 2000 Mathematics Subject Classification : 16Y60, 16S50. 1 Introduction A triple (S; +; ·) is called a semiring if (S; +) and (S; ·) are semigroups and · is distributive over +. An element 0 2 S is called a zero of the semiring (S; +; ·) if x + 0 = 0 + x = x and x · 0 = 0 · x = 0 for all x 2 S. Note that every semiring contains at most one zero. A semiring (S; +; ·) is called additively [multiplicatively] commutative if x + y = y + x [x · y = y · x] for all x; y 2 S: We say that (S; +; ·) is commutative if it is both additively and multiplicatively commutative.
    [Show full text]
  • Adjacency Matrices of Zero-Divisor Graphs of Integers Modulo N Matthew Young
    inv lve a journal of mathematics Adjacency matrices of zero-divisor graphs of integers modulo n Matthew Young msp 2015 vol. 8, no. 5 INVOLVE 8:5 (2015) msp dx.doi.org/10.2140/involve.2015.8.753 Adjacency matrices of zero-divisor graphs of integers modulo n Matthew Young (Communicated by Kenneth S. Berenhaut) We study adjacency matrices of zero-divisor graphs of Zn for various n. We find their determinant and rank for all n, develop a method for finding nonzero eigen- values, and use it to find all eigenvalues for the case n p3, where p is a prime D number. We also find upper and lower bounds for the largest eigenvalue for all n. 1. Introduction Let R be a commutative ring with a unity. The notion of a zero-divisor graph of R was pioneered by Beck[1988]. It was later modified by Anderson and Livingston [1999] to be the following. Definition 1.1. The zero-divisor graph .R/ of the ring R is a graph with the set of vertices V .R/ being the set of zero-divisors of R and edges connecting two vertices x; y R if and only if x y 0. 2 D To each (finite) graph , one can associate the adjacency matrix A./ that is a square V ./ V ./ matrix with entries aij 1, if vi is connected with vj , and j j j j D zero otherwise. In this paper we study the adjacency matrices of zero-divisor graphs n .Zn/ of rings Zn of integers modulo n, where n is not prime.
    [Show full text]
  • 1 Jun 2020 Flat Semimodules & Von Neumann Regular Semirings
    Flat Semimodules & von Neumann Regular Semirings* Jawad Abuhlail† Rangga Ganzar Noegraha‡ [email protected] [email protected] Department of Mathematics and Statistics Universitas Pertamina King Fahd University of Petroleum & Minerals Jl. Teuku Nyak Arief 31261Dhahran,KSA Jakarta12220,Indonesia June 2, 2020 Abstract Flat modules play an important role in the study of the category of modules over rings and in the characterization of some classes of rings. We study the e-flatness for semimodules introduced by the first author using his new notion of exact sequences of semimodules and its relationships with other notions of flatness for semimodules over semirings. We also prove that a subtractive semiring over which every right (left) semimodule is e-flat is a von Neumann regular semiring. Introduction Semirings are, roughly, rings not necessarily with subtraction. They generalize both rings and distributive bounded lattices and have, along with their semimodules many applications in Com- arXiv:1907.07047v2 [math.RA] 1 Jun 2020 puter Science and Mathematics (e.g., [1, 2, 3]). Some applications can be found in Golan’s book [4], which is our main reference on this topic. A systematic study of semimodules over semirings was carried out by M. Takahashi in a series of papers 1981-1990. However, he defined two main notions in a way that turned out to be not natural. Takahashi’s tensor products [5] did not satisfy the expected Universal Property. On *MSC2010: Primary 16Y60; Secondary 16D40, 16E50, 16S50 Key Words: Semirings; Semimodules; Flat Semimodules; Exact Sequences; Von Neumann Regular Semirings; Matrix Semirings The authors would like to acknowledge the support provided by the Deanship of Scientific Research (DSR) at King Fahd University of Petroleum & Minerals (KFUPM) for funding this work through projects No.
    [Show full text]
  • Zero Divisor Conjecture for Group Semifields
    Ultra Scientist Vol. 27(3)B, 209-213 (2015). Zero Divisor Conjecture for Group Semifields W.B. VASANTHA KANDASAMY1 1Department of Mathematics, Indian Institute of Technology, Chennai- 600 036 (India) E-mail: [email protected] (Acceptance Date 16th December, 2015) Abstract In this paper the author for the first time has studied the zero divisor conjecture for the group semifields; that is groups over semirings. It is proved that whatever group is taken the group semifield has no zero divisors that is the group semifield is a semifield or a semidivision ring. However the group semiring can have only idempotents and no units. This is in contrast with the group rings for group rings have units and if the group ring has idempotents then it has zero divisors. Key words: Group semirings, group rings semifield, semidivision ring. 1. Introduction study. Here just we recall the zero divisor For notions of group semirings refer8-11. conjecture for group rings and the conditions For more about group rings refer 1-6. under which group rings have zero divisors. Throughout this paper the semirings used are Here rings are assumed to be only fields and semifields. not any ring with zero divisors. It is well known1,2,3 the group ring KG has zero divisors if G is a 2. Zero divisors in group semifields : finite group. Further if G is a torsion free non abelian group and K any field, it is not known In this section zero divisors in group whether KG has zero divisors. In view of the semifields SG of any group G over the 1 problem 28 of .
    [Show full text]
  • Subset Semirings
    University of New Mexico UNM Digital Repository Faculty and Staff Publications Mathematics 2013 Subset Semirings Florentin Smarandache University of New Mexico, [email protected] W.B. Vasantha Kandasamy [email protected] Follow this and additional works at: https://digitalrepository.unm.edu/math_fsp Part of the Algebraic Geometry Commons, Analysis Commons, and the Other Mathematics Commons Recommended Citation W.B. Vasantha Kandasamy & F. Smarandache. Subset Semirings. Ohio: Educational Publishing, 2013. This Book is brought to you for free and open access by the Mathematics at UNM Digital Repository. It has been accepted for inclusion in Faculty and Staff Publications by an authorized administrator of UNM Digital Repository. For more information, please contact [email protected], [email protected], [email protected]. Subset Semirings W. B. Vasantha Kandasamy Florentin Smarandache Educational Publisher Inc. Ohio 2013 This book can be ordered from: Education Publisher Inc. 1313 Chesapeake Ave. Columbus, Ohio 43212, USA Toll Free: 1-866-880-5373 Copyright 2013 by Educational Publisher Inc. and the Authors Peer reviewers: Marius Coman, researcher, Bucharest, Romania. Dr. Arsham Borumand Saeid, University of Kerman, Iran. Said Broumi, University of Hassan II Mohammedia, Casablanca, Morocco. Dr. Stefan Vladutescu, University of Craiova, Romania. Many books can be downloaded from the following Digital Library of Science: http://www.gallup.unm.edu/eBooks-otherformats.htm ISBN-13: 978-1-59973-234-3 EAN: 9781599732343 Printed in the United States of America 2 CONTENTS Preface 5 Chapter One INTRODUCTION 7 Chapter Two SUBSET SEMIRINGS OF TYPE I 9 Chapter Three SUBSET SEMIRINGS OF TYPE II 107 Chapter Four NEW SUBSET SPECIAL TYPE OF TOPOLOGICAL SPACES 189 3 FURTHER READING 255 INDEX 258 ABOUT THE AUTHORS 260 4 PREFACE In this book authors study the new notion of the algebraic structure of the subset semirings using the subsets of rings or semirings.
    [Show full text]
  • Research Statement Robert Won
    Research Statement Robert Won My research interests are in noncommutative algebra, specifically noncommutative ring the- ory and noncommutative projective algebraic geometry. Throughout, let k denote an alge- braically closed field of characteristic 0. All rings will be k-algebras and all categories and equivalences will be k-linear. 1. Introduction Noncommutative rings arise naturally in many contexts. Given a commutative ring R and a nonabelian group G, the group ring R[G] is a noncommutative ring. The n × n matrices with entries in C, or more generally, the linear transformations of a vector space under composition form a noncommutative ring. Noncommutative rings also arise as differential operators. The ring of differential operators on k[t] generated by multiplication by t and differentiation by t is isomorphic to the first Weyl algebra, A1 := khx; yi=(xy − yx − 1), a celebrated noncommutative ring. From the perspective of physics, the Weyl algebra captures the fact that in quantum mechanics, the position and momentum operators do not commute. As noncommutative rings are a larger class of rings than commutative ones, not all of the same tools and techniques are available in the noncommutative setting. For example, localization is only well-behaved at certain subsets of noncommutative rings called Ore sets. Care must also be taken when working with other ring-theoretic properties. The left ideals of a ring need not be (two-sided) ideals. One must be careful in distinguishing between left ideals and right ideals, as well as left and right noetherianness or artianness. In commutative algebra, there is a rich interplay between ring theory and algebraic geom- etry.
    [Show full text]
  • Derivations of a Matrix Ring Containing a Subring of Triangular Matrices S
    ISSN 1066-369X, Russian Mathematics (Iz. VUZ), 2011, Vol. 55, No. 11, pp. 18–26. c Allerton Press, Inc., 2011. Original Russian Text c S.G. Kolesnikov and N.V. Mal’tsev, 2011, published in Izvestiya Vysshikh Uchebnykh Zavedenii. Matematika, 2011, No. 11, pp. 23–33. Derivations of a Matrix Ring Containing a Subring of Triangular Matrices S. G. Kolesnikov1* andN.V.Mal’tsev2** 1Institute of Mathematics, Siberian Federal University, pr. Svobodnyi 79, Krasnoyarsk, 660041 Russia 2Institute of Core Undergraduate Programs, Siberian Federal University, 26 ul. Akad. Kirenskogo 26, Krasnoyarsk, 660041 Russia Received October 22, 2010 Abstract—We describe the derivations (including Jordan and Lie ones) of finitary matrix rings, containing a subring of triangular matrices, over an arbitrary associative ring with identity element. DOI: 10.3103/S1066369X1111003X Keywords and phrases: finitary matrix, derivations of rings, Jordan and Lie derivations of rings. INTRODUCTION An endomorphism ϕ of an additive group of a ring K is called a derivation if ϕ(ab)=ϕ(a)b + aϕ(b) for any a, b ∈ K. Derivations of the Lie and Jordan rings associated with K are called, respectively, the Lie and Jordan derivations of the ring K; they are denoted, respectively, by Λ(K) and J(K). (We obtain them by replacing the multiplication in K with the Lie multiplication a ∗ b = ab − ba and the Jordan one a ◦ b = ab + ba, respectively.) In 1957 I. N. Herstein proved [1] that every Jordan derivation of a primary ring of characteristic =2 is a derivation. His theorem was generalized by several authors ([2–9] et al.) for other classes of rings and algebras.
    [Show full text]
  • Right Ideals of a Ring and Sublanguages of Science
    RIGHT IDEALS OF A RING AND SUBLANGUAGES OF SCIENCE Javier Arias Navarro Ph.D. In General Linguistics and Spanish Language http://www.javierarias.info/ Abstract Among Zellig Harris’s numerous contributions to linguistics his theory of the sublanguages of science probably ranks among the most underrated. However, not only has this theory led to some exhaustive and meaningful applications in the study of the grammar of immunology language and its changes over time, but it also illustrates the nature of mathematical relations between chunks or subsets of a grammar and the language as a whole. This becomes most clear when dealing with the connection between metalanguage and language, as well as when reflecting on operators. This paper tries to justify the claim that the sublanguages of science stand in a particular algebraic relation to the rest of the language they are embedded in, namely, that of right ideals in a ring. Keywords: Zellig Sabbetai Harris, Information Structure of Language, Sublanguages of Science, Ideal Numbers, Ernst Kummer, Ideals, Richard Dedekind, Ring Theory, Right Ideals, Emmy Noether, Order Theory, Marshall Harvey Stone. §1. Preliminary Word In recent work (Arias 2015)1 a line of research has been outlined in which the basic tenets underpinning the algebraic treatment of language are explored. The claim was there made that the concept of ideal in a ring could account for the structure of so- called sublanguages of science in a very precise way. The present text is based on that work, by exploring in some detail the consequences of such statement. §2. Introduction Zellig Harris (1909-1992) contributions to the field of linguistics were manifold and in many respects of utmost significance.
    [Show full text]
  • Problems in Abstract Algebra
    STUDENT MATHEMATICAL LIBRARY Volume 82 Problems in Abstract Algebra A. R. Wadsworth 10.1090/stml/082 STUDENT MATHEMATICAL LIBRARY Volume 82 Problems in Abstract Algebra A. R. Wadsworth American Mathematical Society Providence, Rhode Island Editorial Board Satyan L. Devadoss John Stillwell (Chair) Erica Flapan Serge Tabachnikov 2010 Mathematics Subject Classification. Primary 00A07, 12-01, 13-01, 15-01, 20-01. For additional information and updates on this book, visit www.ams.org/bookpages/stml-82 Library of Congress Cataloging-in-Publication Data Names: Wadsworth, Adrian R., 1947– Title: Problems in abstract algebra / A. R. Wadsworth. Description: Providence, Rhode Island: American Mathematical Society, [2017] | Series: Student mathematical library; volume 82 | Includes bibliographical references and index. Identifiers: LCCN 2016057500 | ISBN 9781470435837 (alk. paper) Subjects: LCSH: Algebra, Abstract – Textbooks. | AMS: General – General and miscellaneous specific topics – Problem books. msc | Field theory and polyno- mials – Instructional exposition (textbooks, tutorial papers, etc.). msc | Com- mutative algebra – Instructional exposition (textbooks, tutorial papers, etc.). msc | Linear and multilinear algebra; matrix theory – Instructional exposition (textbooks, tutorial papers, etc.). msc | Group theory and generalizations – Instructional exposition (textbooks, tutorial papers, etc.). msc Classification: LCC QA162 .W33 2017 | DDC 512/.02–dc23 LC record available at https://lccn.loc.gov/2016057500 Copying and reprinting. Individual readers of this publication, and nonprofit libraries acting for them, are permitted to make fair use of the material, such as to copy select pages for use in teaching or research. Permission is granted to quote brief passages from this publication in reviews, provided the customary acknowledgment of the source is given. Republication, systematic copying, or multiple reproduction of any material in this publication is permitted only under license from the American Mathematical Society.
    [Show full text]
  • Semicorings and Semicomodules Will Open the Door for Many New Applications in the Future (See [Wor2012] for Recent Applications to Automata Theory)
    Semicorings and Semicomodules Jawad Y. Abuhlail∗ Department of Mathematics and Statistics Box # 5046, KFUPM, 31261 Dhahran, KSA [email protected] July 7, 2018 Abstract In this paper, we introduce and investigate semicorings over associative semir- ings and their categories of semicomodules. Our results generalize old and recent results on corings over rings and their categories of comodules. The generalization is not straightforward and even subtle at some places due to the nature of the base category of commutative monoids which is neither Abelian (not even additive) nor homological, and has no non-zero injective objects. To overcome these and other dif- ficulties, a combination of methods and techniques from categorical, homological and universal algebra is used including a new notion of exact sequences of semimodules over semirings. Introduction Coalgebraic structures in general, and categories of comodules for comonads in par- arXiv:1303.3924v1 [math.RA] 15 Mar 2013 ticular, are gaining recently increasing interest [Wis2012]. Although comonads can be defined in arbitrary categories, nice properties are usually obtained in case the comonad under consideration is isomorphic to −• C (or C • −) for some comonoid C [Por2006] in a monoidal category (V, •, I) acting on some category X in a nice way [MW]. However, it can be noticed that the most extensively studied concrete examples are – so far – the categories of coacts (usually called coalgebras) of an endo-functor F on the cate- gory Set of sets (motivated by applications in theoretical computer science [Gum1999] and universal (co)algebra [AP2003]) and categories of comodules for a coring over an associate algebra [BW2003], [Brz2009], i.e.
    [Show full text]
  • On Finite Semifields with a Weak Nucleus and a Designed
    On finite semifields with a weak nucleus and a designed automorphism group A. Pi~nera-Nicol´as∗ I.F. R´uay Abstract Finite nonassociative division algebras S (i.e., finite semifields) with a weak nucleus N ⊆ S as defined by D.E. Knuth in [10] (i.e., satisfying the conditions (ab)c − a(bc) = (ac)b − a(cb) = c(ab) − (ca)b = 0, for all a; b 2 N; c 2 S) and a prefixed automorphism group are considered. In particular, a construction of semifields of order 64 with weak nucleus F4 and a cyclic automorphism group C5 is introduced. This construction is extended to obtain sporadic finite semifields of orders 256 and 512. Keywords: Finite Semifield; Projective planes; Automorphism Group AMS classification: 12K10, 51E35 1 Introduction A finite semifield S is a finite nonassociative division algebra. These rings play an important role in the context of finite geometries since they coordinatize projective semifield planes [7]. They also have applications on coding theory [4, 8, 6], combinatorics and graph theory [13]. During the last few years, computational efforts in order to clasify some of these objects have been made. For instance, the classification of semifields with 64 elements is completely known, [16], as well as those with 243 elements, [17]. However, many questions are open yet: there is not a classification of semifields with 128 or 256 elements, despite of the powerful computers available nowadays. The knowledge of the structure of these concrete semifields can inspire new general constructions, as suggested in [9]. In this sense, the work of Lavrauw and Sheekey [11] gives examples of constructions of semifields which are neither twisted fields nor two-dimensional over a nucleus starting from the classification of semifields with 64 elements.
    [Show full text]
  • On Ring Extensions for Completely Primary Noncommutativerings
    ON RING EXTENSIONS FOR COMPLETELY PRIMARY NONCOMMUTATIVERINGS BY E. H. FELLER AND E. W. SWOKOWSKI 0. Introduction. It is the authors' purpose in this paper to initiate the study of ring extensions for completely N primary noncommutative rings which satisfy the ascending chain condition for right ideals (A.C.C.). We begin here by showing that every completely N primary ring R with A.C.C. is properly contained in just such a ring. This is accomplished by first showing that R[x~\, x an indeterminate where ax = xa for all aeR,isN primary and then constructing the right quotient ring QCR[x]). The details of these results appear in §§1,7 and 8. The correspond- ing results for the commutative case are given by E. Snapper in [7] and [8]. If Re: A, where A is completely JVprimary with A.C.C. then,from the discussion in the preceding paragraph, it would seem natural to examine the structure of R(o) when oeA and ao = era for all aER in the cases where a is algebraic or transcendental over R. These structures are determined in §§ 6 and 8 of the present paper. The definitions and notations given in [2] will be used throughout this paper. As in [2], for a ring R, JV or N(R) denotes the union of nilpotent ideals^) of R, P or P(R) denotes the set of nilpotent elements of R and J or J(R) the Jacobson radical of R. The letter H is used for the natural homomorphism from R to R/N = R.
    [Show full text]