GALOIS THEORY FOR PHYSICISTS
|
|
- Julie Simon
- 6 years ago
- Views:
Transcription
1 GALOIS THEORY FOR PHYSICISTS Spontaneous Symmetry Breaking and the Solution to the Quintic Tatsu Sangyo University, Maskawa-Juku January 12, 2012
2 DISCLAIMER: Start with the complex number field. Fundamental theorem of algebra is assumed. Do not claim any mathematical rigour.
3 SPONTANEOUS SYMMETRY BREAKING 1 The solution does not have the symmetry manifest in the equation. Example: particle in a left-right symmetric potential V(x) m d 2 x dv (x), V (x) V (x) dt 2 dx Equation is invariant under the parity transformation x x but the solution may not be. V (x) x 4 2x 2 dv (x) dx 4x (x 2 1) 0 x 2 1 x 1
4 SPONTANEOUS SYMMETRY BREAKING 2 The equation has left-right symmetry, but the solution does not. The mass is forced to choose between two possible ground states. The two ground states transform into each other under the broken (hidden) symmetry transformation non-trivial representation of the symmetry group.
5 WHO WAS ÉVARISTE GALOIS? Born Oct. 25, 1811 in a suburb of Paris. Mathematical prodigy, but failed entrance exam to École Polytechnic. Entered École Normale instead but expelled. Political radical (Republican). Jailed many times. Died May 1, 182 from a bullet wound suffered during a duel on May 0. He was 20 years old. Circumstances of the duel are unknown. Wrote papers during the night before the duel outlining his mathematical ideas Proof that the quintic cannot be solved by radicals () using Group Theory.
6 WHO KILLED ÉVARISTE GALOIS? Was Galois murdered by his political enemies? Note that the duel was just a week before the failed Paris Uprising of 182 (June 5~6, 182) by his Republican friends. cf. Les Misérables by Victor Hugo, musical by Claude-Michel Schönberg, movie coming in Students at the barricade in Les Misérables. Would have Galois been killed at the uprising had he not died a week earlier? Marius and Cosette in Les Misérables. Did Evariste and Stephanie enjoy a similar relationship or was she the reason for the duel?
7 BRIEF HISTORY OF ALGEBRAIC EQUATIONS Linear : ax b 0 Quadratic : ax 2 bx c 0 Cubic : ax bx 2 cx d 0 Quartic : ax 4 bx cx 2 dx e 0 Quintic : ax 5 bx 4 cx dx 2 ex f 0 The solution formula for the quadratic equation was known worldwide since ancient times. (Can be found on mesopotamian cuniform tablets.) Solution formulae to the cubic and the quartic were discovered during the 16 th century in Italy. The formula for the quintic could not be found. Proved that it did not exist independently by Neils Henrik Abel (Norwegian, ) and Galois ( ).
8 THE CUBIC & THE QUARTIC THE BATTLE OF THE ITALIAN MATH-MAGICIANS:? Scipione del Ferro ( ) Niccolo Fontana (Tartaglia) (1499/1500?-1557) Geralomo Cardano ( ) Lodovico Ferrari ( ) Del Ferro discovers solution to the special case x +px=q, p>0, q>0. Del Ferro s student Antonio Maria Fiore, who had inherited the magic formula from del Ferro, challenges Tartaglia to a math duel in 155 and is defeated, Tartaglia having discovered the solution overnight. Cardano bugs Tartaglia until he divulges his secret. Cardano supposedly promised that he will not tell anyone. Cardano generalizes the result, learns that del Ferro had the result before Tartaglia, and publishes Ars Magna in Infuriated Tartaglia challenges Cardano to a math duel but is defeated by Cardano s student Ferrari who figured out the solution to the quartic.
9 READ ALL ABOUT IT IN Still in print after more than four and a half centuries. (Perhaps not as impressive as Euclid s Elements.) The cubic is separated into 1 cases (to avoid the use of negative numbers) and discussed in gory detail: x px q x px q x q px x px 2 q x px 2 q x q px 2 x px 2 qx r x px 2 qx r x px 2 qx r x qx px 2 r x r px 2 qx x qx r px 2 x px 2 r qx First published in 1545 Ferrari s result for the quartic is only mentioned in passing. Cardano didn t think it was important because the space we live in is -dimensional. (Huh?)
10 QUADRATIC EQUATION 0 ax 2 bx c Divide both sides by a, then complete the square: 0 x 2 b a x c a x 2 b a x b2 b2 4a 2 4a c 2 a x b 2 2a b2 4a c 2 a x b 2 2a b2 4a c 2 a x b 2a b 2 4a 2 c a x b b2 4ac 2a b2 4ac 2a
11 COMPLETING THE SQUARE: x 2 2Ax x 2 2Ax A 2 (x A) 2
12 RELATION BETWEEN COEFFICIENTS AND ROOTS x 2 s 1 x s 2 (x a 1 )(x a 2 ) s 1 a 1 a 2 s 2 a 1 a 2 Solving the quadratic is equivalent to finding the two numbers for which their sum and product are given. Note that the coefficients are symmetric polynomials of the roots. They are invariant under a 1 a 2, that is, their symmetry group is S 2.
13 CUBIC EQUATION STEP 1 Divide both sides by a, then complete the cube: 0 ax bx 2 cx d 0 x b a x 2 c a x d a x b a x 2 b2 a x b b2 2 27a a x b c 2 27a a x d a x b c a a b2 x b d a a a bc a 2b 2 27a p q y py q
14 CUBIC EQUATION STEP 2 Let y u v : 0 y py q (u v) p(u v) q (u v q) (uv p)(u v) uv p, u v p 27 u v q u and v are solutions to: 0 z 2 qz p 27 z q 2 u q2 4 p 27 z z, v z, z z p u v y u v 2 u 2 v where 1.
15 RELATION BETWEEN COEFFICIENTS AND ROOTS x s 1 x 2 s 2 x s (x a 1 )(x a 2 )(x a ) s 1 a 1 a 2 a s 2 a 1 a 2 a 2 a a a 1 s a 1 a 2 a Solving the cubic is equivalent to finding the three numbers for which their sum, product, and the sum of products of all pairs are given. The coefficients are symmetric polynomials of the roots. They are invariant under all permutations of the three roots, i.e. their symmetry group is S.
16 QUARTIC EQUATION STEP 1 Complete the 4D-hypercube to eliminate the x term: 0 ax 4 bx cx 2 dx e 0 x 4 b a x c a x 2 d a x e a x b 4 4a c a b2 x b 2 8a a p e a bd 4a b2 c 2 16a b4 256a r y 4 py 2 qy r d a bc 2a b x b 2 8a a q
17 QUARTIC EQUATION STEP 2 FERRARI py 2 qy r y 4 (2t p)y 2 qy (t 2 r) y 4 (2t y 2 t 2 ) (y 2 t) 2 Choose the constant t so that the left hand side is a complete square: 2 (q) 2 4(2t p)(t 2 r) 8 t p 2 t 4pr 2 q2 rt 0 8 Then, we can take the square - root of both sides: (2t p)y 2 qy (t 2 r) (Ay B) 2 (y 2 t) 2 (Ay B) y 2 t
18 QUARTIC EQUATION STEP 2 EULER Let y u v w : 0 y 4 py 2 qy r (u v w) 4 p(u v w) 2 q(u v w) r (u 2 v 2 w 2 ) 2 p(u 2 v 2 w 2 ) 4(u 2 v 2 v 2 w 2 w 2 u 2 ) r 4(u 2 v 2 w 2 ) 2p(uv vw wu) 8uvw q(u v w) q 8 uvw q2 64 u 2 v 2 w 2 p 2 u 2 v 2 w 2, p 2 4r 16 u 2 v 2 v 2 w 2 w 2 u 2
19 QUARTIC EQUATION STEP EULER u 2, v 2, and w 2 are solutions to: 0 z p 2 z 2 p2 4r 16 z q2 64 z 2t p 4 z z 1, z 2, z u z 1, v z 2, w z, z 1 z 2 z q 8 u v w u v w y u v w u v w
20 FERRARI EULER COMPARISON 0 z p 2 z 2 p2 4r 16 Euler z q2 64 4z2tp z u 2 t u 2 v 2 w 2 0 t p 2 t 4pr 2 q2 rt 8 Ferrari (2t p) 1 2 y 2 q y (t { r) (y 2 12 t 4u 2 8uvw 4v 2 w 2 u 2 v 2 w 2 2(u y vw) y 2 u 2 v 2 w 2 y 2 m2u y u 2 (v w) 2 0 ) 2 y (u v w) 0 y u v w, u v w y (u v w) 0 y u v w, u v w y (u v w) y (u v w)
21 RELATION BETWEEN COEFFICIENTS AND ROOTS x 4 s 1 x s 2 x 2 s x s 4 (x a 1 )(x a 2 )(x a )(x a 4 ) s 1 a 1 a 2 a a 4 s 2 a 1 a 2 a 1 a a 1 a 4 a 2 a a 2 a 4 a a 4 s a 1 a 2 a a 1 a 2 a 4 a 1 a a 4 a 2 a a 4 s 4 a 1 a 2 a a 4 The coefficients are symmetric polynomials of the roots. They are invariant under all permutations of the four roots, i.e. their symmetry group is S 4.
22 ORDER N ALGEBRAIC EQUATION: 0 x N s 1 x N 1 s 2 x N 2 L (1) N 1 s N 1 x (1) N s N (x a 1 )(x a 2 )(x a )L (x a N 1 )(x a N ) s 1 a 1 a 2 a L a N 1 a N s 2 s M i j i j k a i a j a i a j a k s N a 1 a 2 a L a N 1 a N The coefficients are symmetric polynomials of the roots. They are invariant under any permutation of the roots, i.e. their symmetry group is S N.
23 SOLUTION FORMULA: s 1 a 1 a 2 a L a N 1 a N s 2 s s N i j i j k a i a j a i a j a k M a 1 a 2 a L a N 1 a N a 1 f 1 ( s 1, s 2, s,l s N 1, s N ) a 2 f 2 ( s 1, s 2, s,l s N 1, s N ) a f ( s 1, s 2, s,l s N 1, s N ) M a N 1 f N 1 ( s 1, s 2, s,l s N 1, s N ) a N f N ( s 1, s 2, s,l s N 1, s N ) Solution formulae must invert the relations between the coefficients and the roots and express the roots in terms of the coefficients.
24 IMPOSSIBLITY OF SOLUTION FORMULAE: a i f i ( s 1, s 2, s,l s N 1, s N ) Right-hand side is manifestly invariant under any permutation of the roots. Left-hand side is not. Therefore, such a relation is impossible!?? But formulae for the quadratic, cubic, and the quartic exist! So what is wrong with this argument?
25 THE LANGUAGE OF SYMMETRIES: GROUP THEORY Definition of a Group G: Closed under group multiplication Group multiplication is associative Unit element exists a, bg aobg (aob) oc ao(boc) eg such that eoa aoe a ag Inverse element exists for every element ag, a 1 G such that aoa 1 a 1 oa e
26 GROUP OF SYMMETRY TRANSFORMATIONS Symmetry refers to invariance under some set of transformations. Define the product of two symmetry transformations as the transformation obtained by performing the two symmetry transformations in succession. Then, the set of all symmetry transformations forms a group. The unit element is the transformation which does nothing. The inverse element is the inverse transformation.
27 THE SYMMETRIC GROUP S N The group formed by all possible permutations of N objects is called the symmetric group and denoted S N. It has N! elements. Examples: S 2 {e, (12)} S {e, (12), (1), (2), (12), (12)} S 4 {e, (12), (1), (14), (2), (24), (4), (12)(4), (1)(24), (14)(2), (12), (12), (124), (142), (14), (14), (24), (24), (124), (124), (124), (142), (142), (142)}
28 NOTATION: e : do nothing (12) : (12) : (124) : (12)(45) : 1 2 1, etc (142), (1542)
29 SUBGROUPS A Group H contained inside another Group G is called a subgroup of G, e.g.: Group : S {e, (12), (1), (2), (12), (12)} Subgroups : {e}, S 2 {e, (12)}, S 2 {e, (1)}, S 2 {e, (2)}, C {e, (12), (12)} The number of elements in a subgroup is always a divisor of the number of element in the parent group. (Lagrange s theorem.)
30 COSETS Let H be a subgroup of G. The elements of G can be classified into equivalence classes using a -1 bh as an equivalence relation. That is, a and b are equivalent if hh such that b=ah. These classes are called cosets. Group : S {e, (12), (1), (2), (12), (12)} Subgroup : S 2 {e, (12)} Cosets: es 2 {e, (12)}, (1)S 2 {(1),(12)}, (2)S 2 {(2),(12)} Group : S {e, (12), (1), (2), (12), (12)} Subgroup : C {e, (12), (12)} Cosets: ec {e, (12), (12)}, (1)C {(1), (12), (2)}
31 CONJUGACY CLASSES Two elements a and b of a group G are said to be conjugate to each other if gg such that gag -1 b. What this means is that a and b are the same kind of transformation which can be transformed into each other by g. (12)(2)(12) (1) (12)(12)(12) (12) (12)(12)(12) (2) Conjugacy is an equivalence relation which can be used to classify the elements of G into conjugacy classes. S : {e}, {(12),(1),(2)}, {(12),(12)} S 4 : {e}, {(12),(1),(14),(2),(24),(4)}, {(12)(4),(1)(24),(14)(2)}, {(12),(12),(124),(142),(14),(14),(24),(24)}, {(124),(124),(124),(142),(142),(142)}
32 INVARIANT SUBGROUPS Let H be a subgroup of G. If for all hh and all gg, we have the relation ghg -1 H, then the subgroup H is said to be an invariant subgroup. It is a subgroup consisting of complete conjugate classes. Group : S {e, (12), (1), (2), (12), (12)} Invariant Subgroups : {e}, C {e, (12), (12)} ghg -1 is the transformation of h by g. Since all elements of H stay in H under all transformations in G, we can write: ghg - 1 =H. ghg -1 =H implies gh=hg. So H as a whole commutes with G.
33 SOLUTION TO THE QUADRATIC REVISITED: x 2 s 1 x s 2 0 x s discriminant 2 s 1 2 4s 2 (a 1 a 2 ) 2 4a 1 a 2 (a 1 a 2 ) 2 The square-root is double-valued We are forced to chose between two possible square-roots whenever the discriminant is non-zero! 2 a 1 a 2 or a 2 a 1 Symmetry breaks from S 2 to the trivial invariant subgroup {e}. (12) 2 2 The square-root of the discriminant serves as a basis for a 1x1 representation of S 2 : e 1, (12) 1
34 SOLUTION TO THE CUBIC REVISITED 1: x s 1 x 2 s 2 x s 0 y py q 0 where y x s 1, p s 2 1 s 2, q 2s 1 27 s 1s 2 s. z 2 qz p 27 0 z q 2 i 6 discriminant 27q 2 4p s 2 1 s 2 2 4s 2 4s 2 1 s 18s 1 s 2 s 27s (a 1 a 2 ) 2 (a 2 a ) 2 (a a 1 ) 2 (a 1 a 2 )(a 2 a )(a a 1 ) or - (a 1 a 2 )(a 2 a )(a a 1 )
35 SOLUTION TO THE CUBIC REVISITED 2: Symmetry breaks from S to the invariant subgroup C ={e,(12),(12)}. (12)(1)(2) The three transpositions (12), (1), and (2) are actually equivalent since: (12) (12)e e(12) (1) (12)(12) (12)(12) (2) (12)(12) (12)(12) The three permutations e, (12), and (12) are of course equivalent since they keep the discriminant invariant. So the actions of all the permutations of S are equivalent to that of {e,(12)}=s /C. This is known as the Quotient Group. ec {e,(12),(12)} 1, (12)C {(12),(1),(2)} 1
36 THE QUOTIENT GROUP Let H be a subgroup of G. Each coset with respect to H can be expressed collectively as ah for some ag. When H is an invariant subgroup of G, then multiplication between cosets can be defined as ah bh=a(hb)h=a(bh)h= (ab)hh= (ab)h. The group formed by this group multiplication is call the quotient group G/H.
37 SOLUTION TO THE CUBIC REVISITED : Taking the cubic roots of z breaks C ={e,(12),(12)} down to the trivial invariant subgroup {e}. z a 2 1 a 2 a, z a a a z a 1 2 a 2 a, z a 1 a 2 2 a z z (12) z (12) z (12) 2 z (12) 2 z
38 SOLUTION TO THE CUBIC REVISITED 4: The cubic roots of z provide a basis for a 1x1 representation of C ={e,(12),(12)}: z : e 1, (12), (12) 2, (12) z : e 1, (12) 2 Together, they provide a basis for a 2x2 representation of S : e 1 0, (12) 0, (12) (2) 0 1, (12) 0, (1)
39 SOLUTION TO THE QUARTIC OUTLINE 1: x 4 s 1 x s 2 x 2 s x s 4 0 y 4 py 2 qy r 0 where y x s 1 4, p s s 2, q s 1 8 s 1s 2 2 s, r s s 2 1 s 2 16 s 1s 4 s 4. z p 2 z 2 p2 4r 16 z q P Q 0 where z p 6, P p2 48 r 4, Q p 864 q2 64 pr Q P 27 0 Q 2 i s 2 1 s 2 s 2 4s 2 s 2 4s 1 s 18s 1 s 2 s 27s 4 4s 2 1 s 2 s 4 16s 4 2 s 4 18s 1 s 2 s s 4 80s 1 s 2 s s 4 6s 2 1 s 2 s 4 144s 2 s 2 s 4 27s s 4 144s 2 1 s 2 s s 2 2 s s 1 s s s 4 (a 1 a 2 ) 2 (a 1 a ) 2 (a 1 a 4 ) 2 (a 2 a ) 2 (a 2 a 4 ) 2 (a a 4 ) 2
40 SOLUTION TO THE QUARTIC OUTLINE 2: 4 (a 1 a 2 )(a 1 a )(a 1 a 4 )(a 2 a )(a 2 a 4 )(a a 4 ) or (a 1 a 2 )(a 1 a )(a 1 a 4 )(a 2 a )(a 2 a 4 )(a a 4 ) permutations}. 4 odd permutations 4 Symmetry breaks from S 4 to the invariant subgroup A 4 ={all even ea 4 {all even permutations} 1 (12)A 4 {all odd permutations} 1 S 4 / A 4 {e, (12)}
41 SOLUTION TO THE QUARTIC OUTLINE : (12)( 24)(124)(14) (12)( 24)(124)(14) 2 (12)(14)( 24)(142) (12)(14)( 24)(142) 2 Symmetry breaks from A 4 to its invariant subgroup V={e,(12)(4),(1)(24),(14)(2)}, known as the four-group ev {e, (12)(4), (1)(24), (14)(2)} (12)V {(12), (14), (24), (142)} (12)V {(12), (24), (124), (14)} A 4 /V {e, (12), (12)}
42 SOLUTION TO THE QUARTIC OUTLINE 4: (1)(24), (14)(2) z 1 z 1 (12)(4), (14)(2) z 2 z 2 (12)(4), (1)(24) z z Symmetry breaks from V to the trivial invariant subgroup {e} via the invariant subgroups {e,(12)(4)}, or {e,(1)(24)}, or {e,(14)(2)}, depending on the order in which the square-roots are introduced. e {e, (12)(4)} {e, (12)(4)} (1)(24) {e, (12)(4)} {(1)(24), (14)(2)} V / {e, (12)(4)} {e, (1)(24)}
43 THE SYMMETRY BREAKING PATTERN: S 2 2 {e} S z C {e} S 4 4 A 4 V z 1 z 2 z {e,(12)(4)} {e} The unbroken subgroup is an invariant subgroup of the parent group at each step. When p-th roots are used to break the symmetry down from G to H, the quotient group G/H is isomorphic to C p. For the quintic to be solvable by radicals, S 5 must have a sequence of invariant subgroups such that the quotient group of the successive groups in the sequence is always cyclic.
44 THE SYMMETRIC GROUP S 5 5!=120 elements, 60 odd and 60 even, 7 conjugacy classes: e : 1 element ()() : 15 elements even, A () : 20 elements 5 () : 24 elements () : 10 elements ()() : 20 elements odd () : 0 elements A 5 is an invariant subgroup of S 5 and S 5 /A 5 ={e,(12)}.
45 DISCRIMINANT OF THE QUINTIC 5 s 2 1 s 2 2 s 2 s 2 4 4s 2 s 2 s 2 4 4s 1 s s s 1 s 2 s s s 4 s 2 4 4s 2 1 s 2 s 4 16s 4 2 s 4 18s 1 s 2 s s 4 80s 1 s 2 2 s s 4 6s 2 1 s 2 s 4 144s 2 s 2 s 4 27s 4 1 s s 2 1 s 2 s s 2 2 s s 1 s s s 4 4s 2 1 s 2 2 s s 5 16s 2 s s 5 16s 1 s 4 s 5 72s 1 s 2 s 4 s 5 108s 5 s 5 18s 2 1 s 2 s s 4 s 5 72s 4 2 s s 4 s 5 80s 1 s 2 s 2 s 4 s 5 56s 1 s 2 2 s 2 s 4 s 5 24s 2 1 s s 4 s 5 60s 2 s s 4 s 5 6s 1 s 2 2 s 2 4 s 5 24s 1 s 2 s 2 4 s 5 144s 4 1 s s 2 4 s 5 746s 2 1 s 2 s s 2 4 s 5 560s 2 2 s s 2 4 s s 1 s 2 s 2 4 s 5 6s 1 s 4 s 5 160s 1 s 2 s 4 s s s 4 s 5 27s 2 1 s 4 2 s s 5 2 s s 1 s 2 2 s s s 1 s 2 s s s 4 1 s 2 s s 2 1 s 2 s 2 2 s 5 825s 2 2 s 2 s s 1 s s s 4 1 s 2 s 4 s s 2 1 s 2 2 s 4 s s 2 s 4 s s 2 1 s s 4 s s 1 s 2 s s 4 s s 2 s 4 s s 2 1 s 2 4 s s 2 s s 5 256s 5 1 s s 1 s 2 s s 1 s 2 2 s s 2 1 s s 5 750s 2 s s s 1 s 4 s s 5 (a 1 a 2 ) 2 (a 1 a ) 2 (a 1 a 4 ) 2 (a 1 a 5 ) 2 (a 2 a ) 2 (a 2 a 4 ) 2 (a 2 a 5 ) 2 (a a 4 ) 2 (a a 5 ) 2 (a 4 a 5 ) 2 59 terms! By taking the square-root of this discriminat, it is indeed possible to break S 5 down to A 5.
46 THE ALTERNATING GROUP A 5 60 elements, 5 conjugacy classes: e : 1 element ()() : 15 elements () : 20 elements () : 12 elements () : 12 elements Lagrange s theorem tells us that the number of elements in a proper subgroup of A 5 must be 0, 20, 15, 12, 10, 6, 5, 4,, 2, or 1. For it to be an invariant subgroup, it must contain complete conjugacy classes, including {e}. Simple counting shows that it is impossible A 5 does not have any invariant subgroups.
47 PROOF FOR S N (N 5) Let G be a group of permutations of five objects or more that include all cyclic permutations of three elements. (124)(142) e (15)(15) e (12) (124)(15)(142)(15) Let H be an invariant subgroup of G such that G/H is cyclic (Abelian). Consider the homomorphism : G G/H f[(124)] x, f[(15)] y, f[(12)] f[(124)(15)(142)(15)] xyx 1 y 1 e Therefore (12) H. This is true for any cyclic permutation of three elements. Therefore, G is not solvable.
48 PHYSICIST VERSION OF GALOIS THEORY: The N coefficients of an order N algebraic equation are symmetric polynomials of the N roots. They are invariant under all N! permutations of the N roots. The solution formula must break this S N symmetry down to {e}. Radicals (p-th roots) break the symmetry by their multivaluedness, forcing us a choice among p different vacua. Transformations from one vacuum to another are represented by the p-th roots of one. The symmetry must break to an invariant subgroup of the parent group such that the quotient group of the two is isomorphic to C p. For an order N algebraic equation to be solvable by radicals, the group S N must have a sequence of invariant subgroups for which the quotient group of successive groups is always cyclic. This is not the case when N5.
49 COLLORARY AND CAVEATS: Not all algebraic numbers can be expressed algebraically! The generic quintic can be solved if you allow for an infinite number of rational operations and/or radicals. Solution formulas exist which use elliptic functions.
50 SOLUTION TO THE QUINTIC - STEP 1 COMPLETING THE 5D HYPERCUBE Complete the 5D-hypercube to eliminate the x 4 term: 0 x 5 s 1 x 4 s 2 x s x 2 s 4 x s 5 x s 5 1 s 5 2 2s 2 1 x s 1 s s 1s 2 5 4s 1 x s t 2 s 4 2s s 1 5 s 2 1 s 2 25 s 4 1 x s 1 s s s s 2 1 s 25 s 1 s s t t 4 t 5 y 5 t 2 y t y 2 t 4 y t 5 y x s 1 5
51 SOLUTION TO THE QUINTIC - STEP 1 ALTERNATIVE POINT OF VIEW Let the five roots of 0 x 5 s 1 x 4 s 2 x s x 2 s 4 x s 5 be x = a 1,a 2,a,a 4,a 5. Note that a i s 1. 5 i 1 Let i a i a and choose a so that 5 i 0 a s 1 i 1 Then, y = 1, 2,, 4, 5 will be the roots of a quintic equation in y without the y 4 term: 0 y 5 t 2 y t y 2 t 4 y t 5 5.
52 SOLUTION TO THE QUINTIC - STEP 2 TSCHIRNHAUSEN TRANSFORMATION (168) Let the five roots of 0 y 5 t 2 y t y 2 t 4 y t 5 be y = 1, 2,, 4, 5. Note that i 0, 5 i 1 i j t 2. i j Let i i 2 a i + b and choose a and b so that 5 i 0, i 1 i j 0 i j a t t 2 2t 2 5 2t 4 9t 2 t 2 4t, b 2t Then, z = 1, 2,, 4, 5 will be the roots of a quintic equation in z without the z 4 and z terms : 0 z 5 u z 2 u 4 z u 5 (principal quintic form) where u,u 4,u 5 are complicated functions of t 2,t,t 4, and t 5.
53 SOLUTION TO THE QUINTIC - STEP BRING (1786)-JERRARD (1852) Let the five roots of 0 z 5 u z 2 u 4 z u 5 be y = 1, 2,, 4, 5. Note that i 0, 5 i 1 i j 0, i j k u. i j i j k Let i i 4 a i + b i 2 +c i + d and choose a,b,c and d so that 5 i 0, i 1 i j 0, i j k 0 i j i j k d 4u 4 u a, b 5u 5 4u 4 a, 5 u a solution to a quadratic, c solution to a cubic Then, = 1, 2,, 4, 5 will be the roots of a quintic equation in without the 4, and 2 terms : 0 5 v 4 v 5 (Bring - Jerrard normal form) where v 4,v 5 are very complicated functions of u,u 4, and u 5.
54 SOLUTION TO THE QUINTIC - STEP 4 RESCALE 0 5 v 4 v (v 4 ) 5 / 4 1 (v 2 4 ) 1/ a 5 a v 5 1 (v 2 4 ) 5 / 4 a
55 SOLUTION TO THE QUINTIC STEP 5 INVERT RELATION 5 a k0 5k (1)k a 4 k1 a a 5 5a 9 5a 1 L k 4k 1
Galois theory - Wikipedia, the free encyclopedia
Page 1 of 8 Galois theory From Wikipedia, the free encyclopedia In mathematics, more specifically in abstract algebra, Galois theory, named after Évariste Galois, provides a connection between field theory
More informationAppendix 1. Cardano s Method
Appendix 1 Cardano s Method A1.1. Introduction This appendix gives the mathematical method to solve the roots of a polynomial of degree three, called a cubic equation. Some results in this section can
More informationA Sampling of Symmetry and Solvability. Sarah Witherspoon Professor of Mathematics Texas A&M University
A Sampling of Symmetry and Solvability Sarah Witherspoon Professor of Mathematics Texas A&M University Polynomial Equations Examples: x 9 2x 4 5 = 0, x 2 y 3 3y 2 = 0, x 2 + y 2 + z 2 = 1 Solving polynomial
More information11-6. Solving All Polynomial Equations. Vocabulary. What Types of Numbers Are Needed to Solve Polynomial Equations? Lesson
Chapter 11 Lesson 11-6 Solving All Polynomial Equations Vocabulary double root, root of multiplicity 2 multiplicity BIG IDEA Every polynomial equation of degree n 1 has exactly n solutions, counting multiplicities.
More informationÈvariste Galois and the resolution of equations by radicals
Èvariste Galois and the resolution of equations by radicals A Math Club Event Department of Mathematical Sciences Florida Atlantic University Boca Raton, FL 33431 November 9, 2012 Outline 1 The Problem
More informationCardano and the Solution of the Cubic. Bryan Dorsey, Kerry-Lyn Downie, and Marcus Huber
Cardano and the Solution of the Cubic Bryan Dorsey, Kerry-Lyn Downie, and Marcus Huber Pacioli In 1494, the Italian Luca Pacioli produced his volume titled Summa de Arithmetica. In this a step was made
More informationChapter 11: Galois theory
Chapter 11: Galois theory Matthew Macauley Department of Mathematical Sciences Clemson University http://www.math.clemson.edu/~macaule/ Math 410, Spring 014 M. Macauley (Clemson) Chapter 11: Galois theory
More informationSYMMETRY AND THE MONSTER The Classification of Finite Simple Groups
SYMMETRY AND THE MONSTER The Classification of Finite Simple Groups Freshman Seminar University of California, Irvine Bernard Russo University of California, Irvine Spring 2015 Bernard Russo (UCI) SYMMETRY
More informationThe Cubic formula and beyond?"
The Cubic formula and beyond?" Which polynomials can we solve using radicals? When was it figured out? Milan vs. Venice" (Cardano and Tartaglia)" 1500ʼs" Doubling the Cube (The Delian Problem)" To rid
More informationCHAPTER 5. Fields. 47 Historical Introduction
CHAPTER 5 Fields 47 Historical Introduction For a long time in the history of mathematics, algebra was understood to be the study of roots of polynomials. This must be clearly distinguished from numerical
More informationHilbert s 13th Problem Great Theorem; Shame about the Algorithm. Bill Moran
Hilbert s 13th Problem Great Theorem; Shame about the Algorithm Bill Moran Structure of Talk Solving Polynomial Equations Hilbert s 13th Problem Kolmogorov-Arnold Theorem Neural Networks Quadratic Equations
More informationAlgebra III Chapter 2 Note Packet. Section 2.1: Polynomial Functions
Algebra III Chapter 2 Note Packet Name Essential Question: Section 2.1: Polynomial Functions Polynomials -Have nonnegative exponents -Variables ONLY in -General Form n ax + a x +... + ax + ax+ a n n 1
More informationMath 120. Groups and Rings Midterm Exam (November 8, 2017) 2 Hours
Math 120. Groups and Rings Midterm Exam (November 8, 2017) 2 Hours Name: Please read the questions carefully. You will not be given partial credit on the basis of having misunderstood a question, and please
More informationHow large can a finite group of matrices be? Blundon Lecture UNB Fredericton 10/13/2007
GoBack How large can a finite group of matrices be? Blundon Lecture UNB Fredericton 10/13/2007 Martin Lorenz Temple University, Philadelphia Overview Groups... and some of their uses Martin Lorenz How
More informationComputations in inverse Galois theory
Computations in inverse Galois theory Johan Bosman Supervisor: Bas Edixhoven Nederlands Mathematisch Congres April 13, 2007, Leiden The quadratic polynomial has zeroes Galois theory Motivating examples
More information6 Cosets & Factor Groups
6 Cosets & Factor Groups The course becomes markedly more abstract at this point. Our primary goal is to break apart a group into subsets such that the set of subsets inherits a natural group structure.
More informationO1 History of Mathematics Lecture IX Classical algebra: equation solving 1800BC AD1800. Monday 6th November 2017 (Week 5)
O1 History of Mathematics Lecture IX Classical algebra: equation solving 1800BC AD1800 Monday 6th November 2017 (Week 5) Summary Early quadratic equations Cubic and quartic equations Further 16th-century
More information1.1 The program of Lie
1 Introduction Lie groups were initially introduced as a tool to solve or simplify ordinary and partial differential equations. The model for this application was Galois use of finite groups to solve algebraic
More informationMT5836 Galois Theory MRQ
MT5836 Galois Theory MRQ May 3, 2017 Contents Introduction 3 Structure of the lecture course............................... 4 Recommended texts..................................... 4 1 Rings, Fields and
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 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 and the Abel-Ruffini theorem
Galois theory and the Abel-Ruffini theorem Bas Edixhoven November 4, 2013, Yogyakarta, UGM A lecture of two times 45 minutes. Audience: bachelor, master and PhD students, plus maybe some lecturers. This
More informationYale University Department of Mathematics Math 350 Introduction to Abstract Algebra Fall Midterm Exam Review Solutions
Yale University Department of Mathematics Math 350 Introduction to Abstract Algebra Fall 2015 Midterm Exam Review Solutions Practice exam questions: 1. Let V 1 R 2 be the subset of all vectors whose slope
More informationLecture 6.6: The fundamental theorem of Galois theory
Lecture 6.6: The fundamental theorem of Galois theory Matthew Macauley Department of Mathematical Sciences Clemson University http://www.math.clemson.edu/~macaule/ Math 410, Modern Algebra M. Macauley
More informationFoundations of Cryptography
Foundations of Cryptography Ville Junnila viljun@utu.fi Department of Mathematics and Statistics University of Turku 2015 Ville Junnila viljun@utu.fi Lecture 7 1 of 18 Cosets Definition 2.12 Let G be a
More informationRings. Chapter 1. Definition 1.2. A commutative ring R is a ring in which multiplication is commutative. That is, ab = ba for all a, b R.
Chapter 1 Rings We have spent the term studying groups. A group is a set with a binary operation that satisfies certain properties. But many algebraic structures such as R, Z, and Z n come with two binary
More 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 informationENTRY GROUP THEORY. [ENTRY GROUP THEORY] Authors: started Mark Lezama: October 2003 Literature: Algebra by Michael Artin, Mathworld.
ENTRY GROUP THEORY [ENTRY GROUP THEORY] Authors: started Mark Lezama: October 2003 Literature: Algebra by Michael Artin, Mathworld Group theory [Group theory] is studies algebraic objects called groups.
More informationSymmetries and Polynomials
Symmetries and Polynomials Aaron Landesman and Apurva Nakade June 30, 2018 Introduction In this class we ll learn how to solve a cubic. We ll also sketch how to solve a quartic. We ll explore the connections
More informationContents. 1 Solving algebraic equations Field extensions Polynomials and irreducibility Algebraic extensions...
Contents 1 Solving algebraic equations............................................ 1 2 Field extensions....................................................... 9 3 Polynomials and irreducibility.........................................
More informationA Brief History of Algebra
A Brief History of Algebra The Greeks: Euclid, Pythagora, Archimedes Indian and arab mathematicians Italian mathematics in the Renaissance The Fundamental Theorem of Algebra Hilbert s problems 1 Pythagoras,
More informationFall /29/18 Time Limit: 75 Minutes
Math 411: Abstract Algebra Fall 2018 Midterm 10/29/18 Time Limit: 75 Minutes Name (Print): Solutions JHU-ID: This exam contains 8 pages (including this cover page) and 6 problems. Check to see if any pages
More informationThe Italian Connection THE CUBIC CHRONICLES
The Italian Connection THE CUBIC CHRONICLES Cast of Characters Omar Khayyam (1048 1131). A great Persian mathematician working in the Seljuk (Turkish) empire. Solved cubic equations numerically by intersection
More informationSymmetry Anyone? Willy Hereman. After Dinner Talk SANUM 2008 Conference Thursday, March 27, 2007, 9:00p.m.
Symmetry Anyone? Willy Hereman After Dinner Talk SANUM 2008 Conference Thursday, March 27, 2007, 9:00pm Tribute to Organizers Karin Hunter Karin Hunter Andre Weideman Karin Hunter Andre Weideman Ben Herbst
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 information1 The Galois Group of a Quadratic
Algebra Prelim Notes The Galois Group of a Polynomial Jason B. Hill University of Colorado at Boulder Throughout this set of notes, K will be the desired base field (usually Q or a finite field) and F
More informationUse the Rational Zero Theorem to list all the possible rational zeros of the following polynomials. (1-2) 4 3 2
Name: Math 114 Activity 1(Due by EOC Apr. 17) Dear Instructor or Tutor, These problems are designed to let my students show me what they have learned and what they are capable of doing on their own. Please
More information5 Group theory. 5.1 Binary operations
5 Group theory This section is an introduction to abstract algebra. This is a very useful and important subject for those of you who will continue to study pure mathematics. 5.1 Binary operations 5.1.1
More informationThe following results are from the review sheet for the midterm.
A. Miller M542 Galois Theory Spring 2000 For the material on Galois theory we will be assuming that the fields all have characteristic zero. When we get to solvability by radicals we will assume that all
More informationHistory of Mathematics
History of Mathematics Paul Yiu Department of Mathematics Florida Atlantic University Summer 2011 5B: Solution of cubic and uartic euations Cardano s solution of the cubic euation In his book Ars Magna,
More information120A LECTURE OUTLINES
120A LECTURE OUTLINES RUI WANG CONTENTS 1. Lecture 1. Introduction 1 2 1.1. An algebraic object to study 2 1.2. Group 2 1.3. Isomorphic binary operations 2 2. Lecture 2. Introduction 2 3 2.1. The multiplication
More informationCOMPUTING GALOIS GROUPS WITH GENERIC RESOLVENT POLYNOMIALS
COMPUTING GALOIS GROUPS WITH GENERIC RESOLVENT POLYNOMIALS JOHN KOPPER 1. Introduction Given an arbitrary irreducible polynomial f with rational coefficients it is difficult to determine the Galois group
More informationMath 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
More information2.3. Polynomial Equations. How are roots, x-intercepts, and zeros related?
.3 Polynomial Equations Suppose the volume, V, in cubic centimetres, of a block of ice that a sculptor uses to carve the wings of a dragon can be modelled by V(x) 9x 3 60x 49x, where x represents the thickness
More informationFROM GROUPS TO GALOIS Amin Witno
WON Series in Discrete Mathematics and Modern Algebra Volume 6 FROM GROUPS TO GALOIS Amin Witno These notes 1 have been prepared for the students at Philadelphia University (Jordan) who are taking the
More informationGalois Theory and the Insolvability of the Quintic Equation
Galois Theory and the Insolvability of the Quintic Equation Daniel Franz 1. Introduction Polynomial equations and their solutions have long fascinated mathematicians. The solution to the general quadratic
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 informationUnraveling the Complexities of the Cubic Formula. Bruce Bordwell & Mark Omodt Anoka-Ramsey Community College Coon Rapids, Minnesota
Unraveling the Complexities of the Cubic Formula Bruce Bordell & Mark Omodt Anoka-Ramsey Community College Coon Rapids, Minnesota A little history Quadratic Equations Cubic Equations del Ferro (1465 156)
More informationGALOIS GROUPS OF CUBICS AND QUARTICS (NOT IN CHARACTERISTIC 2)
GALOIS GROUPS OF CUBICS AND QUARTICS (NOT IN CHARACTERISTIC 2) KEITH CONRAD We will describe a procedure for figuring out the Galois groups of separable irreducible polynomials in degrees 3 and 4 over
More informationMath 2070BC Term 2 Weeks 1 13 Lecture Notes
Math 2070BC 2017 18 Term 2 Weeks 1 13 Lecture Notes Keywords: group operation multiplication associative identity element inverse commutative abelian group Special Linear Group order infinite order cyclic
More informationSolutions to odd-numbered exercises Peter J. Cameron, Introduction to Algebra, Chapter 3
Solutions to odd-numbered exercises Peter J. Cameron, Introduction to Algebra, Chapter 3 3. (a) Yes; (b) No; (c) No; (d) No; (e) Yes; (f) Yes; (g) Yes; (h) No; (i) Yes. Comments: (a) is the additive group
More informationMATH 25 CLASS 21 NOTES, NOV Contents. 2. Subgroups 2 3. Isomorphisms 4
MATH 25 CLASS 21 NOTES, NOV 7 2011 Contents 1. Groups: definition 1 2. Subgroups 2 3. Isomorphisms 4 1. Groups: definition Even though we have been learning number theory without using any other parts
More informationMath 345 Sp 07 Day 7. b. Prove that the image of a homomorphism is a subring.
Math 345 Sp 07 Day 7 1. Last time we proved: a. Prove that the kernel of a homomorphism is a subring. b. Prove that the image of a homomorphism is a subring. c. Let R and S be rings. Suppose R and S are
More information1 Commutative Rings with Identity
1 Commutative Rings with Identity The first-year courses in (Abstract) Algebra concentrated on Groups: algebraic structures where there is basically one algebraic operation multiplication with the associated
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 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 informationA. (Groups of order 8.) (a) Which of the five groups G (as specified in the question) have the following property: G has a normal subgroup N such that
MATH 402A - Solutions for the suggested problems. A. (Groups of order 8. (a Which of the five groups G (as specified in the question have the following property: G has a normal subgroup N such that N =
More informationGALOIS THEORY : LECTURE 4 LEO GOLDMAKHER
GALOIS THEORY : LECTURE 4 LEO GOLDMAKHER 1. A BRIEF REVIEW OF S n The rest of the lecture relies on familiarity with the symmetric group of n elements, denoted S n (this is the group of all permutations
More informationMath 451, 01, Exam #2 Answer Key
Math 451, 01, Exam #2 Answer Key 1. (25 points): If the statement is always true, circle True and prove it. If the statement is never true, circle False and prove that it can never be true. If the statement
More 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 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 informationAM 106/206: Applied Algebra Madhu Sudan 1. Lecture Notes 11
AM 106/206: Applied Algebra Madhu Sudan 1 Lecture Notes 11 October 17, 2016 Reading: Gallian Chapters 9 & 10 1 Normal Subgroups Motivation: Recall that the cosets of nz in Z (a+nz) are the same as the
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 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 informationAlgebraic Structures Exam File Fall 2013 Exam #1
Algebraic Structures Exam File Fall 2013 Exam #1 1.) Find all four solutions to the equation x 4 + 16 = 0. Give your answers as complex numbers in standard form, a + bi. 2.) Do the following. a.) Write
More informationChapter 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
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 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 information[06.1] Given a 3-by-3 matrix M with integer entries, find A, B integer 3-by-3 matrices with determinant ±1 such that AMB is diagonal.
(January 14, 2009) [06.1] Given a 3-by-3 matrix M with integer entries, find A, B integer 3-by-3 matrices with determinant ±1 such that AMB is diagonal. Let s give an algorithmic, rather than existential,
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 informationBefore you begin read these instructions carefully.
MATHEMATICAL TRIPOS Part IA Tuesday, 4 June, 2013 1:30 pm to 4:30 pm PAPER 3 Before you begin read these instructions carefully. The examination paper is divided into two sections. Each question in Section
More informationChapter V. Solvability by Radicals
Matematisk Institut Mat 3AL 5.1 Chapter V. Solvability by Radicals One of the oldest problems in algebra was to find roots of an equation. Already in the antiquity solutions of quadratic equations were
More informationSolving Quadratic Equations Review
Math III Unit 2: Polynomials Notes 2-1 Quadratic Equations Solving Quadratic Equations Review Name: Date: Period: Some quadratic equations can be solved by. Others can be solved just by using. ANY quadratic
More informationChapter 3: Polynomial and Rational Functions
Chapter 3: Polynomial and Rational Functions 3.1 Polynomial Functions A polynomial on degree n is a function of the form P(x) = a n x n + a n 1 x n 1 + + a 1 x 1 + a 0, where n is a nonnegative integer
More informationMATH 101: ALGEBRA I WORKSHEET, DAY #3. Fill in the blanks as we finish our first pass on prerequisites of group theory.
MATH 101: ALGEBRA I WORKSHEET, DAY #3 Fill in the blanks as we finish our first pass on prerequisites of group theory 1 Subgroups, cosets Let G be a group Recall that a subgroup H G is a subset that is
More informationa real number, a variable, or a product of a real number and one or more variables with whole number exponents a monomial or the sum of monomials
5-1 Polynomial Functions Objectives A2.A.APR.A.2 (formerly A-APR.A.3) Identify zeros of polynomials when suitable factorizations are available, and use the zeros to construct a rough graph of the function
More informationThe Mathematics of Renaissance Europe
The Mathematics of Renaissance Europe The 15 th and 16 th centuries in Europe are often referred to as the Renaissance. The word renaissance means rebirth and describes the renewed interest in intellectual
More informationJean-Pierre Escofier. Galois Theory. Translated by Leila Schneps. With 48 Illustrations. Springer
Jean-Pierre Escofier Galois Theory Translated by Leila Schneps With 48 Illustrations Springer Preface v 1 Historical Aspects of the Resolution of Algebraic Equations 1 1.1 Approximating the Roots of an
More informationBasic Definitions: Group, subgroup, order of a group, order of an element, Abelian, center, centralizer, identity, inverse, closed.
Math 546 Review Exam 2 NOTE: An (*) at the end of a line indicates that you will not be asked for the proof of that specific item on the exam But you should still understand the idea and be able to apply
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 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 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 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 informationName: Solutions - AI FINAL EXAM
1 2 3 4 5 6 7 8 9 10 11 12 13 total Name: Solutions - AI FINAL EXAM The first 7 problems will each count 10 points. The best 3 of # 8-13 will count 10 points each. Total is 100 points. A 4th problem from
More informationAlgebra: Groups. Group Theory a. Examples of Groups. groups. The inverse of a is simply a, which exists.
Group Theory a Let G be a set and be a binary operation on G. (G, ) is called a group if it satisfies the following. 1. For all a, b G, a b G (closure). 2. For all a, b, c G, a (b c) = (a b) c (associativity).
More information3. G. Groups, as men, will be known by their actions. - Guillermo Moreno
3.1. The denition. 3. G Groups, as men, will be known by their actions. - Guillermo Moreno D 3.1. An action of a group G on a set X is a function from : G X! X such that the following hold for all g, h
More informationSection V.2. The Fundamental Theorem (of Galois Theory)
V.2. The Fundamental Theorem (of Galois Theory) 1 Section V.2. The Fundamental Theorem (of Galois Theory) Note. In this section, we define the Galois group of an arbitrary field extension. We prove (after
More informationFinding Real Roots of Quartics
Finding Real Roots of Quartics Don Herbison-Evans (donherbisonevans@yahoo.com) Department of Software Engineering, School of Information Science, University of Technology, Sydney, Australia & Michel Daoud
More informationABSTRACT INVESTIGATION INTO SOLVABLE QUINTICS. Professor Lawrence C. Washington Department of Mathematics
ABSTRACT Title of thesis: INVESTIGATION INTO SOLVABLE QUINTICS Maria-Victoria Checa, Master of Science, 2004 Thesis directed by: Professor Lawrence C. Washington Department of Mathematics Solving quintics
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 and Geometry in the Sixteenth and Seventeenth Centuries
Algebra and Geometry in the Sixteenth and Seventeenth Centuries Introduction After outlining the state of algebra and geometry at the beginning of the sixteenth century, we move to discuss the advances
More informationChapter 2 notes from powerpoints
Chapter 2 notes from powerpoints Synthetic division and basic definitions Sections 1 and 2 Definition of a Polynomial Function: Let n be a nonnegative integer and let a n, a n-1,, a 2, a 1, a 0 be real
More informationPolynomials and Taylor s Approximations
214 TUTA/IOE/PCU Journal of the Institute of Engineering, 2016, 12(1): 214-221 TUTA/IOE/PCU Printed in Nepal Polynomials and Taylor s Approximations Nhuchhe Shova Tuladhar Department of Science and Humanities,
More informationMay 6, Be sure to write your name on your bluebook. Use a separate page (or pages) for each problem. Show all of your work.
Math 236H May 6, 2008 Be sure to write your name on your bluebook. Use a separate page (or pages) for each problem. Show all of your work. 1. (15 points) Prove that the symmetric group S 4 is generated
More informationSolving a quartic equation by the method of radicals
Solving a quartic equation by the method of radicals Peter Haggstrom www.gotohaggstrom.com mathsatbondibeach@gmail.com September 18, 01 1 Introduction This paper deals with the solution of quartic equations
More informationGroups and Symmetries
Groups and Symmetries Definition: Symmetry A symmetry of a shape is a rigid motion that takes vertices to vertices, edges to edges. Note: A rigid motion preserves angles and distances. Definition: Group
More 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 informationSUMMARY OF GROUPS AND RINGS GROUPS AND RINGS III Week 1 Lecture 1 Tuesday 3 March.
SUMMARY OF GROUPS AND RINGS GROUPS AND RINGS III 2009 Week 1 Lecture 1 Tuesday 3 March. 1. Introduction (Background from Algebra II) 1.1. Groups and Subgroups. Definition 1.1. A binary operation on a set
More informationChapter 3. Rings. The basic commutative rings in mathematics are the integers Z, the. Examples
Chapter 3 Rings Rings are additive abelian groups with a second operation called multiplication. The connection between the two operations is provided by the distributive law. Assuming the results of Chapter
More informationSOLVING SOLVABLE QUINTICS. D. S. Dummit
D. S. Dummit Abstract. Let f(x) = x 5 + px 3 + qx + rx + s be an irreducible polynomial of degree 5 with rational coefficients. An explicit resolvent sextic is constructed which has a rational root if
More information