DOCSLIB.ORG

Some Properties of Representation of Quaternion Group

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Some Properties of Representation of Quaternion Group ICBSA 2018 International Conference on Basic Sciences and Its Applications Volume 2019 Conference Paper Some Properties of Representation of Quaternion Group Sri Rahayu, Maria Soviana, Yanita, and Admi Nazra Department of Mathematics, Andalas University, Limau Manis, Padang, 25163, Indonesia Abstract The quaternions are a number system in the form 푎 + 푏푖 + 푐푗 + 푑푘. The quaternions ±1, ±푖, ±푗, ±푘 form a non-abelian group of order eight called quaternion group. Quaternion group can be represented as a subgroup of the general linear group 퐺퐿2(C). In this paper, we discuss some group properties of representation of quaternion group related to Hamiltonian group, solvable group, nilpotent group, and metacyclic group. Keywords: representation of quaternion group, hamiltonian group, solvable group, nilpotent group, metacyclic group Corresponding Author: Sri Rahayu [email protected] Received: 19 February 2019 1. Introduction Accepted: 5 March 2019 Published: 16 April 2019 First we review that quaternion group, denoted by 푄8, was obtained based on the Publishing services provided by calculation of quaternions 푎 + 푏푖 + 푐푗 + 푑푘. Quaternions were first described by William Knowledge E Rowan Hamilton on October 1843 [1]. The quaternion group is a non-abelian group of Sri Rahayu et al. This article is order eight. distributed under the terms of the Creative Commons Attribution License, which 2. Materials and Methods permits unrestricted use and redistribution provided that the original author and source are Here we provide Definitions of quaternion group dan matrix representation. credited. Selection and Peer-review under Definition 1.1. [2] The quaternion group, 푄8, is defined by the responsibility of the ICBSA Conference Committee. 푄8 = {1, − 1, 푖, − 푖, 푗, − 푗, 푘, − 푘} (1) with product computed as follows: • 1 ⋅ 푎 = 푎 ⋅ 1 = 푎, for all 푎 ∈ 푄8 • (−1) ⋅ 푎 = 푎 ⋅ (−1) = −푎, for all 푎 ∈ 푄8 • 푖 ⋅ 푖 = 푗 ⋅ 푗 = 푘 ⋅ 푘 = −1 How to cite this article: Sri Rahayu, Maria Soviana, Yanita, and Admi Nazra, (2019), “Some Properties of Representation of Quaternion Group” in Page 266 International Conference on Basic Sciences and Its Applications, KnE Engineering, pages 266–274. DOI 10.18502/keg.v1i2.4451 ICBSA 2018 • 푖 ⋅ 푗 = 푘, 푗 ⋅ 푖 = −푘 • 푗 ⋅ 푘 = 푖, 푘 ⋅ 푗 = −푖 • 푘 ⋅ 푖 = 푗, 푖 ⋅ 푘 = −푗 For every 푎, 푏 ∈ 푄8, 푎 ⋅ 푏 ≠ 푏 ⋅ 푎. Thus 푄8 is a non-abelian group. Definition 1.2. [3]A matrix representation of degree 푛 of a group G is a homomorphism 휌 of G into general linear group 퐺퐿푛(F) over a field F. It means that for every 푥 ∈ 퐺 there corresponds an 푛 × 푛 matrix 휌 (푥) with entries in F, and for all 푥, 푦 ∈ 퐺,[4] 휌 (푥푦) = 휌 (푥) 휌 (푦) . (2) Quaternion group 푄8 can be represented by matrices, i.e. matrices of general linear group 퐺퐿2(C) over complex vector space C. According to Marius Tarnauceanu [5], quaternion group is usually defined as a sub- group of the general linear group 퐺퐿2(C) consisting of 2 × 2 matrices with unit determi- nant called special linear group 푆퐿2(C). A homomorphism 휌 ∶ 푄8 → 푆퐿2(C) of quaternion group 푄8 into the special linear group 푆퐿2(C) over a complex vector space is given by: ⎛ ⎞ ⎛ ⎞ ⎜ 1 0 ⎟ ⎜ −1 0 ⎟ 1 ↦ ⎜ ⎟ − 1 ↦ ⎜ ⎟ ⎜ ⎟ ⎜ ⎟ ⎝ 0 1 ⎠ ⎝ 0 −1 ⎠ ⎛ ⎞ ⎛ ⎞ ⎜ 푖 0 ⎟ ⎜ −푖 0 ⎟ 푖 ↦ ⎜ ⎟ − 푖 ↦ ⎜ ⎟ ⎜ ⎟ ⎜ ⎟ ⎝ 0 −푖 ⎠ ⎝ 0 푖 ⎠ ⎛ ⎞ ⎛ ⎞ ⎜ 0 1 ⎟ ⎜ 0 −1 ⎟ 푗 ↦ ⎜ ⎟ − 푗 ↦ ⎜ ⎟ ⎜ ⎟ ⎜ ⎟ ⎝ −1 0 ⎠ ⎝ 1 0 ⎠ ⎛ ⎞ ⎛ ⎞ ⎜ 0 푖 ⎟ ⎜ 0 −푖 ⎟ 푘 ↦ ⎜ ⎟ − 푘 ↦ ⎜ ⎟ ⎜ ⎟ ⎜ ⎟ ⎝ 푖 0 ⎠ ⎝ −푖 0 ⎠ Since all of the matrices above have unit determinant, the homomorphism 휌 is the representation of quaternion group into 푆퐿2(C) under matrix mutiplication. DOI 10.18502/keg.v1i2.4451 Page 267 ICBSA 2018 Suppose 푄 = {퐼, −퐼, 퐴, −퐴, 퐵, −퐵, 퐶, −퐶} be a representation of quaternion group given by: ⎛ ⎞ ⎛ ⎞ ⎜ 1 0 ⎟ ⎜ −1 0 ⎟ 휌 (1) = ⎜ ⎟ = 퐼 휌 (−1) = ⎜ ⎟ = −퐼 ⎜ ⎟ ⎜ ⎟ ⎝ 0 1 ⎠ ⎝ 0 −1 ⎠ ⎛ ⎞ ⎛ ⎞ ⎜ 푖 0 ⎟ ⎜ −푖 0 ⎟ 휌 (푖) = ⎜ ⎟ = 퐴 휌 (−푖) = ⎜ ⎟ = −퐴 ⎜ ⎟ ⎜ ⎟ ⎝ 0 −푖 ⎠ ⎝ 0 푖 ⎠ ⎛ ⎞ ⎛ ⎞ ⎜ 0 1 ⎟ ⎜ 0 −1 ⎟ 휌 (푗) = ⎜ ⎟ = 퐵 휌 (−푗) = ⎜ ⎟ = −퐵 ⎜ ⎟ ⎜ ⎟ ⎝ −1 0 ⎠ ⎝ 1 0 ⎠ ⎛ ⎞ ⎛ ⎞ ⎜ 0 푖 ⎟ ⎜ 0 −푖 ⎟ 휌 (푘) = ⎜ ⎟ = 퐶 휌 (−푘) = ⎜ ⎟ = −퐶. ⎜ ⎟ ⎜ ⎟ ⎝ 푖 0 ⎠ ⎝ −푖 0 ⎠ Here we present some Definitions related to Hamiltonian group, solvable group, nilpotent group, and metacyclic group. A Dedekind group is a group in which every subgroup is normal. Every subgroup in an abelian group is normal, hence all abelian groups are Dedekind. But there also exists non-abelian group in which all of its subgroup are normal. Definition 1.3. [6]A non-abelian Dedekind group is called a Hamiltonian group. Let H be a normal subgroup of G. For any 푎 ∈ 퐺, the set 푎퐻 = {푎ℎ | ℎ ∈ 퐻 }is called the left coset of G in H. And the set 퐻푎 = {ℎ푎 | ℎ ∈ 퐻 }is called the right coset of G in H. Let H be a normal subgroup of G, then the set of right (or left) cosets of H in G is itself a group called the factor group of G by H , denoted by 퐺/퐻. Definition 1.4. [3] A group G is called solvable if there exist a normal series from group G 퐺 = 푁0 ⊃ 푁1 ⊃ 푁2 ⊃ ⋯ ⊃ 푁푖 = {푒} (3) such that each 푁푖 is normal in 푁푖−1 and the factor group 푁푖−1/푁푖 is abelian. Definition 1.5. [7] If subgroup퐻 ≤ 퐺 and subgroup퐾 ≤ 퐺, then commutator subgroup [퐻, 퐾] = {[ℎ, 푘] |ℎ ∈ 퐻 and 푘 ∈ 퐾} (4) DOI 10.18502/keg.v1i2.4451 Page 268 ICBSA 2018 where [ℎ, 푘] is the commutator ℎ푘ℎ−1푘−1. Let the (ascending) central series of a finite group G be the sequence of subgroups {푒} = 푍0(퐺) ⊂ 푍1(퐺) ⊂ 푍2(퐺) ⊂ ⋯ . (5) And the characteristic subgroups 푍푖(퐺) of group 퐺is defined by induction: 푍1(퐺) = 퐺; 푍푖+1(퐺) = [푍푖(퐺), 퐺] for 푖 ≥ 1. (6) The commutator subgroup, characteristic subgroups 푍푖(퐺), and the central series of a group G lead to the following definition. Definition 1.6. [7] A group G is called nilpotent if there is an integer 푐 such that 푍푐+1(퐺) = {푒}, and the least such 푐 is called the class of the nilpotent group G. Definition 1.7. [8] A group G is called cyclic if 퐺can be generated by an element 푥 ∈ 퐺 such that 퐺 = {푥푛 | 푛 ∈ Z}, n is an element of integers. Such an element 푥 is called a generator of 퐺. 퐺 is a cylic group generated by 푥 is indicated by writting 퐺 = ⟨푥⟩. Definition 1.8. [9] A group G is metacyclic if it contains a cyclic normal subgroup 푁 such that 퐺/푁 is also cyclic. 3. Result and Discussion Here we present the results from our studies related to Hamiltonian group, solvable group, nilpotent group, and metacyclic group. Some properties of representation of quaternion group are contained in some following Propositions. Proposition 1. Representation of quaternion group is Hamiltonian. Proof. Let 푄 = {퐼, −퐼, 퐴, −퐴, 퐵, −퐵, 퐶, −퐶} be a representation of quaternion group. There are six normal subgroups of representation of quaternion group, which are 푁1 = {퐼}, 푁2 = {퐼, −퐼}, 푁3 = {퐼, −퐼, 퐴, −퐴}, 푁4 = {퐼, −퐼, 퐵, −퐵}, 푁5 = {퐼, −퐼, 퐶, −퐶}, and 푁6 = {퐼, −퐼, 퐴, −, 퐵, −퐵, 퐶, −퐶}. A Dedekind group is a group G such that every subgroup of G is normal. According to Definition 1.3, then representation of quaternion grup 푄 is Hamiltonian. DOI 10.18502/keg.v1i2.4451 Page 269 ICBSA 2018 Every subgroup is normal in every abelian group. In the other hand, 푄 is a non-abelian group in which every subgroup is normal. Proposition 2. Representation of quaternion group is solvable. Proof. Let 푄 = {퐼, −퐼, 퐴, −퐴, 퐵, −퐵, 퐶, −퐶} be a representation of quaternion group. One of the normal series for 푄 is 푁6 ⊃ 푁3 ⊃ 푁2 ⊃ 푁1 in which 푁2Δ푁1, 푁3Δ푁2, and 푁6Δ푁3. There are three factor groups in that normal series, which are 푁2/푁1, 푁3/푁2, and 푁6/푁3. For all matrices 푋, 푌 ∈ 푁2/푁1, 푋푌 = 푌푋 under matrix multiplication. Hence 푁1/푁2 is abelian. For all matrices 푋, 푌 ∈ 푁3/푁2, 푋푌 = 푌푋 under matrix multiplication. Hence 푁3/푁2 is abelian. And for all matrices 푋, 푌 ∈ 푁6/푁3, 푋푌 = 푌푋 under matrix multi- plication. Hence 푁6/푁3 is abelian. Hence all of the factor groups in normal series 푁6 ⊃ 푁3 ⊃ 푁2 ⊃ 푁1 of 푄 are abelian. According to Definition 1.4, since there exists a normal series from 푄 such that each factor group is abelian, thus 푄 is solvable. Proposition 3. The representation of quaternion group is nilpotent. Proof. Let 푄 = {퐼, −퐼, 퐴, −퐴, 퐵, −퐵, 퐶, −퐶} be a representation of quaternion group. The sequence of subgroups of 푄 in given by {퐼} = 푍0 (푄) ⊂ 푍1 (푄) ⊂ 푍2 (푄) ⊂ ⋯. And the characteristic subgroups 푍푖(푄)is defined by induction 푍1(푄) = 푄, and 푍푖+1(푄) = [푍푖(푄), 푄]. Thus we have the following results: • We have 푍2(푄) = [푍1(푄), 푄] = [푄, 푄]. Notice that the commutator subgroup [푄, 푄] is the set of all commutator [푋, 푌 ] = 푋푌푋−1푌 −1 where matrix 푋 ∈ 푄 and matrix 푌 ∈ 푄. [푄, 푄] = { [푋, 푌 ] | matrix X ∈ 푄, matrix Y ∈ 푄} = {퐼, −퐼} = 푁2 Hence we have 푍2(푄) = 푁2. DOI 10.18502/keg.v1i2.4451 Page 270 ICBSA 2018 • Next we have 푍3(푄) = [푍2(푄), 푄] = [푁2, 푄]. [푁2, 푄] = { [푋, 푌 ] | matrix X ∈ 푁2, matrix Y ∈ 푄} = {퐼} = 푁1 Hence we have 푍3(푄) = {퐼}. According to Definition 1.6, since there is an integer 푐 = 2 such that 푍3(푄) = 푍2+1(푄) = {퐼}, thus 푄 is nilpotent, and the class of the nilpotent group 푄 is 2.
Load more

