# Math 429/581 (Advanced) Group Theory. Summary of Definitions, Examples, and Theorems by Stefan Gille

Size: px
Start display at page:

Transcription

1 Math 429/581 (Advanced) Group Theory Summary of Definitions, Examples, and Theorems by Stefan Gille 1

2 2 0. Group Operations 0.1. Definition. Let G be a group and X a set. A (left) operation of G on X is a map G X X, (g, x) g.x, such that (i) e.x = x for all x X, where e denotes the neutral element of G, and (ii) (g 1 g 2 ).x = g 1.(g 2.x) for all x X and g 1, g 2 G. We say then also that X is a G-set. A right operation is defined analogous. If not otherwise specified operation means here always left operation. Let Y be another G-set. A homomorphism of G-sets between X and Y is a map f : X Y, such that f(g.x) = g.f(x) for all x X and g G. If f is bijective than we say that f is an isomorphism of G-sets. Note that then also the inverse of f is a homomorphism and so an isomorphism of G-sets Example. Let X be a set and Bij(X) be the set of bijective maps X X. This is a group with composition as multiplication, and operates on X by setting f.x := f(x) for f Bij(X) and x X. Note an operation of the group G defines a group homomorphism G Bij(X) be mapping g G to the bijective map x g.x, and vice versa Orbits and stabilizer. Let G be a group and X a G-set. Then G.x := { g.x g G } is called the orbit, and Stab(x) := { g G g.x = x } is called the stabilizer of x X (under the operation of G). Note that Stab(x) is a subgroup of G. We have G.x G.y if and only if G.x and G.y coincide. As a consequence X is the disjoint union of the different orbits under the action of G: X = i I G.x i, where G.x i, i I, are all different orbits. If X is a finite set then also I is finite, say I = {1, 2,..., n} for some integer n 1, and so we have the so called Bahnensatz n n X = G.x i = (G : Stab(x i )). i=1 The last equation since for all x X the homomorphism of G-sets is an isomorphism of G-sets. i=1 G/Stab(x) G.x, g Stab(x) g.x 0.4. Three operations. Let G be group with subgroups H, K. Then H operates (i) on G by conjugation: H G G, (h, g) h g h 1 ;

3 3 (ii) on G by left translation H G G, (h, g) h g, and similar by right translation which is then a right operation of H on G; and (iii) on the left cosets G/K also be left translation H G/K G, (h, gk) (h g)k. Again there is a similar operation on the right cosets.

4 4 1. p-groups and Sylow groups Convention. Throughout this section p denotes a prime number Definition. A group G, such that G = p l for some l 1 is called a p-group Example. As the order of an element divides the order of a group, a group of order exactly p is cyclic generated by any element except the neutral element Lemma. Let G be a finite group whose order is divisible by p. Then G contains a subgroup of order p. The proof (given in class) of this lemma has the following 1.4. Corollary. Let G be a p-group. Then the center of G: Z(G) := { g G x g = g x for all x G } is not trivial, i.e. Z(G) {e} Example. The above corollary can be used to show that a group of order p 2 is either cyclic or a product of two cyclic groups of order p. In the proof (given in class) of the Sylow Theorems the following easy but very useful lemma plays some role Lemma. Let G be a p-group which acts on the finite set X. Denote by X G the set of fix points of this action, i.e. X G := { x X g.x = x for all g G }. Then we have X X G mod p Definition. Let G be a group of order p l m with l 1 and m not divisible by p. A subgroup H of G is called a p-sylow subgroup of G if H = p l The Sylow theorems. Let G be a group of order p l m with l 1 and m not divisible by p. Then: (i) There exists a p-sylow subgroup of G. (ii) If H is a subgroup of G which is a p-group. Then there exists a p-sylow subgroup S of G, such that H S. (iii) Let S 1 and S 2 be two p-sylow subgroups of G. Then there is an element x G, such that S 2 = x S 1 x 1, i.e. two p-sylow subgroups are conjugate by an inner automorphism of G. There is also some information about the number of p-sylow subgroups. In the following results G is a group of order p l m with l 1 and m prime to p, i.e. p does not divide m Theorem. Let G be a group of order p l m with l 1 and p not dividing m. Then the number of different p-sylow subgroups if congruent 1 modulo p Theorem. Let H be a subgroup of G which is a p-group of order p t with 0 t l 1. Then there exists a subgroup K H of G of order p t+1. The proof (given in class) of this result has the following corollary Corollary. Let H be a subgroup of G of order p t with 0 t l 1. Then N G (H) H.

5 Note that by assumption H is not a Sylow subgroup of G as the order is to small. If H is a p-sylow subgroup the corollary appears to be wrong in general as there groups with several p-sylow subgroups. 5

