Groups with the same orders and large character degrees as PGL(2, 9) 1. Introduction and preliminary results

Save this PDF as:

Size: px
Start display at page:

Download "Groups with the same orders and large character degrees as PGL(2, 9) 1. Introduction and preliminary results"

Transcription

1 Quasigroups and Related Systems 21 (2013), Groups with the same orders and large character degrees as PGL(2, 9) Behrooz Khosravi Abstract. An interesting class of problems in character theory arises from considering how the structure of a group G and the set {χ(1) χ Irr(G)} are related. It is proved that some nite groups are uniquely determined by their character tables. Recently Xu, Chen and Yan proved that if G is a simple K 3 -group, then G is uniquely determined by its order and one or both of its largest irreducible character degrees. In this paper, we determine groups with the same order and the same largest and second largest irreducible character degrees as PGL(2, 9) and as a consequence of our result it follows that PGL(2, 9) is characterizable by the structure of its complex group algebra. 1. Introduction and preliminary results Let G be a nite group, Irr(G) be the set of irreducible characters of G, and denote by cd(g), the set of irreducible character degrees of G. An interesting class of problems in character theory arises from considering the relation between the structure of a group G and the set cd(g). Many authors were recently concerned with the following question: What can be said about the structure of a nite group G, if some information is known about the arithmetical structure of the degrees of the irreducible characters of G? We know that there are 2328 groups of order 2 7 and these groups have only 30 dierent degree patterns, and there are 538 of them with the same character degrees (see [4]). However, in the late 1990s, Bertram Huppert conjectured that each nite nonabelian simple group G is essentially determined by cd(g), and he posed the following conjecture: Conjecture. Let H be a nonabelian simple group and G be a nite group such that cd(g) = cd(h). Then G = H A, where A is an abelian group. In [1, 4, 5, 8, 9, 10, 11, 12, 13] it is proved that this conjecture holds for some simple groups Mathematics Subject Classication: 20C15, 20D05, 20D60 Keywords: Character degrees, character table, almost simple group, order, projective general linear group. This research was in part supported by a grant from IPM (No ).

2 240 B. Khosravi Later in [2] it is proved that all nite simple groups can be uniquely determined by their character tables. A nite group G is called a K 3 -group if G has exactly three distinct prime divisors. Recently Chen et. al. in [14] characterized all simple K 3 -groups by less information and they proved that these groups are uniquely determined by their orders and one or both of its largest and second largest irreducible character degrees. Also in [15] groups with the same order, largest and second largest irreducible character degrees as an automorphism group of a K 3 simple group are determined. It is proved that A 5, L 2 (7), L 2 (17), L 3 (3) and U 4 (2) can be uniquely determined by their orders and the largest degrees of their irreducible characters. Also it is proved that A 6 is characterized by its order and the second largest degree of its irreducible characters. Finally it is proved that L 2 (8) and U 3 (3) are characterizable by their orders and the largest and the second largest degrees of their irreducible characters. In this paper we determine all nite simple groups with the same order, the largest and the second largest degrees of their irreducible characters as PGL(2, 9). As a consequence of our results, it follows that PGL(2, 9) is uniquely determined by the structure of its complex group algebra. Throughout the paper, for a nite group G we denote by χ, the irreducible character with the largest irreducible character degree, and by β, the irreducible character with the second largest irreducible character degree. Specially we used the notations of [3]. For a prime number p, we denote by n p (G), the number of Sylow p-subgroups of G. All other notations are standard and again we refer to [3]. Lemma 1. [14, Lemma] Let G be a nonsolvable group. Then G has a normal series 1 H K G such that K/H is a direct product of isomorphic nonabelian simple groups and G/K Out(K/H). 2. Main Results Theorem 1. Let G be a nite group such that G = PGL(2, 9) = , χ(1) = 10 and β(1) = 9. Then G = PGL(2, 9), G = Z 2 A 6 or 2 A 6. Proof. First we prove that G is a nonsolvable group. Let G be a solvable group. If Q = O 5 (G) 1, then Q = 5 and by Ito's theorem we have 10 = χ(1) G : Q, which is a contradiction. Therefore O 5 (G) = 1. Also if P = O 3 (G) 1, then P = 3 or P = 9. Since in each case P is abelian, again by Ito's theorem we get that 9 = β(1) G : P, which is impossible. Therefore O 3 (G) = 1 and since G is a solvable group we conclude that O 2 (G) 1. Now let M be the normal minimal subgroup of G. Then M is a 2-elementary abelian subgroup of G. Therefore O 2 (G) = 2 α, where 1 α 4. If M = 2 4, then since M is abelian, by Ito's theorem we get 10 = χ(1) G:M, which is a contradiction.

