Algebra SEP Solutions


 Marvin Alexander
 1 years ago
 Views:
Transcription
1 Algebra SEP Solutions 17 July (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 Z/nZ has nonidentity elements of finite order and Z does not. Also the free groups F n, by a similar argument. (b) Any nonabelian group of prime power order, such as the quaternion group Q 8. (c) Since the commutator subgroup is normal, any nonabelian simple group, such as A n for n 5. Also the trivial group. (d) The dihedral group D p of order 2p, where p is any odd prime. (e) S 3 acting on X = S 3 (which has order 6) by left translation. 2. (January 2013 Problem 1) A finite group G is said to have property C if, whenever g G and n is an integer relatively prime to the order of G, g and g n are conjugate in G. (a) Give infinitely many nonisomorphic finite groups which have property C. We claim that the symmetric groups S m satisfy property C. Let n be relatively prime to m!. We will first show that for any r m, and any rcycle g, g m is also an rcycle. Assume without loss of generality that g = (12... r). Then g m is the permutation which takes 1 to 1 + m modulo r, takes 1 + m modulo r to 1 + 2m modulo r, and so on. It remains to show that 1 + im is distinct modulo r for 0 i r 1. Indeed, if 1 + im = 1 + jm (mod r), then r (i j)m, which is impossible as (i j) < r and m is relatively prime to r. We recall that two elements of S n are conjugate to each other if and only if they have the same cycle structure, and thus the cycles satisfy the hypotheses of property C. To finish the proof we observe that any permutation can be written as a product of cycles which commute with each other. Raising such a permutation to a power relatively prime to m!, and applying what we have already shown, we would conclude that the resulting permutation had the same cycle structure. This concludes the proof. (b) Give infinitely many nonisomorphic finite groups which do not have property C. One way to think about this is to realize that conjugation is trivial in an abelian group. Let G n = x be the cyclic group on n > 2 elements, and let 1 < m < n be any integer relatively prime to n. Then x m x, showing that G n does not satisfy C. (c) Show that if G has property C and ρ : G GL n (C) is a homomorphism, then the trace of ρ(g) is in Q for all g G. We break the solution into multiple steps. 1
2 Step 1. If G is any finite group, then the eigenvalues of ρ(g) are G roots of unity. Because G is a finite group, we know that g G = 1. Thus, 1 = ρ(1) = ρ(g G ) = ρ(g) G. The eigenvalues of ρ(g) G are precisely the G powers of the eigenvalues of ρ(g), and thus the claim is proven. Because the trace of a matrix is the sum of its eigenvalues, it follows that the trace of ρ(g) lands in the field L := Q(ζ), where ζ is a primitive G root of unity. Step 2. The Galois group Gal(L Q) consists of the automorphisms ζ ζ m, where m is relatively prime to G. Note that any automorphism of L must send ζ to some other primitive root of unity. It is clear that the other primitive roots of unity are of the form ζ m, where m is relatively prime to G, as the generators of any cyclic group are such powers of any fixed generator. It therefore remains to show that any assignment of the form ζ ζ m defines an automorphism. By the automorphism extension theorem it suffices to show that all primitive G roots of unity are roots of the same irreducible polynomial over Q. This is a well known fact from field theory. Step 3. We are now ready to put everything together and finish the problem. Let g G, and let m be relatively prime to G. By assumption g m is conjugate to g, and therefore ρ(g) and ρ(g) m have the same trace. By what we have shown we may write tr(ρ(g)) = j for some i ζij j. Letting σ Gal(L Q) be the automorphism ζ ζ m, we find that tr(ρ(g)) = tr(ρ(g) m ) = (ζ m ) ij = σ( ζ ij ) = σ(tr(ρ(g))). j j Thus, tr(ρ(g)) is fixed by all elements of Gal(L Q), whence it is rational. 3. (August 2014 Problem 3) Let G be a finite group. (a) If H is a proper subgroup of G, show that there is some element x G which is not contained in any subgroup conjugate to H. Let X be the set of subgroup conjugates of H. Then G acts on X via conjugation, and this action has one orbit. The orbitstabilizer theorem then tells us that X = [G : N G (H)], where N G (H) is the normalizer of H in G. We note that every conjugate of H has at least the identity element in common, and therefore summing up the sizes of each conjugate individually certainly over counts the total number of elements spanned by the conjugates. In particular, if we assume that these conjugates span all of G then, G < H G / N G (H), so H > N G (H) Because H N G (H), we obtain a contradiction. (b) A maximal subgroup of G is a proper subgroup which is not contained in any other proper subgroup. Derive from the first part of the problem that if all maximal subgroups of G are conjugate, G must be cyclic. Let x G be an element which is not contained in any maximal subgroup. Such an element exists because of the previous part. Set H = x and assume that H G. Let X be the set of proper subgroups of G containing H, equipped with the subgroup order, and observe that X. Because G is of finite order, any chain in X must have finite length, and therefore has an upper bound. By Zorn s lemma we conclude that X must have a maximal element, which is clearly a maximal subgroup of G. This is 2
3 a contradiction. 4. (January 1991 Problem 5) Let G be a possibly infinite, nontrivial group whose subgroups are linearly ordered by inclusion. In other words, if H and K are subgroups of G, then either H K or K H. (a) Prove that G is an abelian group, and that the orders of the elements of G are all powers of the same prime p. If x, y G then x y (or visa versa), and therefore x is a power of y. In particular, x and y commute. Write o(x) for the order of x. If x has finite order, and p, q o(x) are distinct prime divisors, then clearly x o(x)/p and x o(x)/q are two incomparable subgroups. This shows that every element has prime power order. On the other hand, if o(x) = p n and o(y) = q m, then y has a subgroup of order q showing it can t be contained in x unless p = q. Swapping y for x forces us to conclude that p = q. In the case where o(x) =, the subgroups generated by x 2 and x 3 are clearly incomparable. (b) If G n = {g G g pn = 1}, show that G n p n. Note that the largest possible order of an element of G n is p n. Let g G n have maximal order, and let g be any element of G n. Then either g g or visa versa. Because g was chosen to have maximal order, the latter case must be true. This shows that G n = g has size at most p n. 5. (January 1991 Problem 1) Let G be a finite group having exactly n Sylow psubgroups for some prime p. Show that there exists a subgroup H of the symmetric group S n such that H also has exactly n Sylow psubgroups. We begin by recalling the generalized Cayley theorem. If G is a finite group, and H is a subgroup of index n, then there exists a homomorphism φ : G S n whose kernel is contained inside H. Indeed, this is just the map representing the permutation action of G on the set of cosets of H. Let P be any Sylow psubgroup of G, and set H = N G (P ). Then the Sylow theorems tell us that n = [G : N G (P )], and Cayley s theorem gives us a map G S n, whose kernel is contained inside H. Let G = G/ ker(φ) denote the image of this map. Then by simply looking at cardinalities, it follows that (P ker(φ)) is a Sylow psubgroup of G. We also know that N G (P ker(φ)) = N G ((P ker(φ)) ) by the correspondence theorem. It follows that [G : N G (P ker(φ))] = [G : N G ((P ker(φ)) )] It therefore remains to show that [G : N G (P ker(φ))] = n. N G (P ker(φ)) = N G (P ). In fact, we will show that We immediately find that if x N G (P ), then xp ker(φ)x 1 = (xp x 1 )(x ker(φ)x 1 ) = xp x 1 ker(φ) = P ker(φ). 3
4 This shows the reverse inclusion. On the other hand the Frattini trick immediately implies that N G (P ker(φ)) = N NG (P ker(φ))(p ) P ker(φ), which is a subgroup of N G (P ). 6. (August 2015 Problem 1) Let groups(n) denote the number of groups of order n up to isomorphism. (a) Let p be a prime number. Show that every group of order p 2 is abelian, and determine groups(p 2 ). (b) Find groups(50) (hint: show that every group of order 50 must have a normal Sylow 5subgroup. (a) Let G be a group of order p 2. Then G is a pgroup, and so its center Z(G) is nontrivial. If Z(G) = G we are done, so assume instead that Z(G) = p. Because the center is a normal subgroup we can consider the quotient G/Z(G). This group has order p and is therefore cyclic. To finish the first part of the problem, we make the following general claim: If G is a group such that G/Z(G) is cyclic, then G is abelian. Let a, b G, and assume that G/Z(G) is generated by the image of an element x G. Then we may write x k a Z(G) and x l b Z(G) for some integers l, k. Therefore, ab = x k (x k a)x l (x l b) = x k l (x l b)(x k a) = x k l x k (x l b)a = ba, where we have repeatedly used the fact that x k a and x l b are in the center. For the second part of the problem, we simply apply the structure theorem for finitely generated abelian groups. It follows that G = Z/p 2 Z or G = Z/pZ Z/pZ. (b) Let G be a group of order 50 = 25 2, and let P be a Sylow 5subgroup of G. By assumption P has index 2 in G, and must therefore be normal. This implies that P is the unique Sylow 5subgroup of G. Cauchy s theorem (or the Sylow theorems again) imply that we may find an element x G of order 2. Because x / P, we know that P x = P < x > = 50 = G, and therefore G = P x. In other words, G = P Z/2Z Now we recall the internal construction of the semidirect product discussed above is equivalent to the following external version. We can think of G as being the product P Z/2Z, paired with a homomorphism φ : Z/2Z Aut(P ), with operation (a, b)(c, d) = (aφ b (c), bd) Counting the number of groups therefore becomes the question of how many homomorphisms φ : Z/2Z Aut(P ) there are. By the previous question we know that P = Z/25Z or P = Z/5Z Z/5Z. The automorphisms of Z/25Z are uniquely determined by a choice 1 n where n is relatively prime to 5. For such an automorphism to have order at most 2, it would have to be the case that n 2 = 1 (mod 25). In particular, we obtain two homomorphisms φ : Z/2Z Aut(Z/25Z), φ(1) = (1 1), φ(1) = (1 1). Note that in the first case, G is just the sum of P with Z/2Z, which is necessarily abelian, while in the second case the group is not abelian (in fact, this is the group D 25 ). This shows that the two groups induced by these automorphisms are distinct. Next assume that P = Z/5Z Z/5Z. Then Aut(P ) = GL(2, 5), and any homomorphism φ : Z/2Z Aut(P ) is therefore uniquely determined by a choice of an element of GL(2, 5) with order at most 2. Any matrix of order at most 2 in GL(2, 5) will have as its eigenvalues 1 and 1, the square roots of unity. The Jordan structure theorem 4
5 implies that any such matrix can be conjugated into Jordan form within GL(2, 5), as its eigenvalues are in the base field Z/5Z. If we compose φ with the automorphism induced by such a conjugation, then we obtain a new homomorphism φ : Z/2Z GL(2, 5). By how it was constructed, it isn t hard to see that the group given by φ will be isomorphic to that given by φ. To conclude, it suffices to consider those homomorphisms φ : Z/2Z GL(2, 5) which send the generator of the prior group to an element of order at most 2 in the latter group, which is in Jordan form. There are three such choices φ(1) = ( ) ( ) , φ(1) =, φ(1) = ( ) ( ) 1 0 Note that the assignment φ(1) = is conjugate to the last of the three choices 0 1 above, and is therefore redundant. If we prove that these three homomorphisms yield distinct choices for G, then we would have finished the problem and shown that group(50) = 5. The first case is the case wherein G is the direct product of P with Z/2Z. Looking at the second group, we see that if a P, then (a, 1) is of order 2. In particular, this choice of homomorphism yields a group which has 25 elements of order 2. On the other hand, the third homomorphism does not have this many elements of order 2. This shows all three induced groups are distinct, as desired. 5
1. Group Theory Permutations.
1.1. Permutations. 1. Group Theory Problem 1.1. Let G be a subgroup of S n of index 2. Show that G = A n. Problem 1.2. Find two elements of S 7 that have the same order but are not conjugate. Let π S 7
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 informationMath 121 Homework 5: Notes on Selected Problems
Math 121 Homework 5: Notes on Selected Problems 12.1.2. Let M be a module over the integral domain R. (a) Assume that M has rank n and that x 1,..., x n is any maximal set of linearly independent elements
More informationProfinite Groups. Hendrik Lenstra. 1. Introduction
Profinite Groups Hendrik Lenstra 1. Introduction We begin informally with a motivation, relating profinite groups to the padic numbers. Let p be a prime number, and let Z p denote the ring of padic integers,
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 informationHonors Algebra 4, MATH 371 Winter 2010 Assignment 4 Due Wednesday, February 17 at 08:35
Honors Algebra 4, MATH 371 Winter 2010 Assignment 4 Due Wednesday, February 17 at 08:35 1. Let R be a commutative ring with 1 0. (a) Prove that the nilradical of R is equal to the intersection of the prime
More informationTwo subgroups and semidirect products
Two subgroups and semidirect products 1 First remarks Throughout, we shall keep the following notation: G is a group, written multiplicatively, and H and K are two subgroups of G. We define the subset
More informationPh.D. Qualifying Examination in Algebra Department of Mathematics University of Louisville January 2018
Ph.D. Qualifying Examination in Algebra Department of Mathematics University of Louisville January 2018 Do 6 problems with at least 2 in each section. Group theory problems: (1) Suppose G is a group. The
More informationDIHEDRAL GROUPS II KEITH CONRAD
DIHEDRAL GROUPS II KEITH CONRAD We will characterize dihedral groups in terms of generators and relations, and describe the subgroups of D n, including the normal subgroups. We will also introduce an infinite
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 informationJohns Hopkins University, Department of Mathematics Abstract Algebra  Spring 2009 Midterm
Johns Hopkins University, Department of Mathematics 110.401 Abstract Algebra  Spring 2009 Midterm Instructions: This exam has 8 pages. No calculators, books or notes allowed. You must answer the first
More informationSimple groups and the classification of finite groups
Simple groups and the classification of finite groups 1 Finite groups of small order How can we describe all finite groups? Before we address this question, let s write down a list of all the finite groups
More informationMath 581 Problem Set 7 Solutions
Math 581 Problem Set 7 Solutions 1. Let f(x) Q[x] be a polynomial. A ring isomorphism φ : R R is called an automorphism. (a) Let φ : C C be a ring homomorphism so that φ(a) = a for all a Q. Prove that
More informationCONSEQUENCES 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.
More informationGraduate Preliminary Examination
Graduate Preliminary Examination Algebra II 18.2.2005: 3 hours Problem 1. Prove or give a counterexample to the following statement: If M/L and L/K are algebraic extensions of fields, then M/K is algebraic.
More informationABSTRACT ALGEBRA: REVIEW PROBLEMS ON GROUPS AND GALOIS THEORY
ABSTRACT ALGEBRA: REVIEW PROBLEMS ON GROUPS AND GALOIS THEORY John A. Beachy Northern Illinois University 2000 ii J.A.Beachy This is a supplement to Abstract Algebra, Second Edition by John A. Beachy and
More information1 Finite abelian groups
Last revised: May 16, 2014 A.Miller M542 www.math.wisc.edu/ miller/ Each Problem is due one week from the date it is assigned. Do not hand them in early. Please put them on the desk in front of the room
More informationAlgebra Exam Syllabus
Algebra Exam Syllabus The Algebra comprehensive exam covers four broad areas of algebra: (1) Groups; (2) Rings; (3) Modules; and (4) Linear Algebra. These topics are all covered in the first semester graduate
More informationGroup Theory. 1. Show that Φ maps a conjugacy class of G into a conjugacy class of G.
Group Theory Jan 2012 #6 Prove that if G is a nonabelian group, then G/Z(G) is not cyclic. Aug 2011 #9 (Jan 2010 #5) Prove that any group of order p 2 is an abelian group. Jan 2012 #7 G is nonabelian nite
More informationMATH 101A: ALGEBRA I, PART D: GALOIS THEORY 11
MATH 101A: ALGEBRA I, PART D: GALOIS THEORY 11 3. Examples I did some examples and explained the theory at the same time. 3.1. roots of unity. Let L = Q(ζ) where ζ = e 2πi/5 is a primitive 5th root of
More information(January 14, 2009) q n 1 q d 1. D = q n = q + d
(January 14, 2009) [10.1] Prove that a finite division ring D (a notnecessarily commutative ring with 1 in which any nonzero element has a multiplicative inverse) is commutative. (This is due to Wedderburn.)
More informationCYCLICITY OF (Z/(p))
CYCLICITY OF (Z/(p)) KEITH CONRAD 1. Introduction For each prime p, the group (Z/(p)) is cyclic. We will give seven proofs of this fundamental result. A common feature of the proofs that (Z/(p)) is cyclic
More information1 Chapter 6  Exercise 1.8.cf
1 CHAPTER 6  EXERCISE 1.8.CF 1 1 Chapter 6  Exercise 1.8.cf Determine 1 The Class Equation of the dihedral group D 5. Note first that D 5 = 10 = 5 2. Hence every conjugacy class will have order 1, 2
More informationSince G is a compact Lie group, we can apply Schur orthogonality to see that G χ π (g) 2 dg =
Problem 1 Show that if π is an irreducible representation of a compact lie group G then π is also irreducible. Give an example of a G and π such that π = π, and another for which π π. Is this true for
More information1 First Theme: Sums of Squares
I will try to organize the work of this semester around several classical questions. The first is, When is a prime p the sum of two squares? The question was raised by Fermat who gave the correct answer
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 informationHOMEWORK 3 LOUISPHILIPPE THIBAULT
HOMEWORK 3 LOUISPHILIPPE THIBAULT Problem 1 Let G be a group of order 56. We have that 56 = 2 3 7. Then, using Sylow s theorem, we have that the only possibilities for the number of Sylowp subgroups
More informationAbstract Algebra: Supplementary Lecture Notes
Abstract Algebra: Supplementary Lecture Notes JOHN A. BEACHY Northern Illinois University 1995 Revised, 1999, 2006 ii To accompany Abstract Algebra, Third Edition by John A. Beachy and William D. Blair
More informationChapter 25 Finite Simple Groups. Chapter 25 Finite Simple Groups
Historical Background Definition A group is simple if it has no nontrivial proper normal subgroup. The definition was proposed by Galois; he showed that A n is simple for n 5 in 1831. It is an important
More informationKevin James. pgroups, Nilpotent groups and Solvable groups
pgroups, Nilpotent groups and Solvable groups Definition A maximal subgroup of a group G is a proper subgroup M G such that there are no subgroups H with M < H < G. Definition A maximal subgroup of a
More informationINTRODUCTION TO THE GROUP THEORY
Lecture Notes on Structure of Algebra INTRODUCTION TO THE GROUP THEORY By : Drs. Antonius Cahya Prihandoko, M.App.Sc email: antoniuscp.fkip@unej.ac.id Mathematics Education Study Program Faculty of Teacher
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 informationProblem 1. Let I and J be ideals in a ring commutative ring R with 1 R. Recall
I. TakeHome Portion: Math 350 Final Exam Due by 5:00pm on Tues. 5/12/15 No resources/devices other than our class textbook and class notes/handouts may be used. You must work alone. Choose any 5 problems
More informationSolutions of exercise sheet 8
DMATH Algebra I HS 14 Prof. Emmanuel Kowalski Solutions of exercise sheet 8 1. In this exercise, we will give a characterization for solvable groups using commutator subgroups. See last semester s (Algebra
More information1 Fields and vector spaces
1 Fields and vector spaces In this section we revise some algebraic preliminaries and establish notation. 1.1 Division rings and fields A division ring, or skew field, is a structure F with two binary
More informationGALOIS GROUPS AS PERMUTATION GROUPS
GALOIS GROUPS AS PERMUTATION GROUPS KEITH CONRAD 1. Introduction A Galois group is a group of field automorphisms under composition. By looking at the effect of a Galois group on field generators we can
More informationModern Algebra I. Circle the correct answer; no explanation is required. Each problem in this section counts 5 points.
1 2 3 style total Math 415 Please print your name: Answer Key 1 True/false Circle the correct answer; no explanation is required. Each problem in this section counts 5 points. 1. Every group of order 6
More informationPRACTICE FINAL MATH , MIT, SPRING 13. You have three hours. This test is closed book, closed notes, no calculators.
PRACTICE FINAL MATH 18.703, MIT, SPRING 13 You have three hours. This test is closed book, closed notes, no calculators. There are 11 problems, and the total number of points is 180. Show all your work.
More informationHow many units can a commutative ring have?
How many units can a commutative ring have? Sunil K. Chebolu and Keir Locridge Abstract. László Fuchs posed the following problem in 960, which remains open: classify the abelian groups occurring as the
More informationHigher Algebra Lecture Notes
Higher Algebra Lecture Notes October 2010 Gerald Höhn Department of Mathematics Kansas State University 138 Cardwell Hall Manhattan, KS 665062602 USA gerald@math.ksu.edu This are the notes for my lecture
More informationCHAPTER III NORMAL SERIES
CHAPTER III NORMAL SERIES 1. Normal Series A group is called simple if it has no nontrivial, proper, normal subgroups. The only abelian simple groups are cyclic groups of prime order, but some authors
More informationThe group (Z/nZ) February 17, In these notes we figure out the structure of the unit group (Z/nZ) where n > 1 is an integer.
The group (Z/nZ) February 17, 2016 1 Introduction In these notes we figure out the structure of the unit group (Z/nZ) where n > 1 is an integer. If we factor n = p e 1 1 pe, where the p i s are distinct
More informationALGEBRA HW 9 CLAY SHONKWILER
ALGEBRA HW 9 CLAY SHONKWILER 1 Let F = Z/pZ, let L = F (x, y) and let K = F (x p, y p ). Show that L is a finite field extension of K, but that there are infinitely many fields between K and L. Is L =
More informationHomework #5 Solutions
Homework #5 Solutions p 83, #16. In order to find a chain a 1 a 2 a n of subgroups of Z 240 with n as large as possible, we start at the top with a n = 1 so that a n = Z 240. In general, given a i we will
More informationMath 581 Problem Set 9
Math 581 Prolem Set 9 1. Let m and n e relatively prime positive integers. (a) Prove that Z/mnZ = Z/mZ Z/nZ as RINGS. (Hint: First Isomorphism Theorem) Proof: Define ϕz Z/mZ Z/nZ y ϕ(x) = ([x] m, [x] n
More informationName: Solutions  AI FINAL EXAM
1 2 3 4 5 6 7 8 9 10 11 12 13 total Name: Solutions  AI FINAL EXAM The first 7 problems will each count 10 points. The best 3 of # 813 will count 10 points each. Total is 100 points. A 4th problem from
More information1 Rings 1 RINGS 1. Theorem 1.1 (Substitution Principle). Let ϕ : R R be a ring homomorphism
1 RINGS 1 1 Rings Theorem 1.1 (Substitution Principle). Let ϕ : R R be a ring homomorphism (a) Given an element α R there is a unique homomorphism Φ : R[x] R which agrees with the map ϕ on constant polynomials
More informationRUDIMENTARY GALOIS THEORY
RUDIMENTARY GALOIS THEORY JACK LIANG Abstract. This paper introduces basic Galois Theory, primarily over fields with characteristic 0, beginning with polynomials and fields and ultimately relating the
More informationMath 3140 Fall 2012 Assignment #3
Math 3140 Fall 2012 Assignment #3 Due Fri., Sept. 21. Remember to cite your sources, including the people you talk to. My solutions will repeatedly use the following proposition from class: Proposition
More informationHomework #11 Solutions
Homework #11 Solutions p 166, #18 We start by counting the elements in D m and D n, respectively, of order 2. If x D m and x 2 then either x is a flip or x is a rotation of order 2. The subgroup of rotations
More informationOn the characterization of the numbers n such that any group of order n has a given property P
On the characterization of the numbers n such that any group of order n has a given property P arxiv:1501.03170v1 [math.gr] 6 Jan 2015 Advisor: Professor Thomas Haines Honors Thesis in Mathematics University
More informationGroups of Prime Power Order with Derived Subgroup of Prime Order
Journal of Algebra 219, 625 657 (1999) Article ID jabr.1998.7909, available online at http://www.idealibrary.com on Groups of Prime Power Order with Derived Subgroup of Prime Order Simon R. Blackburn*
More informationCYCLOTOMIC POLYNOMIALS
CYCLOTOMIC POLYNOMIALS 1. The Derivative and Repeated Factors The usual definition of derivative in calculus involves the nonalgebraic notion of limit that requires a field such as R or C (or others) where
More informationRepresentation Theory. Ricky Roy Math 434 University of Puget Sound
Representation Theory Ricky Roy Math 434 University of Puget Sound May 2, 2010 Introduction In our study of group theory, we set out to classify all distinct groups of a given order up to isomorphism.
More informationTHE JOHNS HOPKINS UNIVERSITY Faculty of Arts and Sciences FINAL EXAM  FALL SESSION ADVANCED ALGEBRA I.
THE JOHNS HOPKINS UNIVERSITY Faculty of Arts and Sciences FINAL EXAM  FALL SESSION 2006 110.401  ADVANCED ALGEBRA I. Examiner: Professor C. Consani Duration: take home final. No calculators allowed.
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 informationHomework 10 M 373K by Mark Lindberg (mal4549)
Homework 10 M 373K by Mark Lindberg (mal4549) 1. Artin, Chapter 11, Exercise 1.1. Prove that 7 + 3 2 and 3 + 5 are algebraic numbers. To do this, we must provide a polynomial with integer coefficients
More informationCosets, factor groups, direct products, homomorphisms, isomorphisms
Cosets, factor groups, direct products, homomorphisms, isomorphisms Sergei Silvestrov Spring term 2011, Lecture 11 Contents of the lecture Cosets and the theorem of Lagrange. Direct products and finitely
More informationAlgebra Prelim Notes
Algebra Prelim Notes Eric Staron Summer 2007 1 Groups Define C G (A) = {g G gag 1 = a for all a A} to be the centralizer of A in G. In particular, this is the subset of G which commuted with every element
More informationGROUPS AND THEIR REPRESENTATIONS. 1. introduction
GROUPS AND THEIR REPRESENTATIONS KAREN E. SMITH 1. introduction Representation theory is the study of the concrete ways in which abstract groups can be realized as groups of rigid transformations of R
More informationMATHEMATICS COMPREHENSIVE EXAM: INCLASS COMPONENT
MATHEMATICS COMPREHENSIVE EXAM: INCLASS COMPONENT The following is the list of questions for the oral exam. At the same time, these questions represent all topics for the written exam. The procedure for
More informationRings. Chapter 1. Definition 1.2. A commutative ring R is a ring in which multiplication is commutative. That is, ab = ba for all a, b R.
Chapter 1 Rings We have spent the term studying groups. A group is a set with a binary operation that satisfies certain properties. But many algebraic structures such as R, Z, and Z n come with two binary
More informationMath 210B: Algebra, Homework 4
Math 210B: Algebra, Homework 4 Ian Coley February 5, 2014 Problem 1. Let S be a multiplicative subset in a commutative ring R. Show that the localisation functor RMod S 1 RMod, M S 1 M, is exact. First,
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 informationSelected Solutions to Math 4107, Set 4
Selected Solutions to Math 4107, Set 4 November 9, 2005 Page 90. 1. There are 3 different classes: {e}, {(1 2), (1 3), (2 3)}, {(1 2 3), (1 3 2)}. We have that c e = 1, c (1 2) = 3, and c (1 2 3) = 2.
More informationINVERSE LIMITS AND PROFINITE GROUPS
INVERSE LIMITS AND PROFINITE GROUPS BRIAN OSSERMAN We discuss the inverse limit construction, and consider the special case of inverse limits of finite groups, which should best be considered as topological
More informationABSTRACT ALGEBRA 1, LECTURE NOTES 5: HOMOMORPHISMS, ISOMORPHISMS, SUBGROUPS, QUOTIENT ( FACTOR ) GROUPS. ANDREW SALCH
ABSTRACT ALGEBRA 1, LECTURE NOTES 5: HOMOMORPHISMS, ISOMORPHISMS, SUBGROUPS, QUOTIENT ( FACTOR ) GROUPS. ANDREW SALCH 1. Homomorphisms and isomorphisms between groups. Definition 1.1. Let G, H be groups.
More information2) e = e G G such that if a G 0 =0 G G such that if a G e a = a e = a. 0 +a = a+0 = a.
Chapter 2 Groups Groups are the central objects of algebra. In later chapters we will define rings and modules and see that they are special cases of groups. Also ring homomorphisms and module homomorphisms
More informationSEPARABLE EXTENSIONS OF DEGREE p IN CHARACTERISTIC p; FAILURE OF HERMITE S THEOREM IN CHARACTERISTIC p
SEPARABLE EXTENSIONS OF DEGREE p IN CHARACTERISTIC p; FAILURE OF HERMITE S THEOREM IN CHARACTERISTIC p JIM STANKEWICZ 1. Separable Field Extensions of degree p Exercise: Let K be a field of characteristic
More informationConverse to Lagrange s Theorem Groups
Converse to Lagrange s Theorem Groups Blain A Patterson Youngstown State University May 10, 2013 History In 1771 an Italian mathematician named Joseph Lagrange proved a theorem that put constraints on
More informationCHAPTER 9. Normal Subgroups and Factor Groups. Normal Subgroups
Normal Subgroups CHAPTER 9 Normal Subgroups and Factor Groups If H apple G, we have seen situations where ah 6= Ha 8 a 2 G. Definition (Normal Subgroup). A subgroup H of a group G is a normal subgroup
More informationChapter 11: Galois theory
Chapter 11: Galois theory Matthew Macauley Department of Mathematical Sciences Clemson University http://www.math.clemson.edu/~macaule/ Math 410, Spring 014 M. Macauley (Clemson) Chapter 11: Galois theory
More informationCONJUGATION IN A GROUP
CONJUGATION IN A GROUP KEITH CONRAD 1. Introduction A reflection across one line in the plane is, geometrically, just like a reflection across any other line. That is, while reflections across two different
More informationMath 581 Problem Set 6 Solutions
Math 581 Problem Set 6 Solutions 1. Let F K be a finite field extension. Prove that if [K : F ] = 1, then K = F. Proof: Let v K be a basis of K over F. Let c be any element of K. There exists α c F so
More informationMath 201C Homework. Edward Burkard. g 1 (u) v + f 2(u) g 2 (u) v2 + + f n(u) a 2,k u k v a 1,k u k v + k=0. k=0 d
Math 201C Homework Edward Burkard 5.1. Field Extensions. 5. Fields and Galois Theory Exercise 5.1.7. If v is algebraic over K(u) for some u F and v is transcendental over K, then u is algebraic over K(v).
More informationSome practice problems for midterm 2
Some practice problems for midterm 2 Kiumars Kaveh November 14, 2011 Problem: Let Z = {a G ax = xa, x G} be the center of a group G. Prove that Z is a normal subgroup of G. Solution: First we prove Z is
More informationDefinitions, Theorems and Exercises. Abstract Algebra Math 332. Ethan D. Bloch
Definitions, Theorems and Exercises Abstract Algebra Math 332 Ethan D. Bloch December 26, 2013 ii Contents 1 Binary Operations 3 1.1 Binary Operations............................... 4 1.2 Isomorphic Binary
More informationA characterisation of psoluble groups
A characterisation of psoluble groups Paul Flavell The School of Mathematics and Statistics The University of Birmingham Birmingham B15 2TT United Kingdom email: p.j.flavell@bham.ac.uk If p is a prime
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 informationTeddy Einstein Math 4320
Teddy Einstein Math 4320 HW4 Solutions Problem 1: 2.92 An automorphism of a group G is an isomorphism G G. i. Prove that Aut G is a group under composition. Proof. Let f, g Aut G. Then f g is a bijective
More informationORDERS OF ELEMENTS IN A GROUP
ORDERS OF ELEMENTS IN A GROUP KEITH CONRAD 1. Introduction Let G be a group and g G. We say g has finite order if g n = e for some positive integer n. For example, 1 and i have finite order in C, since
More informationChapter 8. Padic numbers. 8.1 Absolute values
Chapter 8 Padic numbers Literature: N. Koblitz, padic Numbers, padic Analysis, and ZetaFunctions, 2nd edition, Graduate Texts in Mathematics 58, Springer Verlag 1984, corrected 2nd printing 1996, Chap.
More informationSchool of Mathematics and Statistics MT5824 Topics in Groups Problem Sheet V: Direct and semidirect products (Solutions)
CMRD 2010 School of Mathematics and Statistics MT5824 Topics in Groups Problem Sheet V: Direct and semidirect products (Solutions) 1. Give an example of two groups G and H and a subgroup of the direct
More informationSOME 4POINT HURWITZ NUMBERS IN POSITIVE CHARACTERISTIC
SOME 4POINT HURWITZ NUMBERS IN POSITIVE CHARACTERISTIC IRENE I. BOUW AND BRIAN OSSERMAN Abstract. In this paper, we compute the number of covers of the projective line with given ramification in two related
More informationGalois theory of a quaternion group origami
Galois theory of a quaternion group origami Special Session on Automorphisms of Riemann Surfaces and Related Topics Fall Sectional Meeting Loyola University Chicago, Chicago, IL Rachel Joint work with
More informationProblem 1A. Suppose that f is a continuous real function on [0, 1]. Prove that
Problem 1A. Suppose that f is a continuous real function on [, 1]. Prove that lim α α + x α 1 f(x)dx = f(). Solution: This is obvious for f a constant, so by subtracting f() from both sides we can assume
More informationALGEBRA QUALIFYING EXAM PROBLEMS LINEAR ALGEBRA
ALGEBRA QUALIFYING EXAM PROBLEMS LINEAR ALGEBRA Kent State University Department of Mathematical Sciences Compiled and Maintained by Donald L. White Version: August 29, 2017 CONTENTS LINEAR ALGEBRA AND
More informationALGEBRA EXERCISES, PhD EXAMINATION LEVEL
ALGEBRA EXERCISES, PhD EXAMINATION LEVEL 1. Suppose that G is a finite group. (a) Prove that if G is nilpotent, and H is any proper subgroup, then H is a proper subgroup of its normalizer. (b) Use (a)
More informationSelfcomplementary circulant graphs
Selfcomplementary circulant graphs Brian Alspach Joy Morris Department of Mathematics and Statistics Burnaby, British Columbia Canada V5A 1S6 V. Vilfred Department of Mathematics St. Jude s College Thoothoor
More informationChief factors. Jack Schmidt. University of Kentucky
Chief factors Jack Schmidt University of Kentucky 20080305 Chief factors allow a group to be studied by its representation theory on particularly natural irreducible modules. Outline What is a chief
More informationMath 594, HW2  Solutions
Math 594, HW2  Solutions Gilad Pagi, Feng Zhu February 8, 2015 1 a). It suffices to check that NA is closed under the group operation, and contains identities and inverses: NA is closed under the group
More informationABSTRACT ALGEBRA. Romyar Sharifi
ABSTRACT ALGEBRA Romyar Sharifi Contents Introduction 7 Part 1. A First Course 11 Chapter 1. Set theory 13 1.1. Sets and functions 13 1.2. Relations 15 1.3. Binary operations 19 Chapter 2. Group theory
More informationSylow subgroups of GL(3,q)
Jack Schmidt We describe the Sylow psubgroups of GL(n, q) for n 4. These were described in (Carter & Fong, 1964) and (Weir, 1955). 1 Overview The groups GL(n, q) have three types of Sylow psubgroups:
More informationGALOIS GROUPS OF CUBICS AND QUARTICS (NOT IN CHARACTERISTIC 2)
GALOIS GROUPS OF CUBICS AND QUARTICS (NOT IN CHARACTERISTIC 2) KEITH CONRAD We will describe a procedure for figuring out the Galois groups of separable irreducible polynomials in degrees 3 and 4 over
More informationGROUPS OF ORDER p 3 KEITH CONRAD
GROUPS OF ORDER p 3 KEITH CONRAD For any prime p, we want to describe the groups of order p 3 up to isomorphism. From the cyclic decomposition of finite abelian groups, there are three abelian groups of
More informationThe Classification of Automorphism Groups of Rational Elliptic Surfaces With Section
University of Pennsylvania ScholarlyCommons Publicly Accessible Penn Dissertations Spring 516011 The Classification of Automorphism Groups of Rational Elliptic Surfaces With Section Tolga Karayayla tkarayay@math.upenn.edu
More informationMinimal and random generation of permutation and matrix groups
Minimal and random generation of permutation and matrix groups Derek F. Holt and Colva M. RoneyDougal November 27, 2012 Abstract We prove explicit bounds on the numbers of elements needed to generate
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 information[x, y] =x 1 y 1 xy. Definition 7.1 Let A and B be subgroups of a group G. Define the commutator. [A, B] = [a, b] a A, b B,
Chapter 7 Nilpotent Groups Recall the commutator is given by [x, y] =x 1 y 1 xy. Definition 7.1 Let A and B be subgroups of a group G. Define the commutator subgroup [A, B] by [A, B] = [a, b] a A, b B,
More informationAlgebra I. Randall R. Holmes Auburn University
Algebra I Randall R. Holmes Auburn University Copyright c 2008 by Randall R. Holmes Last revision: June 8, 2009 Contents 0 Introduction 2 1 Definition of group and examples 4 1.1 Definition.............................
More information