6 6 2. Solvable and nilpotent groups 2.1. Reminder. Recall that a group G is called simple if G and {e} are the only normal subgroups. Note that an abelian group is simple if and only if it is cyclic group of prime order Definition. Let G be a finite group and {H i } = {H i } m i=0 : {e} = H 0 H 1 H 2... H m 1 H m = G a chain of subgroups of G. (i) The chain {H i } is called a subinvariant or subnormal series if H i 1 is a normal subgroup of H i for all i = 1,..., m. In this case we call the factor groups H i /H i 1 the factors of the series. If all the factors in the subnormal series {H i } are simple we call it a composition series. Note that H i /H i 1 is simple if and only if H i 1 is a maximal proper normal subgroup of H i. (ii) The chain {H i } is called a normal series if H i is a normal subgroup of G for all i = 0,..., m. Note that a normal series is also a subnormal series. (iii) The group G is called solvable if it has a composition series with all factors abelian. This implies that all factors are cyclic of prime order. (iv) The group G is called nilpotent if it has a normal series {H i } m i=1, such that the factor groups H i /H i 1 are in the center of G/H i 1 for all i = 1,..., m Lemma. Let G be a group with normal subgroup H. Then G is solvable if and only if H and G/H are solvable Definition. Let G be a group and {H i } m i=0 and {K j} n j=0 be two subnormal (respectively normal series) of G. Then: (i) The series {H i } is called a refinement of {K j } if there is an injective map α : {1,..., n} {1,..., m}, such that K j = H α(j) for all 0 j n. (ii) The series {H i } and {K j } are called isomorphic if there is a bijection α : {1,..., m} {1,..., n} (in particular m = n), such that for all 1 i m. H i /H i 1 K α(i) /K α(i) The Zassenhausen Lemma. Let G be a group with subgroups H, K. Let further H H and K K be normal subgroups of H and K, respectively. (Note that that none of these subgroups is assumed to be normal in G.) Then we have: (i) K (K H) is a normal subgroup of K (K H), and H (H K) is a normal subgroup of H (K H). (ii) The factor groups K (K H)/ K (K H) and H (K H)/ H (H K) are isomorphic Schreier s Refinement Theorem. Let {H i } m i=0 and {K j} n j=0 be two subnormal (respectively normal) series of a group G. Then there exists subnormal (respectively normal) series {H i }m i=0 and {K j }n j=0 which are isomorphic and refinements of {H i } m i=0 and {K j} n j=0, respectively Corollary (Jordan-Hölder). Two composition series of a group are isomorphic.

7 7 Another consequence of Schreier s refinement theorem is the following fact Corollary. Let H be a normal subgroup of the group G. If G has a composition series then there exists a composition series {H i } m i=0 of G with the property that H = H i0 for some 0 i 0 m Definition. Let G be group. The commutator of g, h G is the element [g, h] := g h g 1 h 1. (Note that [g, h] = e if and only if g h = h g, i.e. if and only if g and h commute with each other.) Let further A, B be two subsets of G. We denote by [A, B] the subgroup generated by all commutators [a, b] with a A and b B. The commutator subgroup G is defined as G := [G, G] and the higher commutator subgroups G (i), i 0, are defined inductively by G (0) := G and G (i+1) := [G (i), G (i) ] for i 0. In particular we have then G (1) = G Theorem. Let G be a group. Then: (i) G is a normal subgroup of G. (ii) The factor group G/G is abelian, and if f : G A is a homomorphism of groups with A abelian then Ker f G. Hence there is a commutative diagram of morphisms of groups: f G A q f G/G, where q : G G/G is the canonical quotient map and f : G/G maps the coset xg to f(x). The higher commutator groups can be used for a characterization of solvable groups. Actually this is the correct definition of solvability for groups which are not finite Theorem. A finite group G is solvable if and only if for some integer i 0. G (i) = {e} Example. Let S n be the permutation group on n letters, i.e. S n = Bij ( {1,..., n} ). Recall that the j-cycle (i 1 i 2... i j ) in S n is the bijection of {1,..., n} which maps m to m if m {1,..., n} \ {i 1,..., i j }, i k to i k+1 for 1 k j 1 and i j to i 1. A straightforward calculation shows that if γ S n then γ (i 1 i 2... i j ) γ 1 = (γ(i 1 )γ(i 2 )... γ(i j )). The 2-cycles (ij) for 1 i j n generate S n, and there is a well defined homomorphism of groups sign : S n Z/2Z sending γ to 0 mod 2 if γ is a product of an even number of 2-cycles and to 1 mod 2 otherwise. The kernel

8 8 of sign is the alternating group A n. It is a normal subgroup of index 2 in S n. The groups S n are solvable for 2 n 4 but not for n 5. As for solvable groups using the higher commutator groups one can characterize nilpotent groups using the lower central series Definition. Let G be a group. The lower central series of G: Γ 0 (G) Γ 1 (G) Γ 2 (G) Γ 3 (G)... is defined inductively by Γ 0 (G) := G and Γ i+1 (G) := [Γ i (G), G] for i 0. Note that Γ i (G) is a normal subgroup of G for all i 0, and that by the very definition of the commutator the factor group Γ i (G)/Γ i+1 (G) is in the center of G/Γ i+1 (G) Theorem. Let G be a finite group. Then G is nilpotent if and only if for some i 0. Γ i (G) = {e} Example. A direct product of p-groups (for different or equal prime number p s) is nilpotent Theorem. Let G be a finite nilpotent group. Then for any prime p dividing the order of G there is exactly one p-sylow subgroup, and G is isomorphic to the direct product of its Sylow subgroups. The proof uses the following lemma which of interest on its own Lemma. Let G be a finite nilpotent group and H a proper subgroup. Then N G (H) H.