3 Groups with the same orders and large character degrees as PGL(2, 9) 241 If M = 2 α, where α = 2 or 3, then G/M = 2 4 α Let S/M be a Hall subgroup of G/M of order Then G/M : S/M = 2 4 α 4. Therefore if T/M = Core G/M (S/M), then G/M : T/M S 4, which implies that 15 T/M, since 3 2 S 4. Also T/M S/M = Therefore T/M = or T/M = 15. Let Q/M Syl 5 (T/M). Then Q/M ch T/M G/M, which implies that Q G, where Q = 2 α 5 and 2 α 3. Let P Syl 5 (Q). Then P Q and so P G, which implies that O 5 (G) 1, a contradiction. Hence M = 2. Let H be a Hall subgroup of G of order Then G : H = 5 and so G/H G S 5. Also G/H G is a solvable group and we know that the orders of solvable subgroups of S 5 which is divisible by 5 are 5, 10 or 20. So we conclude that H G = , or Consider θ Irr(H G ) such that [β HG, θ] 0. Then 9 θ(1) = β(1) θ(1) G : H G, implies that 9 θ(1). Therefore 81 = θ(1) 2 H G H, and so the only possibility is H G = H = Hence H G and M H. Also H/M = Then n 3 (H/M) = 1 or 4. Let Q/M Syl 3 (H/M). If n 3 (H/M) = 1, then Q/M ch H/M G/M and so Q G and Q = 18. Now if P is the Sylow 3-subgroup of Q, then P G and so O 3 (G) 1, a contradiction. Therefore n 3 (H/M) = 4. Let R/M = N H/M (Q/M). Then H/M : R/M = 4 and so R/M = 18. Also Q/M R/M H/M. Let T/M = Core H/M (R/M). Then (H/M)/(T/M) S 4 and since 3 2 S 4, it follows that 3 T/M. Let L/M Syl 3 (T/M). Since T/M R/M = 18, we conclude that L/M ch T/M H/M and so L/M H/M. Therefore O 3 (H/M) 1 and since n 3 (H/M) = 4, we get that O 3 (H/M) = 3 and so O 3 (H/M) = L/M ch H/M, which implies that L G. Now if P Syl 3 (L), then L = 2 P and so P G, which implies that O 3 (G) 1, a contradiction. Therefore G is not a solvable group. Now using Lemma 1 we get that G has a normal series 1 H K G such that K/H is a direct product of isomorphic nonabelian simple groups and G/K Out(K/H). By the classication of nite simple groups we get that K/H = A 5 or A 6. Case 1. Let K/H = A 5. Then G/K 2 and so H = 2 α 3, where α = 1 or α = 2. For H = 6, there exists θ Irr(H) such that [β H, θ] 0. Then we have 9/θ(1) G : H, which implies that θ(1) = 3. Hence 9 = θ(1) 2 < H = 6, a contradiction. Therefore H = 12 and G/K = 1. Similarly to the above we conclude that there exists θ Irr(H) such that θ(1) = 3. Now H = 12, implies that H has three linear character and Irr(H) = 4. Let Q be a Sylow 3-subgroup of H. Then n 3 (H) = 1 or 4. If n 3 (H) = 1, then Q H and so there exists ϕ Irr(Q) such that [θ Q, ϕ] 0. Hence 3 = θ(1) H : Q = 4, which is impossible. Therefore n 3 (H) = 4 and since H acts on its four Sylow 3-subgroups by conjugation, it follows that H S 4 and so H = A 4.

4 242 B. Khosravi On the other hand, there exists ψ Irr(H) such that e = [χ H, ψ] 0. Since 10/ψ(1) = χ(1)/ψ(1) G : H, it follows that ψ is a linear character of H. Therefore 10 = χ(1) = etψ(1) = et, where t = G : I G (ψ). We know that C G (H) I G (ψ) and so t Aut(H) = 24. Then t = 1 or t = 2. If t = 1, then e = 10 and so [χ H, χ H ] = e 2 t = 100 > G : H = 60, which is a contradiction. Therefore t = 2 and e = 5. Now t = G : I G (ψ) = 2 and since H I G (ψ), it follows that I G (ψ)/h is a normal subgroup of G/H = A 5 such that G/H : I G (ψ)/h = 2, which is a contradiction since A 5 is a simple group. Therefore G/H = A5. Case 2. Let K/H = A 6. Then G/K = 2 or H = 2. If G/K = 2, then G = A = S6, A = PGL(2, 9) or A Now using [3] we can see that S 6 and A have irreducible characters of degree 16. If H = 2, then since the Schur multiplier of A 6 is 6, we get that G = A 6 Z 2 or 2 A 6. Now using [3] we can see that these groups have order 120 and the same χ(1) and β(1) as PGL(2, 9). The degree pattern of G, which is denoted by X 1 (G) is the set of all irreducible complex character degrees of G counting multiplicities. We note that X 1 (G) is the rst column of the ordinary character table of G. As a consequence of these results we get the following result: Corollary 1. Let G be a nite group such that X 1 (G) = X 1 (PGL(2, 9)). Then G = PGL(2, 9). The following result is an answer to the question arose in [7]. Corollary 2. Let H = PGL(2, 9). If G is a group such that CG = CH, then G = PGL(2, 9). Thus PGL(2, 9) is uniquely determined by the structure of its complex group algebra. Acknowledgements. The author would like to thank the Institute for Research in Fundamental Sciences (IPM) for the nancial support. References [1] S. H. Alavi, A. Daneshkhah, H. P. Tong-Viet and T. P. Wakeeld, Huppert's conjecture for F i 23, Rend. Sem. Mat. Univ. Padova 126 (2011), [2] G. Y. Chen, A new characterization of nite simple groups, Chinese Science Bulletin 40 (1995), [3] J. H. Conway, R. T. Curtis, S. P. Norton, R. A. Parker and R. A. Wilson, Atlas of nite groups, Oxford University Press, Oxford [4] B. Huppert, Some simple groups which are determined by the set of their character degrees (I), Illinois J. Math. 44 (2000),