Recommended publications
  • An Exploration on the Hamiltonicity of Cayley Digraphs
    AN EXPLORATION ON THE HAMILTONICITY OF CAYLEY DIGRAPHS by Erica Bajo Calderon Submitted in Partial Fulfillment of the Requirements for the Degree of Master of Science in the Mathematics Program YOUNGSTOWN STATE UNIVERSITY May, 2021 An Exploration on Hamiltonicity of Cayley Digraphs Erica Bajo Calderon I hereby release this thesis to the public. I understand that this thesis will be made available from the OhioLINK ETD Center and the Maag Library Circulation Desk for public access. I also authorize the University or other individuals to make copies of this thesis as needed for scholarly research. Signature: Erica Bajo Calderon, Student Date Approval: Dr. A. Byers, Thesis Advisor Date Dr. T. Madsen, Committee Member Date Dr. A. O’Mellan, Committee Member Date Dr. Salvatore A. Sanders, Dean of Graduate Studies Date ABSTRACT In 1969, Lászlo Lovász launched a conjecture that remains open to this day. Throughout the years, variations of the conjecture have surfaced; the version we used for this study is: “Every finite connected Cayley graph is Hamiltonian”. Several studies have determined and proved Hamiltonicity for the Cayley graphs of specific types of groups with a minimal generating set. However, there are few results on the Hamiltonicity of the directed Cayley graphs. In this thesis, we look at some of the cases for which the Hamiltonicity on Cayley digraphs has been determined and we prove that the Cayley digraph of group G such that G = Zp2 × Zq is non-Hamiltonian with a standard generating set. iii ACKNOWLEDGEMENTS First, I would like to thank Dr. Byers who has put a considerable amount of time and effort into helping me succeed as a graduate student at YSU even before she was my thesis advisor.
    [Show full text]
  • Subgroups of Division Rings in Characteristic Zero Are Characterized
    Subgroups of Division Rings Mark Lewis Murray Schacher June 27, 2018 Abstract We investigate the finite subgroups that occur in the Hamiltonian quaternion algebra over the real subfield of cyclotomic fields. When possible, we investigate their distribution among the maximal orders. MSC(2010): Primary: 16A39, 12E15; Secondary: 16U60 1 Introduction Let F be a field, and fix a and b to be non-0 elements of F . The symbol algebra A =(a, b) is the 4-dimensional algebra over F generated by elements i and j that satisfy the relations: i2 = a, j2 = b, ij = ji. (1) − One usually sets k = ij, which leads to the additional circular relations ij = k = ji, jk = i = kj, ki = j = ki. (2) − − − arXiv:1806.09654v1 [math.RA] 25 Jun 2018 The set 1, i, j, k forms a basis for A over F . It is not difficult to see that A is a central{ simple} algebra over F , and using Wedderburn’s theorem, we see that A is either a 4-dimensional division ring or the ring M2(F ) of2 2 matrices over F . It is known that A is split (i.e. is the ring of 2 2 matrices× over F ) if and only if b is a norm from the field F (√a). Note that×b is a norm over F (√a) if and only if there exist elements x, y F so that b = x2 y2a. This condition is symmetric in a and b. ∈ − More generally, we have the following isomorphism of algebras: (a, b) ∼= (a, ub) (3) 1 where u = x2 y2a is a norm from F (√a); see [4] or [6].
    [Show full text]
  • Generalized Dedekind Groups
    View metadata, citation and similar papers at core.ac.uk brought to you by CORE provided by Elsevier - Publisher Connector JOURNALOFALGEBRA 17,310-316(1971) Generalized Dedekind Groups D. CAPPITT University of Kent at Canterbury Communicated by J. A. Green Received August 7, 1969 A group G is called a Dedekind group if every subgroup is normal. Equiv- alently, it may be defined as a group, G, in which the intersection of the non- normal subgroups is G, or one in which the subgroup they generate is trivial. In [l], Blackburn considered a generalization in terms of the first of these two definitions, namely to groups in which the intersection of non-normal subgroups is non-trivial. In this paper we take the second definition and determine some of the properties of groups in which the non-normal sub- groups generate a proper subgroup. For any group G, define S(G) to be the subgroup of G generated by all the subgroups which are not normal in G. G is a Dedekind group if and only if S(G) = 1. S(G) is a characteristic subgroup of G, and the quotient group of G by S(G) is a Dedekind group. THEOREM 1. If G is a group in which S(G) # G, then G can be expressed as a direct product H x K where H is a p-group for some prime p, S(H) # H, and K is a Dedekind group containing no element of order p. If, further, G is a non-abelian p-group, then the derived group G’ is cyclic and central, and either G has finite exponent or G has an infinite locally cyclic subgroup Z and the quotient group G/Z has finite exponent.
    [Show full text]
  • Generalized Quaternions
    GENERALIZED QUATERNIONS KEITH CONRAD 1. introduction The quaternion group Q8 is one of the two non-abelian groups of size 8 (up to isomor- phism). The other one, D4, can be constructed as a semi-direct product: ∼ ∼ × ∼ D4 = Aff(Z=(4)) = Z=(4) o (Z=(4)) = Z=(4) o Z=(2); where the elements of Z=(2) act on Z=(4) as the identity and negation. While Q8 is not a semi-direct product, it can be constructed as the quotient group of a semi-direct product. We will see how this is done in Section2 and then jazz up the construction in Section3 to make an infinite family of similar groups with Q8 as the simplest member. In Section4 we will compare this family with the dihedral groups and see how it fits into a bigger picture. 2. The quaternion group from a semi-direct product The group Q8 is built out of its subgroups hii and hji with the overlapping condition i2 = j2 = −1 and the conjugacy relation jij−1 = −i = i−1. More generally, for odd a we have jaij−a = −i = i−1, while for even a we have jaij−a = i. We can combine these into the single formula a (2.1) jaij−a = i(−1) for all a 2 Z. These relations suggest the following way to construct the group Q8. Theorem 2.1. Let H = Z=(4) o Z=(4), where (a; b)(c; d) = (a + (−1)bc; b + d); ∼ The element (2; 2) in H has order 2, lies in the center, and H=h(2; 2)i = Q8.
    [Show full text]
  • HAMILTONICITY in CAYLEY GRAPHS and DIGRAPHS of FINITE ABELIAN GROUPS. Contents 1. Introduction. 1 2. Graph Theory: Introductory
    HAMILTONICITY IN CAYLEY GRAPHS AND DIGRAPHS OF FINITE ABELIAN GROUPS. MARY STELOW Abstract. Cayley graphs and digraphs are introduced, and their importance and utility in group theory is formally shown. Several results are then pre- sented: firstly, it is shown that if G is an abelian group, then G has a Cayley digraph with a Hamiltonian cycle. It is then proven that every Cayley di- graph of a Dedekind group has a Hamiltonian path. Finally, we show that all Cayley graphs of Abelian groups have Hamiltonian cycles. Further results, applications, and significance of the study of Hamiltonicity of Cayley graphs and digraphs are then discussed. Contents 1. Introduction. 1 2. Graph Theory: Introductory Definitions. 2 3. Cayley Graphs and Digraphs. 2 4. Hamiltonian Cycles in Cayley Digraphs of Finite Abelian Groups 5 5. Hamiltonian Paths in Cayley Digraphs of Dedekind Groups. 7 6. Cayley Graphs of Finite Abelian Groups are Guaranteed a Hamiltonian Cycle. 8 7. Conclusion; Further Applications and Research. 9 8. Acknowledgements. 9 References 10 1. Introduction. The topic of Cayley digraphs and graphs exhibits an interesting and important intersection between the world of groups, group theory, and abstract algebra and the world of graph theory and combinatorics. In this paper, I aim to highlight this intersection and to introduce an area in the field for which many basic problems re- main open.The theorems presented are taken from various discrete math journals. Here, these theorems are analyzed and given lengthier treatment in order to be more accessible to those without much background in group or graph theory.
    [Show full text]
  • Math.AG] 17 Mar 2001 Ebro Uhafml Mle H Og Ojcuefrinfin field 5-Dimensional for Such with Identify Type Conjecture to Weil Hope Hodge We of the Algebra
    QUATERNIONIC PRYMS AND HODGE CLASSES B. VAN GEEMEN AND A. VERRA Abstract. Abelian varieties of dimension 2n on which a definite quaternion algebra acts are parametrized by symmetrical domains of dimension n(n 1)/2. Such abelian varieties have primitive Hodge classes in the middle dimensional cohomolo−gy group. In general, it is not clear that these are cycle classes. In this paper we show that a particular 6-dimensional family of such 8-folds are Prym varieties and we use the method of C. Schoen to show that all Hodge classes on the general abelian variety in this family are algebraic. We also consider Hodge classes on certain 5-dimensional subfamilies and relate these to the Hodge conjecture for abelian 4-folds. In this paper we study abelian varieties of dimension 8 whose endomorphism ring is a definite quaternion algebra over Q, we refer to these as abelian 8-folds of quaternion type. Such abelian varieties are interesting since their Hodge rings are not generated by divisor classes [M] and the Hodge conjecture is still open for most of them. The moduli space of 8-folds of quaternion type, with fixed discrete data, is 6-dimensional. One such moduli space was investigated recently by Freitag and Hermann [FrHe]. In [KSTT] a 6-dimensional family of K3 surfaces is studied whose Kuga-Satake varieties have simple factors of dimension 8 which are of quaternion type. Our first result, in section 3, is that one of these moduli spaces parametrizes Prym varieties of unramified 2:1 covers C˜ Cˆ, actually the genus 17 curves C˜ are 8:1 unramified covers of genus 3 curves with Galois→ group Q generated by the quaternions i and j.
    [Show full text]
  • A Note on the Quaternion Group As Galois Group
    proceedings of the american mathematical society Volume 108, Number 3, March 1990 A NOTE ON THE QUATERNION GROUP AS GALOIS GROUP ROGER WARE (Communicated by Louis J. Ratliff, Jr.) Abstract. The occurrence of the quaternion group as a Galois group over cer- tain fields is investigated. A theorem of Witt on quaternionic Galois extensions plays a key role. In [9, §6] Witt proved a theorem characterizing quaternionic Galois exten- sions. Namely, he showed that if F is a field of characteristic not 2 then an extension L = F(y/ä,y/b), a,b e F, of degree 4 over F can be embedded in a Galois extension A" of 7 with Gal(K/F) = 77g (the quaternion group 7 7 7 of order 8) if and only if the quadratic form ax + by + abz is isomorphic to x 2 + y 2 + z 2 .In addition he showed how to explicitly construct the Galois extension from the isometry. An immediate and interesting consequence of this is the fact that 77g cannot be a Galois group over any Pythagorean field. In this note Witt's theorem is used to obtain additional results about the existence of 77g as a Galois group over certain fields. If 7 is a field (of char- acteristic not 2) with at most one (total) ordering such that 77g does not oc- cur as a Galois group over F then the structure of the pro-2-Galois groups GF(2) = Gal(7(2)/7), Gpy = Gal(7py/7) (where 7(2) and Fpy are the quadratic and Pythagorean closures of F) are completely determined.
    [Show full text]
  • A Classification of Clifford Algebras As Images of Group Algebras of Salingaros Vee Groups
    DEPARTMENT OF MATHEMATICS TECHNICAL REPORT A CLASSIFICATION OF CLIFFORD ALGEBRAS AS IMAGES OF GROUP ALGEBRAS OF SALINGAROS VEE GROUPS R. Ablamowicz,M.Varahagiri,A.M.Walley November 2017 No. 2017-3 TENNESSEE TECHNOLOGICAL UNIVERSITY Cookeville, TN 38505 A Classification of Clifford Algebras as Images of Group Algebras of Salingaros Vee Groups Rafa lAb lamowicz, Manisha Varahagiri and Anne Marie Walley Abstract. The main objective of this work is to prove that every Clifford algebra C`p;q is R-isomorphic to a quotient of a group algebra R[Gp;q] modulo an ideal J = (1 + τ) where τ is a central element of order 2. p+q+1 Here, Gp;q is a 2-group of order 2 belonging to one of Salingaros isomorphism classes N2k−1;N2k; Ω2k−1; Ω2k or Sk. Thus, Clifford al- gebras C`p;q can be classified by Salingaros classes. Since the group algebras R[Gp;q] are Z2-graded and the ideal J is homogeneous, the quotient algebras R[G]=J are Z2-graded. In some instances, the isomor- ∼ phism R[G]=J = C`p;q is also Z2-graded. By Salingaros Theorem, the groups Gp;q in the classes N2k−1 and N2k are iterative central products of the dihedral group D8 and the quaternion group Q8, and so they are extra-special. The groups in the classes Ω2k−1 and Ω2k are central products of N2k−1 and N2k with C2 × C2, respectively. The groups in the class Sk are central products of N2k or N2k with C4. Two algorithms to factor any Gp;q into an internal central product, depending on the class, are given.
    [Show full text]
  • Bounding the Minimal Number of Generators of Groups and Monoids
    Bounding the minimal number of generators of groups and monoids of cellular automata Alonso Castillo-Ramirez∗ and Miguel Sanchez-Alvarez† Department of Mathematics, University Centre of Exact Sciences and Engineering, University of Guadalajara, Guadalajara, Mexico. June 11, 2019 Abstract For a group G and a finite set A, denote by CA(G; A) the monoid of all cellular automata over AG and by ICA(G; A) its group of units. We study the minimal cardinality of a generating set, known as the rank, of ICA(G; A). In the first part, when G is a finite group, we give upper bounds for the rank in terms of the number of conjugacy classes of subgroups of G. The case when G is a finite cyclic group has been studied before, so here we focus on the cases when G is a finite dihedral group or a finite Dedekind group. In the second part, we find a basic lower bound for the rank of ICA(G; A) when G is a finite group, and we apply this to show that, for any infinite abelian group H, the monoid CA(H; A) is not finitely generated. The same is true for various kinds of infinite groups, so we ask if there exists an infinite group H such that CA(H; A) is finitely generated. Keywords: Monoid of cellular automata, invertible cellular automata, minimal number of generators. MSC 2010: 68Q80, 05E18, 20M20. 1 Introduction The theory of cellular automata (CA) has important connections with many areas of mathematics, arXiv:1901.02808v4 [math.GR] 9 Jun 2019 such as group theory, topology, symbolic dynamics, coding theory, and cryptography.
    [Show full text]
  • Math 371 Review 1
    Math 371 Review 1 Some Notation and Basic Concepts Linear Algebra fields. • Examples of fields: • { the field of rational, real and complex numbers: Q, R and C { Fp := the finite field with p elements, where p is a prime number { the field of rational functions, Q(x), R(x), C(x), consisting of quotients of poly- nomials with coefficients in Q, R, C respectively. vector spaces, subspaces. • dimension, basis, linear independence. • linear transformations (also called \homomorphisms between vector spaces") • matrix representations of a linear transformation. (So, after choosing a basis of the • source and a basis of a target vector space, a linear transformation is represented by a matrix.) Effect of change of bases on the matrix representation. direct sum of vector spaces • eigenvalues, eigenvectors, and eigenspaces (of a linear transformation), characteristic • polynomials. diagonalization (of a linear transformation) • Basic Grooup Theory groups, subgroups • Examples of groups • { cyclic groups: Z :=integers, Z=nZ = a cyclic group with n elements. { the dihedral group D2n with 2n elements; it is the group of all symmetries of a regular n-gon. { the quaternion group Q8 with 8 elements. { the \general linear groups" GLn(Q), GLn(R), GLn(C), GLn(Fp). These are the group of invertible n n matrices with coefficients in Q, R, C, and Fp respec- × tively. Notice that GL1(Q) = Q×, the group of non-zero rational numbers under multiplication; similarly GL1(R) = R×, GL1(C) = C×, GL1(Fp) = Fp×. 1 { the \special linear groups" SLn(Q), SLn(R), SLn(C) and SLn(Fp); each is the subgroup of the respective general linear group consisting of all elements whose determinant is equal to 1.
    [Show full text]
  • Finite Groups Determined by an Inequality of the Orders of Their Normal Subgroups
    ANALELE S¸TIINT¸IFICE ALE UNIVERSITAT¸II˘ \AL.I. CUZA" DIN IAS¸I (S.N.) MATEMATICA,˘ Tomul LVII, 2011, f.2 DOI: 10.2478/v10157-011-0022-3 FINITE GROUPS DETERMINED BY AN INEQUALITY OF THE ORDERS OF THEIR NORMAL SUBGROUPS BY MARIUS TARN˘ AUCEANU˘ Abstract. In this article we introduce and study a class of finite groups for which the orders of normal subgroups satisfy a certain inequality. It is closely connected to some well-known arithmetic classes of natural numbers. Mathematics Subject Classification 2000: 20D60, 20D30, 11A25, 11A99. Key words: finite groups, subgroup lattices, normal subgroup lattices, deficient numbers, perfect numbers. 1. Introduction Let n be a natural number and σ(n) be the sum of all divisors of n. We say that n is a deficient number if σ(n) < 2n and a perfect number if σ(n) = 2n (for more details on these numbers, see [5]). Thus, the set consisting of both the deficientP numbers and the perfect numbers can be characterized by the inequality d ≤ 2n; where L = fd 2 N j djng: d2Ln n Now, let G be a finite group. Then the set L(G) of all subgroups of G forms a complete lattice with respect to set inclusion, called the subgroup lattice of G. A remarkable subposet of L(G) is constituted by all cyclic subgroups of G. It is called the poset of cyclic subgroups of G and will be denoted by C(G). If the group G is cyclic of order n, then L(G) = C(G) and they are isomorphic to the lattice Ln.
    [Show full text]
  • A NOTE on FINITE GROUPS with FEW TI-SUBGROUPS Jiangtao Shi
    International Electronic Journal of Algebra Volume 23 (2018) 42-46 DOI: 10.24330/ieja.373640 A NOTE ON FINITE GROUPS WITH FEW TI-SUBGROUPS Jiangtao Shi, Jingjing Huang and Cui Zhang Received: 10 June 2016; Revised: 29 July 2017; Accepted: 10 August 2017 Communicated by Abdullah Harmancı Abstract. In [Comm. Algebra, 43(2015), 2680-2689], finite groups all of whose metacyclic subgroups are TI-subgroups have been classified by S. Li, Z. Shen and N. Du. In this note we investigate a finite group all of whose non-metacyclic subgroups are TI-subgroups. We prove that G is a group all of whose non-metacyclic subgroups are TI-subgroups if and only if all non- metacyclic subgroups of G are normal. Furthermore, we show that a group all of whose non-cyclic subgroups are TI-subgroups has a Sylow tower. Mathematics Subject Classification (2010): 20D10 Keywords: Non-metacyclic subgroup, TI-subgroup, normal, solvable, Sylow tower 1. Introduction In this paper all groups are assumed to be finite. Let G be a group. If G has a cyclic normal subgroup H such that G=H is cyclic, then G is said to be a metacyclic group. It is obvious that a cyclic group is also a metacyclic group but a metacyclic group might not be a cyclic group. Let G be a group and K a subgroup of G. If Kg \K = 1 or K for all g 2 G, then K is called a TI-subgroup of G. It is clear that every normal subgroup of a group G is a TI-subgroup of G but a TI-subgroup of G might not be a normal subgroup of G.
    [Show full text]