9 9 3. Reminder on ring theory 3.1. Rings. Recall that a ring R is a non empty set with two operations: An addition: R R R, (r, s) r + s, and a multiplication: R R R, (r, s) r s. With respect to the addition R is an abelian group. The neutral element is usually denoted 0 and called zero. The multiplication is associative and there is also a neutral element for the multiplication denoted 1 and called one: 1 r = r 1 = r for all r R. Multiplication and addition satisfy the distributive laws: r (s + t) = r s + r t and (s + t) r = s r + t r for all r, s, t R. The ring R is called commutative if r s = s r for all r, s R. Most rings appearing in these lectures are commutative. An element r R is called a unit or invertible if there is s R, such that s r = r s = 1. The element s is unique and called the inverse of R, denoted r 1. The set of units of R is denoted by R. This is a group with respect to the multiplication, which is abelian if R is a commutative ring. A field is a commutative ring R, such that every r 0 in R is a unit, i.e. R = R \ {0}. A subset I of a commutative ring R is called an ideal if r s I for all r, s I, and x r I for all r I and x R. The ideal I is called a maximal ideal if I R and there is no (two sided) ideal J R with J I except J = I. If R is a commutative ring this is equivalent to the assertion that R/I is a field. Let R and S be commutative rings. A homomorphism of rings is a map f : R S, such that f(r + r ) = f(r) + f(r ), f(r r ) = f(r) f(r ) and f(1 R ) = 1 S, where 1 R and 1 S denote the ones in R and S, respectively. Note that the kernel of a homomorphism of rings is an ideal. A subring S of a ring R is a subset S R, such that 1 = 1 R S, s t S, and s t S for all s, t S. Note that the only subring of a commutative R which is also an ideal is R itself A commutative ring R is called an integral domain if it has no zero divisors, i.e. if r s = 0 for r, s R is only possible if either r = 0 or s = 0. An integral domain R has a quotient field. This is the set of fractions { r } Q = Q(R) := r, R, s R \ {0}, s which is a field with respect to addition r s + u rv + su := v sv and multiplication r s u ru := v sv. The injection R Q(R), r r 1 is a homomorphism of rings. This is a generalization of the construction of the rational numbers out of the integers Z. Let R be an integral domain and f : R S a homomorphism of rings, such that f(r) is invertible for all r 0 in R. Then there is a unique extension of f to the quotient field Q(R) of R: Q(R) S, r s f(r) f(s) 1.

10 Polynomial rings. A important example of rings here are the so called polynomial rings. Let K be a field. The polynomial ring K[T ] in one variable T over K is the set of all formal expressions n f(t ) = a i T i, a i K. i=0 Assume that a n 0 the n is the degree of f, denote deg f. The polynomial f(t ) is called monic if the highest coefficient a n is equal 1. The set K[T ] is a commutative ring with addition m a i T i + i=0 n b j T j := j=0 max(n,m) l=0 (a l + b l ) T l, where a l = 0 if l > m and b l = 0 if l > n is understood, and multiplication m n n+m ( ) a i T i b j T j := a i b j T l. i=0 j=0 l=0 i+j=l The units of K[T ] are exactly the units of K, i.e. the constants, and K[T ] is a an integral domain. Moreover, every ideal I K[T ] is generated by one element: I = K[T ] f(t ) for some polynomial f(t ), i.e. K[T ] is a principal ideal domain. A polynomial p(t ) 0 in K[T ] is called irreducible if p(t ) is not a unit, and an equation p(t ) = f(t ) g(t ) implies that either f(t ) or g(t ) is a unit in K[T ]. As K[T ] is a principal ideal domain it is factorial and so every polynomial f(t ) m can be written as a product f(t ) = u(t ) p i (T ) ki, where u(t ) is a unit and p 1 (T ),..., p m (T ) are different irreducible polynomials. This expression is unique if we require that the irreducible polynomials are monic: If m n u(t ) p i (T ) ki = f(t ) = v(t ) q i (T ) li i=1 with u(t), v(t) units and p i (T ), q i (T ) monic irreducible polynomials then u(t ) = v(t ), n = m, and after (if necessary) reordering p i (T ) = q i (T ) and k i = l i for all i = 1,..., m. The polynomials p 1 (T ),..., p m (T ) are called the monic irreducible factors of f(t ). Two polynomials f(t ) and g(t ) are called prime if they do not have common irreducible factors. Then there exist polynomials a(t ) and b(t ), such that i=1 i=1 1 = a(t ) f(t ) + b(t ) g(t ). This follows from the Euclidean algorithm: Given polynomials f(t ) and g(t ) there exists polynomials h(t ) and r(t ) with deg r(t ) < deg g(t ), such that f(t ) = h(t ) g(t ) + r(t ). The polynomials h(t ) and r(t ) with this property are unique. A particular example of an irreducible polynomial in K[T ] is the linear polynomial T a, where a K. If f(t ) is any non constant polynomial then either T a divides f(t ) are f(t ) and T a are prime to each other.

11 11 An irreducible polynomial p(t ) of K[T ] generates a maximal ideal of K[T ] and so K[T ]/(p(t )) is a field. (p(t )) := K[T ] p(t ) 3.3. Algebras. Let K be a field. A commutative K-algebra is a commutative ring A together with a homomorphism of rings ι : K A, which is automatically injective as K is a field. The homomorphism ι is called the structure map. One identifies then K with its image in A, i.e. K is identified with the subring ι(k) of A. Note that the polynomial ring K[T ] is a K-algebra. The structure morphism sends x K to the constant polynomial x. A homomorphism of commutative K-algebras f : A B is a homomorphism of rings, such that f restricted to K is the identity. More precisely, this means that if ι : K A and j : K B are the respective structure maps then f(ι(x)) = j(x) for all x K. A K-subalgebra of the K-algebra A is a subring B of A, such that the inclusion B A is a homomorphism of K-algebras. Let A be a commutative K-algebra. Then for every r R there is a unique homomorphism of K-algebras α r : K[T ] R, f(t ) f(r), where f(r) = n a i r i for f(t ) = n a i T i. If f(r) = 0 then r R is called a root i=0 i=0 or zero of the polynomial f(t ). Assume that K = R. Then r K is a zero of f(t ) K[T ] if and only if T r divides f(t ) in K[T ], i.e. if and only if there is g(t ) K[T ], such that f(t ) = (T r) g(t ). This implies in particular, that an irreducible polynomial in K[T ] of degree 2 can not have a zero in K.