5 Groups with the same orders and large character degrees as PGL(2, 9) 243 [5] B. Huppert, Some simple groups which are determined by the set of their character degrees (II), Rend. Sem. Mat. Univ. Padova 115 (2006), [6] I. M. Isaacs, Character theory of nite groups, Academic Press, New York, [7] H. P. Tong-Viet, Simple classical groups of Lie type are determined by their character degrees, J. Algebra 357 (2012), [8] H. P. Tong-Viet and T. P. Wakeeld, On Huppert's conjecture for F 4(2), Int. J. Group Theory 1 (2012), 1 9. [9] H. P. Tong-Viet and T. P. Wakeeld, On Huppert's conjecture for G 2(q), q > 7, J. Pure Appl. Algebra 216 (2012), [10] H. P. Tong-Viet and T. P. Wakeeld, On Huppert's conjecture for the monster and Baby Monster, Monatsh. Math. to appear. [11] T. Wakeeld, Verifying Huppert's conjecture for P SL 3(q) and P SU 3(q 2 ), Comm. Algebra 37 (2009), [12] T. Wakeeld, Verifying Huppert's conjecture for 2 G 2(q), Algebr. Represent. Theory 14 (2011), [13] T. Wakeeld, Verifying Huppert's conjecture for P Sp 4(q) when q > 7, Algebr. Represent. Theory 15 (2012), [14] H. Xu, G. Y. Chen and Y. Yan, A new characterization of simple K 3-groups by their orders and large degrees of their irreducible characters, Comm. Algebra, to appear. [15] Y. Yan, Ph. D. Thesis of SWU, Received April 23, 2013 Revised June 8, School of Mathematics, Institute for Research in Fundamental Sciences (IPM) P.O.Box: , Tehran, Iran 2 Department of Pure Mathematics, Faculty of Mathematics and Computer Science, Amirkabir University of Technology (Tehran Polytechnic) 424, Hafez Ave., Tehran 15914, Iran

FINITE NONSOLVABLE GROUPS WITH MANY DISTINCT CHARACTER DEGREES

FINITE NONSOLVABLE GROUPS WITH MANY DISTINCT CHARACTER DEGREES HUNG P. TONG-VIET Abstract. Let G be a finite group and let Irr(G) denote the set of all complex irreducible characters of G. Let cd(g) be

THE AVERAGE DEGREE OF AN IRREDUCIBLE CHARACTER OF A FINITE GROUP

THE AVERAGE DEGREE OF AN IRREDUCIBLE CHARACTER OF A FINITE GROUP by I. M. Isaacs Mathematics Department University of Wisconsin 480 Lincoln Dr. Madison, WI 53706 USA E-Mail: isaacs@math.wisc.edu Maria

PRIME DIVISORS OF IRREDUCIBLE CHARACTER DEGREES

PRIME DIVISORS OF IRREDUCIBLE CHARACTER DEGREES HUNG P. TONG-VIET Abstract. Let G be a finite group. We denote by ρ(g) the set of primes which divide some character degrees of G and by σ(g) the largest

ON GENERALIZED RELATIVE COMMUTATIVITY DEGREE OF A FINITE GROUP. A. K. Das and R. K. Nath

International Electronic Journal of Algebra Volume 7 (2010) 140-151 ON GENERALIZED RELATIVE COMMUTATIVITY DEGREE OF A FINITE GROUP A. K. Das and R. K. Nath Received: 12 October 2009; Revised: 15 December

COMMUTATIVITY DEGREE, ITS GENERALIZATIONS, AND CLASSIFICATION OF FINITE GROUPS

COMMUTATIVITY DEGREE, ITS GENERALIZATIONS, AND CLASSIFICATION OF FINITE GROUPS ABSTRACT RAJAT KANTI NATH DEPARTMENT OF MATHEMATICS NORTH-EASTERN HILL UNIVERSITY SHILLONG 793022, INDIA COMMUTATIVITY DEGREE,

GROUPS WITH TWO EXTREME CHARACTER DEGREES AND THEIR NORMAL SUBGROUPS

GROUPS WITH TWO EXTREME CHARACTER DEGREES AND THEIR NORMAL SUBGROUPS GUSTAVO A. FERNÁNDEZ-ALCOBER AND ALEXANDER MORETÓ Abstract. We study the finite groups G for which the set cd(g) of irreducible complex

CONSEQUENCES OF THE SYLOW THEOREMS

CONSEQUENCES OF THE SYLOW THEOREMS KEITH CONRAD For a group theorist, Sylow s Theorem is such a basic tool, and so fundamental, that it is used almost without thinking, like breathing. Geoff Robinson 1.

A NOTE ON TRIVIAL FIBRATIONS

A NOTE ON TRIVIAL FIBRATIONS Petar Pavešić Fakulteta za Matematiko in Fiziko, Univerza v Ljubljani, Jadranska 19, 1111 Ljubljana, Slovenija petar.pavesic@fmf.uni-lj.si Abstract We study the conditions

Group Theory. Contents

Group Theory Contents Chapter 1: Review... 2 Chapter 2: Permutation Groups and Group Actions... 3 Orbits and Transitivity... 6 Specific Actions The Right regular and coset actions... 8 The Conjugation

