ON THE ORDERS OF AUTOMORPHISM GROUPS OF FINITE GROUPS
|
|
- Easter Peters
- 5 years ago
- Views:
Transcription
1 Submitted exclusively to the London Mathematical Society DOI: 0./S ON THE ORDERS OF AUTOMORPHISM GROUPS OF FINITE GROUPS JOHN N. BRAY and ROBERT A. WILSON Abstract In the Kourovka Notebook, Deaconescu asks if φ() for all finite groups G, where φ denotes the Euler totient function; and whether G is cyclic whenever = φ(). We answer both questions in the negative. Moreover we show that /φ() can be made arbitrarily small.. The question, and some answers Conventions. Throughout this paper, we shall only consider finite groups. The notation for group structures is based on that used in the Atlas []. The notation O (G), O (G) and Aut G is standard. Let φ denote the Euler totient function, so that φ(n) is the number of integers m with m n such that m and n are coprime, and φ(n) n = r i= p i p i, where p < p <... < p r are the prime factors of n. It is easy to see that for finite abelian groups G, we have φ(), with equality if and only if G is cyclic. In Problem 5.43 of the Kourovka Notebook [3], Deaconescu asks if the same is true for arbitrary finite groups G. More specifically: Let G be a finite group of order n. a) Is it true that φ(n) where φ is Euler s function? b) Is it true that G is cyclic if = φ(n)? In this note we show that the answer to both questions is no. Indeed, we shall prove: Main Theorem. For all ε > 0 there exists a group G such that < ε.φ(). In the course of this paper, it will transpire that there are infinitely many groups G satisfying < φ(), and infinitely many non-cyclic groups G which satisfy = φ(). 000 Mathematics Subject Classification 0E36 (primary), 0F8 (secondary).
2 john n. bray and robert a. wilson Part (a) Examining some quasisimple groups, we quickly found that the perfect groups G = (3 4 ) L 3 (4), M and (3 4) U 4 (3) satisfy < φ(), answering this part of the question in the negative. More precisely: group G primes dividing Aut G φ() (3 4 ) L 3 (4), 3, 5, 7 L 3 (4): 6 M, 3, 5, 7, M : 6 (3 4) U 4 (3), 3, 5, 7 U 4 (3):D Part (b) One non-cyclic group G satisfying = φ() is G = 3 5 M. Each of the five direct factors of G is characteristic, and we obtain Aut G = Aut Aut 3 Aut 5 Aut Aut M = 4 0 M, a group of order φ(). More generally, if.3.5. = 330 m, then the non-cyclic group G = C m M has automorphism group Aut G = (Aut C m ) M, and is thus a group of order φ(). The smallest non-cyclic group G we know of that satisfies = φ() is a group of order 56448, namely the group G = 4 :L 3 () 3 7, where the 4 :L 3 () is isomorphic to the centraliser of an involution in M 3. In the direct factor 4 :L 3 (), when we consider the normal 4 as an F -module for a complementary L 3 (), it is uniserial with a single non-zero proper submodule; this submodule has dimension. We have Aut G = 3 :L 3 () 6. We may take G to be the group g, g, g 3 where: g = (, 3)(, 4)(5, 5, 6, 6)(7, 9)(8, 0)(, 3,, 4), g = (, 3, 5)(, 4, 6)(7, 5, )(8, 6, ), g 3 = (7, 8, 9)(0,,, 3, 4, 5, 6). In fact, this group G is a special case of the groups we construct in the next section.. Proof of the Main Theorem Let P be a non-empty finite set of primes such that p 7 (mod 8) for all p P. We shall consider groups of the form G = C p P M p, where C is a cyclic subgroup of odd order and M p is a perfect group of shape f(p) :L (p). (We shall define the groups M p below.) Lemma. For all p P, the subgroups C and M p are characteristic in G. Thus Aut G = Aut C p P Aut M p.
3 on the orders of automorphism groups of finite groups 3 Proof. First, note that C = O (G), so is characteristic in G. Let N = F(G), the Fitting subgroup of G, so that N is also characteristic in G. Now G/N = p P L (p) is a direct product of non-isomorphic simple groups. For each p P, G/N has a unique normal subgroup N p /N such that N p /N = L (p). Thus N p /N is characteristic in G/N, and since N is characteristic in G, we get (for each p P ) that N p is a characteristic subgroup of G. In fact, N p = N, M p, and we have N p = C M p O (M q ). q P \{p} Since C and O (M q ) are abelian and M p is perfect, we obtain N p = M p, and thus M p is also a characteristic subgroup of G. Since C is cyclic, Aut C is an abelian group of order φ( C ). We now concentrate on the groups M p (where we may now fix p 7 (mod 8)). The order of Aut M p depends crucially on the structure of O (M p ) as an F L (p)-module. We aim to construct a uniserial module with composition factors of dimensions and (p ), so that M p has centre of order, in such a way that M p has trivial outer automorphism group. It will then follow that Aut M p = M p. In what follows, we shall use V V to denote a non-split extension of modules V by V where V is the submodule and V is the quotient. Lemma. Let H denote the simple group L (p), where p 7 (mod 8), and let V denote the permutation module over F of H on the p + cosets of the Borel subgroup. Then V is isomorphic to the trivial PIM (projective indecomposable module) for H, and has structure (U U ), where U and U are absolutely irreducible. Proof. First we need some notation for some elements of H. We use t to denote any element of order p; all elements of order p in H are conjugate to t or t. The other elements of H have order dividing (p ) or (p + ); all such non-identity elements can be notated by x, y or z where: x has order dividing (p ). y has order dividing 4 (p + ). z has order dividing (p + ), but does not have order dividing 4 (p + ). Four ordinary irreducible characters of L (p) are Element x y z t t χ 0 χ (p ) 0 β γ (p ) 0 γ β χ χ 3 p 0 0 where β and γ denote the irrationalities ( ± p); thus β and γ have minimal polynomial X +X+ 4 (p+). Since χ 0, χ and χ remain irreducible on restriction to the Borel subgroup of shape p:( p ) (which has odd order because p 3 (mod 4)), they remain irreducible on reduction modulo. Moreover, since p 7 (mod 8), X + X + 4 (p + ) reduces modulo to X + X, which has roots in F, so the
4 4 john n. bray and robert a. wilson corresponding representations can be written over F. For i {0,, } let ϕ i denote the -modular Brauer character which is the restriction of χ i to -regular classes, and let U i be a module affording the character ϕ i. Now let P() denote the PIM of the trivial representation in characteristic, and let Perm(p + ) denote the characteristic permutation module of L (p), of degree p +, on the cosets of the Borel subgroup p:( p p ). Since p:( ) has odd order, Perm(p + ) is projective, and thus, since it contains a trivial submodule, contains a copy of P(). Since the corresponding characteristic 0 permutation module of degree p + has character χ 0 + χ 3 and any element z is necessarily -singular, we see that Perm(p + ) has Brauer character ϕ 0 + ϕ + ϕ, and thus composition factors U 0, U 0, U, U. Now P() has a unique simple submodule, and unique simple quotient, and thus (since 4 L (p) ) has the form U where U is a non-zero module. Since U and U are conjugate under an outer automorphism of L (p) while U 0 = remains invariant, we obtain that P() = Perm(p + ) = (U U ). This structure is valid over any field of characteristic. Since modules with simple socle M embed in the PIM corresponding to M, there are unique F L (p)-modules of shapes U and U while there are no F L (p)- modules of shapes U or U. We now define M p = f(p) :L (p) to be the split extension of the F L (p)-module U by L (p); in particular f(p) = (p + ). It remains to prove: Lemma 3. With this definition, M p has trivial outer automorphism group. Proof. Since O (M p ) is a characteristic subgroup of M p, any automorphism of M p permutes the complements to O (M p ) in M p. Now let S denote a complementary L (p) in M p. We have ensured that the module U has zero -cohomology; thus M p has just one class of complements, so we may assume that our automorphism α of M p normalises S. Since the module U is not invariant under outer automorphisms of S, α S must be an inner automorphism of S, and adjusting by an inner automorphism of M p that is conjugation by an element of S, we may assume that α centralises S. So now α is an F S-module automorphism of U, and thus is a scalar, and therefore trivial. It follows that Aut M p = M p and therefore whence = φ( C ) C P φ() = φ( C ) C φ(). P Now if for all p P and odd prime divisors q of p(p + )(p ) we have that q C then it follows that φ( C )/ C = φ()/, and therefore φ() = φ( C ) C φ() = P P. In particular, this holds if C is the product of all the odd primes which divide p(p + )(p ) for some p P. To complete the proof of the Main Theorem,
5 on the orders of automorphism groups of finite groups 5 we invoke Dirichlet s Theorem that there are infinitely many primes p such that p 7 (mod 8) to conclude that P can be made arbitrarily large. 3. Further work We have now extended our constructions and have been able to show that the Main Theorem holds when G is restricted to being soluble, and also when G is restricted to being perfect. Moreover, there are infinitely many perfect groups G and infinitely many non-cyclic soluble groups G such that = φ(). These results are the subject of a forthcoming publication []. References. J. N. Bray and R. A. Wilson. On the orders of automorphism groups of finite groups. II. In preparation.. J. H. Conway, R. T. Curtis, S. P. Norton, R. A. Parker and R. A. Wilson. An ATLAS of Finite Groups. Clarendon Press, Oxford (985; reprinted with corrections, 003). 3. E. I. Khukhro and V. D. Mazurov (Eds). Unsolved problems in group theory. The Kourovka Notebook, no. 5. Novosibirsk, 00. John N. Bray and Robert A. Wilson. School of Mathematics and Statistics, University of Birmingham, Edgbaston, Birmingham, B5 TT. jnb@maths.bham.ac.uk R.A.Wilson@bham.ac.uk
THERE IS NO Sz(8) IN THE MONSTER
THERE IS NO Sz(8) IN THE MONSTER ROBERT A. WILSON Abstract. As a contribution to an eventual solution of the problem of the determination of the maximal subgroups of the Monster we show that there is no
More informationarxiv: v1 [math.gr] 31 May 2016
FINITE GROUPS OF THE SAME TYPE AS SUZUKI GROUPS SEYED HASSAN ALAVI, ASHRAF DANESHKHAH, AND HOSEIN PARVIZI MOSAED arxiv:1606.00041v1 [math.gr] 31 May 2016 Abstract. For a finite group G and a positive integer
More informationThe maximal subgroups of the Baby Monster, I
The maximal subgroups of the Baby Monster, I Robert A. Wilson School of Mathematics and Statistics, The University of Birmingham, Edgbaston, Birmingham B15 2TT published in J. Algebra 211 (1999),1 14 Abstract
More informationNONABELIAN GROUPS WITH PERFECT ORDER SUBSETS
NONABELIAN GROUPS WITH PERFECT ORDER SUBSETS CARRIE E. FINCH AND LENNY JONES Abstract. Let G be a finite group and let x G. Define the order subset of G determined by x to be the set of all elements in
More informationTHE 7-MODULAR DECOMPOSITION MATRICES OF THE SPORADIC O NAN GROUP
THE 7-MODULAR DECOMPOSITION MATRICES OF THE SPORADIC O NAN GROUP ANNE HENKE, GERHARD HISS, AND JÜRGEN MÜLLER Abstract. The determination of the modular character tables of the sporadic O Nan group, its
More informationFinding 47:23 in the Baby Monster
Submitted exclusively to the London Mathematical Society doi:10.1112/0000/000000 Finding 47:23 in the Baby Monster John N. Bray, Richard A. Parker and Robert A. Wilson Abstract In this paper we describe
More informationPermutation representations and rational irreducibility
Permutation representations and rational irreducibility John D. Dixon School of Mathematics and Statistics Carleton University, Ottawa, Canada March 30, 2005 Abstract The natural character π of a finite
More informationHUPPERT S CONJECTURE FOR F i 23
HUPPERT S CONJECTURE FOR F i 23 S. H. ALAVI, A. DANESHKAH, H. P. TONG-VIET, AND T. P. WAKEFIELD Abstract. Let G denote a finite group and cd(g) the set of irreducible character degrees of G. Bertram Huppert
More informationR E N D I C O N T I PRIME GRAPH COMPONENTS OF FINITE ALMOST SIMPLE GROUPS
R E N D I C O N T I del Seminario Matematico dell Università di Padova Vol. 102 Anno 1999 PRIME GRAPH COMPONENTS OF FINITE ALMOST SIMPLE GROUPS Maria Silvia Lucido Dipartimento di Matematica Pura e Applicata
More informationImplications of the index of a fixed point subgroup
Rend. Sem. Mat. Univ. Padova, DRAFT, 1 7 Implications of the index of a fixed point subgroup Erkan Murat Türkan ( ) Abstract Let G be a finite group and A Aut(G). The index G : C G (A) is called the index
More informationSolution of Brauer s k(b)-conjecture for π-blocks of π-separable groups
Solution of Brauer s k(b)-conjecture for π-blocks of π-separable groups Benjamin Sambale October 9, 2018 Abstract Answering a question of Pálfy and Pyber, we first prove the following extension of the
More informationGalois theory (Part II)( ) Example Sheet 1
Galois theory (Part II)(2015 2016) Example Sheet 1 c.birkar@dpmms.cam.ac.uk (1) Find the minimal polynomial of 2 + 3 over Q. (2) Let K L be a finite field extension such that [L : K] is prime. Show that
More informationPrimitive arcs in P G(2, q)
Primitive arcs in P G(2, q) L. Storme H. Van Maldeghem December 14, 2010 Abstract We show that a complete arc K in the projective plane P G(2, q) admitting a transitive primitive group of projective transformations
More informationTESTING MODULES OF GROUPS OF EVEN ORDER FOR SIMPLICITY
TESTING MODULES OF GROUPS OF EVEN ORDER FOR SIMPLICITY GERHARD O. MICHLER AND ØYVIND SOLBERG Abstract. In this paper we exhibit an intimate relationship between the simplicity of an F G-module V of a finite
More informationAN AXIOMATIC FORMATION THAT IS NOT A VARIETY
AN AXIOMATIC FORMATION THAT IS NOT A VARIETY KEITH A. KEARNES Abstract. We show that any variety of groups that contains a finite nonsolvable group contains an axiomatic formation that is not a subvariety.
More informationCHARACTERIZATION OF PROJECTIVE GENERAL LINEAR GROUPS. Communicated by Engeny Vdovin. 1. Introduction
International Journal of Group Theory ISSN (print): 51-7650, ISSN (on-line): 51-7669 Vol. 5 No. 1 (016), pp. 17-8. c 016 University of Isfahan www.theoryofgroups.ir www.ui.ac.ir CHARACTERIZATION OF PROJECTIVE
More informationCharacterization of the Linear Groups PSL(2, p)
Southeast Asian Bulletin of Mathematics (2014) 38: 471 478 Southeast Asian Bulletin of Mathematics c SEAMS. 2014 Characterization of the Linear Groups PSL(2, p) Alireza Khalili Asboei Department of Mathematics,
More informationChief factors. Jack Schmidt. University of Kentucky
Chief factors Jack Schmidt University of Kentucky 2008-03-05 Chief factors allow a group to be studied by its representation theory on particularly natural irreducible modules. Outline What is a chief
More informationPart II. Number Theory. Year
Part II Year 2017 2016 2015 2014 2013 2012 2011 2010 2009 2008 2007 2006 2005 2017 Paper 3, Section I 1G 70 Explain what is meant by an Euler pseudoprime and a strong pseudoprime. Show that 65 is an Euler
More informationINTRODUCTION MATHIEU GROUPS. Lecture 5: Sporadic simple groups. Sporadic simple groups. Robert A. Wilson. LTCC, 10th November 2008
Lecture 5: Sporadic simple groups Robert A. Wilson INTRODUCTION Queen Mary, University of London LTCC, 0th November 2008 Sporadic simple groups The 26 sporadic simple groups may be roughly divided into
More informationComputer construction of the Monster
Computer construction of the Monster Stephen Linton (Department of Computer Science, University of St. Andrews) Richard Parker (UK Online Ltd, Shepton Mallet) Peter Walsh and Robert Wilson (School of Mathematics
More informationPROBLEMS FROM GROUP THEORY
PROBLEMS FROM GROUP THEORY Page 1 of 12 In the problems below, G, H, K, and N generally denote groups. We use p to stand for a positive prime integer. Aut( G ) denotes the group of automorphisms of G.
More informationCharacters and triangle generation of the simple Mathieu group M 11
SEMESTER PROJECT Characters and triangle generation of the simple Mathieu group M 11 Under the supervision of Prof. Donna Testerman Dr. Claude Marion Student: Mikaël Cavallin September 11, 2010 Contents
More informationGroups whose elements are not conjugate to their powers
Groups whose elements are not conjugate to their powers Andreas Bächle and Benjamin Sambale December 28, 2017 Abstract We call a finite group irrational if none of its elements is conjugate to a distinct
More informationTRANSITIVE PERMUTATION GROUPS IN WHICH ALL DERANGEMENTS ARE INVOLUTIONS
TRANSITIVE PERMUTATION GROUPS IN WHICH ALL DERANGEMENTS ARE INVOLUTIONS I. M. Isaacs Department of Mathematics, University of Wisconsin Madison, WI 53706 USA e-mail: isaacs@math.wisc.edu Thomas Michael
More informationSchool of Mathematics and Statistics. MT5824 Topics in Groups. Problem Sheet I: Revision and Re-Activation
MRQ 2009 School of Mathematics and Statistics MT5824 Topics in Groups Problem Sheet I: Revision and Re-Activation 1. Let H and K be subgroups of a group G. Define HK = {hk h H, k K }. (a) Show that HK
More informationVARIATIONS ON THE BAER SUZUKI THEOREM. 1. Introduction
VARIATIONS ON THE BAER SUZUKI THEOREM ROBERT GURALNICK AND GUNTER MALLE Dedicated to Bernd Fischer on the occasion of his 75th birthday Abstract. The Baer Suzuki theorem says that if p is a prime, x is
More informationMonomial modular representations and symmetric generation of the Harada Norton group
Monomial modular representations and symmetric generation of the Harada Norton group John N. Bray and Robert T. Curtis, School of Mathematics and Statistics, University of Birmingham, Edgbaston, Birmingham
More informationSOME DESIGNS AND CODES FROM L 2 (q) Communicated by Alireza Abdollahi
Transactions on Combinatorics ISSN (print): 2251-8657, ISSN (on-line): 2251-8665 Vol. 3 No. 1 (2014), pp. 15-28. c 2014 University of Isfahan www.combinatorics.ir www.ui.ac.ir SOME DESIGNS AND CODES FROM
More informationTHE BRAUER CHARACTERS OF THE SPORADIC SIMPLE HARADA-NORTON GROUP AND ITS AUTOMORPHISM GROUP IN CHARACTERISTICS 2 AND 3
THE BRAUER CHARACTERS OF THE SPORADIC SIMPLE HARADA-NORTON GROUP AND ITS AUTOMORPHISM GROUP IN CHARACTERISTICS 2 AND 3 GERHARD HISS, JÜRGEN MÜLLER, FELIX NOESKE, AND JON THACKRAY Dedicated to the memory
More informationA note on some properties of the least common multiple of conjugacy class sizes
Proceeding of ICA 2010 pp. xx xx. A note on some properties of the least common multiple of conjugacy class sizes Alan Camina 1 & Rachel Camina 2 1 School of Mathematics, University of East Anglia, Norwich,
More informationCHARACTER DEGREE SUMS IN FINITE NONSOLVABLE GROUPS
CHARACTER DEGREE SUMS IN FINITE NONSOLVABLE GROUPS KAY MAGAARD AND HUNG P. TONG-VIET Abstract. Let N be a minimal normal nonabelian subgroup of a finite group G. We will show that there exists a nontrivial
More informationCombinatorial Method in the Coset Enumeration. of Symmetrically Generated Groups II: Monomial Modular Representations
International Journal of Algebra, Vol. 1, 2007, no. 11, 505-518 Combinatorial Method in the Coset Enumeration of Symmetrically Generated Groups II: Monomial Modular Representations Mohamed Sayed Department
More informationEVOLVING GROUPS. Mima Stanojkovski. Università degli Studi di Padova Universiteit Leiden July Master thesis supervised by
EVOLVING GROUPS Mima Stanojkovski Università degli Studi di Padova Universiteit Leiden 7-8-9 July 2013 Master thesis supervised by Prof. Dr. Hendrik W. Lenstra Jr. Definition of an evolving group Let G
More informationCONJECTURES ON CHARACTER DEGREES FOR THE SIMPLE THOMPSON GROUP
Uno, K. Osaka J. Math. 41 (2004), 11 36 CONJECTURES ON CHARACTER DEGREES FOR THE SIMPLE THOMPSON GROUP Dedicated to Professor Yukio Tsushima on his sixtieth birthday KATSUHIRO UNO 1. Introduction (Received
More informationALGEBRA I (LECTURE NOTES 2017/2018) LECTURE 9 - CYCLIC GROUPS AND EULER S FUNCTION
ALGEBRA I (LECTURE NOTES 2017/2018) LECTURE 9 - CYCLIC GROUPS AND EULER S FUNCTION PAVEL RŮŽIČKA 9.1. Congruence modulo n. Let us have a closer look at a particular example of a congruence relation on
More informationTC10 / 3. Finite fields S. Xambó
TC10 / 3. Finite fields S. Xambó The ring Construction of finite fields The Frobenius automorphism Splitting field of a polynomial Structure of the multiplicative group of a finite field Structure of the
More informationMath 210A: Algebra, Homework 5
Math 210A: Algebra, Homework 5 Ian Coley November 5, 2013 Problem 1. Prove that two elements σ and τ in S n are conjugate if and only if type σ = type τ. Suppose first that σ and τ are cycles. Suppose
More informationON A GROUP OF THE FORM 3 7 :Sp(6, 2) Communicated by Mohammad Reza Darafsheh
International Journal of Group Theory ISSN (print): 51-7650, ISSN (on-line): 51-7669 Vol 5 No (016), pp 41-59 c 016 University of Isfahan wwwtheoryofgroupsir wwwuiacir ON A GROUP OF THE FORM 3 7 :Sp(6,
More informationGroups Subgroups Normal subgroups Quotient groups Homomorphisms Cyclic groups Permutation groups Cayley s theorem Class equations Sylow theorems
Group Theory Groups Subgroups Normal subgroups Quotient groups Homomorphisms Cyclic groups Permutation groups Cayley s theorem Class equations Sylow theorems Groups Definition : A non-empty set ( G,*)
More informationProceedings of the 9th WSEAS International Conference on Applied Mathematics, Istanbul, Turkey, May 27-29, 2006 (pp )
(2, 3, t)-generations for the Tits simple group 2 F 4 (2) MOHAMMED ALI FAYA IBRAHIM King Khalid University Department of Mathematics P.O. Box 9004, Abha SAUDI ARABIA m FARYAD ALI King Khalid University
More informationD-MATH Algebra II FS18 Prof. Marc Burger. Solution 26. Cyclotomic extensions.
D-MAH Algebra II FS18 Prof. Marc Burger Solution 26 Cyclotomic extensions. In the following, ϕ : Z 1 Z 0 is the Euler function ϕ(n = card ((Z/nZ. For each integer n 1, we consider the n-th cyclotomic polynomial
More informationRepresentation Theory
Part II Year 2018 2017 2016 2015 2014 2013 2012 2011 2010 2009 2008 2007 2006 2005 2018 Paper 1, Section II 19I 93 (a) Define the derived subgroup, G, of a finite group G. Show that if χ is a linear character
More informationRecognition of Some Symmetric Groups by the Set of the Order of Their Elements
Recognition of Some Symmetric Groups by the Set of the Order of Their Elements A. R. Moghaddamfar, M. R. Pournaki * Abstract For a finite group G, let π e (G) be the set of order of elements in G and denote
More informationArc-transitive pentavalent graphs of order 4pq
Arc-transitive pentavalent graphs of order 4pq Jiangmin Pan Bengong Lou Cuifeng Liu School of Mathematics and Statistics Yunnan University Kunming, Yunnan, 650031, P.R. China Submitted: May 22, 2012; Accepted:
More informationGroups that are pairwise nilpotent
Groups that are pairwise nilpotent Gérard Endimioni C.M.I, Université de Provence, UMR-CNRS 6632 39, rue F. Joliot-Curie, 13453 Marseille Cedex 13, France E-mail: endimion@gyptis.univ-mrs.fr Gunnar Traustason
More informationAlgebraic Structures Exam File Fall 2013 Exam #1
Algebraic Structures Exam File Fall 2013 Exam #1 1.) Find all four solutions to the equation x 4 + 16 = 0. Give your answers as complex numbers in standard form, a + bi. 2.) Do the following. a.) Write
More informationConway s group and octonions
Conway s group and octonions Robert A. Wilson School of Mathematical Sciences, Queen Mary, University of London, Mile End Road, London E 4NS Submitted 7th March 009 Abstract We give a description of the
More informationTHE TRANSITIVE AND CO TRANSITIVE BLOCKING SETS IN P 2 (F q )
Volume 3, Number 1, Pages 47 51 ISSN 1715-0868 THE TRANSITIVE AND CO TRANSITIVE BLOCKING SETS IN P 2 (F q ) ANTONIO COSSIDENTE AND MARIALUISA J. DE RESMINI Dedicated to the centenary of the birth of Ferenc
More informationFIELD THEORY. Contents
FIELD THEORY MATH 552 Contents 1. Algebraic Extensions 1 1.1. Finite and Algebraic Extensions 1 1.2. Algebraic Closure 5 1.3. Splitting Fields 7 1.4. Separable Extensions 8 1.5. Inseparable Extensions
More informationDefinition List Modern Algebra, Fall 2011 Anders O.F. Hendrickson
Definition List Modern Algebra, Fall 2011 Anders O.F. Hendrickson On almost every Friday of the semester, we will have a brief quiz to make sure you have memorized the definitions encountered in our studies.
More informationBalanced subgroups of the multiplicative group
Balanced subgroups of the multiplicative group Carl Pomerance, Dartmouth College Hanover, New Hampshire, USA Based on joint work with D. Ulmer To motivate the topic, let s begin with elliptic curves. If
More informationFinite groups determined by an inequality of the orders of their elements
Publ. Math. Debrecen 80/3-4 (2012), 457 463 DOI: 10.5486/PMD.2012.5168 Finite groups determined by an inequality of the orders of their elements By MARIUS TĂRNĂUCEANU (Iaşi) Abstract. In this note we introduce
More informationRecognising nilpotent groups
Recognising nilpotent groups A. R. Camina and R. D. Camina School of Mathematics, University of East Anglia, Norwich, NR4 7TJ, UK; a.camina@uea.ac.uk Fitzwilliam College, Cambridge, CB3 0DG, UK; R.D.Camina@dpmms.cam.ac.uk
More informationarxiv: v2 [math.gr] 2 Feb 2011
arxiv:0912.3645v2 [math.gr] 2 Feb 2011 On minimal finite factor groups of outer automorphism groups of free groups Mattia Mecchia and Bruno P. Zimmermann Abstract We prove that, for n = 3 and 4, the minimal
More informationMath 429/581 (Advanced) Group Theory. Summary of Definitions, Examples, and Theorems by Stefan Gille
Math 429/581 (Advanced) Group Theory Summary of Definitions, Examples, and Theorems by Stefan Gille 1 2 0. Group Operations 0.1. Definition. Let G be a group and X a set. A (left) operation of G on X is
More informationKhukhro, E. I. and Shumyatsky, P. MIMS EPrint: Manchester Institute for Mathematical Sciences School of Mathematics
Nonsoluble and non-p-soluble length of finite groups Khukhro, E. I. and Shumyatsky, P. 2013 MIMS EPrint: 2013.79 Manchester Institute for Mathematical Sciences School of Mathematics The University of Manchester
More informationAlgebra SEP Solutions
Algebra SEP Solutions 17 July 2017 1. (January 2017 problem 1) For example: (a) G = Z/4Z, N = Z/2Z. More generally, G = Z/p n Z, N = Z/pZ, p any prime number, n 2. Also G = Z, N = nz for any n 2, since
More informationName: Solutions Final Exam
Instructions. Answer each of the questions on your own paper, and be sure to show your work so that partial credit can be adequately assessed. Put your name on each page of your paper. 1. [10 Points] For
More informationON THE SEMIPRIMITIVITY OF CYCLIC CODES
ON THE SEMIPRIMITIVITY OF CYCLIC CODES YVES AUBRY AND PHILIPPE LANGEVIN Abstract. We prove, without assuming the Generalized Riemann Hypothesis, but with at most one exception, that an irreducible cyclic
More informationKevin James. MTHSC 412 Section 3.4 Cyclic Groups
MTHSC 412 Section 3.4 Cyclic Groups Definition If G is a cyclic group and G =< a > then a is a generator of G. Definition If G is a cyclic group and G =< a > then a is a generator of G. Example 1 Z is
More informationAlgebra Exam Topics. Updated August 2017
Algebra Exam Topics Updated August 2017 Starting Fall 2017, the Masters Algebra Exam will have 14 questions. Of these students will answer the first 8 questions from Topics 1, 2, and 3. They then have
More informationQuasi-reducible Polynomials
Quasi-reducible Polynomials Jacques Willekens 06-Dec-2008 Abstract In this article, we investigate polynomials that are irreducible over Q, but are reducible modulo any prime number. 1 Introduction Let
More informationBASIC GROUP THEORY : G G G,
BASIC GROUP THEORY 18.904 1. Definitions Definition 1.1. A group (G, ) is a set G with a binary operation : G G G, and a unit e G, possessing the following properties. (1) Unital: for g G, we have g e
More informationGROUPS IN WHICH SYLOW SUBGROUPS AND SUBNORMAL SUBGROUPS PERMUTE
Illinois Journal of Mathematics Volume 47, Number 1/2, Spring/Summer 2003, Pages 63 69 S 0019-2082 GROUPS IN WHICH SYLOW SUBGROUPS AND SUBNORMAL SUBGROUPS PERMUTE A. BALLESTER-BOLINCHES, J. C. BEIDLEMAN,
More informationAlgebra Ph.D. Entrance Exam Fall 2009 September 3, 2009
Algebra Ph.D. Entrance Exam Fall 2009 September 3, 2009 Directions: Solve 10 of the following problems. Mark which of the problems are to be graded. Without clear indication which problems are to be graded
More informationGroups and Representations
Groups and Representations Madeleine Whybrow Imperial College London These notes are based on the course Groups and Representations taught by Prof. A.A. Ivanov at Imperial College London during the Autumn
More informationarxiv: v2 [math.gr] 3 Apr 2012
A NOTE ON GROUPS IN WHICH THE CENTRALISER OF EVERY ELEMENT OF ORDER 5 IS A 5-GROUP SARAH ASTILL, CHRIS PARKER, AND REBECCA WALDECKER arxiv:1103.3581v2 [math.gr] 3 Apr 2012 1. introduction In [1], Dolfi,
More informationList of topics for the preliminary exam in algebra
List of topics for the preliminary exam in algebra 1 Basic concepts 1. Binary relations. Reflexive, symmetric/antisymmetryc, and transitive relations. Order and equivalence relations. Equivalence classes.
More informationChapter 5. Modular arithmetic. 5.1 The modular ring
Chapter 5 Modular arithmetic 5.1 The modular ring Definition 5.1. Suppose n N and x, y Z. Then we say that x, y are equivalent modulo n, and we write x y mod n if n x y. It is evident that equivalence
More informationA SIMPLE PROOF OF BURNSIDE S CRITERION FOR ALL GROUPS OF ORDER n TO BE CYCLIC
A SIMPLE PROOF OF BURNSIDE S CRITERION FOR ALL GROUPS OF ORDER n TO BE CYCLIC SIDDHI PATHAK Abstract. This note gives a simple proof of a famous theorem of Burnside, namely, all groups of order n are cyclic
More informationB Sc MATHEMATICS ABSTRACT ALGEBRA
UNIVERSITY OF CALICUT SCHOOL OF DISTANCE EDUCATION B Sc MATHEMATICS (0 Admission Onwards) V Semester Core Course ABSTRACT ALGEBRA QUESTION BANK () Which of the following defines a binary operation on Z
More informationLecture 7 Cyclic groups and subgroups
Lecture 7 Cyclic groups and subgroups Review Types of groups we know Numbers: Z, Q, R, C, Q, R, C Matrices: (M n (F ), +), GL n (F ), where F = Q, R, or C. Modular groups: Z/nZ and (Z/nZ) Dihedral groups:
More informationSchool of Mathematics and Statistics. MT5836 Galois Theory. Handout 0: Course Information
MRQ 2017 School of Mathematics and Statistics MT5836 Galois Theory Handout 0: Course Information Lecturer: Martyn Quick, Room 326. Prerequisite: MT3505 (or MT4517) Rings & Fields Lectures: Tutorials: Mon
More informationDefinitions. Notations. Injective, Surjective and Bijective. Divides. Cartesian Product. Relations. Equivalence Relations
Page 1 Definitions Tuesday, May 8, 2018 12:23 AM Notations " " means "equals, by definition" the set of all real numbers the set of integers Denote a function from a set to a set by Denote the image of
More informationIrreducible subgroups of algebraic groups
Irreducible subgroups of algebraic groups Martin W. Liebeck Department of Mathematics Imperial College London SW7 2BZ England Donna M. Testerman Department of Mathematics University of Lausanne Switzerland
More informationRegular Cyclic Coverings of the Platonic Maps* GARETH A. JONES and DAVID B. SUROWSKI**
Regular Cyclic Coverings of the Platonic Maps* GARETH A. JONES and DAVID B. SUROWSKI** We use homological methods to describe the regular maps and hypermaps which are cyclic coverings of the Platonic maps,
More informationOn Compact Just-Non-Lie Groups
On Compact Just-Non-Lie Groups FRANCESCO RUSSO Mathematics Department of Naples, Naples, Italy E-mail:francesco.russo@dma.unina.it Abstract. A compact group is called a compact Just-Non-Lie group or a
More informationTHREE CASES AN EXAMPLE: THE ALTERNATING GROUP A 5
THREE CASES REPRESENTATIONS OF FINITE GROUPS OF LIE TYPE LECTURE II: DELIGNE-LUSZTIG THEORY AND SOME APPLICATIONS Gerhard Hiss Lehrstuhl D für Mathematik RWTH Aachen University Summer School Finite Simple
More informationPROFINITE GROUPS WITH RESTRICTED CENTRALIZERS
proceedings of the american mathematical society Volume 122, Number 4, December 1994 PROFINITE GROUPS WITH RESTRICTED CENTRALIZERS ANER SHALEV (Communicated by Ronald M. Solomon) Abstract. Let G be a profinite
More informationCSIR - Algebra Problems
CSIR - Algebra Problems N. Annamalai DST - INSPIRE Fellow (SRF) Department of Mathematics Bharathidasan University Tiruchirappalli -620024 E-mail: algebra.annamalai@gmail.com Website: https://annamalaimaths.wordpress.com
More informationTHE 2-MODULAR DECOMPOSITION MATRICES OF THE SYMMETRIC GROUPS S 15, S 16, AND S 17
THE 2-MODULAR DECOMPOSITION MATRICES OF THE SYMMETRIC GROUPS S 15, S 16, AND S 17 Abstract. In this paper the 2-modular decomposition matrices of the symmetric groups S 15, S 16, and S 17 are determined
More informationTheorems and Definitions in Group Theory
Theorems and Definitions in Group Theory Shunan Zhao Contents 1 Basics of a group 3 1.1 Basic Properties of Groups.......................... 3 1.2 Properties of Inverses............................. 3
More informationA Little Beyond: Linear Algebra
A Little Beyond: Linear Algebra Akshay Tiwary March 6, 2016 Any suggestions, questions and remarks are welcome! 1 A little extra Linear Algebra 1. Show that any set of non-zero polynomials in [x], no two
More informationON THE STRUCTURE OF PRIMITIVE n-sum GROUPS
ON THE STRUCTURE OF PRIMITIVE n-sum GROUPS ELOISA DETOMI AND ANDREA LUCCHINI Abstract. For a finite group G, let σ(g) be least cardinality of a collection of proper subgroups whose set-theoretical union
More informationPage Points Possible Points. Total 200
Instructions: 1. The point value of each exercise occurs adjacent to the problem. 2. No books or notes or calculators are allowed. Page Points Possible Points 2 20 3 20 4 18 5 18 6 24 7 18 8 24 9 20 10
More informationGroups and Symmetries
Groups and Symmetries Definition: Symmetry A symmetry of a shape is a rigid motion that takes vertices to vertices, edges to edges. Note: A rigid motion preserves angles and distances. Definition: Group
More informationExercises on chapter 1
Exercises on chapter 1 1. Let G be a group and H and K be subgroups. Let HK = {hk h H, k K}. (i) Prove that HK is a subgroup of G if and only if HK = KH. (ii) If either H or K is a normal subgroup of G
More informationA characterization of finite soluble groups by laws in two variables
A characterization of finite soluble groups by laws in two variables John N. Bray, John S. Wilson and Robert A. Wilson Abstract Define a sequence (s n ) of two-variable words in variables x, y as follows:
More informationALGEBRA 11: Galois theory
Galois extensions Exercise 11.1 (!). Consider a polynomial P (t) K[t] of degree n with coefficients in a field K that has n distinct roots in K. Prove that the ring K[t]/P of residues modulo P is isomorphic
More informationThe Major Problems in Group Representation Theory
The Major Problems in Group Representation Theory David A. Craven 18th November 2009 In group representation theory, there are many unsolved conjectures, most of which try to understand the involved relationship
More informationBOUNDEDLY GENERATED SUBGROUPS OF FINITE GROUPS
BOUNDEDLY GENERATED SUBGROUPS OF FINITE GROUPS Andrea Lucchini Università di Padova, Italy 2nd Biennial International Group Theory Conference Istanbul, February 4-8, 2013 AN (EASY?) QUESTION Assume that
More informationON THE PRIME GRAPHS OF THE AUTOMORPHISM GROUPS OF SPORADIC SIMPLE GROUPS. Behrooz Khosravi
ARCHIVUM MATHEMATICUM (BRNO) Tomus 45 (2009), 83 94 ON THE PRIME GRAPHS OF THE AUTOMORPHISM GROUPS OF SPORADIC SIMPLE GROUPS Behrooz Khosravi Abstract. In this paper as the main result, we determine finite
More informationThe 3-local cohomology of the Mathieu group M 24
The 3-local cohomology of the Mathieu group M 24 David John Green Institut für Experimentelle Mathematik Universität GHS Essen Ellernstraße 29 D 45326 Essen Germany Email: david@exp-math.uni-essen.de 11
More informationOn the generation of the coefficient field of a newform by a single Hecke eigenvalue
On the generation of the coefficient field of a newform by a single Hecke eigenvalue Koopa Tak-Lun Koo and William Stein and Gabor Wiese November 2, 27 Abstract Let f be a non-cm newform of weight k 2
More informationAlgebra Exam Fall Alexander J. Wertheim Last Updated: October 26, Groups Problem Problem Problem 3...
Algebra Exam Fall 2006 Alexander J. Wertheim Last Updated: October 26, 2017 Contents 1 Groups 2 1.1 Problem 1..................................... 2 1.2 Problem 2..................................... 2
More informationA characterisation of p-soluble groups
A characterisation of p-soluble groups Paul Flavell The School of Mathematics and Statistics The University of Birmingham Birmingham B15 2TT United Kingdom e-mail: p.j.flavell@bham.ac.uk If p is a prime
More informationTheory of Numbers Problems
Theory of Numbers Problems Antonios-Alexandros Robotis Robotis October 2018 1 First Set 1. Find values of x and y so that 71x 50y = 1. 2. Prove that if n is odd, then n 2 1 is divisible by 8. 3. Define
More informationHamburger Beiträge zur Mathematik
Hamburger Beiträge zur Mathematik Nr. 270 / April 2007 Ernst Kleinert On the Restriction and Corestriction of Algebras over Number Fields On the Restriction and Corestriction of Algebras over Number Fields
More informationSmith theory. Andrew Putman. Abstract
Smith theory Andrew Putman Abstract We discuss theorems of P. Smith and Floyd connecting the cohomology of a simplicial complex equipped with an action of a finite p-group to the cohomology of its fixed
More information