Group Theory. Chapter The Alternating Groups. Partial class notes, draft of Tuesday 27 th April, 2010, 9:48am.

Save this PDF as:

Size: px
Start display at page:

Download "Group Theory. Chapter The Alternating Groups. Partial class notes, draft of Tuesday 27 th April, 2010, 9:48am."

Transcription

1 Chapter 1 Group Theory Partial class notes, draft of Tuesday 27 th April, 2010, 9:48am. 1.1 The Alternating Groups Let A n be the alternating group of even permutations of {1,..., n}. In this section we prove that A n is simple for n 5. The crux of the argument is finding a fixed point. Lemma 1.1. Let g S n be an even permutation. If g commutes with an odd permutation, then all permutations with the same cycle shape as g are conjugate in A n. Proof. We know that all permutations with the same cycle shape as g are conjugate in S n. Let k be an odd permutation that commutes with g. For any odd permutation h, the product hk is an even permutation, and we have (hk)g(hk) 1 = hkgk 1 h 1 = hgkk 1 h 1 = hgh 1 so any conjugate of g by an odd permutation is also a conjugate of g by an even permutation. Therefore, the permutations with the same cycle shape as g remain conjugate in A n. For example, (1 2) commutes with (1 2)(3 4) and (3 4 5), so all products of two disjoint 2-cycles are conjugate in A 4, and all 3-cycles are conjugate in A 5. However, in A 4 no odd permutation commutes with (1 2 3), and the 3-cycles break up into two conjugacy classes. In A 5 no odd permutation commutes with ( ), and the 5-cycles break up into two conjugacy classes. Lemma 1.2. Any even permutation can be written as a product of 3-cycles. 1

2 2 CHAPTER 1. GROUP THEORY Proof. Write an even permutation as a product of 2-cycles. Consider the first pair of 2-cycles (i j)(k l) in this product. If j = k then (i j)(k l) = (i l j) is a 3-cycle. Otherwise, (i j)(k l) = (i j)(j k) (j k)(k l) = (i k j)(j l k) is a product of two 3-cycles. Continuing with the remaining pairs, we express the even permutation as a product of 3-cycles. For example, ( )( ) is an even permutation. We can write ( )( ) = (1 2)(1 3)(1 4) (5 6)(5 7)(5 8) = (1 2)(1 3) (1 4)(4 5) (4 5)(5 6) (5 7)(5 8) = (1 2 3)(1 5 4)(4 6 5)(5 7 8) Corollary 1.3. Let N be a normal subgroup of A n for n 5. If N contains either a 3-cycle or a product of two disjoint 2-cycles, then N = A n. Proof. Suppose that after relabeling, N contains the permutation (1 2 3). Because (4 5) commutes with (1 2 3), by Lemma 1.1 all 3-cycles are conjugate in A n, so they are all contained in N. By Lemma 1.2, every element of A n is a product of 3-cycles, so N = A n. Now suppose that after relabeling, N contains the permutation (1 2)(3 4). Because (1 2) commutes with (1 2)(3 4), by Lemma 1.1 all products of two disjoint 2-cycles are conjugate in A n, so they are all contained in N. In particular, N contains (1 2)(3 5). The product is a 3-cycle, so again N = A n. (1 2)(3 4) (1 2)(3 5) = (3 4 5) Lemma 1.4. Let N be a normal subgroup of A n for n 5. If N is not the identity subgroup, then N contains a nontrivial permutation that fixes some element of {1,..., n}. Proof. Let h N be a nontrivial permutation. If h has a fixed point, then we are done. Otherwise, write h as a product of disjoint cycles; if these cycles are of different lengths, then some power of h is a nontrivial permutation in N with a fixed point, and we are done. Otherwise, h is a disjoint product of equal length cycles. Because N is closed under taking products, taking inverses, and conjugating by elements of A n, we

