Algebra Qualifying Exam Solutions. Thomas Goller

Size: px
Start display at page:

Download "Algebra Qualifying Exam Solutions. Thomas Goller"

Transcription

1 Algebra Qualifying Exam Solutions Thomas Goller September 4, 2

2 Contents Spring Fall Spring Fall Spring Fall 28 25

3 Chapter Spring 2. The claim as stated is false. The identity element is a problem, since = (2)(2) is a product of commuting 2-cycles, but has order. The statement is correct if we exclude the identity: Proposition. Let p be prime. An element σ S n has order p if and only if σ is the product of (at least one) commuting p-cycles. Proof. Suppose σ has order p. Let σ S n have (disjoint) cyclic decomposition σ = C... C r. The order of σ is the least common multiple of the sizes of the C i, namely p = σ = lcm{ C i }, whence C i = p for each i. Thus r and the C i are disjoint, hence they commute. Conversely, suppose σ = C... C r is a decomposition into (not necessarily disjoint) commuting p-cycles, with r. Then by commutativity, σ p = C p... Cp r =, so σ has order dividing p. Since σ, this proves that σ has order p. If p is not prime, then the theorem fails. For instance, (2)(345) S 5 has order lcm{2, 3} = 6, but is not the product of commuting 6-cycles. 2. First we compute the order of G = GL 2 (F p ). For the first row of the matrix, there are p 2 possibilities, since we cannot have both entries be. For the second row, there are p 2 p possibilities, since anything but a multiple of the first row ensures a nonzero determinant. Thus GL 2 (F p ) = (p 2 )(p 2 p) = p(p + )(p ) 2. By Sylow s theorem, the number n p of Sylow-p subgroups of G satisfies n p (p + )(p ) 2 and n p (mod p). 2

4 So we have n p {, p +, ( (p ) ) 2, (p + )(p ) 2 }. Consider the element, which is of order p and generates a Sylow p-subgroup P. Its transpose is also order p, so we can rule out n p =. Now, note that if a, d, then ( ) ( ) ( ) ( ) a b d b ad =, ad d a ( ) a b whence every such is in the normalizer N d P (G). There are p(p ) 2 such elements, so since n p = (G : N P (G)) by Sylow s theorem, we obtain the bound n p p +. Thus n p = p (a) We have G = p k for k 2. Let G act on itself by conjugation, with g,..., g r distinct representatives of the non-central conjugacy classes of G. The class equation gives p k = G = Z(G) + r (G: C G (g i )). Since G = C G (g i ) (G: C G (g i )), each summand is divisible by p, so Z(G) must be divisible by p and therefore nontrivial. (b) Now, we prove by induction on k that G has normal subgroup of order p b for each j k (the cases j =, k are trivial). Since Z(G) is divisible by p, Z(G) contains an element of order p by Cauchy s theorem, whence Z(G) contains an (abelian) subgroup Z or order p, which is normal in G since Z is contained in the center of G. Then G := G/Z has order p k, whence G has normal subgroups H,..., H k 2 of orders p,..., p k 2, plus the identity subgroup H :=. Letting G π G denote the natural surjection, we claim that the subgroups H j := π ( H j ) for j k 2 are of order p j+ and normal in G. The order statement is clear, since cosets of Z in G have cardinality p. Now for any x H j and g G, we have ḡ xḡ H j, so that since π is a homomorphism, gxg H j. Thus gxg H j, so H j is normal in G. i= 4. We have A = 2 3 and wish to compute the rational and Jordan canonical forms (over Q and C, respectively). The characteristic polynomial is f = (x ) 2 (x 2) and the minimal polynomial is p = (x )(x 2), which is proved by showing that 3

5 p(a) =. Thus the invariant factors are p = p = (x )(x 2) = x 2 3x + 2 and p 2 = x (we must have p p 2 = f), so the rational form is 2 A 3 To confirm this, we note that A =, A =, A 2 = 2, 3 so that a basis that yields the rational form is,, The associated change of basis matrix (expressing the new basis in terms of the old basis just load in the vectors of the basis as the columns) is P =, with P =, whence P AP = 2 3. (Since B old v old = B new v new and B new = B old P, we see that v old = P v new, namely P takes the old basis to the new basis, but takes vectors with coordinates in the new basis to vectors with coordinates in the old basis. The new matrix should act on vectors expressed in the new basis. So take such a vector, convert to the old basis using P, then apply A, then use P to take the result back to the new basis.) Now for the Jordan form. We have two Jordan blocks, one of size 2 associated with the eigenvalue and the other of size for the eigenvalue 2. Since the minimal polynomial has linear powers, each block is diagonalizable, so the result is A. 2 4

6 5. First, Z[i] is an integral domain since by definition (a + bi)(c + di) = ac bd + (ad + bc)i is if and only if a = b = or c = d =. We need to prove that there is a norm Z[i] N Z such that for any α = a + bi, β = c + di Z[i], where β, there are p + qi, γ Z[i] such that α = (p + qi)β + γ, with γ = or N(γ) < N(β). In Q[i], we have α β = r + si, with r, s Q. Let p be an integer closest to r and q an integer closest to s, so that r p and s q are 2. Then setting θ = (r p) + (s q)i and γ = βθ, we have α = (p + qi)β + γ, so that γ Z[i]. Moreover, using the norm of Q[i] that is the natural extension of the norm of Z[i], we have N(γ) = N(β)N(θ) N(β), 2 whence γ implies N(γ) < N(β) since N(γ) is an integer. 6. Skip. 7. Z/mZ Z Z/nZ is cyclic since a b = b(a ) = ab( ), with as a generator. Moreover, there exist integers a, b such that am+bn = d, so d( ) = (am + bn)( ) = (am bn) =, whence the order of the cyclic group divides d. Now consider the map Z/mZ Z/nZ ϕ Z/dZ defined by (a mod m, b mod n) ab mod d. It is Z-bilinear, and the induced linear map Z/mZ Z Z/nZ ϕ Z/dZ maps, an element of order d. Thus has order a multiple of d, whence the cyclic group has order at least d, and therefore exactly d. So ϕ is an isomorphism. 8. Skip. 9. (a) First, note that x 4 5 is irreducible over Q by Eisenstein. Letting α denote the positive real number 4 5, the roots of x 4 5 in C are 4 5, ζ 4 5, ζ 2 4 5, ζ 3 4 5, 5

7 where ζ = i is a primitive fourth root of unity. Thus the splitting field of E of x 4 5 is E = Q( 4 5, i), which has degree 8 over Q. Since i is a root of the irreducible polynomial x 2 +, the 8 elements of G = Gal(E/Q) are determined by 4 5 i k 4 5, i ±i, all of which are automorphisms of E. Letting σ : 4 5 i 4 5, i i and τ : , i i, we see that G = σ, τ = {, σ, σ 2, σ 3, τ, στ, σ 2 τ, σ 3 τ}, and that σ, τ satisfy the relations σ 4 = τ 2 = and τσ = σ 3 τ. Thus G D 4. The inverted lattice of subgroups of D 4 is (DF 69) τ σ 2 τ σ 2 στ σ 3 τ σ 2, τ σ σ 2, στ σ, τ The corresponding lattice of fixed fields is Q( 4 5, i) Q( 4 5) Q(i 4 5) Q( 5, i) Q(( + i) 4 5) Q(( i) 4 5) Q( 5) Q(i) Q(i 5) Q (b) The Galois group of Q( 4 5, i) over Q( 5) is σ 2, τ, which is isomorphic to Z 2 Z 2, the Klein Viergruppe. 6