G = G 0 > G 1 > > G k = {e}

Proposition 49. 1. A group G is nilpotent if and only if G appears as an element of its upper central series. 2. If G is nilpotent, then the upper central series and the lower central series have the same

ON GALOIS REALIZATIONS OF THE 2-COVERABLE SYMMETRIC AND ALTERNATING GROUPS

ON GALOIS REALIZATIONS OF THE 2-COVERABLE SYMMETRIC AND ALTERNATING GROUPS DANIEL RABAYEV AND JACK SONN Abstract. Let f(x) be a monic polynomial in Z[x] with no rational roots but with roots in Q p for

COMMUTATIVITY DEGREES OF WREATH PRODUCTS OF FINITE ABELIAN GROUPS

Bull Austral Math Soc 77 (2008), 31 36 doi: 101017/S0004972708000038 COMMUTATIVITY DEGREES OF WREATH PRODUCTS OF FINITE ABELIAN GROUPS IGOR V EROVENKO and B SURY (Received 12 April 2007) Abstract We compute

Prime power degree representations of the symmetric and alternating groups

Prime power degree representations of the symmetric and alternating groups Antal Balog, Christine Bessenrodt, Jørn B. Olsson, Ken Ono Appearing in the Journal of the London Mathematical Society 1 Introduction

A DETERMINATION OF ALL NORMAL DIVISION ALGEBRAS OVER AN ALGEBRAIC NUMBER FIELD*

A DETERMINATION OF ALL NORMAL DIVISION ALGEBRAS OVER AN ALGEBRAIC NUMBER FIELD* BY A. ADRIAN ALBERT AND HELMUT HASSE t 1. Introduction. The principal problem in the theory of linear algebras is that of

Groups of Prime Power Order