3 1.1. THE ALTERNATING GROUPS 3 have h gh 1 g 1 N for any g A n. We show that for some choice of g, this product is a nontrivial permutation with a fixed point. We consider each cycle length. Suppose that after relabeling, h = (1 2)(3 4) k, where k fixes the set {1,..., 4}. In this case, we can choose g = (1 2 3), which commutes with k: (1 2)(3 4) k (1 2 3) k 1 (3 4)(1 2) (1 3 2) = (1 4)(2 3) is a nontrivial permutation that fixes 5. Suppose that after relabeling, h = (1 2 3)(4 5 6) k, where k fixes the set {1,..., 6}. In this case, we can choose g = (1 4)(2 5), which commutes with k: (1 2 3)(4 5 6) k (1 4)(2 5) k 1 (4 6 5)(1 3 2) (2 5)(1 4) = (2 5)(3 6) is a nontrivial permutation that fixes 1. For the general case, suppose that after relabeling, h = ( m) k, where m 4, and k fixes the set {1,..., m}. In this case, we can choose g = (1 2 3), which commutes with k: ( m) k (1 2 3) k 1 (1 m ) (1 3 2) = (2 m 3) is a nontrivial permutation that fixes 1. The expression hgh 1 g 1 is called a commutator; it measures the failure of g and h to commute. Commutators are a frequent object of study in algebra; one can for example construct the subgroup of all commutators of a group. A different proof of this lemma uses the pigeonhole principle: If the nonidentity elements of a subgroup H < S n have no fixed points, then H n. For if g and h are distinction permutations of H, then they cannot agree on any element of {1,..., n}, or else gh 1 will be a nontrivial permutation in H having that element as a fixed point. The Klein four-group K = { (), (1 2)(3 4), (1 3)(2 4), (1 4)(2 4) } is a normal subgroup of A 4, and its nonidentity elements have no fixed points. However, for n 5 one can show that each nonidentity conjugacy class in A n is of order n. Since a normal subgroup consists of entire conjugacy classes, establishing this bound gives an alternate proof of Lemma 1.4. Theorem 1.5. The alternating group A n is simple for n 5.

4 4 CHAPTER 1. GROUP THEORY Proof. Let N be a normal subgroup of A n other than the identity subgroup. We want to show that N = A n. By Lemma 1.4, N contains a nontrivial permutation h with a fixed point. If n = 5, then h must either be 3-cycle or a product of two disjoint 2-cycles. By Corollary 1.3 we have N = A 5. This shows that A 5 is simple. Otherwise, suppose that after relabeling, h fixes n. Let A n 1 < A n be the alternating group of even permutations of {1,..., n 1}, and let H = N A n 1. Then h H, so H is not the identity subgroup. Moreover, H is a normal subgroup of A n 1. By induction, A n 1 is simple, so H = A n 1. In particular, N contains the 3-cycle (1 2 3), so again by Corollary 1.3 we have N = A n. This shows that A n is simple. 1.2 The Sylow Theorems Lemma 1.6. Let f : G L be a homomorphism between two finite groups with kernel N G, and let H < G be a subgroup. If the orders H and L are relatively prime, then H N. Proof. Consider the order of the image f(h) < L. Because f(h) is a subgroup of L, its order divides the order of L. On the other hand, because f(h) is a quotient of H, its order divides the order of H. Because the orders H and L are relatively prime, we conclude that f(h) = 1. In other words, f sends every element of H to the identity element of L, so H is contained in the kernel N of the map f. More generally, we can write the order of H as the product H = H N f(h) with the restrictions that H N divides N, and f(h) divides H. A version of this formula is familiar from linear algebra: If f : V W is a linear map of vector spaces with kernel N, and U V is a subspace, then dim U = dim (U N) + dim f(u) with the restrictions that dim (U N) dim N and dim f(u) dim W. These two formulas look similar; how can we reconcile them? When H is an n-dimensional vector space over the finite field F p, both formulas apply: As a vector space, dim H = n, while as an additive group, H is isomorphic to the direct product C p C p of n copies of the cyclic group of order p, and