12 12 4. Field extensions 4.1. Prime fields. Let F be field. A subfield of F is a subring L of F which is a field. An arbitrary intersection of subfields of F is a field. The intersection P of all subfields of F is called the prime field of F. The image of the homomorphism of rings ψ F : Z F, n n 1 F is in P as P contains 1 = 1 F. There are two cases. (i) Ker ψ F = {0}: Then P Q the field of rational numbers. In this case the characteristic of F is 0; notation char F = 0. (ii) Ker ψ F (0): Then P Z/Zp for some prime number p. In this case the characteristic of F is p; notation char F = p, and one says that F has positive characteristic Field extensions. Let F E be a field extension, i.e. F is a subfield of E. Let further S E a subset. There is a smallest field F (S) E which contains F and S, the field generated by S over F. The field F (S) is an extension field of F. It is called a finitely generated extension if S is a finite set, and a simple extension if S contains only one element. If S = {s 1,..., s n } on writes also F (s 1,..., s n ) instead of F (S) Algebraic field extensions. Let E F be a field extension. Given x E there is a unique homomorphism α x : F [T ] E which maps T to x. If α x is injective one says that x is transcendental or algebraic independent over F. Otherwise x is called algebraic over F. If all x E are algebraic over F then E is called an algebraic field extension of F. In this case the kernel of α x is a maximal ideal of K[T ] which is generated by an irreducible polynomial. There is a unique monic polynomial which generated the kernel. This polynomial p(t ) is called the minimal polynomial of x over F. The map α x induces then an isomorphism of fields and of F -algebras ᾱ x : F [T ]/(p(t )) F (x) E. In particular dim F F (x) = deg p(t ). On the other hand, given an irreducible (monic) polynomial p(t ) in F [T ] then K := F [T ]/(p(t )) is a field extension of F, such p(t ) has a zero in K, the class of T modulo (p(t )) Lemma. The field extension E F is finitely generated and algebraic if and only if dim F E <. In this case E is called a finite field extension of F, and the dimension of E over F is called the degree of the field extension; notation: [E : F ] : dim F E Lemma. Let K E F be field extension. (i) The extension K F is finite if and only if K E and E F are finite. In this case [K : F ] = [K : E] [E : F ]. (ii) The extension K F is algebraic if and only if K E and E F are algebraic.

13 Definition. A field E is called algebraically closed if every polynomial in E[T ] has a root in E. In this case every polynomial in E[T ] is a product of linear, i.e. degree 1, polynomials. The field E F is called an algebraic closure of F if E is algebraically closed and the extension E F is algebraic. For instance, using some complex analysis one can show that C is algebraically closed. But C is not the algebraic closure of Q, why? 4.7. Theorem. Every field has an algebraic closure. To show that an algebraic closure is unique up to isomorphism one can use the following lemma which is of interest on its own Lemma. Let F be a field and K E F algebraic field extensions. Let further Ω F be another field extension which is assumed to be algebraically closed (but not necessarily algebraic over F ). If there is a F -algebra homomorphism σ : E Ω then there is an extension of σ to K, i.e. then there is a F -algebra homomorphism τ : K Ω, such that τ E = σ. If K E is moreover a finite extension then there are at most [K : E] such extensions of σ to K Corollary. If E 1 and E 2 are two algebraic closures of the field F then there is an F -algebra isomorphism E 1 E Spitting fields. Let K be a field and f i, i I, a family of polynomials in K[T ]. The field extension L K is called a splitting field of the set {f i } i I if (i) Every f i is a product of linear polynomials in L[T ], and (ii) L = K(S), where S is the set of the roots of the polynomials f i, i I, in L Theorem-Definition. Let L K be an algebraic extension of fields. Then the following is equivalent: (i) L is a splitting field of a set of polynomials in K[T ]. (ii) If Ω K is an algebraically closed extension field and τ 1, τ 2 : L Ω are K-algebra homomorphisms then Image τ 1 = Image τ 2. (iii) If f(t ) K[T ] is an irreducible polynomial which has a root in L then f(t ) is a product of linear polynomials in L[T ]. A field extension L K satisfying these three equivalent properties is called normal Separable polynomials. Let K be a field and f(t ) K[T ] a non constant polynomial. The polynomial f(t ) is called separable if it does not has multiple roots in an algebraic closure of K, i.e. if K is an algebraic closure of K and deg f f(t ) = u (T a i ) in K[T ] for a unit u K and a i K then a i a j for all 1 i j deg f. (This does not depend on the choice of the algebraic closure.) Lemma. Let f(t ) K[T ] be an irreducible polynomial. Then f(t ) is separable if and only if f (T ) 0. In particular if char K = 0 then all irreducible polynomials are separable. i=1