8 (c) The Galois group of Q( 4 5) over Q(i) is σ, isomorphic to Z 4.. The extension Q( 2)/Q is Galois of degree 2, with basis {, 2} over Q. We claim that 3 / Q( 2). For suppose (a + b 2) 2 = 3 with a, b Q. Then a 2 + 2b 2 + 2ab 2 = 3, whence a or b is, but 3 is not the square of a rational number. Since Q( 3)/Q is of degree 2, so is Q( 2, 3)/Q( 2), whence Q( 2, 3)/Q is of degree 4, with basis {, 2, 3, 6}. Since Q( 2, 3) is the smallest extension of Q containing ± 2, ± 3, it is the splitting field of the separable polynomial (x 2 2)(x 2 3), hence a Galois extension of Q. Automorphisms of Q( 2, 3) fixing Q must map 2 ± 2, 3 ± 3. Since there are four such maps, and the degree of the extension is 4, each of these maps is an automorphism. Let σ : 2 2, 3 3 τ : 2 2, 3 3. Then G = Gal(Q( 2, 3)/Q) = σ, τ. Since σ 2 = τ 2 = and στ = τσ, G is isomorphic to Z 2 Z 2.. Recall that for polynomials f, g F[x, y], where F is a field, we have deg(fg) = deg f + deg g. Suppose x 2 + y 2 is reducible, factoring into the non-units f, g. Then f, g must each be of degree, so we get an expression (ax + by + c)(a x + b y + c ) = x 2 + y 2. This implies aa = bb = cc =, so all the coefficients are nonzero. Moreover, we deduce ab = a b, ac = a c, and bc = b c, whence b = a b/a and a c/a = c = b c/b. But the latter equalities imply a /a = b /b, contradicting the former equality. So there is no such factorization, in either Q[x, y] or C[x, y]. 7

9 Chapter 2 Fall 2. We begin by computing the order of G := SL 2 (F 5 ). The order of H := GL 2 (F 5 ) is (5 2 )(5 2 5), since the first row of a matrix can be anything except, and then the second row can be anything except a linear multiple of the first. To modify this counting system for G, note simply that once the second row is chosen for an element of H, there are 4 multiples of that row that yield elements of H, but only one that gives an element of G. Thus G = (52 )(5 2 5) 4 = = 2. By Sylow s theorem, the number n 5 of Sylow-5 subgroups of G satisfies n 5 24 and n 5 (mod 5). So n 5 = or n 5 = 6. But ( ) and ( ) are elements of degree 5 that generate distinct subgroups of order 5, so n 5 = The derived subgroup G () of G consists of the upper-triangular matrices of the form ( ) a, a R. A simple computation shows that every commutator is of this form, and we have ( ) ( ) ( ) ( ) ( ) ( ) ( ) a a a a a = =, and elements of this form do not generate any new elements. Note that G () is abelian, so that G (2), the subgroup of commutators of G (), is trivial. Thus the 8

10 derived series shows that G is solvable. = G (2) G () G () = G 3. We compute σ 2 = τ 2 =, that στ τσ, and that (στ) 3 =, whence τσ = (στ) 2. Set a = στ and b = σ. Then the group contains the six elements {, a, a 2, b, ba, b 2 a} and is non-abelian, so it is isomorphic to D 3 S 3. One way of proving the isomorphism is to consider how σ, τ act on the x values {2, 2, }. We see that σ swaps the first two, but leaves the third fixed, while τ swaps the first and third, leaving the second fixed. Since the 2-cycles (2) and (3) generate S 3, we get a surjective homomorphism σ, τ S 3. Since the group contains six elements, the map is injective. 5. Hermitian matrices are normal, hence diagonalizable by unitary matrices, and all their eigenvalues are real. In other words, if A is 5 5 Hermitian, then there exists a 5 5 unitary matrix U such that U AU is diagonal with real entries. Conversely, every real diagonal matrix is Hermitian, and real diagonal matrices with different multiplicities of eigenvalues are not conjugate (by the uniqueness of the Jordan form up to reordering of Jordan blocks). Since A satisfies A 5 + 2A 3 + 3A 6I = if and only if U AU does as well, it suffices to classify real diagonal matrices A with eigenvalues in increasing order that satisfy A 5 + 2A 3 + 3A 6I =. Since A is diagonal, each entry on the diagonal must be a zero of the polynomial f(x) = x 5 + 2x 3 + 3x 6. One such zero is x =, but we have f (x) = 5x 4 + 6x 2 + 3, which is strictly positive in the real numbers. Thus f is monotonic increasing on the reals, so the only real zero of f is x =. Thus the only possibility for A is I, so the unique conjugacy class is {I}. 6. We wish to determine the number of conjugacy classes of 4 4 complex matrices A satisfying A 3 2A 2 + A =. This means the minimum polynomial p of A must divide x(x ) 2, so the possibilities for p are x, x, x(x ), (x ) 2, and x(x ) 2. Since p divides the characteristic polynomial, the nine possible Jordan forms (up to reordering of blocks), which correspond to conjugacy classes, are: 9

11 Minimal Polynomial Characteristic Polynomials Jordan Forms x x 4 x (x ) 4 (x ) 2 (x ) 4, x(x ) x 3 (x ), x 2 (x ) 2 x(x ) 3 x(x ) 2 x 2 (x ) 2, x(x ) 3 7. Note that α = 7 /6. The field extensions Q(α 3 )/Q and Q(α 2 )/Q have degrees 2 and 3 respectively (x 2 7 and x 3 7 are irreducible over Q since they are of degree 3 and have no roots in Q), so both 2 and 3 divide the degree of the extensions Q(α)/Q, whence this extension must have degree 6. Thus, α,..., α 5 are linearly independent over Q, hence also over Z, and x 6 7 is

