Algebra SEP Solutions


 Marvin Alexander
 4 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 informationNOTES ON FINITE FIELDS
NOTES ON FINITE FIELDS AARON LANDESMAN CONTENTS 1. Introduction to finite fields 2 2. Definition and constructions of fields 3 2.1. The definition of a field 3 2.2. Constructing field extensions by adjoining
More informationDefinitions. Notations. Injective, Surjective and Bijective. Divides. Cartesian Product. Relations. Equivalence Relations
Page 1 Definitions Tuesday, May 8, 2018 12:23 AM Notations " " means "equals, by definition" the set of all real numbers the set of integers Denote a function from a set to a set by Denote the image of
More 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 informationA. (Groups of order 8.) (a) Which of the five groups G (as specified in the question) have the following property: G has a normal subgroup N such that
MATH 402A  Solutions for the suggested problems. A. (Groups of order 8. (a Which of the five groups G (as specified in the question have the following property: G has a normal subgroup N such that N =
More informationYale University Department of Mathematics Math 350 Introduction to Abstract Algebra Fall Midterm Exam Review Solutions
Yale University Department of Mathematics Math 350 Introduction to Abstract Algebra Fall 2015 Midterm Exam Review Solutions Practice exam questions: 1. Let V 1 R 2 be the subset of all vectors whose slope
More informationProblem 1.1. Classify all groups of order 385 up to isomorphism.
Math 504: Modern Algebra, Fall Quarter 2017 Jarod Alper Midterm Solutions Problem 1.1. Classify all groups of order 385 up to isomorphism. Solution: Let G be a group of order 385. Factor 385 as 385 = 5
More informationAlgebra Exam Fall Alexander J. Wertheim Last Updated: October 26, Groups Problem Problem Problem 3...
Algebra Exam Fall 2006 Alexander J. Wertheim Last Updated: October 26, 2017 Contents 1 Groups 2 1.1 Problem 1..................................... 2 1.2 Problem 2..................................... 2
More informationANALYSIS OF SMALL GROUPS
ANALYSIS OF SMALL GROUPS 1. Big Enough Subgroups are Normal Proposition 1.1. Let G be a finite group, and let q be the smallest prime divisor of G. Let N G be a subgroup of index q. Then N is a normal
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 informationMath 451, 01, Exam #2 Answer Key
Math 451, 01, Exam #2 Answer Key 1. (25 points): If the statement is always true, circle True and prove it. If the statement is never true, circle False and prove that it can never be true. If the statement
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 informationAlgebra Qualifying Exam Solutions. Thomas Goller
Algebra Qualifying Exam Solutions Thomas Goller September 4, 2 Contents Spring 2 2 2 Fall 2 8 3 Spring 2 3 4 Fall 29 7 5 Spring 29 2 6 Fall 28 25 Chapter Spring 2. The claim as stated is false. The identity
More information3. G. Groups, as men, will be known by their actions.  Guillermo Moreno
3.1. The denition. 3. G Groups, as men, will be known by their actions.  Guillermo Moreno D 3.1. An action of a group G on a set X is a function from : G X! X such that the following hold for all g, h
More informationMA441: Algebraic Structures I. Lecture 26
MA441: Algebraic Structures I Lecture 26 10 December 2003 1 (page 179) Example 13: A 4 has no subgroup of order 6. BWOC, suppose H < A 4 has order 6. Then H A 4, since it has index 2. Thus A 4 /H has order
More informationAlgebra Exercises in group theory
Algebra 3 2010 Exercises in group theory February 2010 Exercise 1*: Discuss the Exercises in the sections 1.11.3 in Chapter I of the notes. Exercise 2: Show that an infinite group G has to contain a nontrivial
More informationALGEBRA QUALIFYING EXAM PROBLEMS
ALGEBRA QUALIFYING EXAM PROBLEMS Kent State University Department of Mathematical Sciences Compiled and Maintained by Donald L. White Version: August 29, 2017 CONTENTS LINEAR ALGEBRA AND MODULES General
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 informationGalois Theory TCU Graduate Student Seminar George Gilbert October 2015
Galois Theory TCU Graduate Student Seminar George Gilbert October 201 The coefficients of a polynomial are symmetric functions of the roots {α i }: fx) = x n s 1 x n 1 + s 2 x n 2 + + 1) n s n, where s
More informationDISCRETE MATH (A LITTLE) & BASIC GROUP THEORY  PART 3/3. Contents
DISCRETE MATH (A LITTLE) & BASIC GROUP THEORY  PART 3/3 T.K.SUBRAHMONIAN MOOTHATHU Contents 1. Cayley s Theorem 1 2. The permutation group S n 2 3. Center of a group, and centralizers 4 4. Group actions
More informationCSIR  Algebra Problems
CSIR  Algebra Problems N. Annamalai DST  INSPIRE Fellow (SRF) Department of Mathematics Bharathidasan University Tiruchirappalli 620024 Email: algebra.annamalai@gmail.com Website: https://annamalaimaths.wordpress.com
More informationCOURSE SUMMARY FOR MATH 504, FALL QUARTER : MODERN ALGEBRA
COURSE SUMMARY FOR MATH 504, FALL QUARTER 20178: MODERN ALGEBRA JAROD ALPER Week 1, Sept 27, 29: Introduction to Groups Lecture 1: Introduction to groups. Defined a group and discussed basic properties
More information(1) A frac = b : a, b A, b 0. We can define addition and multiplication of fractions as we normally would. a b + c d
The Algebraic Method 0.1. Integral Domains. Emmy Noether and others quickly realized that the classical algebraic number theory of Dedekind could be abstracted completely. In particular, rings of integers
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 informationφ(xy) = (xy) n = x n y n = φ(x)φ(y)
Groups 1. (Algebra Comp S03) Let A, B and C be normal subgroups of a group G with A B. If A C = B C and AC = BC then prove that A = B. Let b B. Since b = b1 BC = AC, there are a A and c C such that b =
More informationSolutions to Assignment 4
1. Let G be a finite, abelian group written additively. Let x = g G g, and let G 2 be the subgroup of G defined by G 2 = {g G 2g = 0}. (a) Show that x = g G 2 g. (b) Show that x = 0 if G 2 = 2. If G 2
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 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 informationAlgebra Qualifying Exam August 2001 Do all 5 problems. 1. Let G be afinite group of order 504 = 23 32 7. a. Show that G cannot be isomorphic to a subgroup of the alternating group Alt 7. (5 points) b.
More informationMath 120: Homework 6 Solutions
Math 120: Homewor 6 Solutions November 18, 2018 Problem 4.4 # 2. Prove that if G is an abelian group of order pq, where p and q are distinct primes then G is cyclic. Solution. By Cauchy s theorem, G has
More informationMath 429/581 (Advanced) Group Theory. Summary of Definitions, Examples, and Theorems by Stefan Gille
Math 429/581 (Advanced) Group Theory Summary of Definitions, Examples, and Theorems by Stefan Gille 1 2 0. Group Operations 0.1. Definition. Let G be a group and X a set. A (left) operation of G on X is
More 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 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 informationFINITE GROUP THEORY: SOLUTIONS FALL MORNING 5. Stab G (l) =.
FINITE GROUP THEORY: SOLUTIONS TONY FENG These are hints/solutions/commentary on the problems. They are not a model for what to actually write on the quals. 1. 2010 FALL MORNING 5 (i) Note that G acts
More informationExercises MAT2200 spring 2013 Ark 4 Homomorphisms and factor groups
Exercises MAT2200 spring 2013 Ark 4 Homomorphisms and factor groups This Ark concerns the weeks No. (Mar ) and No. (Mar ). Plans until Eastern vacations: In the book the group theory included in the curriculum
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 informationA PROOF OF BURNSIDE S p a q b THEOREM
A PROOF OF BURNSIDE S p a q b THEOREM OBOB Abstract. We prove that if p and q are prime, then any group of order p a q b is solvable. Throughout this note, denote by A the set of algebraic numbers. We
More informationAlgebra Exam, Spring 2017
Algebra Exam, Spring 2017 There are 5 problems, some with several parts. Easier parts count for less than harder ones, but each part counts. Each part may be assumed in later parts and problems. Unjustified
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 informationDMATH Algebra II FS18 Prof. Marc Burger. Solution 26. Cyclotomic extensions.
DMAH Algebra II FS18 Prof. Marc Burger Solution 26 Cyclotomic extensions. In the following, ϕ : Z 1 Z 0 is the Euler function ϕ(n = card ((Z/nZ. For each integer n 1, we consider the nth cyclotomic polynomial
More informationx 2 = xn xn = x 2 N = N = 0
Potpourri. Spring 2010 Problem 2 Let G be a finite group with commutator subgroup G. Let N be the subgroup of G generated by the set {x 2 : x G}. Then N is a normal subgroup of G and N contains G. Proof.
More informationSupplement. Dr. Bob s Modern Algebra Glossary Based on Fraleigh s A First Course on Abstract Algebra, 7th Edition, Sections 0 through IV.
Glossary 1 Supplement. Dr. Bob s Modern Algebra Glossary Based on Fraleigh s A First Course on Abstract Algebra, 7th Edition, Sections 0 through IV.23 Abelian Group. A group G, (or just G for short) is
More informationGRE Subject test preparation Spring 2016 Topic: Abstract Algebra, Linear Algebra, Number Theory.
GRE Subject test preparation Spring 2016 Topic: Abstract Algebra, Linear Algebra, Number Theory. Linear Algebra Standard matrix manipulation to compute the kernel, intersection of subspaces, column spaces,
More informationAlgebra Ph.D. Preliminary Exam
RETURN THIS COVER SHEET WITH YOUR EXAM AND SOLUTIONS! Algebra Ph.D. Preliminary Exam August 18, 2008 INSTRUCTIONS: 1. Answer each question on a separate page. Turn in a page for each problem even if you
More informationGENERALIZED QUATERNIONS
GENERALIZED QUATERNIONS KEITH CONRAD 1. introduction The quaternion group Q 8 is one of the two nonabelian groups of size 8 (up to isomorphism). The other one, D 4, can be constructed as a semidirect
More informationExtra exercises for algebra
Extra exercises for algebra These are extra exercises for the course algebra. They are meant for those students who tend to have already solved all the exercises at the beginning of the exercise session
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 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 informationIUPUI Qualifying Exam Abstract Algebra
IUPUI Qualifying Exam Abstract Algebra January 2017 Daniel Ramras (1) a) Prove that if G is a group of order 2 2 5 2 11, then G contains either a normal subgroup of order 11, or a normal subgroup of order
More informationSelected exercises from Abstract Algebra by Dummit and Foote (3rd edition).
Selected exercises from Abstract Algebra by Dummit Foote (3rd edition). Bryan Félix Abril 12, 2017 Section 4.1 Exercise 1. Let G act on the set A. Prove that if a, b A b = ga for some g G, then G b = gg
More informationbut no smaller power is equal to one. polynomial is defined to be
13. Radical and Cyclic Extensions The main purpose of this section is to look at the Galois groups of x n a. The first case to consider is a = 1. Definition 13.1. Let K be a field. An element ω K is said
More informationSchool of Mathematics and Statistics MT5824 Topics in Groups Problem Sheet IV: Composition series and the Jordan Hölder Theorem (Solutions)
CMRD 2010 School of Mathematics and Statistics MT5824 Topics in Groups Problem Sheet IV: Composition series and the Jordan Hölder Theorem (Solutions) 1. Let G be a group and N be a normal subgroup of G.
More informationAlgebra Qualifying Exam, Fall 2018
Algebra Qualifying Exam, Fall 2018 Name: Student ID: Instructions: Show all work clearly and in order. Use full sentences in your proofs and solutions. All answers count. In this exam, you may use the
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 informationMath 120. Groups and Rings Midterm Exam (November 8, 2017) 2 Hours
Math 120. Groups and Rings Midterm Exam (November 8, 2017) 2 Hours Name: Please read the questions carefully. You will not be given partial credit on the basis of having misunderstood a question, and please
More informationB Sc MATHEMATICS ABSTRACT ALGEBRA
UNIVERSITY OF CALICUT SCHOOL OF DISTANCE EDUCATION B Sc MATHEMATICS (0 Admission Onwards) V Semester Core Course ABSTRACT ALGEBRA QUESTION BANK () Which of the following defines a binary operation on Z
More informationCharacter tables for some small groups
Character tables for some small groups P R Hewitt U of Toledo 12 Feb 07 References: 1. P Neumann, On a lemma which is not Burnside s, Mathematical Scientist 4 (1979), 133141. 2. JH Conway et al., Atlas
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 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 informationOhio State University Department of Mathematics Algebra Qualifier Exam Solutions. Timothy All Michael Belfanti
Ohio State University Department of Mathematics Algebra Qualifier Exam Solutions Timothy All Michael Belfanti July 22, 2013 Contents Spring 2012 1 1. Let G be a finite group and H a nonnormal subgroup
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 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 informationPage Points Possible Points. Total 200
Instructions: 1. The point value of each exercise occurs adjacent to the problem. 2. No books or notes or calculators are allowed. Page Points Possible Points 2 20 3 20 4 18 5 18 6 24 7 18 8 24 9 20 10
More informationSchool of Mathematics and Statistics. MT5824 Topics in Groups. Problem Sheet I: Revision and ReActivation
MRQ 2009 School of Mathematics and Statistics MT5824 Topics in Groups Problem Sheet I: Revision and ReActivation 1. Let H and K be subgroups of a group G. Define HK = {hk h H, k K }. (a) Show that HK
More informationMAT534 Fall 2013 Practice Midterm I The actual midterm will consist of five problems.
MAT534 Fall 2013 Practice Midterm I The actual midterm will consist of five problems. Problem 1 Find all homomorphisms a) Z 6 Z 6 ; b) Z 6 Z 18 ; c) Z 18 Z 6 ; d) Z 12 Z 15 ; e) Z 6 Z 25 Proof. a)ψ(1)
More informationMath 594. Solutions 5
Math 594. Solutions 5 Book problems 6.1: 7. Prove that subgroups and quotient groups of nilpotent groups are nilpotent (your proof should work for infinite groups). Give an example of a group G which possesses
More informationSchool of Mathematics and Statistics. MT5836 Galois Theory. Handout 0: Course Information
MRQ 2017 School of Mathematics and Statistics MT5836 Galois Theory Handout 0: Course Information Lecturer: Martyn Quick, Room 326. Prerequisite: MT3505 (or MT4517) Rings & Fields Lectures: Tutorials: Mon
More informationAlgebra Ph.D. Entrance Exam Fall 2009 September 3, 2009
Algebra Ph.D. Entrance Exam Fall 2009 September 3, 2009 Directions: Solve 10 of the following problems. Mark which of the problems are to be graded. Without clear indication which problems are to be graded
More information1 The Galois Group of a Quadratic
Algebra Prelim Notes The Galois Group of a Polynomial Jason B. Hill University of Colorado at Boulder Throughout this set of notes, K will be the desired base field (usually Q or a finite field) and F
More informationGALOIS THEORY. Contents
GALOIS THEORY MARIUS VAN DER PUT & JAAP TOP Contents 1. Basic definitions 1 1.1. Exercises 2 2. Solving polynomial equations 2 2.1. Exercises 4 3. Galois extensions and examples 4 3.1. Exercises. 6 4.
More informationName: Solutions Final Exam
Instructions. Answer each of the questions on your own paper. Be sure to show your work so that partial credit can be adequately assessed. Put your name on each page of your paper. 1. [10 Points] All of
More informationA SIMPLE PROOF OF BURNSIDE S CRITERION FOR ALL GROUPS OF ORDER n TO BE CYCLIC
A SIMPLE PROOF OF BURNSIDE S CRITERION FOR ALL GROUPS OF ORDER n TO BE CYCLIC SIDDHI PATHAK Abstract. This note gives a simple proof of a famous theorem of Burnside, namely, all groups of order n are cyclic
More informationGALOIS 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
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 informationENTRY GROUP THEORY. [ENTRY GROUP THEORY] Authors: started Mark Lezama: October 2003 Literature: Algebra by Michael Artin, Mathworld.
ENTRY GROUP THEORY [ENTRY GROUP THEORY] Authors: started Mark Lezama: October 2003 Literature: Algebra by Michael Artin, Mathworld Group theory [Group theory] is studies algebraic objects called groups.
More informationarxiv: v3 [math.co] 4 Apr 2011
Also available on http://amc.imfm.si ARS MATHEMATICA CONTEMPORANEA x xxxx) 1 x Hamiltonian cycles in Cayley graphs whose order has few prime factors arxiv:1009.5795v3 [math.co] 4 Apr 2011 K. Kutnar University
More informationHOMEWORK Graduate Abstract Algebra I May 2, 2004
Math 5331 Sec 121 Spring 2004, UT Arlington HOMEWORK Graduate Abstract Algebra I May 2, 2004 The required text is Algebra, by Thomas W. Hungerford, Graduate Texts in Mathematics, Vol 73, Springer. (it
More informationGroups and Symmetries
Groups and Symmetries Definition: Symmetry A symmetry of a shape is a rigid motion that takes vertices to vertices, edges to edges. Note: A rigid motion preserves angles and distances. Definition: Group
More informationRepresentation Theory
Part II Year 2018 2017 2016 2015 2014 2013 2012 2011 2010 2009 2008 2007 2006 2005 2018 Paper 1, Section II 19I 93 (a) Define the derived subgroup, G, of a finite group G. Show that if χ is a linear character
More informationALGEBRA 11: Galois theory
Galois extensions Exercise 11.1 (!). Consider a polynomial P (t) K[t] of degree n with coefficients in a field K that has n distinct roots in K. Prove that the ring K[t]/P of residues modulo P is isomorphic
More 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 informationON GALOIS GROUPS OF ABELIAN EXTENSIONS OVER MAXIMAL CYCLOTOMIC FIELDS. Mamoru Asada. Introduction
ON GALOIS GROUPS OF ABELIAN ETENSIONS OVER MAIMAL CYCLOTOMIC FIELDS Mamoru Asada Introduction Let k 0 be a finite algebraic number field in a fixed algebraic closure Ω and ζ n denote a primitive nth root
More informationAbstract Algebra, Second Edition, by John A. Beachy and William D. Blair. Corrections and clarifications
1 Abstract Algebra, Second Edition, by John A. Beachy and William D. Blair Corrections and clarifications Note: Some corrections were made after the first printing of the text. page 9, line 8 For of the
More informationAlgebra. Travis Dirle. December 4, 2016
Abstract Algebra 2 Algebra Travis Dirle December 4, 2016 2 Contents 1 Groups 1 1.1 Semigroups, Monoids and Groups................ 1 1.2 Homomorphisms and Subgroups................. 2 1.3 Cyclic Groups...........................
More informationALGEBRA QUALIFYING EXAM SPRING 2012
ALGEBRA QUALIFYING EXAM SPRING 2012 Work all of the problems. Justify the statements in your solutions by reference to specific results, as appropriate. Partial credit is awarded for partial solutions.
More informationMath 553 Qualifying Exam. In this test, you may assume all theorems proved in the lectures. All other claims must be proved.
Math 553 Qualifying Exam January, 2019 Ron Ji In this test, you may assume all theorems proved in the lectures. All other claims must be proved. 1. Let G be a group of order 3825 = 5 2 3 2 17. Show that
More informationMay 6, Be sure to write your name on your bluebook. Use a separate page (or pages) for each problem. Show all of your work.
Math 236H May 6, 2008 Be sure to write your name on your bluebook. Use a separate page (or pages) for each problem. Show all of your work. 1. (15 points) Prove that the symmetric group S 4 is generated
More informationarxiv: v1 [math.gr] 3 Feb 2019
Galois groups of symmetric sextic trinomials arxiv:1902.00965v1 [math.gr] Feb 2019 Alberto Cavallo Max Planck Institute for Mathematics, Bonn 5111, Germany cavallo@mpimbonn.mpg.de Abstract We compute
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 informationMath 120 HW 9 Solutions
Math 120 HW 9 Solutions June 8, 2018 Question 1 Write down a ring homomorphism (no proof required) f from R = Z[ 11] = {a + b 11 a, b Z} to S = Z/35Z. The main difficulty is to find an element x Z/35Z
More informationGroups Subgroups Normal subgroups Quotient groups Homomorphisms Cyclic groups Permutation groups Cayley s theorem Class equations Sylow theorems
Group Theory Groups Subgroups Normal subgroups Quotient groups Homomorphisms Cyclic groups Permutation groups Cayley s theorem Class equations Sylow theorems Groups Definition : A nonempty set ( G,*)
More informationFROM GROUPS TO GALOIS Amin Witno
WON Series in Discrete Mathematics and Modern Algebra Volume 6 FROM GROUPS TO GALOIS Amin Witno These notes 1 have been prepared for the students at Philadelphia University (Jordan) who are taking the
More informationABSTRACT ALGEBRA 1 COURSE NOTES, LECTURE 11: SYLOW THEORY.
ABSTRACT ALGEBRA 1 COURSE NOTES, LECTURE 11: SYLOW THEORY. ANDREW SALCH Here s a quick definition we could have introduced a long time ago: Definition 0.1. If n is a positive integer, we often write C
More information6 Orthogonal groups. O 2m 1 q. q 2i 1 q 2i. 1 i 1. 1 q 2i 2. O 2m q. q m m 1. 1 q 2i 1 i 1. 1 q 2i. i 1. 2 q 1 q i 1 q i 1. m 1.
6 Orthogonal groups We now turn to the orthogonal groups. These are more difficult, for two related reasons. First, it is not always true that the group of isometries with determinant 1 is equal to its
More informationAN ALGEBRA PRIMER WITH A VIEW TOWARD CURVES OVER FINITE FIELDS
AN ALGEBRA PRIMER WITH A VIEW TOWARD CURVES OVER FINITE FIELDS The integers are the set 1. Groups, Rings, and Fields: Basic Examples Z := {..., 3, 2, 1, 0, 1, 2, 3,...}, and we can add, subtract, and multiply
More informationAlgebraic structures I
MTH5100 Assignment 110 Algebraic structures I For handing in on various dates January March 2011 1 FUNCTIONS. Say which of the following rules successfully define functions, giving reasons. For each one
More informationAlgebra Exam Topics. Updated August 2017
Algebra Exam Topics Updated August 2017 Starting Fall 2017, the Masters Algebra Exam will have 14 questions. Of these students will answer the first 8 questions from Topics 1, 2, and 3. They then have
More informationNONNILPOTENT GROUPS WITH THREE CONJUGACY CLASSES OF NONNORMAL SUBGROUPS. Communicated by Alireza Abdollahi. 1. Introduction
International Journal of Group Theory ISSN (print): 22517650, ISSN (online): 22517669 Vol. 3 No. 2 (2014), pp. 17. c 2014 University of Isfahan www.theoryofgroups.ir www.ui.ac.ir NONNILPOTENT GROUPS
More information