14 14 Recall here that the derivation f (T ) of the polynomial f(t ) = m a i T i is defined by the formula known from analysis: f (T ) := The usual rules for differentiation hold: and m ia i T i 1. i=1 [f(t ) + g(t )] = f (T ) + g (T ) [f(t ) g(t )] = f (T ) g(t ) + f(t ) g (T ) Definition. Let E F be an algebraic field extension. An element a E is called separable over F if the minimal polynomial of a in F [T ] is separable. The field extension E F is called a separable field extension if all elements of E are separable over F Theorem. Let E F be a finite extension and σ : F Ω a field homomorphism with Ω algebraically closed. The extension E F is separable if and only if there are [E : F ] different field homomorphisms τ : E F, such that τ F = σ. This has the following consequence Corollary. Let F be a field and K E F field extensions. (i) Let S E. The elements of the set S are separable over F is and only if F (S) F is a separable field extension. (ii) The extension K F is separable if and only if both extensions K E and E F are separable. (Note that the analogous statement does not hold for normal extensions.) Let E F be an algebraic field extension. It follows from the corollary above that the set K := { a E a is separable over F } is a subfield of E containing F which is called the separable closure of F in E. If E = F is an algebraic closure then this field is called the separable closure of F and is denoted by F s. It is unique up to F -algebra isomorphism. Note also that F s is a normal extension of F Definition. The field F is called perfect if all algebraic field extensions are separable. By the lemma in 4.12 all fields of characteristic 0 are perfect. This lemma has also the following consequence. Corollary. A field F of characteristic p > 0 is perfect if and only if F = F p := { x p x F } Finite fields. Let F be a finite field. Then char F = p > 0 is a prime number, i.e. F p := Z/Zp is the prime field. As F is finite n := dim Fp F <, and F has p n elements. For every n 1 there is up to isomorphism exactly one field with p n elements which is denoted F p n, i.e. F F p n. The finite field F of characteristic p > 0 is perfect since x x p is an isomorphism of F onto itself and so F = F p. i=0

15 If m divides n then F p m F p n, and this is a normal and separable extension of degree n m. It is even a simple extension as the following lemma implies Lemma. Let K be a field and G K a finite subgroup of the multiplicative group of K. Then G is a cyclic group. Note that all elements x of a finite subgroup G K satisfy x n = 1, where n is the order of G. Such an element of K is called a n-th root of unity. If ξ K has (exact) order n, i.e. if ξ n = 1, but ξ l 1 for all 1 l n 1, the ξ is called a primitive n-th root of unity. Such a primitive n-th root of unity generates the subgroup of K consisting of all n-th roots of unity Theorem. Let E F be a finite separable extension. Then this is a simple extension, i.e. there is x E, such that E = F (x) Definition. Let E F be an algebraic field extension with char F = p > 0. An element x E \F is called purely inseparable over F if there is an integer n 1, such that x pn F. One shows then that the minimal polynomial of x over F is equal T pl a for some integer 1 l n and some a F. More precisely, a = x pl, where l is the smallest integer, such that x pl F. Note that x is then the only root of its minimal polynomial, and so a homomorphism of fields σ : F Ω, where Ω is an algebraically closed field, has exactly one extension to F (x). The extension E F is called purely inseparable if all elements of E \ F are purely inseparable over F Theorem. Let F be a field of characteristic p > 0 and E F an algebraic extension. Let E K F be the separable closure of F in E. Then either E = K, or E K is purely inseparable. If [E : F ] < then [E : K] is a power of p, and every homomorphism of fields σ : F Ω, where Ω is algebraically closed, has exactly [K : F ] extensions to E Norms and traces. Let L K be a finite field extension. Then L is a finite dimensional K-vector space. Let a L. The map l a : L L, x a x is K-linear. (i) The trace of a (over K) is defined as the trace of the K-linear map l a and is denoted by Tr L/K (a). The trace is a K-linear map Tr L/K : L K, such that Tr L/K (a) = [L : K] a if a K. If K E is another finite extension then Tr K/E (Tr L/K (a)) = Tr L/E (a). (ii) The norm of a (over K) is defined as the determinant of the K-linear map l a and is denoted by N L/K (a). The norm N L/K is a map L K, and restricting N L/K to the group of units L it is a homomorphism of groups N L/K : L K, such that N L/K (a) = a [L:K] if a K. If K E is another finite extension then N K/E (N L/K (a)) = N L/E (a). 15

16 16 If the finite extension L K is separable then the trace and norm can be compute as follows. Let Ω K be an algebraic closure of K and Γ the set of all K-algebra homomorphisms L Ω. Then for all a L. Tr L/K (a) = σ Γ σ(a) and N L/K (a) = σ Γ σ(a) If the finite extension L K is not separable then Tr L/K (a) = 0 for all a L. This gives one direction of the following characterization of separable extensions Theorem. The finite extension L K is separable if and only if L L K, (x, y) Tr L/K (x y) is a non degenerate symmetric bilinear form. (Recall from linear algebra that a symmetric bilinear form b : V V K, where V is a finite dimensional K-vector space, is called non degenerate if b(v, w) = 0 for all w V if and only if v = 0.) The proof that this symmetric bilinear form is non degenerate if the extension is separable uses the following fact called linear independence of characters. Let G be a monoid,i.e. G is a non empty set with a associative multiplication G G G, (x, y) x y. A character of G with values in a field K is a map χ : G K, such that χ(x y) = χ(x) χ(y). Then the following lemma holds Lemma. Let G be a monoid, K a field, and χ 1,..., χ n different characters of G with values in K. Then these characters are linear independent, i.e. a relation n a i χ i (x) = 0 for all x G with a 1,..., a n K implies a 1 = a 2 =... = a n = 0. i=1

17 17 5. Galois theory 5.1. Definition. The algebraic field extension E F is called a Galois extension or Galois if it is normal and separable Theorem. Let L be a field. Then L is a finite Galois extension of a field K if and only if there is a finite group G of automorphisms of L, such that K = L G := { x L g(x) = x for all g G }. In this case the order of G is equal the degree [L : K]. Recall that an automorphism of the field L is a homomorphism σ : L L of fields. The set of all automorphisms of L is a group with composition of maps as multiplication: σ τ : L L, x σ(τ(x)). Denote this group by Aut(L). A group of automorphisms of L is a subgroup of Aut(L). Note that if G is a subgroup of Aut(L) then every σ G is a L G - algebra homomorphism of L onto itself Definition. The group G in the theorem above is called the Galois group of the Galois extension L K, and is denoted Gal(L/K). The Galois extension L K is called abelian respectively cyclic if the Galois group Gal(L/K) is abelian respectively cyclic. Note that if L = K(α 1,..., α n ) is the splitting field of a separable and irreducible polynomial f(t ) K[T ], where α 1,..., α n are all different roots of f(t ), then the Galois group Gal(L/K) permutes the roots α 1,..., α n and so is isomorphic to a subgroup of the permutation group S n on n letters The fundamental theorem of (finite) Galois theory. Let L K be a finite Galois extension with group G = Gal(L/K). Then there is a one-to-one (inclusion reversing) correspondence between the subgroups of G and the intermediate extension fields L F K. The correspondence is given by G H L H = { x L h(x) = x for all h H } with inverse map F Gal(L/F ) := { g G g(x) = x for all x F }. The extension L F = L H is also Galois with group H = Gal(L/F ), and the extension F = L H K is Galois if and only if H is a normal subgroup of G, in which case Gal(F/K) G/H Examples. (i) Let K be a field with char K 3, and f(t ) K[T ] an irreducible polynomial of degree 3. Since char K 3 the polynomial f(t ) is separable, and one can assume after a linear change of the variable T that f(t ) = T 3 + bt + c for some b, c K. Let L = K(α 1, α 2, α 3 ) be a splitting field of f(t ), where α 1, α 2, and α 3 are the three distinct roots of f(t ). The Galois

18 18 group G := Gal(L/K) is isomorphic to a subgroup of S 3 and has at least 3 elements. Hence there are two possible cases: G S 3 or G A 3, where A 3 S 3 is the subgroup of even permutations which is cyclic of order 3. Consider now δ := (α 1 α 2 ) (α 1 α 3 ) (α 2 α 3 ) and the square := δ 2, the discriminant of f(t ). The Galois group G acts by permutation on the roots of f(t ). Therefore G fixes δ if and only if it consists only of even permutations, i.e. if and only if G A 3. (Note that the square = δ 2 is invariant under any permutation of the roots of f(t ).) Hence G A 3 and so [L : K] = 3 if and only if is a square in K. A long but straightforward computation (or a clever argument) shows = 4b 3 27c 2. From this it follows for instance that if b = 0 and K = Q is the field of rational numbers then the splitting field of f(t ) = T 3 + c is always of degree 6 over Q as 27 is not square in Z. 1 (ii) Let K = Q and ξ n := e 2π n C a primitive nth root of unity. The field Q(ξ n ) is a Galois extension of Q of degree exactly the number of primitive nth roots of unity, which is the same as the number of units in the ring Z/Zn. The Galois group Gal(Q(ξ n )/Q) is isomorphic to the group of units in Z/Zn. Denote this isomorphism by ι : G (Z/Zn), σ ι(σ). Then the action of Gal(Q(ξ n )/Q) is given by σ(ξ n ) = ξ ι(σ) n. Note that if n = p is a prime number this implies that Q(ξ p ) Q is a cyclic extension of degree p 1, and the minimal polynomial of ξ p is given by f(t ) = T p 1 + T p T Hilbert s Theorem 90. Let L K be a cyclic extension, x L, and σ a generator of the Galois group. Then N L/K (x) = 1 if and only if there is α L, such that x = α σ(α). The following description of cyclic extensions is essentially a corollary of this theorem. Note the special (and already known) case n = 2: Quadratic extensions of a field of characteristic 2 are always cyclic Galois extensions Theorem. Let K be a field which contains a primitive nth root of unity, where n is an integer 2. (i) If L K is a cyclic extension of degree n then there is α L, such that L = K(α), and the minimal polynomial of α is given by T n a, where a = α n K. (ii) Let α be a root of T n a K[T ] in some algebraic closure of K. Then the extension K(α) K is cyclic of degree d dividing n, and the minimal polynomial of α is T d a, where a = α d. The integer d 1 is the smallest integer i, such that α i K. *****************

### Galois theory (Part II)( ) Example Sheet 1

Galois theory (Part II)(2015 2016) Example Sheet 1 c.birkar@dpmms.cam.ac.uk (1) Find the minimal polynomial of 2 + 3 over Q. (2) Let K L be a finite field extension such that [L : K] is prime. Show that

### MATH 326: RINGS AND MODULES STEFAN GILLE

MATH 326: RINGS AND MODULES STEFAN GILLE 1 2 STEFAN GILLE 1. Rings We recall first the definition of a group. 1.1. Definition. Let G be a non empty set. The set G is called a group if there is a map called

### 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

### 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

### 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

### 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

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

### Part II Galois Theory

Part II Galois Theory Definitions 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)

### 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

### 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

### 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

### 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

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

### 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

### Page Points Possible Points. Total 200

Instructions: 1. The point value of each exercise occurs adjacent to the problem. 2. No books or notes or calculators are allowed. Page Points Possible Points 2 20 3 20 4 18 5 18 6 24 7 18 8 24 9 20 10

### 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

### Fields and Galois Theory. Below are some results dealing with fields, up to and including the fundamental theorem of Galois theory.

Fields and Galois Theory Below are some results dealing with fields, up to and including the fundamental theorem of Galois theory. This should be a reasonably logical ordering, so that a result here should

### 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

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

### School of Mathematics and Statistics. MT5824 Topics in Groups. Problem Sheet I: Revision and Re-Activation

MRQ 2009 School of Mathematics and Statistics MT5824 Topics in Groups Problem Sheet I: Revision and Re-Activation 1. Let H and K be subgroups of a group G. Define HK = {hk h H, k K }. (a) Show that HK

### 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

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

### 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

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.

### 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

### 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

### 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

### 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

### φ(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 =

### Algebra Qualifying Exam Solutions. Thomas Goller

Algebra Qualifying Exam Solutions Thomas Goller September 4, 2 Contents Spring 2 2 2 Fall 2 8 3 Spring 2 3 4 Fall 29 7 5 Spring 29 2 6 Fall 28 25 Chapter Spring 2. The claim as stated is false. The identity

### Math 4400, Spring 08, Sample problems Final Exam.

Math 4400, Spring 08, Sample problems Final Exam. 1. Groups (1) (a) Let a be an element of a group G. Define the notions of exponent of a and period of a. (b) Suppose a has a finite period. Prove that

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

### 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

### Galois theory of fields

1 Galois theory of fields This first chapter is both a concise introduction to Galois theory and a warmup for the more advanced theories to follow. We begin with a brisk but reasonably complete account

### 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

### but no smaller power is equal to one. polynomial is defined to be

13. Radical and Cyclic Extensions The main purpose of this section is to look at the Galois groups of x n a. The first case to consider is a = 1. Definition 13.1. Let K be a field. An element ω K is said

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

### 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

### MATH 101A: ALGEBRA I, PART D: GALOIS THEORY 11

MATH 101A: ALGEBRA I, PART D: GALOIS THEORY 11 3. Examples I did some examples and explained the theory at the same time. 3.1. roots of unity. Let L = Q(ζ) where ζ = e 2πi/5 is a primitive 5th root of

### 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

### 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,

### 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

### 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

### 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

### GALOIS THEORY AT WORK

GALOIS THEORY AT WORK 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 determined by their

### Notes on Galois Theory

Notes on Galois Theory Math 431 04/28/2009 Radford We outline the foundations of Galois theory. Most proofs are well beyond the scope of the our course and are therefore omitted. The symbols and in the

### 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

### 7 Orders in Dedekind domains, primes in Galois extensions

18.785 Number theory I Lecture #7 Fall 2015 10/01/2015 7 Orders in Dedekind domains, primes in Galois extensions 7.1 Orders in Dedekind domains Let S/R be an extension of rings. The conductor c of R (in

### ALGEBRA 11: Galois theory

Galois extensions Exercise 11.1 (!). Consider a polynomial P (t) K[t] of degree n with coefficients in a field K that has n distinct roots in K. Prove that the ring K[t]/P of residues modulo P is isomorphic

### 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

### 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

### 1.5 Applications Of The Sylow Theorems

14 CHAPTER1. GROUP THEORY 8. The Sylow theorems are about subgroups whose order is a power of a prime p. Here is a result about subgroups of index p. Let H be a subgroup of the finite group G, and assume

### MATH 3030, Abstract Algebra Winter 2012 Toby Kenney Sample Midterm Examination Model Solutions

MATH 3030, Abstract Algebra Winter 2012 Toby Kenney Sample Midterm Examination Model Solutions Basic Questions 1. Give an example of a prime ideal which is not maximal. In the ring Z Z, the ideal {(0,

### Galois Theory. This material is review from Linear Algebra but we include it for completeness.

Galois Theory Galois Theory has its origins in the study of polynomial equations and their solutions. What is has revealed is a deep connection between the theory of fields and that of groups. We first

### Galois Theory, summary

Galois Theory, summary Chapter 11 11.1. UFD, definition. Any two elements have gcd 11.2 PID. Every PID is a UFD. There are UFD s which are not PID s (example F [x, y]). 11.3 ED. Every ED is a PID (and

### 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

### Math 603, Spring 2003, HW 6, due 4/21/2003

Math 603, Spring 2003, HW 6, due 4/21/2003 Part A AI) If k is a field and f k[t ], suppose f has degree n and has n distinct roots α 1,..., α n in some extension of k. Write Ω = k(α 1,..., α n ) for the

### Selected exercises from Abstract Algebra by Dummit and Foote (3rd edition).

Selected exercises from Abstract Algebra by Dummit and Foote (3rd edition). Bryan Félix Abril 12, 2017 Section 14.2 Exercise 3. Determine the Galois group of (x 2 2)(x 2 3)(x 2 5). Determine all the subfields

### Algebra. Travis Dirle. December 4, 2016

Abstract Algebra 2 Algebra Travis Dirle December 4, 2016 2 Contents 1 Groups 1 1.1 Semigroups, Monoids and Groups................ 1 1.2 Homomorphisms and Subgroups................. 2 1.3 Cyclic Groups...........................

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.

### Groups and Symmetries

Groups and Symmetries Definition: Symmetry A symmetry of a shape is a rigid motion that takes vertices to vertices, edges to edges. Note: A rigid motion preserves angles and distances. Definition: Group

### 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

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

### Fields. Victoria Noquez. March 19, 2009

Fields Victoria Noquez March 19, 2009 5.1 Basics Definition 1. A field K is a commutative non-zero ring (0 1) such that any x K, x 0, has a unique inverse x 1 such that xx 1 = x 1 x = 1. Definition 2.

### Theorem 5.3. Let E/F, E = F (u), be a simple field extension. Then u is algebraic if and only if E/F is finite. In this case, [E : F ] = deg f u.

5. Fields 5.1. Field extensions. Let F E be a subfield of the field E. We also describe this situation by saying that E is an extension field of F, and we write E/F to express this fact. If E/F is a field

### 9. Finite fields. 1. Uniqueness

9. Finite fields 9.1 Uniqueness 9.2 Frobenius automorphisms 9.3 Counting irreducibles 1. Uniqueness Among other things, the following result justifies speaking of the field with p n elements (for prime

### Homework 4 Algebra. Joshua Ruiter. February 21, 2018

Homework 4 Algebra Joshua Ruiter February 21, 2018 Chapter V Proposition 0.1 (Exercise 20a). Let F L be a field extension and let x L be transcendental over F. Let K F be an intermediate field satisfying

### 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

### 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

### Profinite Groups. Hendrik Lenstra. 1. Introduction

Profinite Groups Hendrik Lenstra 1. Introduction We begin informally with a motivation, relating profinite groups to the p-adic numbers. Let p be a prime number, and let Z p denote the ring of p-adic integers,

### 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

### 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

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

### 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

### Chapter 4. Fields and Galois Theory

Chapter 4 Fields and Galois Theory 63 64 CHAPTER 4. FIELDS AND GALOIS THEORY 4.1 Field Extensions 4.1.1 K[u] and K(u) Def. A field F is an extension field of a field K if F K. Obviously, F K = 1 F = 1

### Modern Computer Algebra

Modern Computer Algebra Exercises to Chapter 25: Fundamental concepts 11 May 1999 JOACHIM VON ZUR GATHEN and JÜRGEN GERHARD Universität Paderborn 25.1 Show that any subgroup of a group G contains the neutral

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

### Finite Fields. [Parts from Chapter 16. Also applications of FTGT]

Finite Fields [Parts from Chapter 16. Also applications of FTGT] Lemma [Ch 16, 4.6] Assume F is a finite field. Then the multiplicative group F := F \ {0} is cyclic. Proof Recall from basic group theory

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

### SEPARABLE EXTENSIONS OF DEGREE p IN CHARACTERISTIC p; FAILURE OF HERMITE S THEOREM IN CHARACTERISTIC p

SEPARABLE EXTENSIONS OF DEGREE p IN CHARACTERISTIC p; FAILURE OF HERMITE S THEOREM IN CHARACTERISTIC p JIM STANKEWICZ 1. Separable Field Extensions of degree p Exercise: Let K be a field of characteristic

### 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

### 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

### Extension fields II. Sergei Silvestrov. Spring term 2011, Lecture 13

Extension fields II Sergei Silvestrov Spring term 2011, Lecture 13 Abstract Contents of the lecture. Algebraic extensions. Finite fields. Automorphisms of fields. The isomorphism extension theorem. Splitting

### Galois theory. Philippe H. Charmoy supervised by Prof Donna M. Testerman

Galois theory Philippe H. Charmoy supervised by Prof Donna M. Testerman Autumn semester 2008 Contents 0 Preliminaries 4 0.1 Soluble groups........................... 4 0.2 Field extensions...........................

### CHAPTER III NORMAL SERIES

CHAPTER III NORMAL SERIES 1. Normal Series A group is called simple if it has no nontrivial, proper, normal subgroups. The only abelian simple groups are cyclic groups of prime order, but some authors

### MTH Abstract Algebra II S17. Review for the Final Exam. Part I

MTH 411-1 Abstract Algebra II S17 Review for the Final Exam Part I You will be allowed to use the textbook (Hungerford) and a print-out of my online lecture notes during the exam. Nevertheless, I recommend

### LECTURES 11-13: CAUCHY S THEOREM AND THE SYLOW THEOREMS

LECTURES 11-13: CAUCHY S THEOREM AND THE SYLOW THEOREMS Recall Lagrange s theorem says that for any finite group G, if H G, then H divides G. In these lectures we will be interested in establishing certain

### A BRIEF INTRODUCTION TO LOCAL FIELDS

A BRIEF INTRODUCTION TO LOCAL FIELDS TOM WESTON The purpose of these notes is to give a survey of the basic Galois theory of local fields and number fields. We cover much of the same material as [2, Chapters

### 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

### Math 250A, Fall 2004 Problems due October 5, 2004 The problems this week were from Lang s Algebra, Chapter I.

Math 250A, Fall 2004 Problems due October 5, 2004 The problems this week were from Lang s Algebra, Chapter I. 24. We basically know already that groups of order p 2 are abelian. Indeed, p-groups have non-trivial

### Course 311: Abstract Algebra Academic year

Course 311: Abstract Algebra Academic year 2007-08 D. R. Wilkins Copyright c David R. Wilkins 1997 2007 Contents 3 Introduction to Galois Theory 41 3.1 Field Extensions and the Tower Law..............

### 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

### its image and kernel. A subgroup of a group G is a non-empty subset K of G such that k 1 k 1

10 Chapter 1 Groups 1.1 Isomorphism theorems Throughout the chapter, we ll be studying the category of groups. Let G, H be groups. Recall that a homomorphism f : G H means a function such that f(g 1 g

### MATH 8253 ALGEBRAIC GEOMETRY WEEK 12

MATH 8253 ALGEBRAIC GEOMETRY WEEK 2 CİHAN BAHRAN 3.2.. Let Y be a Noetherian scheme. Show that any Y -scheme X of finite type is Noetherian. Moreover, if Y is of finite dimension, then so is X. Write f

### Course 311: Michaelmas Term 2005 Part III: Topics in Commutative Algebra

Course 311: Michaelmas Term 2005 Part III: Topics in Commutative Algebra D. R. Wilkins Contents 3 Topics in Commutative Algebra 2 3.1 Rings and Fields......................... 2 3.2 Ideals...............................

### Supplement. Dr. Bob s Modern Algebra Glossary Based on Fraleigh s A First Course on Abstract Algebra, 7th Edition, Sections 0 through IV.

Glossary 1 Supplement. Dr. Bob s Modern Algebra Glossary Based on Fraleigh s A First Course on Abstract Algebra, 7th Edition, Sections 0 through IV.23 Abelian Group. A group G, (or just G for short) is

### 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

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