12 the minimal polynomial of α (or use Eisenstein on x 6 7 to conclude that it is irreducible). It follows that Q(α) Q[x]/(x 6 7), using the map α x, so that also Z[α] Z[x]/(x 6 7) as subrings. Moreover, Z[α]/(α 2 ) (Z[x]/(x 6 7))/( x 2 ) Z[x]/(x 2, 7) (Z/7Z)[x]/(x 2 ), so this ring consists of Z[α]/(α 2 ) = {a + bα : a, b Z/7Z}, which consists of 7 7 = 49 elements. The elements of the form a + α, a are units. Thus every ideal of Z[α]/(α 2 ) is principal since if it is proper and non-zero, then it must contain + bα for some b, whence it contains b bα = α and is the ideal (α). Note that this ring is not a PID since it is not an integral domain, due to the fact that α 2 =, so α is a zero divisor. 8. (i) Let α denote the positive real number α = 3 /6. By the argument in the previous problem (or Eisenstein), Q(α)/Q is an extension of degree 6. Over C, the polynomial x 6 3 factors as x 6 3 = (x 3 3 /2 )(x /2 ) = (x α)(x 2 + αx + α 2 )(x + α)(x 2 αx + α 2 ), so that using the quadratic formula, we see that the roots are ±α, ±α ± α 3. 2 Thus the splitting field of x 6 3 is Q( 3, α). Since Q(α) R, 3 / Q(α), so Q(α, 3)/Q(α) is an extension of degree 2. Thus Q(α, 3)/Q is an extension of degree 2, so since Q( 3)/Q is degree 2, it follows that Q(α, 3)/Q( 3) is degree 6. Actually, a much easier method is to note that the element 3 has degree 2 over Q(α), and to use the multiplicativity of extension degrees over Q. (ii) The first step is to show x 6 3 is irreducible...? I don t know very much about finite fields. 9. Skip.. x p 2 is irreducible over Q by Eisenstein, with distinct roots p 2, ζ p 2,..., ζ p p 2,

13 where ζ is a primitive pth root of unity. Thus the splitting field of x p 2 is Q(ζ, p 2). Since x p 2 is irreducible, Q( p 2) is a degree p extension of Q. Since ζ is a root of the irreducible polynomial (x p )/(x ) = x p +x p (one proves irreducibility by substituting x + for x and then applying Eisenstein on the prime p, or by showing that the cyclotomic polynomials are all irreducible), Q(ζ) is a degree p extension of Q. Since p and p are relatively prime, we see immediately that the degree of the extension Q(ζ, p 2) over Q is p(p ). The Galois group has order p(p ), so each of the p(p ) elements of the form p σ : 2 ζ n p 2, ζ ζ m, where n p and m p, is an automorphism. If p = 2 then the Galois group is clearly abelian, so suppose p > 2. Setting σ : p 2 ζ p 2, ζ ζ p τ : p 2 2, ζ ζ 2, we see that (στ)( p 2) = ζ p 2, but (τσ)( p 2) = τ(ζ p 2) = ζ 2 p 2, so the Galois group is not abelian. 2

14 Chapter 3 Spring 2. For σ A n, let σ = C... C r be the (disjoint) cyclic decomposition. Suppose σ has order 2. Then 2 = σ = lcm{ C i } implies that each C i is a 2-cycle. Since σ is an even permutation, r is even. The product (ab)(cd) of two disjoint 2-cycles are the square of the 4-cycle (acbd). Thus grouping the C i into pairs and taking the corresponding 4-cycles gives an element τ S n of order 4 whose square is σ. 2. We may assume G = p k for k 2. We first prove the result when G is not abelian. Consider the homomorphism where G σ Aut(G), g σ g ; σ g := x gxg, x G. The kernel of σ is Z(G), the center of G, which is a subgroup of G and therefore a p-group. The image of σ is a subgroup of Aut(G), which is also a p-group since it is isomorphic to G/ker σ. The image is non-trivial since G Z(G) by assumption, so we are done by Lagrange s theorem. If G is abelian, then G = Z p k Z p k 2 Z p kr, where k i k i+ for each i and k + + k r = k 2. Let x,..., x r denote generators of the factors of G. It suffices to construct an automorphism with order p. If k =, then r 2, and the automorphism x 2 x x 2 has order p. So we may assume k 2, in which case the homomorphism ϕ: x x pk + 3

15 is an automorphism since p k + is relatively prime to p k. We claim that ϕ has order p. To see this, note that p ( ) p (p k + ) p = p (p n)(k ), n n= so since p ( ) p n for each n p, every term in the sum is divisible by p k except the last term, which is ( p p) p =. Thus x x pk + x (pk +) 2 x (pk +) p = proves that ϕ p =. To see that no lower power of ϕ is, note that when s < p, s ( ) s (p k + ) s = p (s n)(k ) n n= has exactly two terms not divisible by p k, whose sum is ( ) s p k + = s p k +, s which cannot be congruent to modulo p k. 3. Choose nonzero x M, and note that Rx = M. Thus there is a surjective R-module homomorphism R ϕ M defined by r rx. The kernel I is a (two-sided) ideal of R. Thus M R/I as R-modules, whence M simple implies that R/I has no nonzero proper left ideals, namely I is a maximal left ideal. I m not sure how to show that I is unique if R is commutative. 4. Q/Z is a torsion Z-module, hence not a submodule of a free Z-module, so it is not projective. Another way to see this is to note that the short exact sequence Z Q Q/Z does not split, since Q does not contain a submodule isomorphic to Q/Z, and there are no non-trivial Z-module homomorphisms Q Z. Q/Z is injective since a Z-module M is injective if and only if it is divisible, namely if nm = M for all n Z, and this latter condition is clear for Q/Z. Q/Z is not flat since the injective map Z Z defined by n 2n does not remain injective after tensoring with Q/Z (look at the element ( 2 + Z) ). 5. If n p =, G has a normal Sylow p-subgroup, so assume n p >. By Sylow s theorem n p (mod p) and n p q, 4

16 so we deduce that n p = q and n p = + kp for some k. If we also assume that n q >, then since n q (mod q) and n q p 2, we must have n q = p 2. But these results imply that G has q (p 2 ) elements of order p or p 2 and p 2 (q ) elements of order q, which is a contradiction since if we also count the identity, then + q(p 2 ) + p 2 (q ) = + p 2 q q + p 2 q p 2 + p 2 q = + G. Another method of proof is to use the second application of Sylow s theorem to deduce that q p 2, whence q p or q p + since q is prime. But the first application of Sylow s theorem implies q = + kp with k, so the only possibility is q = p +, so that p = 2 and q = 3 is forced since there are no other consecutive primes. Now one uses the classification of groups of order 2 to get the result. 6. We have M a 5 5 real matrix satisfying (M I) 2 =, and wish to show the subspace of R 5 of vectors fixed by M has dimension at least 3. Since the minimal polynomial p of M is either x or (x ) 2, the characteristic polynomial of M is f = (x ) 5. Viewing M as a complex matrix, the possible Jordan forms for M are,,. These Jordan forms fix subspaces of dimensions 5, 4, and 3, respectively. (If the new basis is {e,..., e 5 }, then the respective fixed subspaces are V, e 2, e 3, e 4, e 5, and e 2, e 4, e 5.) Since the dimension of a subspace is not changed by conjugation (change of basis), we get the desired result. 7. If R is a field, then R-modules are vector spaces over R, which are free. Conversely, suppose R is not a field. Choose x R not a unit, so that Rx R. Then R/Rx is a non-trivial R-module that is not free since multiplication by x kills every element. 8. I m assuming Z 7 denotes the finite field with 7 elements, not the 7-adic numbers. Polynomials of degree 2 or 3 over a field are reducible if and only if they have roots in the field, so we need to find the number of degree 3 polynomials without any roots in Z 7. Now it seems difficult to proceed... 5

17 9. Let ζ denote the primitive nth root of unity contained in F and let α be an nth root of a. Then E = F (α) contains all the nth roots of a, namely {α, ζα,..., ζ n α}, so E is the splitting field of the separable polynomial x n a, whence E/F is Galois. Any automorphism of E fixing F must be a homomorphism of the form α ζ r α, r n. Let d > be minimal such that α d F, whence d n since α n = a F. We claim that x d α d F [x] is the minimal polynomial of α over F. For if f(x) F [x] is the minimal polynomial, then f (x d α d ), hence every root of f is in the set of roots above. Thus the constant term of f is of the form ( ) s ζ d ζ ds α s, which must be in F, whence d s, where s = deg f, so we must have f = x d α d. It follows that x d α d is irreducible and E/F has degree d. If α ζ r α defines an automorphism, then α d ζ rd α d implies ζ rd =, so n rd. Thus we must have r a multiple of n/d, and since there are precisely d such multiples, we see that every such multiple must be an automorphism and Gal(E/F ) = {, α ζ n/d α,..., α ζ (d )n/d α}, which is cyclic with generator α ζ n/d α.. Theorem (Hilbert s basis theorem). If A is a Noetherian ring (commutative, with identity), then A[x] is Noetherian. Proof. We prove the result by showing any ideal a A[x] is finitely generated. Let I A be the ideal of leading coefficients of elements of a, which is finitely generated by some elements a,..., a n A since A is Noetherian. Choose elements f,..., f n a so that each f i has leading coefficient a i. Let r i denote the degree of f i and set r := max i {r i }. Then if f a has degree r and leading coefficient a I, choose u i A such that a = u a + + u n a n. It follows that by multiplying u i f i by appropriate powers of x and taking the sum, we can kill off the leading term of f. Thus a = (a M) + (f,..., f m ), where M is the A-module generated by, x,..., x r. Since M is finitely generated and A is Noetherian, M is Noetherian, hence a M M is finitely generated. Combining the generators with the f i gives a finite generating set for a. 6

18 Chapter 4 Fall 29. Every element of S 7 has a unique (up to reordering) disjoint cycle decomposition, and the order of the element is the lcm of the lengths of the cycles. Thus the only elements of order 4 are the 4-cycles, and the combinations of 4-cycles with disjoint 2-cycles. The number of 4-cycles is ( 7 4) 3! = 7 6 5, and the number of possibilities for 2-cycles using the remaining 3 indices is ( 3 2) = 3. Thus the total number of elements of order 4 is 7 6 5( + 3) = Let G act on itself by conjugation. Let g,..., g r denote representatives of the conjugacy classes of non-central elements. The class equation yields G = Z(G) + r (G : C G (g i )), i= where C G (g i ) is the centralizer of g i in G. The index of each centralizer divides G, hence is divisible by p, so we must have p Z(G), hence Z(G) is non-trivial. 3. By the fundamental theorem of Galois theory, the field extensions of E contained in F correspond bijectively to the subgroups of G = Gal(F/E) as the fixed subfields. Thus α is fixed by every proper subgroup of G, but not all of G. It follows that if σ G is an element not fixing α, then σ = G, i.e. G is cyclic. Since F/E is a proper extension, we can choose p prime such that G = p k n, with k and (n, p) =. We wish to prove that n =, so assume for contradiction that n >. Then σ pk and σ n are proper subgroups of G, hence fix α. Since (p k, n) =, the Euclidean algorithm ensures we can find 7

19 a, b Z such that ap k + bn =. But then contradiction. σ(α) = (σ pk ) a (σ n ) b (α) = α, 4. If m n Q/Z is reduced, by which we mean < m < n and gcd{m, n} =, then m n has order n in Q/Z. Thus m n contains n elements, so that in particular we see that m n = n. Given n, n 2 Q/Z with n, n 2 2, let n = lcm{n, n 2 }. We claim that n,, n whence n, n 2 = n 2 n since the inclusion is obvious. For the claim, we use the Euclidean algorithm on n and n 2 to find a, b Z such that an + bn 2 = gcd{n, n 2 }, and then divide both sides by n n 2 to get b n + a n 2 = lcm{n, n 2 } = n. This proves the claim. Now we are ready to prove the result of the problem. Given m,..., m r Q/Z, n n r where each generator is reduced, set n = lcm(n,..., n r ). Then we have m,..., m r =. n n r n For the previous comments imply we can replace each mi n i by n i, and the above method for combining two generators, together with induction on the number of generators, give the result. 5. We compute 52 = Suppose G is simple. Then n 3 (mod 3) and n

20 implies n 3 = since n 3 >. Likewise n 5 = 2 3. So we have (3 ) elements of order 3 and (5 ) 2 3 elements of order 5. But contradiction > = = G, 6. (a) We have M a matrix satisfying M 2 + M + I = and wish to find the possible rational canonical forms over R. Since x 2 + x + = (x ζ)(x ζ) for ζ = +3i 2, we see that x 2 + x + is irreducible over R, hence is the minimal polynomial of M over R. The corresponding rational block is ( ), and M must be composed of of these blocks on its diagonal. (b) Now M is over C and we wish to find all possible Jordan forms. The possible minimal polynomials are x ζ, x ζ, and (x ζ)(x ζ). In any case, the minimal polynomial factors linearly, so M is diagonalizable, with eigenvalues ζ and ζ. Thus the Jordan form of M is an n n diagonal matrix (n ) with some number r of ζs ( r n), then (n r) ζs on its diagonal. 7. Consider the ring of fractions R := S R. Prime ideals of R correspond to prime ideals of R that don t meet S via the ring homomorphism R π R, r r, since the preimage of a prime ideal under a ring homomorphism is a prime ideal. An ideal a of R that is maximal among ideals not meeting S thus corresponds to a maximal ideal a of R, so a is prime, hence a = π (a ) is prime as well. 8. Skip. 9. First we state a general result. If ζ n is a primitive nth root of unity, then the Galois group of Q(ζ n )/Q is isomorphic to the multiplicative group (Z/nZ) of order φ(n). For ζ n is a root of the degree φ(n) irreducible cyclotomic polynomial Ω n (x) = (x ζ a ), where ζ a ranges across the primitive nth roots of unity, hence the degree of the extension is φ(n). This means the Galois group has order φ(n). Since any automorphism σ is determined by σ(ζ n ) = ζ a n, and there are precisely φ(n) possibilities for a, every such map is an automorphism of Q(ζ n ), whence we obtain an isomorphism (Z/nZ) Gal(Q(ζ n )/Q) 9