de Gruyter Expositions in Mathematics 56 Groups of Prime Power Order Volume 3 Bearbeitet von Yakov Berkovich, Zvonimir Janko 1. Auflage 2011. Buch. XXV, 639 S. Hardcover ISBN 978 3 11 020717 0 Format (B

CRITICAL ALGEBRAS AND THE FRATTINI CONGRUENCE. Emil W. Kiss and Samuel M. Vovsi

CRITICAL ALGEBRAS AND THE FRATTINI CONGRUENCE Emil W. Kiss and Samuel M. Vovsi Abstract. In this note we show that if two critical algebras generate the same congruencepermutable variety, then the varieties

The Markov-Zariski topology of an infinite group

Mimar Sinan Güzel Sanatlar Üniversitesi Istanbul January 23, 2014 joint work with Daniele Toller and Dmitri Shakhmatov 1. Markov s problem 1 and 2 2. The three topologies on an infinite group 3. Problem

The Structure of Galois Algebras

The Structure of Galois Algebras George Szeto Department of Mathematics, Bradley University Peoria, Illinois 61625 { U.S.A. Email: szeto@hilltop.bradley.edu and Lianyong Xue Department of Mathematics,

Some Polynomial Theorems. John Kennedy Mathematics Department Santa Monica College 1900 Pico Blvd. Santa Monica, CA 90405 rkennedy@ix.netcom.

Some Polynomial Theorems by John Kennedy Mathematics Department Santa Monica College 1900 Pico Blvd. Santa Monica, CA 90405 rkennedy@ix.netcom.com This paper contains a collection of 31 theorems, lemmas,

COMMUTATIVITY DEGREES OF WREATH PRODUCTS OF FINITE ABELIAN GROUPS

COMMUTATIVITY DEGREES OF WREATH PRODUCTS OF FINITE ABELIAN GROUPS IGOR V. EROVENKO AND B. SURY ABSTRACT. We compute commutativity degrees of wreath products A B of finite abelian groups A and B. When B

GREATEST COMMON DIVISOR

DEFINITION: GREATEST COMMON DIVISOR The greatest common divisor (gcd) of a and b, denoted by (a, b), is the largest common divisor of integers a and b. THEOREM: If a and b are nonzero integers, then their

Complexity problems over algebraic structures

Complexity problems over algebraic structures Theses of PhD dissertation Created by: Horváth Gábor Mathematical Doctoral School Theor. Mathematical Doctoral Program Dir. of School: Dr. Laczkovich Miklós

some algebra prelim solutions

some algebra prelim solutions David Morawski August 19, 2012 Problem (Spring 2008, #5). Show that f(x) = x p x + a is irreducible over F p whenever a F p is not zero. Proof. First, note that f(x) has no

FACTORING CERTAIN INFINITE ABELIAN GROUPS BY DISTORTED CYCLIC SUBSETS

International Electronic Journal of Algebra Volume 6 (2009) 95-106 FACTORING CERTAIN INFINITE ABELIAN GROUPS BY DISTORTED CYCLIC SUBSETS Sándor Szabó Received: 11 November 2008; Revised: 13 March 2009

Sign changes of Hecke eigenvalues of Siegel cusp forms of degree 2

Sign changes of Hecke eigenvalues of Siegel cusp forms of degree 2 Ameya Pitale, Ralf Schmidt 2 Abstract Let µ(n), n > 0, be the sequence of Hecke eigenvalues of a cuspidal Siegel eigenform F of degree

Homological Algebra Workshop 02-03-15/06-03-15

Homological Algebra Workshop 02-03-15/06-03-15 Monday: Tuesday: 9:45 10:00 Registration 10:00 11:15 Conchita Martínez (I) 10:00 11:15 Conchita Martínez (II) 11:15 11:45 Coffee Break 11:15 11:45 Coffee

Mathematics Course 111: Algebra I Part IV: Vector Spaces

Mathematics Course 111: Algebra I Part IV: Vector Spaces D. R. Wilkins Academic Year 1996-7 9 Vector Spaces A vector space over some field K is an algebraic structure consisting of a set V on which are

Prime Numbers and Irreducible Polynomials

Prime Numbers and Irreducible Polynomials M. Ram Murty The similarity between prime numbers and irreducible polynomials has been a dominant theme in the development of number theory and algebraic geometry.

SHARP BOUNDS FOR THE SUM OF THE SQUARES OF THE DEGREES OF A GRAPH

31 Kragujevac J. Math. 25 (2003) 31 49. SHARP BOUNDS FOR THE SUM OF THE SQUARES OF THE DEGREES OF A GRAPH Kinkar Ch. Das Department of Mathematics, Indian Institute of Technology, Kharagpur 721302, W.B.,

Invertible elements in associates and semigroups. 1

Quasigroups and Related Systems 5 (1998), 53 68 Invertible elements in associates and semigroups. 1 Fedir Sokhatsky Abstract Some invertibility criteria of an element in associates, in particular in n-ary

Handout #1: Mathematical Reasoning

Math 101 Rumbos Spring 2010 1 Handout #1: Mathematical Reasoning 1 Propositional Logic A proposition is a mathematical statement that it is either true or false; that is, a statement whose certainty or

21 Homomorphisms and Normal Subgroups

Arkansas Tech University MATH 4033: Elementary Modern Algebra Dr. Marcel B. Finan 21 Homomorphisms and Normal Subgroups Recall that an isomorphism is a function θ : G H such that θ is one-to-one, onto

Elements of Abstract Group Theory

Chapter 2 Elements of Abstract Group Theory Mathematics is a game played according to certain simple rules with meaningless marks on paper. David Hilbert The importance of symmetry in physics, and for

I. GROUPS: BASIC DEFINITIONS AND EXAMPLES

I GROUPS: BASIC DEFINITIONS AND EXAMPLES Definition 1: An operation on a set G is a function : G G G Definition 2: A group is a set G which is equipped with an operation and a special element e G, called

Study of Some Properties of Squares of Whole Numbers

Study of Some Properties of Squares of Whole Numbers Rupam Goswami Research Scholar Department of Electronics and Communication Engineering National Institute of Technology Silchar, Silchar, India Pijus

Galois representations with open image

Galois representations with open image Ralph Greenberg University of Washington Seattle, Washington, USA May 7th, 2011 Introduction This talk will be about representations of the absolute Galois group

A REMARK ON ALMOST MOORE DIGRAPHS OF DEGREE THREE. 1. Introduction and Preliminaries

Acta Math. Univ. Comenianae Vol. LXVI, 2(1997), pp. 285 291 285 A REMARK ON ALMOST MOORE DIGRAPHS OF DEGREE THREE E. T. BASKORO, M. MILLER and J. ŠIRÁŇ Abstract. It is well known that Moore digraphs do

On the representability of the bi-uniform matroid

On the representability of the bi-uniform matroid Simeon Ball, Carles Padró, Zsuzsa Weiner and Chaoping Xing August 3, 2012 Abstract Every bi-uniform matroid is representable over all sufficiently large

Applications of Fermat s Little Theorem and Congruences

Applications of Fermat s Little Theorem and Congruences Definition: Let m be a positive integer. Then integers a and b are congruent modulo m, denoted by a b mod m, if m (a b). Example: 3 1 mod 2, 6 4

SUBGROUPS OF CYCLIC GROUPS. 1. Introduction In a group G, we denote the (cyclic) group of powers of some g G by

SUBGROUPS OF CYCLIC GROUPS KEITH CONRAD 1. Introduction In a group G, we denote the (cyclic) group of powers of some g G by g = {g k : k Z}. If G = g, then G itself is cyclic, with g as a generator. Examples

Module MA3411: Abstract Algebra Galois Theory Appendix Michaelmas Term 2013

Module MA3411: Abstract Algebra Galois Theory Appendix Michaelmas Term 2013 D. R. Wilkins Copyright c David R. Wilkins 1997 2013 Contents A Cyclotomic Polynomials 79 A.1 Minimum Polynomials of Roots of

F. ABTAHI and M. ZARRIN. (Communicated by J. Goldstein)

Journal of Algerian Mathematical Society Vol. 1, pp. 1 6 1 CONCERNING THE l p -CONJECTURE FOR DISCRETE SEMIGROUPS F. ABTAHI and M. ZARRIN (Communicated by J. Goldstein) Abstract. For 2 < p

Galois Theory III. 3.1. Splitting fields.

Galois Theory III. 3.1. Splitting fields. We know how to construct a field extension L of a given field K where a given irreducible polynomial P (X) K[X] has a root. We need a field extension of K where

ALGEBRA HW 5 CLAY SHONKWILER

ALGEBRA HW 5 CLAY SHONKWILER 510.5 Let F = Q(i). Prove that x 3 and x 3 3 are irreducible over F. Proof. If x 3 is reducible over F then, since it is a polynomial of degree 3, it must reduce into a product

Nilpotent Lie and Leibniz Algebras

This article was downloaded by: [North Carolina State University] On: 03 March 2014, At: 08:05 Publisher: Taylor & Francis Informa Ltd Registered in England and Wales Registered Number: 1072954 Registered

Cyclotomic Extensions

Chapter 7 Cyclotomic Extensions A cyclotomic extension Q(ζ n ) of the rationals is formed by adjoining a primitive n th root of unity ζ n. In this chapter, we will find an integral basis and calculate

Assignment 8: Selected Solutions

Section 4.1 Assignment 8: Selected Solutions 1. and 2. Express each permutation as a product of disjoint cycles, and identify their parity. (1) (1,9,2,3)(1,9,6,5)(1,4,8,7)=(1,4,8,7,2,3)(5,9,6), odd; (2)

Chapter 1 A Pri Characterization of T m e Pairs w in Proceedings NCUR V. (1991), Vol. I, pp. 362{366. Jerey F. Gold Department of Mathematics, Department of Physics University of Utah DonH.Tucker Department

4. FIRST STEPS IN THE THEORY 4.1. A

4. FIRST STEPS IN THE THEORY 4.1. A Catalogue of All Groups: The Impossible Dream The fundamental problem of group theory is to systematically explore the landscape and to chart what lies out there. We

Continued Fractions and the Euclidean Algorithm

Continued Fractions and the Euclidean Algorithm Lecture notes prepared for MATH 326, Spring 997 Department of Mathematics and Statistics University at Albany William F Hammond Table of Contents Introduction

Alexander Hulpke Department of Mathematics Colorado State University Fort Collins, CO, 80523, USA http://www.math.colostate.

Finding Subgroups Alexander Hulpke Department of Mathematics Colorado State University Fort Collins, CO, 80523, USA http://www.math.colostate.edu/~hulpke I A Popular Problem Given a finite (permutation,

U.C. Berkeley CS276: Cryptography Handout 0.1 Luca Trevisan January, 2009. Notes on Algebra

U.C. Berkeley CS276: Cryptography Handout 0.1 Luca Trevisan January, 2009 Notes on Algebra These notes contain as little theory as possible, and most results are stated without proof. Any introductory

Chapter 4, Arithmetic in F [x] Polynomial arithmetic and the division algorithm.

Chapter 4, Arithmetic in F [x] Polynomial arithmetic and the division algorithm. We begin by defining the ring of polynomials with coefficients in a ring R. After some preliminary results, we specialize

The Chebotarev Density Theorem

The Chebotarev Density Theorem Hendrik Lenstra 1. Introduction Consider the polynomial f(x) = X 4 X 2 1 Z[X]. Suppose that we want to show that this polynomial is irreducible. We reduce f modulo a prime

Introduction to Finite Fields (cont.)

Chapter 6 Introduction to Finite Fields (cont.) 6.1 Recall Theorem. Z m is a field m is a prime number. Theorem (Subfield Isomorphic to Z p ). Every finite field has the order of a power of a prime number

Irreducible Representations of Wreath Products of Association Schemes

Journal of Algebraic Combinatorics, 18, 47 52, 2003 c 2003 Kluwer Academic Publishers. Manufactured in The Netherlands. Irreducible Representations of Wreath Products of Association Schemes AKIHIDE HANAKI

Irreducibility criteria for compositions and multiplicative convolutions of polynomials with integer coefficients

DOI: 10.2478/auom-2014-0007 An. Şt. Univ. Ovidius Constanţa Vol. 221),2014, 73 84 Irreducibility criteria for compositions and multiplicative convolutions of polynomials with integer coefficients Anca

Degree Hypergroupoids Associated with Hypergraphs

Filomat 8:1 (014), 119 19 DOI 10.98/FIL1401119F Published by Faculty of Sciences and Mathematics, University of Niš, Serbia Available at: http://www.pmf.ni.ac.rs/filomat Degree Hypergroupoids Associated

Solutions to TOPICS IN ALGEBRA I.N. HERSTEIN. Part II: Group Theory

Solutions to TOPICS IN ALGEBRA I.N. HERSTEIN Part II: Group Theory No rights reserved. Any part of this work can be reproduced or transmitted in any form or by any means. Version: 1.1 Release: Jan 2013

MODULAR ARITHMETIC. a smallest member. It is equivalent to the Principle of Mathematical Induction.

MODULAR ARITHMETIC 1 Working With Integers The usual arithmetic operations of addition, subtraction and multiplication can be performed on integers, and the result is always another integer Division, on

GROUPS SUBGROUPS. Definition 1: An operation on a set G is a function : G G G.

Definition 1: GROUPS An operation on a set G is a function : G G G. Definition 2: A group is a set G which is equipped with an operation and a special element e G, called the identity, such that (i) the

Monogenic Fields and Power Bases Michael Decker 12/07/07

Monogenic Fields and Power Bases Michael Decker 12/07/07 1 Introduction Let K be a number field of degree k and O K its ring of integers Then considering O K as a Z-module, the nicest possible case is

r + s = i + j (q + t)n; 2 rs = ij (qj + ti)n + qtn.

Chapter 7 Introduction to finite fields This chapter provides an introduction to several kinds of abstract algebraic structures, particularly groups, fields, and polynomials. Our primary interest is in

EXERCISES FOR THE COURSE MATH 570, FALL 2010

EXERCISES FOR THE COURSE MATH 570, FALL 2010 EYAL Z. GOREN (1) Let G be a group and H Z(G) a subgroup such that G/H is cyclic. Prove that G is abelian. Conclude that every group of order p 2 (p a prime

Breaking The Code. Ryan Lowe. Ryan Lowe is currently a Ball State senior with a double major in Computer Science and Mathematics and

Breaking The Code Ryan Lowe Ryan Lowe is currently a Ball State senior with a double major in Computer Science and Mathematics and a minor in Applied Physics. As a sophomore, he took an independent study

Integer roots of quadratic and cubic polynomials with integer coefficients

Integer roots of quadratic and cubic polynomials with integer coefficients Konstantine Zelator Mathematics, Computer Science and Statistics 212 Ben Franklin Hall Bloomsburg University 400 East Second Street

1 = (a 0 + b 0 α) 2 + + (a m 1 + b m 1 α) 2. for certain elements a 0,..., a m 1, b 0,..., b m 1 of F. Multiplying out, we obtain

Notes on real-closed fields These notes develop the algebraic background needed to understand the model theory of real-closed fields. To understand these notes, a standard graduate course in algebra is

ADDITIVE GROUPS OF RINGS WITH IDENTITY

ADDITIVE GROUPS OF RINGS WITH IDENTITY SIMION BREAZ AND GRIGORE CĂLUGĂREANU Abstract. A ring with identity exists on a torsion Abelian group exactly when the group is bounded. The additive groups of torsion-free

Chapter 7: Products and quotients

Chapter 7: Products and quotients Matthew Macauley Department of Mathematical Sciences Clemson University http://www.math.clemson.edu/~macaule/ Math 42, Spring 24 M. Macauley (Clemson) Chapter 7: Products

ERASMUS MUNDUS MASTER ALGANT UNIVERSITÀ DEGLI STUDI DI PADOVA HAMILTONIAN CYCLES

ERASMUS MUNDUS MASTER ALGANT UNIVERSITÀ DEGLI STUDI DI PADOVA FACOLTÀ DI SCIENZE MM. FF. NN. CORSO DI LAUREA IN MATEMATICA ELABORATO FINALE HAMILTONIAN CYCLES IN THE GENERATING GRAPHS OF FINITE GROUPS

Ideal Class Group and Units

Chapter 4 Ideal Class Group and Units We are now interested in understanding two aspects of ring of integers of number fields: how principal they are (that is, what is the proportion of principal ideals

it is easy to see that α = a

21. Polynomial rings Let us now turn out attention to determining the prime elements of a polynomial ring, where the coefficient ring is a field. We already know that such a polynomial ring is a UF. Therefore

Every Positive Integer is the Sum of Four Squares! (and other exciting problems)

Every Positive Integer is the Sum of Four Squares! (and other exciting problems) Sophex University of Texas at Austin October 18th, 00 Matilde N. Lalín 1. Lagrange s Theorem Theorem 1 Every positive integer

GROUPS ACTING ON A SET

GROUPS ACTING ON A SET MATH 435 SPRING 2012 NOTES FROM FEBRUARY 27TH, 2012 1. Left group actions Definition 1.1. Suppose that G is a group and S is a set. A left (group) action of G on S is a rule for

SUM OF TWO SQUARES JAHNAVI BHASKAR

SUM OF TWO SQUARES JAHNAVI BHASKAR Abstract. I will investigate which numbers can be written as the sum of two squares and in how many ways, providing enough basic number theory so even the unacquainted

GROUP ALGEBRAS. ANDREI YAFAEV

GROUP ALGEBRAS. ANDREI YAFAEV We will associate a certain algebra to a finite group and prove that it is semisimple. Then we will apply Wedderburn s theory to its study. Definition 0.1. Let G be a finite

An inequality for the group chromatic number of a graph

An inequality for the group chromatic number of a graph Hong-Jian Lai 1, Xiangwen Li 2 and Gexin Yu 3 1 Department of Mathematics, West Virginia University Morgantown, WV 26505 USA 2 Department of Mathematics

ON THE NUMBER OF REAL HYPERSURFACES HYPERTANGENT TO A GIVEN REAL SPACE CURVE

Illinois Journal of Mathematics Volume 46, Number 1, Spring 2002, Pages 145 153 S 0019-2082 ON THE NUMBER OF REAL HYPERSURFACES HYPERTANGENT TO A GIVEN REAL SPACE CURVE J. HUISMAN Abstract. Let C be a

= 2 + 1 2 2 = 3 4, Now assume that P (k) is true for some fixed k 2. This means that

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. Credit will not be given for answers (even correct ones) without

Algebra of the 2x2x2 Rubik s Cube

Algebra of the 2x2x2 Rubik s Cube Under the direction of Dr. John S. Caughman William Brad Benjamin. Introduction As children, many of us spent countless hours playing with Rubiks Cube. At the time it

CHAPTER 5. Number Theory. 1. Integers and Division. Discussion

CHAPTER 5 Number Theory 1. Integers and Division 1.1. Divisibility. Definition 1.1.1. Given two integers a and b we say a divides b if there is an integer c such that b = ac. If a divides b, we write a

Elementary Number Theory We begin with a bit of elementary number theory, which is concerned

CONSTRUCTION OF THE FINITE FIELDS Z p S. R. DOTY Elementary Number Theory We begin with a bit of elementary number theory, which is concerned solely with questions about the set of integers Z = {0, ±1,

SOME PROPERTIES OF FIBER PRODUCT PRESERVING BUNDLE FUNCTORS

SOME PROPERTIES OF FIBER PRODUCT PRESERVING BUNDLE FUNCTORS Ivan Kolář Abstract. Let F be a fiber product preserving bundle functor on the category FM m of the proper base order r. We deduce that the r-th

CONTRIBUTIONS TO ZERO SUM PROBLEMS

CONTRIBUTIONS TO ZERO SUM PROBLEMS S. D. ADHIKARI, Y. G. CHEN, J. B. FRIEDLANDER, S. V. KONYAGIN AND F. PAPPALARDI Abstract. A prototype of zero sum theorems, the well known theorem of Erdős, Ginzburg

SOME USES OF SET THEORY IN ALGEBRA. Stanford Logic Seminar February 10, 2009

SOME USES OF SET THEORY IN ALGEBRA Stanford Logic Seminar February 10, 2009 Plan I. The Whitehead Problem early history II. Compactness and Incompactness III. Deconstruction P. Eklof and A. Mekler, Almost

On the irreducibility of certain polynomials with coefficients as products of terms in an arithmetic progression

On the irreducibility of certain polynomials with coefficients as products of terms in an arithmetic progression Carrie E. Finch and N. Saradha Abstract We prove the irreducibility of ceratin polynomials

GALOIS THEORY AT WORK: CONCRETE EXAMPLES

GALOIS THEORY AT WORK: CONCRETE EXAMPLES KEITH CONRAD 1. Examples Example 1.1. The field extension Q(, 3)/Q is Galois of degree 4, so its Galois group has order 4. The elements of the Galois group are

A Hajós type result on factoring finite abelian groups by subsets II

Comment.Math.Univ.Carolin. 51,1(2010) 1 8 1 A Hajós type result on factoring finite abelian groups by subsets II Keresztély Corrádi, Sándor Szabó Abstract. It is proved that if a finite abelian group is

FACTORING POLYNOMIALS IN THE RING OF FORMAL POWER SERIES OVER Z

FACTORING POLYNOMIALS IN THE RING OF FORMAL POWER SERIES OVER Z DANIEL BIRMAJER, JUAN B GIL, AND MICHAEL WEINER Abstract We consider polynomials with integer coefficients and discuss their factorization

POLYNOMIAL RINGS AND UNIQUE FACTORIZATION DOMAINS

POLYNOMIAL RINGS AND UNIQUE FACTORIZATION DOMAINS RUSS WOODROOFE 1. Unique Factorization Domains Throughout the following, we think of R as sitting inside R[x] as the constant polynomials (of degree 0).

FINITE FIELDS KEITH CONRAD This handout discusses finite fields: how to construct them, properties of elements in a finite field, and relations between different finite fields. We write Z/(p) and F p interchangeably

EMBEDDING DEGREE OF HYPERELLIPTIC CURVES WITH COMPLEX MULTIPLICATION

EMBEDDING DEGREE OF HYPERELLIPTIC CURVES WITH COMPLEX MULTIPLICATION CHRISTIAN ROBENHAGEN RAVNSHØJ Abstract. Consider the Jacobian of a genus two curve defined over a finite field and with complex multiplication.

Group Fundamentals. Chapter 1. 1.1 Groups and Subgroups. 1.1.1 Definition

Chapter 1 Group Fundamentals 1.1 Groups and Subgroups 1.1.1 Definition A group is a nonempty set G on which there is defined a binary operation (a, b) ab satisfying the following properties. Closure: If

Hook Lengths and Contents. Richard P. Stanley M.I.T.

Hook Lengths and Contents p. Hook Lengths and Contents Richard P. Stanley M.I.T. Hook Lengths and Contents p. Standard Young tableau standard Young tableau (SYT) of shape λ = (4, 4, 3, 1): < < 1 3 4 2

COMMUTATIVE RINGS. Definition: A domain is a commutative ring R that satisfies the cancellation law for multiplication:

COMMUTATIVE RINGS Definition: A commutative ring R is a set with two operations, addition and multiplication, such that: (i) R is an abelian group under addition; (ii) ab = ba for all a, b R (commutative

MATH 289 PROBLEM SET 4: NUMBER THEORY

MATH 289 PROBLEM SET 4: NUMBER THEORY 1. The greatest common divisor If d and n are integers, then we say that d divides n if and only if there exists an integer q such that n = qd. Notice that if d divides

A modular equality for Cameron-Liebler line classes

A modular equality for Cameron-Liebler line classes Alexander L. Gavrilyuk Research Center for Pure and Applied Mathematics, Graduate School of Information Sciences, Tohoku University, Sendai 980-8579,

Note on some explicit formulae for twin prime counting function

Notes on Number Theory and Discrete Mathematics Vol. 9, 03, No., 43 48 Note on some explicit formulae for twin prime counting function Mladen Vassilev-Missana 5 V. Hugo Str., 4 Sofia, Bulgaria e-mail: