Algebra Qualifying Exam Solutions. Thomas Goller
|
|
- Allen Rice
- 5 years ago
- Views:
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 July 22, 2013 Contents Spring 2012 1 1. Let G be a finite group and H a non-normal subgroup
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 informationALGEBRA 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 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 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, 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 informationCSIR - 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 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 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 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 informationALGEBRA 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 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 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 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 informationGraduate 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 informationAlgebra 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 informationSUMMARY 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)
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 informationList 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 informationFIELD THEORY. Contents
FIELD THEORY MATH 552 Contents 1. Algebraic Extensions 1 1.1. Finite and Algebraic Extensions 1 1.2. Algebraic Closure 5 1.3. Splitting Fields 7 1.4. Separable Extensions 8 1.5. Inseparable Extensions
More 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 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 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 information1. 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 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 informationAlgebra Prelim Notes
Algebra Prelim Notes Eric Staron Summer 2007 1 Groups Define C G (A) = {g G gag 1 = a for all a A} to be the centralizer of A in G. In particular, this is the subset of G which commuted with every element
More informationField 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 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 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 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 informationGroup 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 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 informationAlgebra 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 information18. 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) [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 informationCOURSE 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 informationSample 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 informationRUDIMENTARY GALOIS THEORY
RUDIMENTARY GALOIS THEORY JACK LIANG Abstract. This paper introduces basic Galois Theory, primarily over fields with characteristic 0, beginning with polynomials and fields and ultimately relating the
More 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 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 informationNOTES 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 informationAugust 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 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 informationA 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 informationContradiction. 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 informationMAT 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 informationQ 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 informationQUALIFYING 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 information22M: 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 informationPractice 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 informationAlgebra 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 informationSolutions 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 informationALGEBRA EXERCISES, PhD EXAMINATION LEVEL
ALGEBRA EXERCISES, PhD EXAMINATION LEVEL 1. Suppose that G is a finite group. (a) Prove that if G is nilpotent, and H is any proper subgroup, then H is a proper subgroup of its normalizer. (b) Use (a)
More informationABSTRACT 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 informationRings 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 informationRINGS: 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 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 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 informationHonors 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 informationPRACTICE FINAL MATH , MIT, SPRING 13. You have three hours. This test is closed book, closed notes, no calculators.
PRACTICE FINAL MATH 18.703, MIT, SPRING 13 You have three hours. This test is closed book, closed notes, no calculators. There are 11 problems, and the total number of points is 180. Show all your work.
More 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 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 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 informationFactorization 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 informationFundamental 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 information1 Rings 1 RINGS 1. Theorem 1.1 (Substitution Principle). Let ϕ : R R be a ring homomorphism
1 RINGS 1 1 Rings Theorem 1.1 (Substitution Principle). Let ϕ : R R be a ring homomorphism (a) Given an element α R there is a unique homomorphism Φ : R[x] R which agrees with the map ϕ on constant polynomials
More 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 informationORAL 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 informationPart 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 informationSolutions 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 information6]. (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 informationAlgebraic 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 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 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 informationTHE JOHNS HOPKINS UNIVERSITY Faculty of Arts and Sciences FINAL EXAM - FALL SESSION ADVANCED ALGEBRA I.
THE JOHNS HOPKINS UNIVERSITY Faculty of Arts and Sciences FINAL EXAM - FALL SESSION 2006 110.401 - ADVANCED ALGEBRA I. Examiner: Professor C. Consani Duration: take home final. No calculators allowed.
More informationFactorization 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 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 informationComputations/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 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 informationMODEL 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 informationTC10 / 3. Finite fields S. Xambó
TC10 / 3. Finite fields S. Xambó The ring Construction of finite fields The Frobenius automorphism Splitting field of a polynomial Structure of the multiplicative group of a finite field Structure of the
More informationMath 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 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 informationGALOIS GROUPS AS PERMUTATION GROUPS
GALOIS GROUPS AS PERMUTATION GROUPS KEITH CONRAD 1. Introduction A Galois group is a group of field automorphisms under composition. By looking at the effect of a Galois group on field generators we can
More informationSome 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 informationCHAPTER 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 informationJohns 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 informationAlgebra 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 informationSPRING 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 information1 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 informationMath 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 informationReal 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 informationMATH 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 informationALGEBRA QUALIFYING EXAM PROBLEMS LINEAR ALGEBRA
ALGEBRA QUALIFYING EXAM PROBLEMS LINEAR ALGEBRA Kent State University Department of Mathematical Sciences Compiled and Maintained by Donald L. White Version: August 29, 2017 CONTENTS LINEAR ALGEBRA AND
More informationQuizzes 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 informationName: 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
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 informationAN 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 informationTotal 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 informationMath 201C Homework. Edward Burkard. g 1 (u) v + f 2(u) g 2 (u) v2 + + f n(u) a 2,k u k v a 1,k u k v + k=0. k=0 d
Math 201C Homework Edward Burkard 5.1. Field Extensions. 5. Fields and Galois Theory Exercise 5.1.7. If v is algebraic over K(u) for some u F and v is transcendental over K, then u is algebraic over K(v).
More information