21 a (ζ n ζ a n). Now we take n = above and let ζ be a primitive th root of unity. The Galois group G of the extension Q(ζ)/Q is isomorphic to the cyclic group (Z/Z) Z/Z Z/2Z Z/5Z. Let H be a subgroup of G isomorphic to Z/2Z, which is normal since G is abelian. Let F be the fixed field of H. Then F/Q is Galois by the fundamental theorem of Galois theory, with Galois group G G/H Z/5Z.. We state and prove the Eisenstein criterion for irreducibility of polynomials. Proposition 2 (Eisenstein criterion). Let R be an integral domain, p a prime ideal of R, and p(x) = x n + a n x n + + a R[x] a monic polynomial such that each a i p, but a / p 2. Then p is irreducible in R[x]. Proof. Suppose for contradiction that p(x) = a(x)b(x) in R[x], where a, b are non-constant polynomials (i.e. non-units, since the only constants that divide are units). Reducing modulo p, we see that x n a(x) b(x) in R/p[x], which is an integral domain since R/p is an integral domain. Thus both ā and b must have constant term (otherwise the non-zero lowest degree terms of ā and b, which exist since neither ā nor b can be due to our equation, multiply to something nonzero of degree < n), i.e. the constant terms of both a and b are in p. But then the constant term of p is in p 2, contradiction. 2

22 Chapter 5 Spring 29. Elements of S n with the same cycle type are conjugate to each other. There are (p )! p-cycles in S p, so the order of the orbit of σ under conjugation is (p )!. Thus C = S P /(p )! = p, so C = σ, which is abelian. Now let S p act on the set of its subgroups by conjugation. Since there are (p )! p-cycles in S p, there are (p )!/(p ) = (p 2)! distinct subgroups of order p, all of which are in the orbit of σ since σ is conjugate to every other p-cycle. So the order of N is p!/(p 2)! = p(p ). To see that N is not abelian, let τ N be an element satisfying Then τστ σ = σ. τστ = σ The derived subgroup G () of G consists of the p upper-triangular matrices of the form ( ) a, a Z/pZ. A simple computation shows that every commutator is of this form, and we have ( ) ( ) ( ) ( ) ( ) ( ) ( ) a a a a a = =, and elements of this form do not generate any new elements. Note that G () is abelian, so that G (2), the subgroup of commutators of G (), is trivial. Thus the derived series = G (2) G () G () = G shows that G is solvable. 2

23 3. We have a group G with G = 8 = 3 4 acting on a set X with X = 3. Since the stabilizer S x of x X is a subgroup of G, S x is a power of 3. The index (G : S x ) of S x in G also divides G, hence is a power of 3. Since the cosets of S x are in bijection with the elements of the orbit O x of x, (G : S x ) = O x, so O x is a power of 3. Recall that the orbits partition X. Suppose no element of X is fixed by at least 27 elements. This means that S x < 27 for each x X, so that O x > 3 for each x. This is impossible since no sum involving only 9 s and 27 s equals 3. An element x X fixed by precisely 3 elements of G is in an orbit of order 27. If there is such an element, then every other element of the orbit is fixed by precisely 3 elements as well. So there are 27 such elements. 4. Skip. 5. Suppose R is a commutative ring with identity, and suppose that for each prime p R, R p contains no nonzero nilpotents. Now if a R is nilpotent, then a n = for some positive integer n. Then we can choose a maximal ideal m (Zorn s lemma argument), which is prime and hence contains a. Then a R m is a nonzero nilpotent, yet ( a )n =, contradiction. If we don t assume that R has an identity, then there may not be maximal ideals or even prime ideals (e.g. Q with trivial multiplication ab = for all a, b Q). I m not sure what to do in this case. 6. Finitely generated ideals in a UFD are principal, generated by the gcd of the generators. So the first step is to compute the greatest common factor of the two polynomials. We do this by the Euclidean algorithm, which produces the following output: a b q r x 4 4x 3 + 3x 2 4x + 2 x 3 5x 2 + 6x 2 x + 2x 2 8x + 4 x 3 5x 2 + 6x 2 2x 2 8x x 2 Thus the gcd of the polynomials is 2x 2 8x+4, so the ideal a is (x 2 4x+2) = ((x 2 + 2)(x 2 2)). It follows that a is principal, but not prime, and hence also not maximal. 7. Skip. 8. Skip. 22

24 9. No, σ is not necessarily an automorphism. Let t be an indeterminate σ and consider Q(t)/Q. Define Q(t) Q(t) by t t 2. Then σ fixes Q and is easily shown to be a homomorphism of Q(t). But σ is not surjective, hence not an automorphism of Q(t). The statement is true with the additional assumption that L/K is an algebraic extension. Then if α L K, the fact that σ is a homomorphism implies that σ(α) must be another root of the minimal polynomial for α over K. This means σ is injective. For surjectivity, suppose β L K and let Σ L K denote the set of all roots of the minimal polynomial of β over K that are contained in L. Then β Σ, Σ is finite, and σ permutes the elements of Σ since it maps L into L, whence β must be in the image.. ζ = e 2πi/8 is a primitive 8th root of unity. Thus by the argument in 9 of Fall 29, Q(ζ)/Q has Galois group G (Z/8Z) Z 2 Z 2, generated by The inverted subgroup lattice is σ : ζ ζ 3 and τ : ζ ζ 5. σ στ τ σ, τ with corresponding lattice of fixed fields Q(ζ) Q(ζ + ζ 3 ) Q(ζ + ζ 7 ) Q(ζ 2 ) where the latter cannot be Q(ζ + ζ 5 ) since ζ + ζ 5 =! This is much clearer if we take a different approach. Write ζ = 2 ( + i). Then ζ 2 = i and the remaining powers are easily computed. Note that Q(ζ) = Q( 2, i), which is clearly an extension of degree 4 over Q since it decomposes into a pair of quadratic extensions. Automorphisms of Q( 2, i) fixing Q must map 2 ± 2, i ±i, Q 23

25 and since there are only 4 such possibilities, they must all be automorphisms. Let σ : 2 2, i i τ : 2 2, i i be generators of the Galois group, where we have chosen them to correspond to σ, τ above. The lattice of fixed fields is then Q(ζ) Q(i 2) Q( 2) Q(i) and we note that ζ + ζ 3 = i 2, ζ + ζ 7 = 2, and ζ 2 = i. Q 24

26 Chapter 6 Fall 28. By Sylow s theorem, n 5 (mod 5) and n ; n 7 (mod 7) and n The only possibilities are n 5 = n 7 =, so G has normal subgroups H, K of orders 5 2 and 7 2, respectively. Since 5, 7 are relatively prime, H K = {}. Thus HK H K, and since the left side is a subgroup of G while the right side has the same order as G, we see that G H K. Now, it is easy to show that groups of order p 2 are abelian, hence either isomorphic to Z p Z p or Z p 2. (Use the class equation to show G has non-trivial center; so if g in the center, it either generates G or there is some h / g, whence G = g, h, but g, h commute so G is abelian.) Thus G is abelian, with possible isomorphism classes Z 5 2 Z 7 2, Z 5 2 Z 7 Z 7, Z 5 Z 5 Z 7 2, Z 5 Z 5 Z 7 Z 7. 25

Ohio 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 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 non-normal subgroup

More information

Algebra Exam, Spring 2017

Algebra 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 information

ALGEBRA PH.D. QUALIFYING EXAM September 27, 2008

ALGEBRA PH.D. QUALIFYING EXAM September 27, 2008 ALGEBRA PH.D. QUALIFYING EXAM September 27, 2008 A passing paper consists of four problems solved completely plus significant progress on two other problems; moreover, the set of problems solved completely

More information

Algebra Ph.D. Entrance Exam Fall 2009 September 3, 2009

Algebra 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 information

Ph.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 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 information

Algebra Qualifying Exam, Fall 2018

Algebra 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 information

CSIR - Algebra Problems

CSIR - Algebra Problems CSIR - Algebra Problems N. Annamalai DST - INSPIRE Fellow (SRF) Department of Mathematics Bharathidasan University Tiruchirappalli -620024 E-mail: algebra.annamalai@gmail.com Website: https://annamalaimaths.wordpress.com

More information

Exercises on chapter 1

Exercises 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 information

Algebra 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 information

Math 121 Homework 5: Notes on Selected Problems

Math 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 information

ALGEBRA PH.D. QUALIFYING EXAM SOLUTIONS October 20, 2011

ALGEBRA PH.D. QUALIFYING EXAM SOLUTIONS October 20, 2011 ALGEBRA PH.D. QUALIFYING EXAM SOLUTIONS October 20, 2011 A passing paper consists of four problems solved completely plus significant progress on two other problems; moreover, the set of problems solved

More information

IUPUI Qualifying Exam Abstract Algebra

IUPUI 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 information

Algebra Exam Fall Alexander J. Wertheim Last Updated: October 26, Groups Problem Problem Problem 3...

Algebra 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 information

Algebra Exam Syllabus

Algebra 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 information

Graduate Preliminary Examination

Graduate Preliminary Examination Graduate Preliminary Examination Algebra II 18.2.2005: 3 hours Problem 1. Prove or give a counter-example to the following statement: If M/L and L/K are algebraic extensions of fields, then M/K is algebraic.

More information

Algebra SEP Solutions

Algebra SEP Solutions Algebra SEP Solutions 17 July 2017 1. (January 2017 problem 1) For example: (a) G = Z/4Z, N = Z/2Z. More generally, G = Z/p n Z, N = Z/pZ, p any prime number, n 2. Also G = Z, N = nz for any n 2, since

More information

SUMMARY ALGEBRA I LOUIS-PHILIPPE THIBAULT

SUMMARY ALGEBRA I LOUIS-PHILIPPE THIBAULT SUMMARY ALGEBRA I LOUIS-PHILIPPE THIBAULT Contents 1. Group Theory 1 1.1. Basic Notions 1 1.2. Isomorphism Theorems 2 1.3. Jordan- Holder Theorem 2 1.4. Symmetric Group 3 1.5. Group action on Sets 3 1.6.

More information

φ(xy) = (xy) n = x n y n = φ(x)φ(y)