5 1.2. THE SYLOW THEOREMS 5 H = p n. Here, multiplying orders has the same effect as adding dimensions, and the two formulas agree. We think of the first formula as conservation of order, and the second formula as conservation of dimension. Corollary 1.7. Let G be a group of order mn, where m and n are relatively prime. If H and N are subgroups of order m, and N is normal in G, then H = N. Proof. We apply Lemma 1.6, taking L = G/N: Consider the quotient map G G/N, with kernel N. The quotient G/N has order n, which is relatively prime to the order m of H. By Lemma 1.6, H N. Because H and N have the same order, they are equal. A refinement of Corollary 1.7 will be used in one proof of the Sylow theorems: Corollary 1.8. Let G be a group of order mn, where m and n are relatively prime. If H and K are subgroups of order m, and H is contained in the normalizer N(K) of K, then H = K. Proof. We apply Corollary 1.7 to the subgroup N(K): We have the chain of subgroups K < N(K) < G, so the order N(K) divides the order G = mn, and is a multiple mn of the order K = m. Therefore n divides n. Thus N(K) is a group of order mn, where m and n are relatively prime. H and K are subgroups of N(K) of order m, and K is normal in N(K), so Corollary 1.7 applies. Example 1.9. Let K < S n be a subgroup of the symmetric group, of odd order. Then K consists entirely of even permutations. Proof. Consider the homomorphism S n C 2 taking each permutation to its sign, an element of the multiplicative group {1, 1}. The kernel of this map is the alternating group A n of even permutations. Because K is relatively prime to 2, by Lemma 1.6 we have K A n. Example The Klein-4 subgroup K = { (), (1 2)(3 4), (1 3)(2 4), (1 4)(2 3) } < A 4. is the unique order 4 subgroup of A 4. We know this to be true by listing the elements of A 4 ; every other element has order 3. Once we establish that K is normal in A 4, this also follows from the Sylow theorems: 4 is the maximal power of 2 dividing the order 12 of A 4, so all subgroups of order 4 in A 4 are conjugate. However, it is simpler to apply Corollary 1.7:

6 6 CHAPTER 1. GROUP THEORY Proof. K is normal in A 4, because conjugation of permutations preserves shape, and K consists of the identity and all elements of A 4 having the same shape as (1 2)(3 4). Because K = 4 and A 4 = 4 3 with 4 and 3 relatively prime, by Corollary 1.7 any subgroup H < A 4 of order 4 is equal to K. The next example illustrates how Corollary 1.8 will be applied in a proof of the Sylow theorems: Example Consider the subgroup K = { (), (1 2)(3 4), (1 3)(2 4), (1 4)(2 3) } < A 5. Let H < A 5 be a subgroup of order 4, which fixes K under conjugation. Then H = K. Proof. Our hypothesis states that for any h H we have hkh 1 = K. In other words, H is contained in the normalizer N(K) of K. The order A 5 = 4 15 with 4 and 15 relatively prime, so by Corollary 1.8 we have H = K. We will prove the second and third Sylow theorems by considering how a p-sylow subgroup P < G acts by conjugation on the set X of all conjugates of a p-sylow subgroup Q < G. First, we explore this construction in examples: Example Consider the 2-Sylow subgroups P = {(), (1 2)}, Q = {(), (1 3)}, R = {(), (2 3)} of the symmetric group S 3. Let X = {P, Q, R} be the set of conjugates of Q. Then P acts on X by conjugation, and under this action X consists of the orbits {P} and {Q, R}.

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

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

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)

The Dirichlet Unit Theorem

Chapter 6 The Dirichlet Unit Theorem As usual, we will be working in the ring B of algebraic integers of a number field L. Two factorizations of an element of B are regarded as essentially the same if

(0, 0) : order 1; (0, 1) : order 4; (0, 2) : order 2; (0, 3) : order 4; (1, 0) : order 2; (1, 1) : order 4; (1, 2) : order 2; (1, 3) : order 4.

11.01 List the elements of Z 2 Z 4. Find the order of each of the elements is this group cyclic? Solution: The elements of Z 2 Z 4 are: (0, 0) : order 1; (0, 1) : order 4; (0, 2) : order 2; (0, 3) : order

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

GROUP ACTIONS KEITH CONRAD 1. Introduction The symmetric groups S n, alternating groups A n, and (for n 3) dihedral groups D n behave, by their very definition, as permutations on certain sets. The groups

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

GENERATING SETS KEITH CONRAD 1 Introduction In R n, every vector can be written as a unique linear combination of the standard basis e 1,, e n A notion weaker than a basis is a spanning set: a set of vectors

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

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

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

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

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

Notes on finite group theory. Peter J. Cameron

Notes on finite group theory Peter J. Cameron October 2013 2 Preface Group theory is a central part of modern mathematics. Its origins lie in geometry (where groups describe in a very detailed way the

The cover SU(2) SO(3) and related topics

The cover SU(2) SO(3) and related topics Iordan Ganev December 2011 Abstract The subgroup U of unit quaternions is isomorphic to SU(2) and is a double cover of SO(3). This allows a simple computation of

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

Notes on Group Theory

Notes on Group Theory Mark Reeder March 7, 2014 Contents 1 Notation for sets and functions 4 2 Basic group theory 4 2.1 The definition of a group................................. 4 2.2 Group homomorphisms..................................

Each copy of any part of a JSTOR transmission must contain the same copyright notice that appears on the screen or printed page of such transmission.

Degrees of Sums in a Separable Field Extension Author(s): I. M. Isaacs Source: Proceedings of the American Mathematical Society, Vol. 25, No. 3 (Jul., 1970), pp. 638-641 Published by: American Mathematical

= 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

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

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

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

The Ideal Class Group

Chapter 5 The Ideal Class Group We will use Minkowski theory, which belongs to the general area of geometry of numbers, to gain insight into the ideal class group of a number field. We have already mentioned

Factoring of Prime Ideals in Extensions

Chapter 4 Factoring of Prime Ideals in Extensions 4. Lifting of Prime Ideals Recall the basic AKLB setup: A is a Dedekind domain with fraction field K, L is a finite, separable extension of K of degree

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

2. Let H and K be subgroups of a group G. Show that H K G if and only if H K or K H.

Math 307 Abstract Algebra Sample final examination questions with solutions 1. Suppose that H is a proper subgroup of Z under addition and H contains 18, 30 and 40, Determine H. Solution. Since gcd(18,

4.1 Modules, Homomorphisms, and Exact Sequences

Chapter 4 Modules We always assume that R is a ring with unity 1 R. 4.1 Modules, Homomorphisms, and Exact Sequences A fundamental example of groups is the symmetric group S Ω on a set Ω. By Cayley s Theorem,

Some Basic Techniques of Group Theory

Chapter 5 Some Basic Techniques of Group Theory 5.1 Groups Acting on Sets In this chapter we are going to analyze and classify groups, and, if possible, break down complicated groups into simpler components.

IRREDUCIBLE OPERATOR SEMIGROUPS SUCH THAT AB AND BA ARE PROPORTIONAL. 1. Introduction

IRREDUCIBLE OPERATOR SEMIGROUPS SUCH THAT AB AND BA ARE PROPORTIONAL R. DRNOVŠEK, T. KOŠIR Dedicated to Prof. Heydar Radjavi on the occasion of his seventieth birthday. Abstract. Let S be an irreducible

4. CLASSES OF RINGS 4.1. Classes of Rings class operator A-closed Example 1: product Example 2:

4. CLASSES OF RINGS 4.1. Classes of Rings Normally we associate, with any property, a set of objects that satisfy that property. But problems can arise when we allow sets to be elements of larger sets

ISOMETRIES OF R n KEITH CONRAD

ISOMETRIES OF R n KEITH CONRAD 1. Introduction An isometry of R n is a function h: R n R n that preserves the distance between vectors: h(v) h(w) = v w for all v and w in R n, where (x 1,..., x n ) = x

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

Group Theory. Chapter 1

Chapter 1 Group Theory Most lectures on group theory actually start with the definition of what is a group. It may be worth though spending a few lines to mention how mathematicians came up with such a

Factorization in Polynomial Rings

Factorization in Polynomial Rings These notes are a summary of some of the important points on divisibility in polynomial rings from 17 and 18 of Gallian s Contemporary Abstract Algebra. Most of the important

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).

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,

Mathematical Research Letters 1, 249 255 (1994) MAPPING CLASS GROUPS ARE AUTOMATIC. Lee Mosher

Mathematical Research Letters 1, 249 255 (1994) MAPPING CLASS GROUPS ARE AUTOMATIC Lee Mosher Let S be a compact surface, possibly with the extra structure of an orientation or a finite set of distinguished

Introduction to Modern Algebra

Introduction to Modern Algebra David Joyce Clark University Version 0.0.6, 3 Oct 2008 1 1 Copyright (C) 2008. ii I dedicate this book to my friend and colleague Arthur Chou. Arthur encouraged me to write

ABSTRACT ALGEBRA: A STUDY GUIDE FOR BEGINNERS

ABSTRACT ALGEBRA: A STUDY GUIDE FOR BEGINNERS John A. Beachy Northern Illinois University 2014 ii J.A.Beachy This is a supplement to Abstract Algebra, Third Edition by John A. Beachy and William D. Blair

Chapter 13: Basic ring theory

Chapter 3: Basic ring theory Matthew Macauley Department of Mathematical Sciences Clemson University http://www.math.clemson.edu/~macaule/ Math 42, Spring 24 M. Macauley (Clemson) Chapter 3: Basic ring

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

FACTORING IN QUADRATIC FIELDS. 1. Introduction. This is called a quadratic field and it has degree 2 over Q. Similarly, set

FACTORING IN QUADRATIC FIELDS KEITH CONRAD For a squarefree integer d other than 1, let 1. Introduction K = Q[ d] = {x + y d : x, y Q}. This is called a quadratic field and it has degree 2 over Q. Similarly,

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

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,

Math 231b Lecture 35. G. Quick

Math 231b Lecture 35 G. Quick 35. Lecture 35: Sphere bundles and the Adams conjecture 35.1. Sphere bundles. Let X be a connected finite cell complex. We saw that the J-homomorphism could be defined by

Row Ideals and Fibers of Morphisms

Michigan Math. J. 57 (2008) Row Ideals and Fibers of Morphisms David Eisenbud & Bernd Ulrich Affectionately dedicated to Mel Hochster, who has been an inspiration to us for many years, on the occasion

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

FINITE GROUP THEORY. FOR COMBINATORISTS Volume one. Jin Ho Kwak. Department of Mathematics POSTECH Pohang, 790 784 Korea jinkwak@postech.ac.

FINITE GROUP THEORY FOR COMBINATORISTS Volume one Jin Ho Kwak Department of Mathematics POSTECH Pohang, 790 784 Korea jinkwak@postech.ac.kr Ming Yao Xu Department of Mathematics Peking University Beijing

FIXED POINT SETS OF FIBER-PRESERVING MAPS

FIXED POINT SETS OF FIBER-PRESERVING MAPS Robert F. Brown Department of Mathematics University of California Los Angeles, CA 90095 e-mail: rfb@math.ucla.edu Christina L. Soderlund Department of Mathematics

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

THE FUNDAMENTAL THEOREM OF ALGEBRA VIA PROPER MAPS

THE FUNDAMENTAL THEOREM OF ALGEBRA VIA PROPER MAPS KEITH CONRAD 1. Introduction The Fundamental Theorem of Algebra says every nonconstant polynomial with complex coefficients can be factored into linear

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

6 Commutators and the derived series. [x,y] = xyx 1 y 1.

6 Commutators and the derived series Definition. Let G be a group, and let x,y G. The commutator of x and y is [x,y] = xyx 1 y 1. Note that [x,y] = e if and only if xy = yx (since x 1 y 1 = (yx) 1 ). Proposition

MA651 Topology. Lecture 6. Separation Axioms.

MA651 Topology. Lecture 6. Separation Axioms. This text is based on the following books: Fundamental concepts of topology by Peter O Neil Elements of Mathematics: General Topology by Nicolas Bourbaki Counterexamples

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

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

SOLUTIONS TO PROBLEM SET 3

SOLUTIONS TO PROBLEM SET 3 MATTI ÅSTRAND The General Cubic Extension Denote L = k(α 1, α 2, α 3 ), F = k(a 1, a 2, a 3 ) and K = F (α 1 ). The polynomial f(x) = x 3 a 1 x 2 + a 2 x a 3 = (x α 1 )(x α 2

1 Local Brouwer degree

1 Local Brouwer degree Let D R n be an open set and f : S R n be continuous, D S and c R n. Suppose that the set f 1 (c) D is compact. (1) Then the local Brouwer degree of f at c in the set D is defined.

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

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

1 Sets and Set Notation.

LINEAR ALGEBRA MATH 27.6 SPRING 23 (COHEN) LECTURE NOTES Sets and Set Notation. Definition (Naive Definition of a Set). A set is any collection of objects, called the elements of that set. We will most

Notes from February 11

Notes from February 11 Math 130 Course web site: www.courses.fas.harvard.edu/5811 Two lemmas Before proving the theorem which was stated at the end of class on February 8, we begin with two lemmas. The

NOTES ON GROUP THEORY

NOTES ON GROUP THEORY Abstract. These are the notes prepared for the course MTH 751 to be offered to the PhD students at IIT Kanpur. Contents 1. Binary Structure 2 2. Group Structure 5 3. Group Actions

Galois Theory. Richard Koch

Galois Theory Richard Koch April 2, 2015 Contents 1 Preliminaries 4 1.1 The Extension Problem; Simple Groups.................... 4 1.2 An Isomorphism Lemma............................. 5 1.3 Jordan Holder...................................

8.1 Examples, definitions, and basic properties

8 De Rham cohomology Last updated: May 21, 211. 8.1 Examples, definitions, and basic properties A k-form ω Ω k (M) is closed if dω =. It is exact if there is a (k 1)-form σ Ω k 1 (M) such that dσ = ω.

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

Classification of Cartan matrices

Chapter 7 Classification of Cartan matrices In this chapter we describe a classification of generalised Cartan matrices This classification can be compared as the rough classification of varieties in terms

Lecture 15 An Arithmetic Circuit Lowerbound and Flows in Graphs

CSE599s: Extremal Combinatorics November 21, 2011 Lecture 15 An Arithmetic Circuit Lowerbound and Flows in Graphs Lecturer: Anup Rao 1 An Arithmetic Circuit Lower Bound An arithmetic circuit is just like

On three zero-sum Ramsey-type problems

On three zero-sum Ramsey-type problems Noga Alon Department of Mathematics Raymond and Beverly Sackler Faculty of Exact Sciences Tel Aviv University, Tel Aviv, Israel and Yair Caro Department of Mathematics

SOLVING POLYNOMIAL EQUATIONS BY RADICALS Lee Si Ying 1 and Zhang De-Qi 2 1 Raffles Girls School (Secondary), 20 Anderson Road, Singapore 259978 2 Department of Mathematics, National University of Singapore,

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

University of Oslo MAT2 Project The Banach-Tarski Paradox Author: Fredrik Meyer Supervisor: Nadia S. Larsen Abstract In its weak form, the Banach-Tarski paradox states that for any ball in R, it is possible

Indiana State Core Curriculum Standards updated 2009 Algebra I

Indiana State Core Curriculum Standards updated 2009 Algebra I Strand Description Boardworks High School Algebra presentations Operations With Real Numbers Linear Equations and A1.1 Students simplify and

Math 345-60 Abstract Algebra I Questions for Section 23: Factoring Polynomials over a Field

Math 345-60 Abstract Algebra I Questions for Section 23: Factoring Polynomials over a Field 1. Throughout this section, F is a field and F [x] is the ring of polynomials with coefficients in F. We will

Algebraic Structures II

MAS 305 Algebraic Structures II Notes 12 Autumn 2006 Factorization in integral domains Lemma If a, b, c are elements of an integral domain R and ab = ac then either a = 0 R or b = c. Proof ab = ac a(b

3 1. Note that all cubes solve it; therefore, there are no more

Math 13 Problem set 5 Artin 11.4.7 Factor the following polynomials into irreducible factors in Q[x]: (a) x 3 3x (b) x 3 3x + (c) x 9 6x 6 + 9x 3 3 Solution: The first two polynomials are cubics, so if

On the existence of G-equivariant maps

CADERNOS DE MATEMÁTICA 12, 69 76 May (2011) ARTIGO NÚMERO SMA# 345 On the existence of G-equivariant maps Denise de Mattos * Departamento de Matemática, Instituto de Ciências Matemáticas e de Computação,

SOLUTIONS TO EXERCISES FOR. MATHEMATICS 205A Part 3. Spaces with special properties

SOLUTIONS TO EXERCISES FOR MATHEMATICS 205A Part 3 Fall 2008 III. Spaces with special properties III.1 : Compact spaces I Problems from Munkres, 26, pp. 170 172 3. Show that a finite union of compact subspaces

Lecture Notes on Polynomials

Lecture Notes on Polynomials Arne Jensen Department of Mathematical Sciences Aalborg University c 008 Introduction These lecture notes give a very short introduction to polynomials with real and complex

DEGREES OF ORDERS ON TORSION-FREE ABELIAN GROUPS

DEGREES OF ORDERS ON TORSION-FREE ABELIAN GROUPS ASHER M. KACH, KAREN LANGE, AND REED SOLOMON Abstract. We construct two computable presentations of computable torsion-free abelian groups, one of isomorphism

Block fusion systems and the center of the group ring. Martin Wedel Jacobsen

Block fusion systems and the center of the group ring Martin Wedel Jacobsen Martin Wedel Jacobsen Department of Mathematical Sciences University of Copenhagen Universitetsparken 5 DK-2100 København Ø Denmark

11 Ideals. 11.1 Revisiting Z

11 Ideals The presentation here is somewhat different than the text. In particular, the sections do not match up. We have seen issues with the failure of unique factorization already, e.g., Z[ 5] = O Q(

CONTINUED FRACTIONS AND FACTORING. Niels Lauritzen

CONTINUED FRACTIONS AND FACTORING Niels Lauritzen ii NIELS LAURITZEN DEPARTMENT OF MATHEMATICAL SCIENCES UNIVERSITY OF AARHUS, DENMARK EMAIL: niels@imf.au.dk URL: http://home.imf.au.dk/niels/ Contents

ISU Department of Mathematics. Graduate Examination Policies and Procedures

ISU Department of Mathematics Graduate Examination Policies and Procedures There are four primary criteria to be used in evaluating competence on written or oral exams. 1. Knowledge Has the student demonstrated

On The Existence Of Flips

On The Existence Of Flips Hacon and McKernan s paper, arxiv alg-geom/0507597 Brian Lehmann, February 2007 1 Introduction References: Hacon and McKernan s paper, as above. Kollár and Mori, Birational Geometry

Mathematical Induction

Mathematical Induction (Handout March 8, 01) The Principle of Mathematical Induction provides a means to prove infinitely many statements all at once The principle is logical rather than strictly mathematical,

Group Theory and the Rubik s Cube. Janet Chen

Group Theory and the Rubik s Cube Janet Chen A Note to the Reader These notes are based on a 2-week course that I taught for high school students at the Texas State Honors Summer Math Camp. All of the

MODULES OVER A PID KEITH CONRAD

MODULES OVER A PID KEITH CONRAD Every vector space over a field K that has a finite spanning set has a finite basis: it is isomorphic to K n for some n 0. When we replace the scalar field K with a commutative

Solutions for Practice problems on proofs

Solutions for Practice problems on proofs Definition: (even) An integer n Z is even if and only if n = 2m for some number m Z. Definition: (odd) An integer n Z is odd if and only if n = 2m + 1 for some

Logic, Combinatorics and Topological Dynamics, II

Logic, Combinatorics and Topological Dynamics, II Alexander S. Kechris January 9, 2009 Part II. Generic symmetries Generic properties Let X be a topological space and P X a subset of X viewed as a property

TAKE-AWAY GAMES. ALLEN J. SCHWENK California Institute of Technology, Pasadena, California INTRODUCTION

TAKE-AWAY GAMES ALLEN J. SCHWENK California Institute of Technology, Pasadena, California L INTRODUCTION Several games of Tf take-away?f have become popular. The purpose of this paper is to determine the

ON ISOMORPHISMS OF BERS FIBER SPACES

Annales Academiæ Scientiarum Fennicæ Mathematica Volumen 22, 1997, 255 274 ON ISOMORPHISMS OF BERS FIBER SPACES Chaohui Zhang State University of New York, Mathematics Department, Stony Brook, NY 11794,

TAME AND WILD FINITE SUBGROUPS OF THE PLANE CREMONA GROUP

TAME AND WILD FINITE SUBGROUPS OF THE PLANE CREMONA GROUP IGOR V. DOLGACHEV To the memory of Vasily Iskovskikh Abstract. We survey some old and new results about finite subgroups of the Cremona group Cr

Factoring Polynomials

Factoring Polynomials Sue Geller June 19, 2006 Factoring polynomials over the rational numbers, real numbers, and complex numbers has long been a standard topic of high school algebra. With the advent

FOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 22

FOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 22 RAVI VAKIL CONTENTS 1. Discrete valuation rings: Dimension 1 Noetherian regular local rings 1 Last day, we discussed the Zariski tangent space, and saw that it

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

Chapter 20. Vector Spaces and Bases

Chapter 20. Vector Spaces and Bases In this course, we have proceeded step-by-step through low-dimensional Linear Algebra. We have looked at lines, planes, hyperplanes, and have seen that there is no limit