φ(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 information

List of topics for the preliminary exam in algebra

List of topics for the preliminary exam in algebra List of topics for the preliminary exam in algebra 1 Basic concepts 1. Binary relations. Reflexive, symmetric/antisymmetryc, and transitive relations. Order and equivalence relations. Equivalence classes.

More information

FIELD THEORY. Contents

FIELD 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 information

Math 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. 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 information

Galois Theory TCU Graduate Student Seminar George Gilbert October 2015

Galois 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 information

GALOIS THEORY. Contents

GALOIS 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 information

1. Group Theory Permutations.

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 information

ALGEBRA QUALIFYING EXAM SPRING 2012

ALGEBRA 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 information

Algebra Prelim Notes

Algebra 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 information

Field Theory Qual Review

Field Theory Qual Review Field Theory Qual Review Robert Won Prof. Rogalski 1 (Some) qual problems ˆ (Fall 2007, 5) Let F be a field of characteristic p and f F [x] a polynomial f(x) = i f ix i. Give necessary and sufficient conditions

More information

ALGEBRA QUALIFYING EXAM PROBLEMS

ALGEBRA 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 information

Math 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 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 information

NOTES ON FINITE FIELDS

NOTES 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 information

Group Theory. Ring and Module Theory

Group Theory. Ring and Module Theory Department of Mathematics University of South Florida QUALIFYING EXAM ON ALGEBRA Saturday, May 14, 016 from 9:00 am to 1:00 noon Examiners: Brian Curtin and Dmytro Savchuk This is a three hour examination.

More information

Honors 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 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 information

Algebra Questions. May 13, Groups 1. 2 Classification of Finite Groups 4. 3 Fields and Galois Theory 5. 4 Normal Forms 9

Algebra Questions. May 13, Groups 1. 2 Classification of Finite Groups 4. 3 Fields and Galois Theory 5. 4 Normal Forms 9 Algebra Questions May 13, 2013 Contents 1 Groups 1 2 Classification of Finite Groups 4 3 Fields and Galois Theory 5 4 Normal Forms 9 5 Matrices and Linear Algebra 10 6 Rings 11 7 Modules 13 8 Representation

More information

18. Cyclotomic polynomials II

18. Cyclotomic polynomials II 18. Cyclotomic polynomials II 18.1 Cyclotomic polynomials over Z 18.2 Worked examples Now that we have Gauss lemma in hand we can look at cyclotomic polynomials again, not as polynomials with coefficients

More information

(January 14, 2009) q n 1 q d 1. D = q n = q + d

(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 not-necessarily commutative ring with 1 in which any non-zero element has a multiplicative inverse) is commutative. (This is due to Wedderburn.)

More information

COURSE SUMMARY FOR MATH 504, FALL QUARTER : MODERN ALGEBRA

COURSE SUMMARY FOR MATH 504, FALL QUARTER : MODERN ALGEBRA COURSE SUMMARY FOR MATH 504, FALL QUARTER 2017-8: 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

Sample algebra qualifying exam

Sample algebra qualifying exam Sample algebra qualifying exam University of Hawai i at Mānoa Spring 2016 2 Part I 1. Group theory In this section, D n and C n denote, respectively, the symmetry group of the regular n-gon (of order 2n)

More information

RUDIMENTARY GALOIS THEORY

RUDIMENTARY 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 information

1 Finite abelian groups

1 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 information

Definitions. Notations. Injective, Surjective and Bijective. Divides. Cartesian Product. Relations. Equivalence Relations

Definitions. 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 information

NOTES FOR DRAGOS: MATH 210 CLASS 12, THURS. FEB. 22

NOTES FOR DRAGOS: MATH 210 CLASS 12, THURS. FEB. 22 NOTES FOR DRAGOS: MATH 210 CLASS 12, THURS. FEB. 22 RAVI VAKIL Hi Dragos The class is in 381-T, 1:15 2:30. This is the very end of Galois theory; you ll also start commutative ring theory. Tell them: midterm

More information

August 2015 Qualifying Examination Solutions

August 2015 Qualifying Examination Solutions August 2015 Qualifying Examination Solutions If you have any difficulty with the wording of the following problems please contact the supervisor immediately. All persons responsible for these problems,

More information

Group Theory. 1. Show that Φ maps a conjugacy class of G into a conjugacy class of G.

Group 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 information

A connection between number theory and linear algebra

A connection between number theory and linear algebra A connection between number theory and linear algebra Mark Steinberger Contents 1. Some basics 1 2. Rational canonical form 2 3. Prime factorization in F[x] 4 4. Units and order 5 5. Finite fields 7 6.

More information

Contradiction. Theorem 1.9. (Artin) Let G be a finite group of automorphisms of E and F = E G the fixed field of G. Then [E : F ] G.

Contradiction. Theorem 1.9. (Artin) Let G be a finite group of automorphisms of E and F = E G the fixed field of G. Then [E : F ] G. 1. Galois Theory 1.1. A homomorphism of fields F F is simply a homomorphism of rings. Such a homomorphism is always injective, because its kernel is a proper ideal (it doesnt contain 1), which must therefore

More information

MAT 535 Problem Set 5 Solutions

MAT 535 Problem Set 5 Solutions Final Exam, Tues 5/11, :15pm-4:45pm Spring 010 MAT 535 Problem Set 5 Solutions Selected Problems (1) Exercise 9, p 617 Determine the Galois group of the splitting field E over F = Q of the polynomial f(x)

More information

Q N id β. 2. Let I and J be ideals in a commutative ring A. Give a simple description of

Q N id β. 2. Let I and J be ideals in a commutative ring A. Give a simple description of Additional Problems 1. Let A be a commutative ring and let 0 M α N β P 0 be a short exact sequence of A-modules. Let Q be an A-module. i) Show that the naturally induced sequence is exact, but that 0 Hom(P,

More information

QUALIFYING EXAM IN ALGEBRA August 2011

QUALIFYING EXAM IN ALGEBRA August 2011 QUALIFYING EXAM IN ALGEBRA August 2011 1. There are 18 problems on the exam. Work and turn in 10 problems, in the following categories. I. Linear Algebra 1 problem II. Group Theory 3 problems III. Ring

More information

22M: 121 Final Exam. Answer any three in this section. Each question is worth 10 points.

22M: 121 Final Exam. Answer any three in this section. Each question is worth 10 points. 22M: 121 Final Exam This is 2 hour exam. Begin each question on a new sheet of paper. All notations are standard and the ones used in class. Please write clearly and provide all details of your work. Good

More information

Practice Algebra Qualifying Exam Solutions

Practice Algebra Qualifying Exam Solutions Practice Algebra Qualifying Exam Solutions 1. Let A be an n n matrix with complex coefficients. Define tr A to be the sum of the diagonal elements. Show that tr A is invariant under conjugation, i.e.,

More information

Algebra Homework, Edition 2 9 September 2010

Algebra Homework, Edition 2 9 September 2010 Algebra Homework, Edition 2 9 September 2010 Problem 6. (1) Let I and J be ideals of a commutative ring R with I + J = R. Prove that IJ = I J. (2) Let I, J, and K be ideals of a principal ideal domain.

More information

Solutions of exercise sheet 8

Solutions of exercise sheet 8 D-MATH 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 information

ALGEBRA EXERCISES, PhD EXAMINATION LEVEL

ALGEBRA 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 information

ABSTRACT ALGEBRA 2 SOLUTIONS TO THE PRACTICE EXAM AND HOMEWORK

ABSTRACT ALGEBRA 2 SOLUTIONS TO THE PRACTICE EXAM AND HOMEWORK ABSTRACT ALGEBRA 2 SOLUTIONS TO THE PRACTICE EXAM AND HOMEWORK 1. Practice exam problems Problem A. Find α C such that Q(i, 3 2) = Q(α). Solution to A. Either one can use the proof of the primitive element

More information

Rings and groups. Ya. Sysak

Rings and groups. Ya. Sysak Rings and groups. Ya. Sysak 1 Noetherian rings Let R be a ring. A (right) R -module M is called noetherian if it satisfies the maximum condition for its submodules. In other words, if M 1... M i M i+1...

More information

RINGS: SUMMARY OF MATERIAL

RINGS: SUMMARY OF MATERIAL RINGS: SUMMARY OF MATERIAL BRIAN OSSERMAN This is a summary of terms used and main results proved in the subject of rings, from Chapters 11-13 of Artin. Definitions not included here may be considered

More information

DISCRETE MATH (A LITTLE) & BASIC GROUP THEORY - PART 3/3. Contents

DISCRETE 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 information

Algebra Exam Topics. Updated August 2017

Algebra 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 information

Honors Algebra 4, MATH 371 Winter 2010 Assignment 3 Due Friday, February 5 at 08:35

Honors Algebra 4, MATH 371 Winter 2010 Assignment 3 Due Friday, February 5 at 08:35 Honors Algebra 4, MATH 371 Winter 2010 Assignment 3 Due Friday, February 5 at 08:35 1. Let R 0 be a commutative ring with 1 and let S R be the subset of nonzero elements which are not zero divisors. (a)

More information

PRACTICE FINAL MATH , MIT, SPRING 13. You have three hours. This test is closed book, closed notes, no calculators.

PRACTICE 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 information

Algebra Ph.D. Preliminary Exam

Algebra 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 information

School of Mathematics and Statistics. MT5836 Galois Theory. Handout 0: Course Information

School 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 information

GALOIS THEORY AT WORK: CONCRETE EXAMPLES

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

More information

Factorization in Polynomial Rings

Factorization in Polynomial Rings Factorization in Polynomial Rings Throughout these notes, F denotes a field. 1 Long division with remainder We begin with some basic definitions. Definition 1.1. Let f, g F [x]. We say that f divides g,

More information

Fundamental theorem of modules over a PID and applications

Fundamental theorem of modules over a PID and applications Fundamental theorem of modules over a PID and applications Travis Schedler, WOMP 2007 September 11, 2007 01 The fundamental theorem of modules over PIDs A PID (Principal Ideal Domain) is an integral domain

More information

1 Rings 1 RINGS 1. Theorem 1.1 (Substitution Principle). Let ϕ : R R be a ring homomorphism

1 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 information

Math 120 HW 9 Solutions

Math 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 information

ORAL QUALIFYING EXAM QUESTIONS. 1. Algebra

ORAL QUALIFYING EXAM QUESTIONS. 1. Algebra ORAL QUALIFYING EXAM QUESTIONS JOHN VOIGHT Below are some questions that I have asked on oral qualifying exams (starting in fall 2015). 1.1. Core questions. 1. Algebra (1) Let R be a noetherian (commutative)

More information

Part II Galois Theory

Part II Galois Theory Part II Galois Theory Theorems Based on lectures by C. Birkar Notes taken by Dexter Chua Michaelmas 2015 These notes are not endorsed by the lecturers, and I have modified them (often significantly) after

More information

Solutions of exercise sheet 6

Solutions of exercise sheet 6 D-MATH Algebra I HS 14 Prof. Emmanuel Kowalski Solutions of exercise sheet 6 1. (Irreducibility of the cyclotomic polynomial) Let n be a positive integer, and P Z[X] a monic irreducible factor of X n 1

More information

6]. (10) (i) Determine the units in the rings Z[i] and Z[ 10]. If n is a squarefree

6]. (10) (i) Determine the units in the rings Z[i] and Z[ 10]. If n is a squarefree Quadratic extensions Definition: Let R, S be commutative rings, R S. An extension of rings R S is said to be quadratic there is α S \R and monic polynomial f(x) R[x] of degree such that f(α) = 0 and S

More information

Algebraic structures I

Algebraic structures I MTH5100 Assignment 1-10 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 information

A PROOF OF BURNSIDE S p a q b THEOREM

A 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 information

Algebra Review. Instructor: Laszlo Babai Notes by Vincent Lucarelli and the instructor. June 15, 2001

Algebra Review. Instructor: Laszlo Babai Notes by Vincent Lucarelli and the instructor. June 15, 2001 Algebra Review Instructor: Laszlo Babai Notes by Vincent Lucarelli and the instructor June 15, 2001 1 Groups Definition 1.1 A semigroup (G, ) is a set G with a binary operation such that: Axiom 1 ( a,

More information

THE 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 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 information

Factorization in Integral Domains II

Factorization in Integral Domains II Factorization in Integral Domains II 1 Statement of the main theorem Throughout these notes, unless otherwise specified, R is a UFD with field of quotients F. The main examples will be R = Z, F = Q, and

More information

Problem 1.1. Classify all groups of order 385 up to isomorphism.

Problem 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 information

Computations/Applications

Computations/Applications Computations/Applications 1. Find the inverse of x + 1 in the ring F 5 [x]/(x 3 1). Solution: We use the Euclidean Algorithm: x 3 1 (x + 1)(x + 4x + 1) + 3 (x + 1) 3(x + ) + 0. Thus 3 (x 3 1) + (x + 1)(4x

More information

GRE 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. 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 information

MODEL ANSWERS TO HWK #10

MODEL ANSWERS TO HWK #10 MODEL ANSWERS TO HWK #10 1. (i) As x + 4 has degree one, either it divides x 3 6x + 7 or these two polynomials are coprime. But if x + 4 divides x 3 6x + 7 then x = 4 is a root of x 3 6x + 7, which it

More information

TC10 / 3. Finite fields S. Xambó

TC10 / 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 information

Math 121 Homework 6 Solutions

Math 121 Homework 6 Solutions Math 11 Homework 6 Solutions Problem 14. # 17. Let K/F be any finite extension and let α K. Let L be a Galois extension of F containing K and let H Gal(L/F ) be the subgroup corresponding to K. Define

More information

Math 210A: Algebra, Homework 5

Math 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 information

GALOIS GROUPS AS PERMUTATION GROUPS

GALOIS 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 information

Some algebraic number theory and the reciprocity map

Some algebraic number theory and the reciprocity map Some algebraic number theory and the reciprocity map Ervin Thiagalingam September 28, 2015 Motivation In Weinstein s paper, the main problem is to find a rule (reciprocity law) for when an irreducible

More information

CHAPTER I. Rings. Definition A ring R is a set with two binary operations, addition + and

CHAPTER I. Rings. Definition A ring R is a set with two binary operations, addition + and CHAPTER I Rings 1.1 Definitions and Examples Definition 1.1.1. A ring R is a set with two binary operations, addition + and multiplication satisfying the following conditions for all a, b, c in R : (i)

More information

Johns Hopkins University, Department of Mathematics Abstract Algebra - Spring 2013 Midterm Exam Solution

Johns Hopkins University, Department of Mathematics Abstract Algebra - Spring 2013 Midterm Exam Solution Johns Hopkins University, Department of Mathematics 110.40 Abstract Algebra - Spring 013 Midterm Exam Solution Instructions: This exam has 6 pages. No calculators, books or notes allowed. You must answer

More information

Algebra qual study guide James C. Hateley

Algebra qual study guide James C. Hateley Algebra qual study guide James C Hateley Linear Algebra Exercise It is known that real symmetric matrices are always diagonalizable You may assume this fact (a) What special properties do the eigenspaces

More information

SPRING 2006 PRELIMINARY EXAMINATION SOLUTIONS

SPRING 2006 PRELIMINARY EXAMINATION SOLUTIONS SPRING 006 PRELIMINARY EXAMINATION SOLUTIONS 1A. Let G be the subgroup of the free abelian group Z 4 consisting of all integer vectors (x, y, z, w) such that x + 3y + 5z + 7w = 0. (a) Determine a linearly

More information

1 Spring 2002 Galois Theory

1 Spring 2002 Galois Theory 1 Spring 2002 Galois Theory Problem 1.1. Let F 7 be the field with 7 elements and let L be the splitting field of the polynomial X 171 1 = 0 over F 7. Determine the degree of L over F 7, explaining carefully

More information

Math 547, Exam 2 Information.

Math 547, Exam 2 Information. Math 547, Exam 2 Information. 3/19/10, LC 303B, 10:10-11:00. Exam 2 will be based on: Homework and textbook sections covered by lectures 2/3-3/5. (see http://www.math.sc.edu/ boylan/sccourses/547sp10/547.html)

More information

Real Analysis Prelim Questions Day 1 August 27, 2013

Real Analysis Prelim Questions Day 1 August 27, 2013 Real Analysis Prelim Questions Day 1 August 27, 2013 are 5 questions. TIME LIMIT: 3 hours Instructions: Measure and measurable refer to Lebesgue measure µ n on R n, and M(R n ) is the collection of measurable

More information

MATH 420 FINAL EXAM J. Beachy, 5/7/97

MATH 420 FINAL EXAM J. Beachy, 5/7/97 MATH 420 FINAL EXAM J. Beachy, 5/7/97 1. (a) For positive integers a and b, define gcd(a, b). (b) Compute gcd(1776, 1492). (c) Show that if a, b, c are positive integers, then gcd(a, bc) = 1 if and only

More information

ALGEBRA QUALIFYING EXAM PROBLEMS LINEAR ALGEBRA

ALGEBRA 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 information

Quizzes for Math 401

Quizzes for Math 401 Quizzes for Math 401 QUIZ 1. a) Let a,b be integers such that λa+µb = 1 for some inetegrs λ,µ. Prove that gcd(a,b) = 1. b) Use Euclid s algorithm to compute gcd(803, 154) and find integers λ,µ such that

More information

Name: Solutions Final Exam

Name: Solutions Final Exam Instructions. Answer each of the questions on your own paper, and be sure to show your work so that partial credit can be adequately assessed. Put your name on each page of your paper. 1. [10 Points] For

More 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

(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 information

AN INTRODUCTION TO GALOIS THEORY

AN INTRODUCTION TO GALOIS THEORY AN INTRODUCTION TO GALOIS THEORY STEVEN DALE CUTKOSKY In these notes we consider the problem of constructing the roots of a polynomial. Suppose that F is a subfield of the complex numbers, and f(x) is

More information

Total 100

Total 100 Math 542 Midterm Exam, Spring 2016 Prof: Paul Terwilliger Your Name (please print) SOLUTIONS NO CALCULATORS/ELECTRONIC DEVICES ALLOWED. MAKE SURE YOUR CELL PHONE IS OFF. Problem Value 1 10 2 10 3 10 4

More information

Math 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. 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 information