Abstract Algebra Homework 2

import%20marimo%0A%0A__generated_with%20%3D%20%220.17.6%22%0Aapp%20%3D%20marimo.App()%0A%0A%0A%40app.cell%0Adef%20_()%3A%0A%20%20%20%20import%20marimo%20as%20mo%0A%20%20%20%20return%20(mo%2C)%0A%0A%0A%40app.cell%0Adef%20_(mo)%3A%0A%20%20%20%20nav_menu%20%3D%20mo.nav_menu(%0A%20%20%20%20%20%20%20%20%7B%0A%20%20%20%20%20%20%20%20%20%20%20%20%22%2Findex.html%22%3A%20f%22%7Bmo.icon('lucide%3Ahome')%7D%20Home%22%2C%0A%20%20%20%20%20%20%20%20%7D%2C%0A%20%20%20%20%20%20%20%20orientation%3D%22vertical%22%2C%0A%20%20%20%20)%0A%20%20%20%20nav_menu%0A%20%20%20%20return%0A%0A%0A%40app.cell%0Adef%20_(mo)%3A%0A%20%20%20%20mo.md(r%22%22%22%0A%20%20%20%20%23%20Fall%20Semester%20Homework%201%0A%20%20%20%20%22%22%22)%0A%20%20%20%20return%0A%0A%0A%40app.cell%0Adef%20_(mo)%3A%0A%20%20%20%20mo.md(r%22%22%22%0A%20%20%20%20%23%23%20Exercise%201%0A%0A%20%20%20%20**Consider%20the%20irreducible%20(why%3F)%20polynomial%20%24f(X)%20%3D%20X%5E3%2B2X%2B2%24%20over%20%24%5Cmathbb%7BQ%7D%24%2C%20and%20let%20%24%5Calpha%24%20denote%20one%20of%20its%20roots**.%0A%0A%20%20%20%201.%20**Express%20the%20element%20%24%5Calpha%5E%7B-1%7D%24%20and%20%24%5Cbeta%20%3D%20%5Calpha%5E6%20%2B%203%5Calpha%5E4%2B2%5Calpha%5E3%2B6%5Calpha%24%20as%20linear%20combinations%20of%20%241%2C%20%5Calpha%2C%20%5Calpha%5E2%24**%3B%0A%20%20%20%202.%20**Determine%20the%20minimal%20polynomial%20of%20%24%5Cbeta%24%20over%20%24%5Cmathbb%7BQ%7D%24**.%0A%0A%20%20%20%20Solution%0A%0A%20%20%20%20To%20see%20%24f%24%20is%20irreducible%2C%20since%20its%20degree%20is%20only%20%243%24%20and%20it%20is%20monic%20we%20can%20just%20check%20if%20it%20has%20integer%20root%2C%20and%20there%20is%20no%20any%20such%20root.%0A%0A%20%20%20%20Since%20%24%5Calpha%24%20is%20a%20root%20of%20%24f%24%2C%20%24%5Calpha%5E3%20%2B%202%5Calpha%20%2B%202%20%3D%200%24%20%24%5Cimplies%20%5Calpha%5E3%20%2B%202%20%5Calpha%20%3D%20-2%24%20%24%5Cimplies%20%5Calpha(%5Calpha%5E2%2B2)%20%3D%20-2%24%2C%20thus%20we%20may%20write%20%24%5Calpha%5E%7B-1%7D%20%3D%20-%5Cfrac%7B1%7D%7B2%7D(%5Calpha%5E2%2B2)%24%20%24%3D-1-%5Cfrac%7B1%7D%7B2%7D%5Calpha%5E2%24.%0A%0A%20%20%20%20For%20%24%5Cbeta%24%2C%20factorize%20it%20as%20%24%5Cbeta%20%3D%20%5Calpha(%5Calpha%5E2%2B3)(%5Calpha%5E3%2B2)%24%2C%20notice%20from%20%24%5Calpha%5E3%20%2B%202%5Calpha%20%2B%202%20%3D%200%24%20that%20the%20third%20part%20equals%20%24-2%5Calpha%24%2C%20so%20%24%5Cbeta%20%3D%20%5Calpha(%5Calpha%5E2%2B3)(-2%5Calpha)%24.%20Combine%20the%20first%20two%20terms%20to%20get%20%24%5Calpha%5E3%2B3%5Calpha%24%20and%20notice%20it%20equals%20%24%5Calpha-2%24%2C%20thus%20%24%5Cbeta%20%3D%20(%5Calpha-2)(-2%5Calpha)%24%20%24%3D4%5Calpha-2%5Calpha%5E2%24.%0A%0A%20%20%20%20Use%20the%20result%20above%20%24%5Cbeta%20%3D%204%5Calpha%20-%202%5Calpha%5E2%24%2C%20since%20the%20minimal%20polynomial%20of%20%24%5Calpha%24%20is%20%24f%24%20(because%20it%20is%20irreducible)%2C%20the%20degree%20of%20the%20minimal%20polynomial%20of%20%24%5Cbeta%24%20is%20at%20least%20%243%24.%20So%20rise%20%24%5Cbeta%24%20to%20the%20power%20%243%24%20first%2C%20and%20we%20get%20%24-8%5Calpha%5E6%2B48%5Calpha%5E5-96%5Calpha%5E4%2B64%5Calpha%5E3%24.%20Now%20use%20%24%5Calpha%5E3%20%2B%202%5Calpha%20%2B%202%20%3D%200%24%20to%20decrease%20the%20degree%20of%20%24f%24%2C%20for%20example%20%24-8%5Calpha%5E6-16%5Calpha%5E4%20%3D%20%5Calpha%5E3(-8%5Calpha%5E3-16%5Calpha)%3D%2016%5Calpha%5E3%24%20so%20%24%5Cbeta%5E2%20%3D%2048%5Calpha%5E5-80%5Calpha%5E4%2B64%5Calpha%5E3%2B16%5Calpha%5E3%24%2C%20now%20move%20to%20%24%5Calpha%5E5%24%20and%20so%20on.%0A%0A%20%20%20%20We%20would%20get%20%24%5Cbeta%5E3%20%3D%2032%5Calpha%5E4-128%5Calpha%5E3%2B128%5Calpha%5E2-224%24%20%24%3D8%5Cbeta%5E2-224%24%2C%20so%20%24%5Cbeta%24%20is%20a%20root%20of%20%24X%5E3-8X%5E2%2B224%24.%20This%20polynomial%20also%20does%20not%20have%20integer%20root%20so%20it%20is%20irreducible%2C%20thus%20it%20is%20the%20minimal%20polynomial%20of%20%24%5Cbeta%24.%0A%0A%20%20%20%20%23%23%20Exercise%202%0A%0A%20%20%20%20**Prove%20that%20if%20%24%5BF(%5Calpha)%3AF%5D%24%20is%20odd%2C%20then%20%24F(%5Calpha)%20%3D%20F(%5Calpha%5E2)%24**.%0A%0A%20%20%20%20Proof%0A%0A%20%20%20%20Clearly%20%24F(%5Calpha%5E2)%20%5Csubseteq%20F(%5Calpha)%24.%20Suppose%20the%20inclusion%20is%20strict%20so%20that%20%24F%20%5Csubseteq%20F(%5Calpha%5E2)%20%5Csubset%20F(%5Calpha)%24%2C%20we%20have%20that%20%24%5BF(%5Calpha)%3AF%5D%20%3D%20%5BF(%5Calpha)%3AF(%5Calpha%5E2)%5D%5BF(%5Calpha%5E2)%3AF%5D%24.%0A%0A%20%20%20%20In%20particular%20we%20have%20that%3A%0A%0A%20%20%20%201.%20%24%5BF(%5Calpha)%3AF(%5Calpha%5E2)%5D%20%3E%201%24%20because%20they%20are%20(assumed)%20not%20equal%3B%0A%20%20%20%202.%20%24%5BF(%5Calpha)%3AF(%5Calpha%5E2)%5D%24%20is%20odd%20because%20only%20odd%20times%20odd%20get%20odd%3B%0A%0A%20%20%20%201%20and%202%20implies%20that%20in%20particular%20%24%5BF(%5Calpha)%3AF(%5Calpha%5E2)%5D%24%20is%20at%20least%20%243%24.%0A%0A%20%20%20%20However%20the%20polynomial%20%24x%5E2-%5Calpha%5E2%24%20is%20a%20polynomial%20in%20%24F(%5Calpha%5E2)%5Bx%5D%24%20with%20%24%5Calpha%24%20be%20a%20root%2C%20so%20%24%5BF(%5Calpha)%3AF(%5Calpha%5E2)%5D%24%20is%20at%20most%20%242%24%2C%20so%20we%20have%20a%20contradiction.%0A%0A%20%20%20%20%23%23%20Exercise%203%0A%0A%20%20%20%20**Let%20%24%5Calpha%20%3D%201%2B2%5E%7B1%2F3%7D%2B4%5E%7B1%2F3%7D%24%2C%20what%20is%20the%20degree%20of%20%24%5Calpha%24%20over%20%24%5Cmathbb%7BQ%7D%24%3F%20Produce%20the%20minimal%20polynomial%20for%20%24%5Calpha%24**.%0A%0A%20%20%20%20Solution%0A%0A%20%20%20%20The%20minimal%20polynomial%20clearly%20at%20least%20needs%20to%20be%20degree%20%243%24.%20Let's%20write%20down%20%24%5Calpha%5E3%2C%5Calpha%5E2%2C%5Calpha%5E1%24%3A%0A%0A%20%20%20%201.%20%24%5Calpha%5E3%20%3D%2012%5Ccdot%202%5E%7B2%2F3%7D%20%2B%2015%20%5Ccdot%202%5E%7B1%2F3%7D%20%2B%2019%24%3B%0A%20%20%20%202.%20%24%5Calpha%5E2%20%3D%203%5Ccdot%202%5E%7B2%2F3%7D%2B4%5Ccdot%202%5E%7B1%2F3%7D%2B5%24%3B%0A%20%20%20%203.%20%24%5Calpha%5E1%20%3D%201%5Ccdot%202%5E%7B2%2F3%7D%20%2B%201%5Ccdot%202%5E%7B1%2F3%7D%20%2B1%24.%0A%0A%20%20%20%20So%20we%20are%20basically%20solving%20a%20linear%20system%20and%20it's%20not%20hard%20to%20see%20%24%5Calpha%5E3%20-%203%5Calpha%5E2%20-%203%5Calpha%20-1%20%3D%200%24%2C%20it%20is%20the%20minimal%20polynomial%20because%20it%20is%20irreducible%2C%20and%20thus%20the%20degree%20is%20%243%24.%0A%0A%20%20%20%20%23%23%20Exercise%204%0A%0A%20%20%20%20**Let%20%24%5Calpha%20%3D%20e%5E%7B2%5Cpi%20i%2F7%7D%24%20and%20%24%5Czeta%20%3D%20%5Calpha%20%2B%20%5Calpha%5E%7B-1%7D%24.%20Use%20the%20minimal%20polynomial%20for%20%24%5Calpha%24%20to%20write%20down%20the%20minimal%20polynomial%20for%20%24%5Czeta%24%20over%20%24%5Cmathbb%7BQ%7D%24.%20Conclude%20that%20the%20regular%20heptagon%20is%20not%20constructible**.%0A%0A%20%20%20%20Solution%0A%0A%20%20%20%20%24(e%5E%7B2%5Cpi%20i%2F7%7D)%5E7%20-%201%20%3D%200%24%20but%20we%20can%20factor%20%24x%5E7-1%24%20%24%3D%20(x-1)(x%5E6%2Bx%5E5%2Bx%5E4%2Bx%5E3%2Bx%5E2%2Bx%2B1)%24%20(given%20%24%5Calpha%20%5Cne%201%24).%20So%20if%20%24f(x)%20%3D%20(x%5E6%2Bx%5E5%2Bx%5E4%2Bx%5E3%2Bx%5E2%2Bx%2B1)%24%20is%20irreducible%20then%20this%20is%20the%20minimal%20polynomial%20of%20%24%5Calpha%24.%20Consider%20%24g(x)%20%3D%20f(x%2B1)%20%3D%20x%5E6%2B7x%5E5%2B21x%5E4%2B35x%5E3%2B35x%5E2%2B21x%2B7%24%20is%20irreducible%20by%20Eisenstein%2C%20so%20%24f%24%20is%20also%20irreducible.%0A%0A%20%20%20%20Since%20%24%5Calpha%5E%7B-1%7D%24%20and%20%24%5Calpha%24%20are%20conjugate%2C%20they%20are%20both%20root%20of%20%24f%24%2C%20i.e.%20the%20minimal%20polynomial%20of%20them%20are%20both%20%24f%24.%0A%0A%20%20%20%20So%20we%20have%20%24%5Calpha%5E6%2B%5Calpha%5E5%2B%5Calpha%5E4%2B%5Calpha%5E3%2B%5Calpha%5E2%2B%5Calpha%5E1%2B1%20%3D%200%24%20%24%3D%5Calpha%5E%7B-6%7D%2B%5Calpha%5E%7B-5%7D%2B%5Calpha%5E%7B-4%7D%2B%5Calpha%5E%7B-3%7D%2B%5Calpha%5E%7B-2%7D%2B%5Calpha%5E%7B-1%7D%2B1%24%2C%20so%20the%20sum%20of%20everything%20is%20also%20%240%24.%20We%20may%20see%20%24%5Calpha%5E6%2B%5Calpha%5E5%2B%5Calpha%5E4%2B%5Calpha%5E3%2B%5Calpha%5E2%2B%5Calpha%5E1%2B1%20%2B%20%5Calpha%5E%7B-6%7D%2B%5Calpha%5E%7B-5%7D%2B%5Calpha%5E%7B-4%7D%2B%5Calpha%5E%7B-3%7D%2B%5Calpha%5E%7B-2%7D%2B%5Calpha%5E%7B-1%7D%2B1%24%20as%20a%20polynomial%20of%20%24x%20%3D%20%5Calpha%2B%5Calpha%5E%7B-1%7D%24%2C%20we%20can%20write%20it%20as%20%24x%5E6%2Bx%5E5-5x%5E4-4x%5E3%2B6x%5E2%2B3x%20%3D%20x(x%5E2-3)(x%5E3%2Bx%5E2-2x-1)%24%2C%20and%20we%20can%20see%20that%20this%20part%20%24x%5E3%2Bx%5E2-2x-1%24%20is%20the%20minimal%20polynomial%20of%20%24%5Czeta%24%20(because%20%24%5Czeta%24%20is%20not%20a%20root%20of%20%24x%24%20nor%20a%20root%20of%20%24x%5E2-3%24)%2C%20which%20means%20it%20has%20degree%20%243%24.%0A%0A%20%20%20%20Now%20since%20%24%5Calpha%24%20and%20%24%5Calpha%5E%7B-1%7D%24%20are%20conjugate%2C%20%24%5Czeta%20%3D%202%5Ccos(2%5Cpi%2F7)%24%2C%20which%20means%20%24%5Czeta%24%20is%20constructible%20if%20and%20only%20if%20the%20regular%20heptagon%20is%20constructible%2C%20and%20since%20the%20degree%20of%20%24%5Czeta%24%20is%20odd%2C%20we%20conclude%20the%20regular%20heptagon%20is%20not%20constructible.%0A%0A%20%20%20%20%23%23%20Exercise%205%0A%0A%20%20%20%20**Consider%20the%20factorization%20of%20the%20quartic**%3A%20%24%24x%5E4%20%2B%20px%5E2%20%2B%20qx%20%2B%20r%20%3D%20(x%5E2%2Bax%2Bb)(x%5E2-ax%2Bd).%24%24%0A%0A%20%20%20%201.%20**Determine%20%24b%24%20and%20%24d%24%20in%20terms%20of%20%24p%2Cq%2Ca%24.%20Rewrite%20the%20identity%20%24bd%20%3D%20r%24%20to%20obtain%20a%20cubic%20equation%20for%20%24s%20%3D%20a%5E2%24%20(Descartes'%20method%20for%20the%20quartic)**%3B%0A%20%20%20%202.%20**Let%20%24%5Calpha%20%5Cin%20%5Cmathbb%7BC%7D%24%20be%20a%20complex%20number%20of%20degree%20%244%24%20over%20%24%5Cmathbb%7BQ%7D%24%2C%20and%20let%20%24f(X)%20%3D%20X%5E4%2BpX%5E2%2BqX%2Br%24%20be%20its%20minimal%20polynomial%20over%20%24%5Cmathbb%7BQ%7D%24.%20Show%20that%20there%20exists%20a%20quadratic%20extension%20%24L%24%20of%20%24%5Cmathbb%7BQ%7D%24%2C%20contained%20in%20%24%5Cmathbb%7BQ%7D(%5Calpha)%24%2C%20if%20and%20only%20if%20the%20polynomial**%20%24%24R(X)%20%3D%20X%5E3%2B2pX%5E2%2B(p%5E2-4r)X-q%5E2%24%24**has%20a%20rational%20root**%3B%0A%20%20%20%203.%20**Show%20that%20a%20real%20root%20of%20%24X%5E4%20%2B%202X-2%24%20is%20not%20constructible**.%0A%0A%20%20%20%20Solution%0A%0A%20%20%20%201.%20Expand%20RHS%20and%20we%20get%20%24%5Cbegin%7Bcases%7Dd%2Bb-a%5E2%20%3D%20p%5C%5Cad-ab%20%3D%20q%5Cend%7Bcases%7D%24%2C%20and%20we%20may%20get%20%24d%20%3D%20%5Cfrac%7Bp%2Ba%5E2%2Bq%2Fa%7D%7B2%7D%24%2C%20%24b%20%3D%20%5Cfrac%7Bp%2Ba%5E2-q%2Fa%7D%7B2%7D%24.%0A%20%20%20%20%09So%20we%20may%20write%20%24r%3D%20%5Cfrac%7Bp%2Ba%5E2%2Bq%2Fa%7D%7B2%7D%5Cfrac%7Bp%2Ba%5E2-q%2Fa%7D%7B2%7D%24%20%24%3D%20%5Cfrac%7Ba%5E6%2B2a%5E4p%2Ba%5E2p%5E2-q%5E2%7D%7B4a%5E2%7D%24%2C%20and%20we%20may%20get%20%24s%5E3%2B2ps%5E2%2B(p%5E2-4r)s-q%5E2%3D0%24%20if%20we%20substitute%20%24s%20%3D%20a%5E2%24%3B%0A%20%20%20%202.%20If%20such%20%24L%24%20exists%2C%20then%20%24%5B%5Cmathbb%7BQ%7D(%5Calpha)%3A%5Cmathbb%7BQ%7D%5D%20%3D%20%5B%5Cmathbb%7BQ%7D(%5Calpha)%3AL%5D%5BL%3A%5Cmathbb%7BQ%7D%5D%24%20implies%20that%20%24%5B%5Cmathbb%7BQ%7D(%5Calpha)%3AL%5D%20%3D%202%24.%20So%20some%20quadratic%20equation%20in%20%24L%5Bx%5D%24%20has%20%24%5Calpha%24%20as%20root%2C%20so%20%24f%24%20must%20be%20able%20to%20factorize%20as%20%24(x%5E2%2Bax%2Bb)(x%5E2-ax%2Bd)%24.%20WLOG%20say%20%24%5Calpha%24%20is%20a%20root%20of%20%24(x%5E2%2Bax%2Bb)%24%20with%20%24a%2Cb%20%5Cin%20L%24%2C%20then%20%24d%20%5Cin%20L%24.%20Since%20%24L%24%20is%20quadratic%20extension%2C%20%24a%24%20is%20of%20the%20form%20%24m%2Bn%5Csqrt%7Bk%7D%2C%20k%20%5Cin%20%5Cmathbb%7BQ%7D%24.%20If%20%24a%20%3D%20%5Csqrt%7Bk%7D%24%20then%20%24s%20%3D%20a%5E2%24%20is%20a%20rational%20solution%20for%20%24R(X)%24%3B%20otherwise%20%24m-n%5Csqrt%7Bk%7D%24%20is%20another%20solution%20for%20%24R(X)%24%2C%20but%20then%20the%20third%20root%20must%20be%20rational%20otherwise%20%24R(X)%24%20will%20not%20be%20a%20rational%20polynomial.%0A%20%20%20%20%09Conversely%20if%20%24R(X)%24%20has%20a%20rational%20root%2C%20then%20by%20part%201%2C%20%24f%24%20can%20be%20factorized%20as%20%24(x%5E2%2Bax%2Bb)(x%5E2-ax%2Bd)%24.%20Since%20%24s%20%3D%20a%5E2%24%20is%20rational%2C%20%24L%20%3D%20%5Cmathbb%7BQ%7D(a)%24%20is%20then%20a%20quadratic%20extension%20of%20%24%5Cmathbb%7BQ%7D%24%20we%20want%3B%0A%20%20%20%203.%20See%20it%20as%20a%20polynomial%20%24f%20%3D%20X%5E4%2BpX%5E2%2BqX%2Br%24%20then%20%24p%20%3D%200%2C%20q%20%3D%202%2C%20r%20%3D%20-2%24.%20The%20polynomial%20%24R(X)%20%3D%20X%5E3%2B2pX%5E2%2B(p%5E2-4r)X-q%5E2%20%3D%20x%5E3%2B8x-4%24%20does%20not%20have%20rational%20(integer)%20root%2C%20so%20by%20part%202%2C%20for%20any%20(real)%20root%20%24a%24%20of%20%24X%5E4%20%2B%202X-2%24%20there%20is%20no%20quadratic%20extension%20%24L%5Csubset%20%5Cmathbb%7BQ%7D(a)%24%2C%20in%20particular%20it%20cannot%20be%20of%20the%20form%20%24%5Cmathbb%7BQ%7D(%5Csqrt%7Ba_1%7D%2C%5Csqrt%7Ba_2%7D)%2C%20a_2%20%5Cin%20%5Cmathbb%7BQ%7D(%5Csqrt%7Ba_1%7D)%24%20(otherwise%20%24L%24%20is%20such%20an%20%24L%24)%2C%20but%20this%20means%20%24a%24%20is%20not%20constructible.%0A%0A%20%20%20%20%23%23%20Exercise%206%0A%0A%20%20%20%20**Determine%20all%20the%20distinct%20subfields%20of%20%24%5Cmathbb%7BC%7D%24%20that%20are%20%24%5Cmathbb%7BQ%7D%24-isomorphic%20to**%3A%0A%0A%20%20%20%201.%20%24%5Cmathbb%7BQ%7D(%5Csqrt%5B3%5D%7B15%7D)%24%3B%0A%20%20%20%202.%20%24%5Cmathbb%7BQ%7D(%5Csqrt%5B5%5D%7B3%7D)%24%3B%0A%20%20%20%203.%20%24%5Cmathbb%7BQ%7D(%5Csqrt%5B6%5D%7B3%7D)%24%3B%0A%0A%20%20%20%20Solution%0A%0A%20%20%20%20Start%20with%20the%20first%20one%2C%20the%20minimal%20polynomial%20of%20%24%5Csqrt%5B3%5D%7B15%7D%24%20is%20%24x%5E3-15%24%20and%20it%20has%20two%20other%20roots%20%24%5Csqrt%5B3%5D%7B15%7De%5E%7B2%5Cpi%20i%2F3%7D%24%20and%20%24%5Csqrt%5B3%5D%7B15%7De%5E%7B4%5Cpi%20i%2F3%7D%24%2C%20so%20the%20candidates%20for%20the%20field%20that%20is%20%24%5Cmathbb%7BQ%7D%24-isomorphic%20to%20%24A%20%3D%20%5Cmathbb%7BQ%7D(%5Csqrt%5B3%5D%7B15%7D)%24%20are%20%24B%20%3D%20%5Cmathbb%7BQ%7D(%5Csqrt%5B3%5D%7B15%7De%5E%7B2%5Cpi%20i%2F3%7D)%24%20and%20%24C%20%3D%20%5Cmathbb%7BQ%7D(%5Csqrt%5B3%5D%7B15%7De%5E%7B4%5Cpi%20i%2F3%7D)%24.%0A%0A%20%20%20%20First%2C%20%24B%24%20and%20%24C%24%20certainly%20not%20equal%20to%20%24A%24%20because%20they%20contain%20complex%20numbers%20while%20%24A%24%20not.%20If%20say%20%24B%20%3D%20C%24%2C%20then%20%24B%24%20also%20contains%20%24e%5E%7B2%5Cpi%20i%2F3%7D%24%2C%20so%20it%20also%20contains%20%24%5Csqrt%5B3%5D%7B15%7D%24%2C%20so%20we%20must%20have%20%24A%20%5Csubset%20B%24%2C%20thus%20by%20the%20Tower%20Rule%20we%20have%20%243%20%3D%20%5BB%3A%5Cmathbb%7BQ%7D%5D%24%20%24%3D%20%5BB%3AA%5D%5BA%3A%5Cmathbb%7BQ%7D%5D%24%20where%20%24%5BA%3A%5Cmathbb%7BQ%7D%5D%20%3D%203%24%2C%20so%20%24%5BB%3AA%5D%20%3D%201%24%2C%20but%20that%20means%20%24B%20%3D%20A%24%20which%20as%20argued%20cannot%20be%20true.%0A%0A%20%20%20%20So%20the%20distinct%20subfields%20of%20%24%5Cmathbb%7BC%7D%24%20that%20are%20%24%5Cmathbb%7BQ%7D%24-isomorphic%20to%20%24%5Cmathbb%7BQ%7D(%5Csqrt%5B3%5D%7B15%7D)%24%20are%20%24%5Cmathbb%7BQ%7D(%5Csqrt%5B3%5D%7B15%7De%5E%7B2%5Cpi%20i%2F3%7D)%24%20and%20%24%5Cmathbb%7BQ%7D(%5Csqrt%5B3%5D%7B15%7De%5E%7B4%5Cpi%20i%2F3%7D)%24.%0A%0A%20%20%20%20Now%20by%20a%20very%20similar%20argument%20the%20distinct%20subfields%20of%20%24%5Cmathbb%7BC%7D%24%20that%20are%20%24%5Cmathbb%7BQ%7D%24-isomorphic%20to%20%24%5Cmathbb%7BQ%7D(%5Csqrt%5B5%5D%7B3%7D)%24%20are%3A%0A%0A%20%20%20%201.%20%24%5Cmathbb%7BQ%7D(%5Csqrt%5B5%5D%7B3%7De%5E%7B2%5Cpi%20i%2F5%7D)%24%3B%0A%20%20%20%202.%20%24%5Cmathbb%7BQ%7D(%5Csqrt%5B5%5D%7B3%7De%5E%7B4%5Cpi%20i%2F5%7D)%24%3B%0A%20%20%20%203.%20%24%5Cmathbb%7BQ%7D(%5Csqrt%5B5%5D%7B3%7De%5E%7B6%5Cpi%20i%2F5%7D)%24%3B%0A%20%20%20%204.%20%24%5Cmathbb%7BQ%7D(%5Csqrt%5B5%5D%7B3%7De%5E%7B8%5Cpi%20i%2F5%7D)%24.%0A%0A%20%20%20%20For%20%24%5Cmathbb%7BQ%7D(%5Csqrt%5B6%5D%7B3%7D)%24%2C%20notice%20that%20its%20minimal%20polynomial%20%24x%5E6-3%24%20has%20%246%24%20roots%20but%20with%20an%20additional%20property%3A%0A%0A%20%20%20%201.%20%24a_1%20%3D%20%5Csqrt%5B6%5D%7B3%7D%24%3B%0A%20%20%20%202.%20%24a_2%20%3D%20%5Csqrt%5B6%5D%7B3%7De%5E%7B%5Cpi%20i%2F3%7D%24%3B%0A%20%20%20%203.%20%24a_3%20%3D%20%5Csqrt%5B6%5D%7B3%7De%5E%7B2%5Cpi%20i%2F3%7D%24%3B%0A%20%20%20%204.%20%24a_4%20%3D%20%5Csqrt%5B6%5D%7B3%7De%5E%7B3%5Cpi%20i%2F3%7D%20%3D%20-a_1%24%3B%0A%20%20%20%205.%20%24a_5%20%3D%20%5Csqrt%5B6%5D%7B3%7De%5E%7B4%5Cpi%20i%2F3%7D%20%3D%20-a_2%24%3B%0A%20%20%20%206.%20%24a_6%20%3D%20%5Csqrt%5B6%5D%7B3%7De%5E%7B5%5Cpi%20i%2F3%7D%20%3D%20-a_3%24.%0A%0A%20%20%20%20So%20%243%24%20of%20the%20%24%5Cmathbb%7BQ%7D%24-isomorphic%20fields%20are%20clearly%20equal%20to%20other%20fields%2C%20so%20there%20are%20only%20%243%24%20distinct%20of%20them%3A%0A%0A%20%20%20%201.%20%24%5Cmathbb%7BQ%7D(%5Csqrt%5B6%5D%7B3%7D)%24%3B%0A%20%20%20%202.%20%24%5Cmathbb%7BQ%7D(%5Csqrt%5B6%5D%7B3%7De%5E%7B%5Cpi%20i%2F3%7D)%24%3B%0A%20%20%20%203.%20%24%5Cmathbb%7BQ%7D(%5Csqrt%5B6%5D%7B3%7De%5E%7B2%5Cpi%20i%2F3%7D)%24.%0A%20%20%20%20%22%22%22)%0A%20%20%20%20return%0A%0A%0A%40app.cell%0Adef%20_(mo)%3A%0A%20%20%20%20mo.md(r%22%22%22%0A%20%20%20%20%23%20Fall%20Semester%20Homework%202%0A%20%20%20%20%22%22%22)%0A%20%20%20%20return%0A%0A%0A%40app.cell%0Adef%20_(mo)%3A%0A%20%20%20%20mo.md(r%22%22%22%0A%20%20%20%20%23%23%20Exercise%201%0A%20%20%20%20**Consider%20the%20irreducible%20cubic%20%24f(X)%20%3D%20X%5E3%2BpX%2Bq%24%20over%20%24%5Cmathbb%7BQ%7D%24%2C%20and%20let%20%24a%2Cb%2Cc%24%20denote%20its%20roots%20in%20%24%5Cmathbb%7BC%7D%24.%20Set%20%24d%20%3D%20(a-b)(b-c)(c-a)%24.%20With%20some%20patience%2C%20it%20is%20not%20hard%20to%20check%20that%20%24d%5E2%20%3D%20D(f)%20%3D%20-4p%5E3%20-%2027q%5E2%24%20(the%20discriminant%20of%20%24f%24).%20Let%20%24F%20%3D%20%5Cmathbb%7BQ%7D(a%2Cd)%24**.%0A%0A%20%20%20%201.%20**Clearly%20%24F%24%20is%20a%20subfield%20of%20the%20splitting%20field%20%24E%20%3D%20%5Cmathbb%7BQ%7D(a%2Cb%2Cc)%24%20of%20%24f%24.%20Show%20that%20in%20fact%20%24E%20%3D%20F%24.%20Conclude%20that%20%24%5BE%20%3A%20%5Cmathbb%7BQ%7D%5D%24%20is%20%243%24%20or%20%246%24%20according%20to%20whether%20%24D(f)%24%20is%20or%20is%20not%20a%20square%20in%20%24%5Cmathbb%7BQ%7D%24**%3B%0A%20%20%20%202.%20**Let%20%24a%2Cb%2Cc%24%20be%20the%20roots%20of%20%24f(X)%20%3D%20X%5E3%20-%203X%20%2B%201%24.%20Verify%20that%20%24f%24%20splits%20in%20%24%5Cmathbb%7BQ%7D(a)%24.%20Express%20%24b%2Cc%24%20in%20the%20basis%20%24%5Clbrace%201%2C%20a%2C%20a%5E2%5Crbrace%24**.%0A%0A%20%20%20%20Proof%0A%0A%20%20%20%20It%20remains%20to%20check%20%24b%2Cc%20%5Cin%20F%24.%20From%20%24f(X)%20%3D%20X%5E3%2BpX%2Bq%24%20and%20that%20%24(X-a)(X-b)(X-c)%20%3D0%24%2C%20expand%20latter%20and%20correspond%20coefficients%20we%20get%20%24abc%20%3D%20-q%24%20and%20%24a%2Bb%2Bc%20%3D%200%24.%20Expand%20%24(x-b)(x-c)%20%3D%20x%5E2%20%2B%20(-b-c)x%20%2B%20bc%24%2C%20then%20it%20equals%20%24x%5E2%20%2B%20ax%20-%20q%2Fa%24%2C%20so%20%24(a-b)(a-c)%20%3D%20a%5E2%2Baa-q%2Fa%20%3D%202a%5E2%20-%20q%2Fa%24%2C%20this%20quantity%20is%20clearly%20in%20%24F%24%2C%20thus%20%24d((a-b)(a-c))%5E%7B-1%7D%20%3D%20-(b-c)%20%3D%20c-b%24%20is%20also%20in%20%24F%24.%20Since%20%24a%2Bb%2Bc%20%3D%200%24%2C%20we%20have%20that%20%24c%20-%20b%20%2B%20a%2Bb%2Bc%20%3D%20a%20%2B%202c%24%20is%20in%20%24F%24%2C%20thus%20%24c%24%20in%20%24F%24%2C%20and%20thus%20%24b%24%20in%20%24F%24.%0A%0A%20%20%20%20Now%20if%20%24D(f)%24%20is%20a%20square%20then%20%24d%20%5Cin%20%5Cmathbb%7BQ%7D%24%20so%20%24E%20%3D%20F%20%3D%20%5Cmathbb%7BQ%7D(a%2Cd)%20%3D%20%5Cmathbb%7BQ%7D(a)%24%2C%20but%20since%20%24f%24%20is%20by%20assumption%20irreducible%2C%20so%20it%20is%20still%20the%20minimal%20polynomial%20of%20%24a%24%2C%20and%20thus%20%24%5BE%3A%5Cmathbb%7BQ%7D%5D%20%3D%20%5Cdeg%7Bf%7D%20%3D%203%24.%20Otherwise%20%24d%5E2%24%20is%20rational%20yet%20%24d%24%20is%20not%2C%20then%20%24%5BE%3A%5Cmathbb%7BQ%7D%5D%20%3D%20%5BF%3A%5Cmathbb%7BQ%7D%5D%24%20%24%3D%20%5BF%3A%5Cmathbb%7BQ%7D(a)%5D%5B%5Cmathbb%7BQ%7D(a)%3A%5Cmathbb%7BQ%7D%5D%24%20%24%3D%202%5Ccdot%203%20%3D%206%24.%0A%0A%20%20%20%20For%20part%202%2C%20in%20this%20case%20%24D(f)%20%3D%20-4p%5E3%20-%2027q%5E2%20%3D%2081%24%20is%20a%20square%2C%20so%20as%20argued%20above%20%24f%24%20splits%20in%20%24E%20%3D%20%5Cmathbb%7BQ%7D(a)%24.%0A%0A%20%20%20%20Now%2C%20remember%20we%20have%20%249%20%3D%20d%20%3D%20(b-c)(2a%5E2-1%2Fa)%24%2C%20so%20%249a%20%3D%20(b-c)(2a%5E3-1)%24%20(it%20does%20not%20matter%20here%20if%20we%20take%20%24d%20%3D%209%24%20or%20%24-9%24%2C%20eventually%20we%20will%20get%20a%20%24%5Cpm%24%20because%20it%20is%20used%20in%20quadratic%20solutions).%20Since%20%24a%24%20is%20a%20solution%20for%20%24x%5E3-3x%2B1%24%2C%20we%20can%20write%20%242a%5E3-1%20%3D%206a-3%24%2C%20also%20that%20since%20%24E%24%20is%20degree%20%243%24%2C%20we%20can%20write%20%24b-c%20%3D%20la%5E2%2Bma%2Bn%24%2C%20so%20we%20have%20%24(la%5E2%2Bma%2Bn)(6a-3)-9a%20%3D%200%24%2C%20expand%20this%20and%20remember%20that%20%24a%5E3-3a%2B1%20%3D%200%24%2C%20it%20is%20easy%20to%20calculate%20%24l%20%3D%202%2C%20m%20%3D%201%2C%20n%20%3D%20-4%24.%20Now%20notice%20that%20%24b-c%24%20is%20also%20the%20discriminant%20of%20the%20quadratic%20%24(x-b)(x-c)%20%3D%20x%5E2%20%2B%20(-b-c)x%20%2B%20bc%24%2C%20thus%20use%20the%20quadratic%20formula%20we%20have%20%24b%2Cc%20%3D%20%5Cfrac%7B-a%5Cpm%20(2a%5E2%2Ba-4)%7D%7B2%7D%24%2C%20simplify%20and%20they%20are%20%24-a%5E2-a%2B2%24%20and%20%24a%5E2-2%24.%0A%0A%20%20%20%20%23%23%20Exercise%202%0A%0A%20%20%20%20**Let%20%24f(X)%20%3D%20X%5E4%20%2B%201%24%20and%20%24E%24%20be%20its%20splitting%20field%20over%20%24%5Cmathbb%7BQ%7D%24.%20Then%20%24E%20%3D%20%5Cmathbb%7BQ%7D(e%5E%7B%5Cpi%20i%2F4%7D)%20%3D%20%5Cmathbb%7BQ%7D(i%2C%20%3F)%24**.%0A%0A%20%20%20%201.%20**Describe%20the%20corresponding%20between%20the%20subgroups%20of%20%24G%20%3D%20Gal(E%20%7C%20%5Cmathbb%7BQ%7D)%24%20and%20the%20subextensions%20of%20%24E%24**%3B%0A%20%20%20%202.%20**Construct%20the%20factorization%20of%20%24f%24%20over%20each%20of%20the%20intermediate%20extensions**.%0A%0A%20%20%20%20Solution%0A%0A%20%20%20%20The%20four%20roots%20of%20%24f%24%20are%20%24e%5E%7Bi%5Cpi%2F4%7D%2Ce%5E%7Bi3%5Cpi%2F4%7D%2Ce%5E%7B-i3%5Cpi%2F4%7D%2Ce%5E%7B-i%5Cpi%2F4%7D%24%20which%20are%20%24%5Cpm%20%5Csqrt%7B2%7D%2F2%20%5Cpm%20i%20%5Csqrt%7B2%7D%2F2%24%2C%20so%20we%20can%20also%20write%20%24E%20%3D%20%5Cmathbb%7BQ%7D(i%2C%20%5Csqrt%7B2%7D)%24.%0A%0A%20%20%20%20Here%20it%20is%20easier%20to%20think%20of%20%24E%20%3D%20%5Cmathbb%7BQ%7D(e%5E%7B%5Cpi%20i%2F4%7D)%24%20as%20then%20we%20can%20see%20that%20the%20element%20of%20%24G%24%20is%20completely%20determined%20by%20where%20it%20sends%20%24e%5E%7B%5Cpi%20i%2F4%7D%20%3D%20%5Czeta%24.%20Let%20%24%5Ctau%24%20be%20the%20automorphism%20sending%20%24%5Czeta%24%20to%20%24%5Czeta%5E3%24%20and%20%24%5Csigma%24%20be%20the%20automorphism%20sending%20%24%5Czeta%24%20to%20%24%5Czeta%5E5%24%2C%20then%20%24G%20%3D%20%5Clbrace%20%5Ctext%7Bid%7D%2C%20%5Ctau%2C%5Csigma%2C%5Ctau%5Csigma%5Crbrace%24.%20Subgroups%20of%20%24G%24%20are%20%24H_1%20%3D%20%5Clbrace%20%5Ctext%7Bid%7D%2C%20%5Ctau%5Crbrace%2C%20H_2%20%3D%20%5Clbrace%20%5Ctext%7Bid%7D%2C%20%5Csigma%5Crbrace%2C%20H_3%20%3D%20%5Clbrace%20%5Ctext%7Bid%7D%2C%20%5Ctau%5Csigma%5Crbrace%24%2C%20it%20is%20not%20hard%20to%20determine%20the%20fixed%20fields%2C%20which%20correspond%20to%20the%20subextensions%20%24G_1%20%3D%20%5Cmathbb%7BQ%7D(%5Csqrt%7B-2%7D)%2C%20G_2%20%3D%20%5Cmathbb%7BQ%7D(i)%2C%20G_3%20%3D%20%5Cmathbb%7BQ%7D(%5Csqrt%7B2%7D)%24%20respectively.%0A%0A%20%20%20%20Starting%20from%20the%20'full'%20split%20%24f(x)%20%3D%20(x-%5Czeta)(x-%5Czeta%5E3)(x-%5Czeta%5E5)(x-%5Czeta%5E7)%24%2C%20then%3A%0A%0A%20%20%20%201.%20The%20factorization%20in%20%24G_1%24%20would%20be%20%24((x-%5Czeta)(x-%5Czeta%5E3))((x-%5Czeta%5E5)(x-%5Czeta%5E7))%24%20%24%3D%20(x%5E2%20-%5Csqrt%7B2%7Dix-1)(x%5E2%20%2B%5Csqrt%7B2%7Dix-1)%24%3B%0A%20%20%20%202.%20The%20factorization%20in%20%24G_2%24%20would%20be%20%24((x-%5Czeta)(x-%5Czeta%5E5))((x-%5Czeta%5E3)(x-%5Czeta%5E7))%24%20%24%3D%20(x%5E2%20-i)(x%5E2%20%2Bi)%24%3B%0A%20%20%20%203.%20The%20factorization%20in%20%24G_3%24%20would%20be%20%24((x-%5Czeta)(x-%5Czeta%5E7))((x-%5Czeta%5E3)(x-%5Czeta%5E5))%24%20%24%3D%20(x%5E2%20-%5Csqrt%7B2%7Dx%2B1)(x%5E2%20%2B%5Csqrt%7B2%7Dx%2B1)%24.%0A%0A%20%20%20%20%23%23%20Exercise%203%0A%0A%20%20%20%20**Let%20%24a%20%3D%20%5Csqrt%7B2%20%2B%20%5Csqrt%7B2%7D%7D%24%20and%20%24E%20%3D%20%5Cmathbb%7BQ%7D(a)%24**.%0A%0A%20%20%20%201.%20**Write%20down%20the%20minimal%20polynomial%20%24f%24%20of%20%24a%24%20and%20check%20that%20%24f%24%20split%20in%20%24E%24**%3B%0A%20%20%20%202.%20**Prove%20that%20the%20extension%20%24E%24%20has%20cyclic%20Galois%20group%20%24G%20%3D%20C_4%24**.%0A%0A%20%20%20%20Solution%0A%0A%20%20%20%20%24a%5E2%20%3D%202%2B%5Csqrt%7B2%7D%24%20and%20%24a%5E4%20%3D%204%20%2B%202%20%2B%204%5Csqrt%7B2%7D%24%2C%20so%20%24x%5E4-4x%5E2%2B2%24%20is%20a%20polynomial%20in%20%24%5Cmathbb%7BQ%7D%24%20with%20%24a%24%20as%20a%20root%3B%20it%20is%20Eisenstein%20thus%20irreducible%20and%20thus%20the%20minimal%20polynomial%20of%20%24a%24.%0A%0A%20%20%20%20From%20the%20form%20of%20%24f%24%2C%20%24-a%24%20is%20also%20a%20root%20for%20%24f%24%20thus%20%24f%20%3D%20(x-a)(x%2Ba)g%24%2C%20long%20division%20reveals%20that%20%24f%20%3D%20(x-a)(x%2Ba)(x%5E2-(2-%5Csqrt%7B2%7D))%24%20%24%3D%20(x-a)(x%2Ba)(x-%5Csqrt%7B2-%5Csqrt%7B2%7D%7D)(x%2B%5Csqrt%7B2-%5Csqrt%7B2%7D%7D)%24.%0A%0A%20%20%20%20Since%20%24E%24%20contains%20%24a%24%2C%20it%20contains%20%24a%5E2%20%3D%202%2B%5Csqrt%7B2%7D%24%20and%20thus%20%24%5Csqrt%7B2%7D%24%3B%20it%20also%20contains%20the%20inverse%20of%20%24a%20%3D%20%5Cfrac%7B1%7D%7B%5Csqrt%7B2%2B%5Csqrt%7B2%7D%7D%7D%24%20%24%3D%20%5Cfrac%7B%5Csqrt%7B2-%5Csqrt%7B2%7D%7D%7D%7B%5Csqrt%7B2%7D%7D%24%20thus%20%24%5Csqrt%7B2%20-%20%5Csqrt%7B2%7D%7D%24.%20And%20thus%20%24f%24%20splits%20in%20%24E%24.%0A%0A%20%20%20%20The%20element%20(automorphism)%20in%20Galois%20group%20needs%20to%20map%20root%20of%20%24f%24%20to%20root%20of%20%24f%24%2C%20with%20some%20calculations%20we%20can%20see%20that%20each%20automorphism%20is%20completely%20determined%20by%20how%20we%20map%20one%20of%20the%20root%2C%20for%20example%2C%20if%20%24%5Csqrt%7B2%2B%5Csqrt%7B2%7D%7D%20%5Cmapsto%20%5Csqrt%7B2-%5Csqrt%7B2%7D%7D%24%2C%20then%20we%20must%20have%20%24-%5Csqrt%7B2%2B%5Csqrt%7B2%7D%7D%20%5Cmapsto%20-%5Csqrt%7B2-%5Csqrt%7B2%7D%7D%24%20and%20%24%5Csqrt%7B2%7D%20%5Cmapsto%20-%5Csqrt%7B2%7D%24.%20In%20order%20to%20make%20the%20latter%20holds%2C%20we%20must%20have%20%24%5Csqrt%7B2-%5Csqrt%7B2%7D%7D%20%5Cmapsto%20-%5Csqrt%7B2%2B%5Csqrt%7B2%7D%7D%24%20because%20%24%5Csqrt%7B2%2B%5Csqrt%7B2%7D%7D%5Csqrt%7B2-%5Csqrt%7B2%7D%7D%24%20%24%3D%5Csqrt%7B2%7D%20%5Cmapsto%20-%5Csqrt%7B2%7D%24%20%24%3D%20%5Csqrt%7B2-%5Csqrt%7B2%7D%7D(-%5Csqrt%7B2%2B%5Csqrt%7B2%7D%7D)%24.%20So%20the%20Galois%20group%20is%20exactly%20%24%5Clbrace%20%5Ctext%7Bid%7D%2C%20%5Calpha%2C%5Cbeta%2C%5Ctau%5Crbrace%24%20where%20%24%24%5Calpha%20%3D%20%5Cbegin%7Bcases%7D%5Csqrt%7B2%20%2B%20%5Csqrt%7B2%7D%7D%20%26%5Cmapsto%26%20%5Csqrt%7B2%20-%20%5Csqrt%7B2%7D%7D%5C%5C-%5Csqrt%7B2%20%2B%20%5Csqrt%7B2%7D%7D%20%26%5Cmapsto%26%20-%5Csqrt%7B2%20-%20%5Csqrt%7B2%7D%7D%5C%5C%5Csqrt%7B2%20-%20%5Csqrt%7B2%7D%7D%20%26%5Cmapsto%26%20-%5Csqrt%7B2%20%2B%20%5Csqrt%7B2%7D%7D%5C%5C-%5Csqrt%7B2%20-%20%5Csqrt%7B2%7D%7D%20%26%5Cmapsto%26%20%5Csqrt%7B2%20%2B%20%5Csqrt%7B2%7D%7D%5Cend%7Bcases%7D%24%24%20%24%24%5Cbeta%20%3D%20%5Cbegin%7Bcases%7D%5Csqrt%7B2%20%2B%20%5Csqrt%7B2%7D%7D%20%26%5Cmapsto%26%20-%5Csqrt%7B2%20%2B%20%5Csqrt%7B2%7D%7D%5C%5C-%5Csqrt%7B2%20%2B%20%5Csqrt%7B2%7D%7D%20%26%5Cmapsto%26%20%5Csqrt%7B2%20%2B%20%5Csqrt%7B2%7D%7D%5C%5C%5Csqrt%7B2%20-%20%5Csqrt%7B2%7D%7D%20%26%5Cmapsto%26%20-%5Csqrt%7B2%20-%20%5Csqrt%7B2%7D%7D%5C%5C-%5Csqrt%7B2%20-%20%5Csqrt%7B2%7D%7D%20%26%5Cmapsto%26%20%5Csqrt%7B2%20-%20%5Csqrt%7B2%7D%7D%5Cend%7Bcases%7D%24%24%20and%20%24%24%5Ctau%20%3D%20%5Cbegin%7Bcases%7D%5Csqrt%7B2%20%2B%20%5Csqrt%7B2%7D%7D%20%26%5Cmapsto%26%20-%5Csqrt%7B2%20-%20%5Csqrt%7B2%7D%7D%5C%5C-%5Csqrt%7B2%20%2B%20%5Csqrt%7B2%7D%7D%20%26%5Cmapsto%26%20%5Csqrt%7B2%20-%20%5Csqrt%7B2%7D%7D%5C%5C%5Csqrt%7B2%20-%20%5Csqrt%7B2%7D%7D%20%26%5Cmapsto%26%20%5Csqrt%7B2%20%2B%20%5Csqrt%7B2%7D%7D%5C%5C-%5Csqrt%7B2%20-%20%5Csqrt%7B2%7D%7D%20%26%5Cmapsto%26%20-%5Csqrt%7B2%20%2B%20%5Csqrt%7B2%7D%7D%5Cend%7Bcases%7D.%24%24%20Now%20it%20is%20straightforward%20to%20verify%20%24%5Cbeta%20%3D%20%5Calpha%5E2%2C%20%5Ctau%20%3D%20%5Calpha%5E3%24%20and%20they%20all%20commute%2C%20so%20the%20Galois%20group%20is%20isomorphic%20to%20%24C_4%24%0A%0A%20%20%20%20%23%23%20Exercise%204%0A%0A%20%20%20%20**Let%20%24L%20%3D%20%5Cmathbb%7BQ%7D(%5Csqrt%7B2%7D%2C%5Csqrt%7B3%7D)%24%20and%20%24E%20%3D%20L(a)%24%2C%20where%20%24%5Calpha%20%3D%20%5Csqrt%7B(2%2B%5Csqrt%7B2%7D)(3%2B%5Csqrt%7B3%7D)%7D%24.%20Recall%20that%20%24Gal(L%20%7C%20%5Cmathbb%7BQ%7D)%20%3D%20C_2%20%5Ctimes%20C_2%20%3D%20%5Clbrace%201%2C%5Csigma%2C%5Ctau%2C%5Csigma%5Ctau%5Crbrace%24**.%0A%0A%20%20%20%201.%20**Check%20that%20%24%5Calpha%20%5Cnotin%20L%24.%20Determine%20the%20degree%20%24%5BE%20%3A%20%5Cmathbb%7BQ%7D%5D%24.%20Extend%20%24%5Csigma%2C%20%5Ctau%24%20to%20%24E%24%20(consider%20%24%5Cfrac%7B%5Csigma%20%5Calpha%5E2%7D%7B%5Calpha%5E2%7D)%24%20and%20determine%20the%20possible%20value%20for%20%24%5Csigma%20%5Calpha%24%20etc.)**%0A%20%20%20%202.%20**Do%20%24%5Csigma%24%20and%20%24%5Ctau%24%20commute%20in%20%24G%20%3D%20Gal(E%20%7C%20%5Cmathbb%7BQ%7D)%24%3F%20What%20are%20their%20orders%20in%20%24G%24%3F%20Show%20that%20%24G%24%20is%20the%20quaternion%20group**.%0A%0A%20%20%20%20Solution%0A%0A%20%20%20%20Suppose%20%24%5Calpha%20%5Cin%20L%24%20then%20%24%5Calpha%24%20can%20be%20written%20in%20the%20form%20%24a%20%2B%20b%5Csqrt%7B2%7D%20%2B%20c%5Csqrt%7B3%7D%20%2B%20d%5Csqrt%7B6%7D%24.%20Consider%20the%20automorphism%20%24%5Ctau%24%20on%20%24L%24%20fixing%20%24%5Csqrt%7B2%7D%24%2C%20then%20%24(%5Calpha%5Ctau(%5Calpha))%5E2%24%20%24%3D%20%5Calpha%5E2%5Ctau(%5Calpha%5E2)%24%20%24%3D%20(2%2B%5Csqrt%7B2%7D)(3%2B%5Csqrt%7B3%7D)(2%2B%5Csqrt%7B2%7D)(3-%5Csqrt%7B3%7D)%24%20%24%3D%206%20(2%2B%5Csqrt%7B2%7D)%5E2%24%20%24%3D%2036%20%2B%2024%5Csqrt%7B2%7D%24.%20On%20the%20other%20hand%20%24%5Calpha%5Ctau(%5Calpha)%24%20%24%3D%20(a%20%2B%20b%5Csqrt%7B2%7D%20%2B%20c%5Csqrt%7B3%7D%20%2B%20d%5Csqrt%7B6%7D)(a%20%2B%20b%5Csqrt%7B2%7D%20-%20c%5Csqrt%7B3%7D%20-%20d%5Csqrt%7B6%7D)%24%20and%20can%20be%20checked%20that%20it%20is%20in%20%24%5Cmathbb%7BQ%7D(%5Csqrt%7B2%7D)%24%20which%20then%20must%20have%20the%20form%20%24a%2Bb%5Csqrt%7B2%7D%24%2C%20but%20then%20%24(%5Calpha%5Ctau(%5Calpha))%5E2%24%20%24%3D%20(a%2Bb%5Csqrt%7B2%7D)%5E2%20%5Cimplies%20a%5E2%2B2b%5E2%20%3D%2036%2C%20ab%20%3D%2012%24%2C%20if%20there%20are%20rational%20solutions%20they%20must%20be%20integers%2C%20but%20there%20is%20no%20integer%20solutions%2C%20we%20have%20a%20contradiction%2C%20thus%20%24%5Calpha%20%5Cnotin%20L%24.%0A%0A%20%20%20%20The%20degree%20of%20%24E%24%20over%20%24L%24%20is%20%242%24%20and%20degree%20of%20%24L%24%20over%20%24%5Cmathbb%7BQ%7D%24%20is%20%244%24%2C%20the%20degree%20of%20%24E%24%20over%20%24%5Cmathbb%7BQ%7D%24%20is%20%248%24.%0A%0A%20%20%20%20As%20a%20remainder%2Ffor%20clarity%2C%20say%20%24%5Csigma%24%20sends%20%24%5Cpm%5Csqrt%7B2%7D%24%20to%20%24%5Cmp%5Csqrt%7B2%7D%24%20and%20%24%5Ctau%24%20sends%20%24%5Cpm%5Csqrt%7B3%7D%24%20to%20%24%5Cmp%5Csqrt%7B3%7D%24.%0A%0A%20%20%20%20%24%5Calpha%5E2%20%3D%20(2%2B%5Csqrt%7B2%7D)(3%2B%5Csqrt%7B3%7D)%24%20so%20%24%5Csigma%24%20sends%20%24%5Calpha%5E2%24%20to%20%24(2-%5Csqrt%7B2%7D)(3%2B%5Csqrt%7B3%7D)%24%20and%20%24%5Ctau%24%20sends%20%24%5Calpha%5E2%24%20to%20%24(2%2B%5Csqrt%7B2%7D)(3-%5Csqrt%7B3%7D)%24.%0A%0A%20%20%20%20So%20%24%5Csigma%24%20extends%20to%20%24%5Csigma%5E%2B%24%20and%20%24%5Csigma%5E-%24%2C%20sending%20%24%5Calpha%24%20to%20%24%5Cpm%20%5Csqrt%7B(2-%5Csqrt%7B2%7D)(3%2B%5Csqrt%7B3%7D)%7D%24%20respectively%2C%20%24%5Ctau%24%20extends%20to%20%24%5Ctau%5E%2B%24%20and%20%24%5Ctau%5E-%24%2C%20sending%20%24%5Calpha%24%20to%20%24%5Cpm%20%5Csqrt%7B(2%2B%5Csqrt%7B2%7D)(3-%5Csqrt%7B3%7D)%7D%24%20respectively.%0A%0A%20%20%20%20Now%20notice%20%24%5Csigma%5E%2B%24%20has%20order%20%244%24%3A%20it%20sends%20%24%5Csqrt%7B(2%2B%5Csqrt%7B2%7D)(3%2B%5Csqrt%7B3%7D)%7D%24%20to%20%24%5Csqrt%7B(2-%5Csqrt%7B2%7D)(3%2B%5Csqrt%7B3%7D)%7D%24%3B%20now%20since%20it%20should%20send%20%24%5Csqrt%7B(2%2B%5Csqrt%7B2%7D)(3%2B%5Csqrt%7B3%7D)%7D%5Csqrt%7B(2-%5Csqrt%7B2%7D)(3%2B%5Csqrt%7B3%7D)%7D%24%20%24%3D%5Csqrt%7B2%7D(3%2B%5Csqrt%7B3%7D)%24%20to%20%24-%5Csqrt%7B2%7D(3%2B%5Csqrt%7B3%7D)%24%20(inherited%20from%20%24%5Csigma%24)%2C%20we%20must%20have%20that%20it%20sends%20%24%5Csqrt%7B(2-%5Csqrt%7B2%7D)(3%2B%5Csqrt%7B3%7D)%7D%24%20to%20%24-%5Csqrt%7B(2%2B%5Csqrt%7B2%7D)(3%2B%5Csqrt%7B3%7D)%7D%24%3B%20it%20then%20send%20this%20to%20%24-%5Csqrt%7B(2-%5Csqrt%7B2%7D)(3%2B%5Csqrt%7B3%7D)%7D%24%20and%20then%20to%20%24%5Csqrt%7B(2%2B%5Csqrt%7B2%7D)(3%2B%5Csqrt%7B3%7D)%7D%24%2C%20combine%20the%20fact%20that%20we%20know%20%24%5Csigma%24%20has%20order%20%242%24%2C%20we%20get%20that%20%24%5Csigma%5E%2B%20%5Cne%20(%5Csigma%5E%2B)%5E2%20%5Cne%20(%5Csigma%5E%2B)%5E3%20%5Cne%20(%5Csigma%5E%2B)%5E4%20%3D%20%5Ctext%7Bid%7D%24%20so%20it%20has%20order%20%244%24%20(also%20notice%20that%20%24(%5Csigma%5E%2B)%5E2%20%3D%20%5Csigma%5E-%24).%0A%0A%20%20%20%20The%20same%20argument%20hold%20for%20%24%5Ctau%5E%2B%24%2C%20so%20it%20also%20has%20order%20%244%24.%20But%20for%20now%20let's%20stick%20with%20%24%5Csigma%5E%2B%24.%0A%0A%20%20%20%20Since%20the%20whole%20group%20has%20%248%24%20elements%2C%20the%20subgroup%20%24%5Clbrace%20%5Ctext%7Bid%7D%2C%20%5Csigma%5E%2B%2C%20(%5Csigma%5E%2B)%5E2%2C(%5Csigma%5E%2B)%5E3%5Crbrace%24%20has%20index%20%242%24%20thus%20is%20a%20normal%20subgroup%2C%20and%20thus%20we%20can%20write%20the%20whole%20group%20as%20(since%20now%20everything%20has%20%24~%5E%2B%24%2C%20I%20will%20just%20drop%20it%20for%20simplicity)%20%24%5Clbrace%20%5Ctext%7Bid%7D%2C%20%5Csigma%2C%20%5Csigma%5E2%2C%5Csigma%5E3%2C%20%5Ctau%2C%20%5Ctau%5Csigma%2C%20%5Ctau%5Csigma%5E2%2C%5Ctau%5Csigma%5E3%5Crbrace%24.%0A%0A%20%20%20%20With%20a%20similar%20argument%20(that%20why%20%24%5Csigma%24%20has%20order%20%244%24%20instead%20of%20%242%24)%2C%20we%20may%20see%20that%20%24%5Ctau%5Csigma%20%5Cne%20%5Csigma%5Ctau%24%3A%20in%20short%2C%20it%20is%20because%20%24%5Csigma%24%20has%20to%20map%20%24%5Csqrt%7B6%7D%24%20to%20%24-%5Csqrt%7B6%7D%24.%0A%0A%20%20%20%20With%20all%20these%20information%2C%20we%20can%20write%20down%20the%20full%20Cayley%20table%20and%20notice%20that%20the%20relators%20%24%5Csigma%5E4%2C%20%5Csigma%5E2%5Ctau%5E2%2C%20%5Ctau%5Csigma%5Ctau%5Csigma%5E%7B-1%7D%24%20fully%20describe%20the%20group%2C%20and%20thus%20it%20has%20the%20presentation%20%24G%20%3D%20%5Clangle%20%5Csigma%2C%5Ctau%3B%20%5Csigma%5E4%2C%5Csigma%5E2%5Ctau%5E2%2C%5Ctau%5Csigma%5Ctau%5Csigma%5E%7B-1%7D%20%5Crangle%24%20and%20it%20is%20isomorphic%20to%20the%20quaternions%20group.%0A%0A%20%20%20%20%23%23%20Exercise%205%0A%0A%20%20%20%20**Let%20%24E%24%20be%20the%20splitting%20field%20for%20%24X%5E4-2%24%20over%20%24%5Cmathbb%7BQ%7D%24%20and%20%24%5Calpha%20%3D%20i%20%2B%202%5E%7B1%2F4%7D%20%5Cin%20E%24**.%0A%0A%20%20%20%201.%20**Check%20that%20no%20element%20of%20the%20Galois%20group%20%24Gal(E%7C%20%5Cmathbb%7BQ%7D)%24%20fixes%20%24%5Calpha%24**%3B%0A%20%20%20%202.%20**Prove%20that%20%24E%20%3D%20%5Cmathbb%7BQ%7D(%5Calpha)%24**.%0A%0A%20%20%20%20Solution%0A%0A%20%20%20%20By%20some%20easy%20factorization%20we%20should%20be%20able%20to%20see%20that%20%24X%5E4%20-2%20%3D%20(X%20-%202%5E%7B1%2F4%7D)(X%2B2%5E%7B1%2F4%7D)(X%20-%20i2%5E%7B1%2F4%7D)(X%2Bi2%5E%7B1%2F4%7D)%24%2C%20thus%20%24E%20%3D%20%5Cmathbb%7BQ%7D(i%2C2%5E%7B1%2F4%7D)%24%20so%20the%20Galois%20group%20has%20%248%24%20elements%20in%20it.%0A%0A%0A%20%20%20%20Since%20all%20roots%20of%20%24X%5E4%20-2%24%20are%20distinct%2C%20the%20Galois%20group%20is%20a%20subgroup%20of%20%24S_4%24%2C%20and%20the%20only%20subgroup%20of%20%24S_4%24%20with%20%248%24%20elements%20is%20%24D_8%24%2C%20which%20is%20generated%20by%20the%20permutations%20%24D_8%20%3D%20%5Clangle%20(1234)%2C(13)%20%5Crangle%24%2C%20i.e.%20the%20Galois%20group%20is%20generated%20by%20%24%24%5Csigma%3D%5Cbegin%7Bcases%7D2%5E%7B1%2F4%7D%20%26%5Cmapsto%26%20i2%5E%7B1%2F4%7D%5C%5Ci2%5E%7B1%2F4%7D%20%26%5Cmapsto%26%20-2%5E%7B1%2F4%7D%5C%5C-2%5E%7B1%2F4%7D%20%26%5Cmapsto%26%20-i2%5E%7B1%2F4%7D%5C%5C-i2%5E%7B1%2F4%7D%20%26%5Cmapsto%26%202%5E%7B1%2F4%7D%5Cend%7Bcases%7D%20%5Ciff%20%5Csigma%3D%5Cbegin%7Bcases%7D2%5E%7B1%2F4%7D%20%26%5Cmapsto%26%20i2%5E%7B1%2F4%7D%5C%5Ci%20%26%5Cmapsto%26%20i%5Cend%7Bcases%7D%24%24%20and%20%24%24%5Ctau%3D%5Cbegin%7Bcases%7D2%5E%7B1%2F4%7D%20%26%5Cmapsto%26%20-2%5E%7B1%2F4%7D%5C%5C-2%5E%7B1%2F4%7D%20%26%5Cmapsto%26%202%5E%7B1%2F4%7D%5C%5Ci2%5E%7B1%2F4%7D%20%26%5Cmapsto%26%20i2%5E%7B1%2F4%7D%5C%5C-i2%5E%7B1%2F4%7D%20%26%5Cmapsto%26%20-i2%5E%7B1%2F4%7D%5Cend%7Bcases%7D%20%5Ciff%20%5Ctau%3D%5Cbegin%7Bcases%7D2%5E%7B1%2F4%7D%20%26%5Cmapsto%26%202%5E%7B1%2F4%7D%5C%5Ci%20%26%5Cmapsto%26%20-i%5Cend%7Bcases%7D.%24%24%20From%20here%20we%20can%20see%20that%20the%20only%20map(s)%20sends%20both%20%242%5E%7B1%2F4%7D%24%20and%20%24i%24%20to%20themselves%20are%20%24%5Csigma%5E4%24%20or%20%24%5Ctau%5E2%24%20or%20equivalent%20ones%2C%20which%20are%20all%20just%20the%20identity.%0A%0A%20%20%20%20For%20the%20second%20part%2C%20apparently%20%24%5Cmathbb%7BQ%7D(%5Calpha)%5Csubset%20E%24%2C%20and%20we%20know%20that%20%24%5BE%3A%5Cmathbb%7BQ%7D%5D%20%3D%208%24.%20If%20we%20may%20find%20the%20minimal%20polynomial%20of%20%24i%2B2%5E%7B1%2F4%7D%24%20and%20it%20has%20degree%20%248%24%2C%20then%20it%20means%20%24%5B%5Cmathbb%7BQ%7D(%5Calpha)%3A%5Cmathbb%7BQ%7D%5D%20%3D%208%24%20as%20well%20thus%20%24%5BE%3A%5Cmathbb%7BQ%7D(%5Calpha)%5D%3D%201%24%20and%20we%20will%20have%20the%20desired%20equality%2C%20here%20is%20a%20construction%3A%0A%0A%20%20%20%20From%20the%20term%20%242%5E%7B1%2F4%7D%24%20we%20can%20see%20there%20is%20no%20way%20the%20degree%20is%20less%20than%20%244%24%2C%20lets%20write%20down%20%24%5Calpha%24%20to%20the%20power%20%241%2C2%2C3%2C4%24%3A%0A%0A%20%20%20%201.%20%24%5Calpha%20%3D%20i%2B2%5E%7B1%2F4%7D%24%3B%0A%20%20%20%202.%20%24%5Calpha%5E2%20%3D%20(i%2B2%5E%7B1%2F4%7D)%5E2%20%3D%20-1%20%2B%202i2%5E%7B1%2F4%7D%20%2B%202%5E%7B2%2F4%7D%24%3B%0A%20%20%20%203.%20%24%5Calpha%5E3%20%3D%20(i%2B2%5E%7B1%2F4%7D)%5E3%20%3D%20-i%20-%2032%5E%7B1%2F4%7D%2B3i2%5E%7B2%2F4%7D%2B2%5E%7B3%2F4%7D%24%3B%0A%20%20%20%204.%20%24%5Calpha%5E4%20%3D%20(i%2B2%5E%7B1%2F4%7D)%5E4%20%3D%203%20-%204i2%5E%7B1%2F4%7D-62%5E%7B2%2F4%7D%2B4i2%5E%7B3%2F4%7D%24%3B%0A%0A%20%20%20%20And%20now%20we%20can%20think%20%241%2C%202%5E%7B1%2F4%7D%2C%202%5E%7B2%2F4%7D%2C%202%5E%7B3%2F4%7D%24%20as%20'basis'%2C%20and%20try%20to%20simplify%20it%2C%20for%20example%2C%20%24%5Calpha%5E4%20-%204i%5Calpha%5E3%24%20will%20eliminate%20%242%5E%7B3%2F4%7D%24%20term%2C%20and%20so%20on%2C%20we%20will%20get%20%24%24%5Calpha%5E4%20-%204i%5Calpha%5E3%20-%206%5Calpha%5E2%20%2B%204i%5Calpha%20-%201%20%3D%200.%24%24%20Now%20move%20the%20terms%20with%20%24i%24%20to%20the%20right%2C%20and%20square%20them%20%24%24%5Cbegin%7Baligned%7D%5Calpha%5E4%20-%206%5Calpha%5E2%20-%201%20%26%3D%204i%5Calpha%5E3%20-%204i%5Calpha%5C%5C%5Calpha%5E8-12%5Calpha%5E6%2B34%5Calpha%5E4%2B12%5Calpha%5E2%2B1%20%26%3D%20-16%5Calpha%5E6%2B32%5Calpha%5E4-16%5Calpha%5E2%5C%5C%5Calpha%5E8%2B4%5Calpha%5E6%2B2%5Calpha%5E4%2B28%5Calpha%5E2%2B1%20%26%3D%200%5Cend%7Baligned%7D.%24%24%20This%20polynomial%20is%20irreducible%20as%20%24%5Calpha%5E8%2B1%24%20(take%20module%20%242%24)%20is%20irreducible%20over%20%24%5Cmathbb%7BQ%7D%24%2C%20and%20we%20find%20the%20degree%20%248%24%20minimal%20polynomial%20as%20desired.%0A%0A%20%20%20%20%23%23%23%23%20Remark%0A%0A%20%20%20%20Here%20is%20an%20easier%20way%20to%20prove%20part%202%3A%20Suppose%20%24%5Cmathbb%7BQ%7D(%5Calpha)%20%5Cne%20E%24%2C%20then%20%24%5Cmathbb%7BQ%7D(a)%20%3D%20E%5EH%24%20for%20some%20%24H%20%5Cne%201%24%2C%20%24H%20%3C%20G%24%2C%20however%20then%20%24H%24%20must%20fix%20%24%5Calpha%24%2C%20yet%20we%20just%20proved%20that%20the%20only%20element%20in%20%24G%24%20fixes%20%24%5Calpha%24%20is%20%241%24%2C%20thus%20%24H%20%3D%201%24%2C%20a%20contradiction.%0A%0A%20%20%20%20%23%23%20Exercise%206%0A%0A%20%20%20%20**Let%20%24%5Czeta%20%3D%20e%5E%7B2%5Cpi%20i%2F15%7D%2C%20%5Ceta%20%3D%20e%5E%7B2%5Cpi%20i%20%2F5%7D%24%20(note%20that%20%24%5Ceta%20%2B%20%5Ceta%5E%7B-1%7D%20%3D%20%5Cfrac%7B-1%2B%5Csqrt%7B5%7D%7D%7B2%7D%24)%2C%20%24%5Crho%20%3D%20e%5E%7B2%5Cpi%20i%2F3%7D%24%20and%20%24%5CPhi_%7B15%7D(X)%20%3D%20%5Cfrac%7B(X%5E%7B15%7D-1)(X-1)%7D%7B(X%5E5-1)(X%5E3-1)%7D%20%3D%20X%5E8-X%5E7%2BX%5E5-X%5E4%2BX%5E3-X%2B1%24%20(irreducible%20over%20%24%5Cmathbb%7BQ%7D%24)**.%0A%0A%20%20%20%201.%20**Give%20the%20decomposition%20of%20%24X%5E%7B15%7D-1%24%20as%20a%20product%20of%20irreducibles%20over%20%24%5Cmathbb%7BQ%7D%24.%20What%20is%20the%20degree%20of%20%24E%20%3D%20%5Cmathbb%7BQ%7D(%5Czeta)%24%20over%20%24%5Cmathbb%7BQ%7D%24**%3F%0A%20%20%20%202.%20**Show%20that%20the%20Galois%20group%20%24G%20%3D%20Gal(E%20%7C%20%5Cmathbb%7BQ%7D)%24%20is%20isomorphic%20to%20a%20product%20%24P%24%20of%20two%20cyclic%20groups%2C%20and%20construct%20this%20isomorphism**%3B%0A%20%20%20%203.%20**What%20subgroups%20of%20%24G%24%20correspond%20to%20the%20subfields%20%24%5Cmathbb%7BQ%7D(%5Crho)%2C%20%5Cmathbb%7BQ%7D(%5Ceta)%24%2C%20%24%5Cmathbb%7BQ%7D(%5Csqrt%7B5%7D)%24%2C%20%24%5Cmathbb%7BQ%7D(%5Crho%2C%5Csqrt%7B5%7D)%24%20of%20%24E%24%20respectively**%3F%0A%0A%20%20%20%20Solution%0A%0A%20%20%20%201.%20By%20class%20material%20we%20have%20%24x%5E%7B15%7D%20-%201%20%3D%20%5Cprod%5Climits_%7Bd%20%7C%2015%7D%5CPhi_d(x)%20%3D%20%5CPhi_1(x)%5CPhi_3(x)%5CPhi_5(x)%5CPhi_%7B15%7D(x)%24.%0A%20%20%20%20%09%24%5CPhi_1(x)%24%20is%20simply%20%24x-1%24%3B%20%24%5CPhi_3(x)%24%20%24%3Dx%5E2%2Bx%2B1%24%2C%20and%20%24%5CPhi_5(x)%20%3D%20x%5E4%2Bx%5E3%2Bx%5E2%2Bx%2B1%24%20because%20%243%2C5%24%20are%20primes%2C%20and%20we%20have%20%24%5CPhi_%7B15%7D(x)%24%20given%2C%20so%20we%20have%20%24x%5E%7B15%7D%20-%201%20%3D%20(x-1)(x%5E2%2Bx%2B1)(x%5E4%2Bx%5E3%2Bx%5E2%2Bx%2B1)(x%5E8-x%5E7%2Bx%5E5-x%5E4%2Bx%5E3-x%2B1)%24%20Since%20%24%5Czeta%24%20is%20a%20root%20of%20%24x%5E%7B15%7D-1%24%2C%20yet%20is%20clearly%20not%20root%20of%20%24x-1%24%2C%20%24x%5E2%2Bx%2B1%24%2C%20or%20%24x%5E4%2Bx%5E3%2Bx%5E2%2Bx%2B1%24%2C%20we%20must%20have%20that%20it%20is%20a%20root%20of%20%24x%5E8-x%5E7%2Bx%5E5-x%5E4%2Bx%5E3-x%2B1%24%20and%20we%20know%20it%20is%20irreducible%2C%20thus%20%24%5BE%3A%5Cmathbb%7BQ%7D%5D%20%3D%208%24%3B%0A%20%20%20%202.%20The%20roots%20of%20%24%5CPhi_%7B15%7D(x)%24%20would%20be%20%24%5Czeta%2C%20%5Czeta%5E2%2C%5Czeta%5E4%2C%20%5Czeta%5E7%2C%5Czeta%5E8%2C%5Czeta%5E%7B11%7D%2C%5Czeta%5E%7B13%7D%2C%5Czeta%5E%7B14%7D%24%2C%20and%20can%20be%20written%20as%20%24%5Czeta%2C%20%5Czeta%5E2%2C%20%5Czeta%5E4%2C%20%5Czeta%5E7%2C%20%5Coverline%7B%5Czeta%5E7%7D%2C%20%5Coverline%7B%5Czeta%5E4%7D%2C%20%5Coverline%7B%5Czeta%5E2%7D%2C%20%5Coverline%7B%5Czeta%7D%24.%20Map%20in%20%24G%24%20is%20completely%20determined%20by%20the%20value%20it%20sends%20%24%5Czeta%24%20to%2C%20and%20can%20be%20seen%20as%20generated%20by%20%24%5Csigma(%5Czeta)%20%3D%20%5Czeta%5E2%24%20and%20%24%5Ctau(%5Czeta)%20%3D%20%5Coverline%7B%5Czeta%7D%24%2C%20so%20that%20%24%5Czeta%20%5Cmapsto%5E%5Csigma%20%5Czeta%5E2%20%5Cmapsto%5E%5Csigma%20%5Czeta%5E4%20%5Cmapsto%5E%5Csigma%20%5Czeta%5E8%20%5Cmapsto%5E%5Csigma%20%5Czeta%5E%7B16%7D%20%3D%20%5Czeta%24%2C%20%24%5Csigma%24%20has%20order%20%244%24%2C%20and%20similarly%20%24%5Ctau%24%20has%20order%20%242%24.%20All%20maps%20commute.%20Now%20if%20we%20consider%20the%20map%20%24%24%5Calpha%3D%5Cbegin%7Bcases%7D%5Csigma%20%5Cmapsto%20(1%2C0)%20%5C%5C%20%5Ctau%20%5Cmapsto%20(0%2C1)%20%5Cend%7Bcases%7D%24%24%20then%20it%20is%20an%20isomorphism%20between%20%24G%24%20and%20%24C_4%20%5Ctimes%20C_2%24%3B%0A%20%20%20%203.%20Write%20down%20the%20fix%20table%20for%20each%20of%20the%20map%20in%20%24G%24%2C%20for%20example%20%24%5Csigma%24%20sends%20%24%5Czeta%24%20to%20%24%5Czeta%5E2%24%2C%20so%20it%20sends%20%24%5Crho%20%3D%20%5Czeta%5E5%24%20to%20%24%5Czeta%5E%7B10%7D%24%20(not%20fixed)%2C%20%24%5Ceta%24%20to%20%24%5Czeta%5E6%24%20(not%20fixed)%2C%20and%20%24%5Csqrt%7B5%7D%20%3D%202(%5Czeta%5E3%2B%5Czeta%5E%7B-3%7D)%2B1%24%20to%20%242(%5Czeta%5E6%2B%5Czeta%5E%7B-6%7D)%2B1%20%3D%20-%5Csqrt%7B5%7D%24%20(not%20fixed)%3A%20%24%24%5Cbegin%7Barray%7D%20%7B%7Cr%7Cr%7Cr%7Cr%7C%7D%5Chline%20%5Ctext%7Bfixes%3A%7D%20%26%20%5Ceta%20%26%20%5Crho%20%26%20%5Csqrt%7B5%7D%20%3D%202(%5Ceta%2B%5Ceta%5E%7B-1%7D)%2B1%20%5C%5C%5Chline%201%20%26%20%5Csurd%20%26%20%5Csurd%20%26%20%5Csurd%20%5C%5C%5Chline%20%5Csigma%20%26%20%20%26%20%20%26%20%5C%5C%5Chline%20%5Csigma%5E2%20%26%20%20%26%20%5Csurd%20%26%20%5Csurd%20%5C%5C%5Chline%20%5Csigma%5E3%20%26%20%20%26%20%20%26%20%5C%5C%5Chline%20%5Ctau%20%26%20%20%26%20%20%26%20%5Csurd%20%5C%5C%5Chline%20%5Ctau%5Csigma%20%26%20%20%26%20%5Csurd%20%26%20%5C%5C%5Chline%20%5Ctau%5Csigma%5E2%20%26%20%5Csurd%20%26%20%20%26%20%5Csurd%20%5C%5C%5Chline%20%5Ctau%5Csigma%5E3%20%26%20%20%26%20%5Csurd%20%26%20%5C%5C%5Chline%20%5Cend%7Barray%7D%24%24%20And%20now%20it%20is%20easy%20to%20see%20the%20correspondences%3A%0A%0A%20%20%20%20%091.%20%24%5Cmathbb%7BQ%7D(%5Crho)%20%5Cto%20%5Clbrace%201%2C%5Csigma%5E2%2C%5Ctau%5Csigma%2C%5Ctau%5Csigma%5E3%20%5Crbrace%24%3B%0A%20%20%20%20%092.%20%24%5Cmathbb%7BQ%7D(%5Ceta)%20%5Cto%20%5Clbrace%201%2C%20%5Ctau%5Csigma%5E2%20%5Crbrace%24%3B%0A%20%20%20%20%093.%20%24%5Cmathbb%7BQ%7D(%5Csqrt%7B5%7D)%20%5Cto%20%5Clbrace%201%2C%20%5Csigma%5E2%2C%20%5Ctau%2C%20%5Ctau%5Csigma%5E2%20%5Crbrace%24%3B%0A%20%20%20%20%094.%20%24%5Cmathbb%7BQ%7D(%5Crho%2C%5Csqrt%7B5%7D)%20%5Cto%20%5Clbrace%201%2C%20%5Csigma%5E2%20%5Crbrace%24.%0A%20%20%20%20%22%22%22)%0A%20%20%20%20return%0A%0A%0A%40app.cell%0Adef%20_(mo)%3A%0A%20%20%20%20mo.md(r%22%22%22%0A%20%20%20%20%23%20Fall%20Semester%20Homework%203%0A%20%20%20%20%22%22%22)%0A%20%20%20%20return%0A%0A%0A%40app.cell%0Adef%20_(mo)%3A%0A%20%20%20%20mo.md(r%22%22%22%0A%20%20%20%20%23%23%20Exercise%201%0A%0A%20%20%20%20**Describe%20the%20Galois%20group%20%24G%20%3D%20Gal(f)%24%20of%20%24f(x)%20%3D%20x%5E6-4x%5E3%2B1%20%5Cin%20%5Cmathbb%7BQ%7D%5Bx%5D%24%20as%20a%20permutation%20group.%20Start%20by%20observing%20that%20the%20two%20real%20roots%20are%20inverse%20of%20each%20other**.%0A%0A%20%20%20%20Solution%0A%0A%20%20%20%20To%20see%20%24f%24%20is%20irreducible%2C%20%24f(x)%20%3D%20x%5E6%20%2B%20x%5E3%20%2B%201%20%5Cin%20%5Cmathbb%7BF%7D_5%5Bx%5D%24%2C%20consider%20%24f(x%2B1)%24%20and%20we%20will%20see%20its%20irreducibility%20by%20Eisenstein.%0A%0A%20%20%20%20Now%2C%20substitute%20%24y%20%3D%20x%5E3%24%20then%20it%20is%20easy%20to%20calculate%20%24y%20%3D%202%20%5Cpm%20%5Csqrt%7B3%7D%24%2C%20so%20the%20%246%24%20roots%20for%20%24f%24%20are%20the%20cubic%20roots%20of%20%242%20%2B%20%5Csqrt%7B3%7D%24%20and%20%242%20-%20%5Csqrt%7B3%7D%24.%20Also%20observe%20that%20the%20real%20cubic%20root%20of%20%242%2B%20%5Csqrt%7B3%7D%24%20is%20the%20inverse%20of%20the%20real%20cubic%20root%20of%20%242%20-%20%5Csqrt%7B3%7D%24.%20In%20particular%2C%20we%20can%20write%20%24(2-%5Csqrt%7B3%7D)%5E%7B1%2F3%7D%20%3D%20(2%2B%5Csqrt%7B3%7D)%5E%7B-1%2F3%7D%20%3D%20(2%2B%5Csqrt%7B3%7D)%5E%7B2%2F3%7D(2%2B%5Csqrt%7B3%7D)%5E%7B-1%7D%20%3D%20((2%2B%5Csqrt%7B3%7D)%5E%7B1%2F3%7D)%5E2(2-%5Csqrt%7B3%7D)%24%2C%20so%20the%20splitting%20field%20of%20%24f%24%20can%20be%20written%20as%20%24E%20%3D%20%5Cmathbb%7BQ%7D(%5Comega%2C%20%5Csqrt%5B3%5D%7B2%2B%5Csqrt%7B3%7D%7D)%24%20where%20%24%5Comega%24%20is%20the%20root%20of%20unity%20of%20degree%20%243%24.%20Also%20notice%20that%20we%20can%20write%20%24%5Comega%20%3D%20-%5Cfrac%7B1%7D%7B2%7D%20%2B%20%5Cfrac%7B%5Csqrt%7B3%7D%7D%7B2%7Di%24%2C%20so%20%24E%24%20can%20also%20be%20written%20as%20%24%5Cmathbb%7BQ%7D(%5Csqrt%7B3%7D%2C%20i%20%2C%5Csqrt%5B3%5D%7B2%2B%5Csqrt%7B3%7D%7D)%24%2C%20thus%20can%20be%20seen%20has%20degree%20%2412%24%20over%20%24%5Cmathbb%7BQ%7D%24.%20In%20particular%2C%20%24G%24%20contains%20(at%20most)%20%2412%24%20elements.%0A%0A%20%20%20%20Use%20SAGE%20and%20apply%20Dedekind%20Theorem%3A%0A%0A%20%20%20%201.%20Factor%20in%20mod%20%247%24%20gives%20a%20cycle%20of%20type%20%24(2%2C2%2C2)%24%3A%0A%20%20%20%20%09%60%60%60python%0A%20%20%20%20%09F.%3Ca%3E%20%3D%20GF(7)%0A%20%20%20%20%09R.%3Cx%3E%20%3D%20PolynomialRing(F)%0A%20%20%20%20%09f%20%3D%20x%5E6%20-%204*%20x%5E3%20%2B%201%0A%20%20%20%20%09f.factor()%0A%20%20%20%20%09%3E%3E%20(x%5E2%20%2B%20x%20%2B%204)%20*%20(x%5E2%20%2B%202*x%20%2B%202)%20*%20(x%5E2%20%2B%204*x%20%2B%201)%0A%20%20%20%20%09%60%60%60%0A%20%20%20%202.%20Factor%20in%20mod%20%245%24%20gives%20a%20cycle%20of%20type%20%24(6)%24%3A%0A%20%20%20%20%09%60%60%60python%0A%20%20%20%20%09F.%3Ca%3E%20%3D%20GF(5)%0A%20%20%20%20%09R.%3Cx%3E%20%3D%20PolynomialRing(F)%0A%20%20%20%20%09f%20%3D%20x%5E6%20-%204*%20x%5E3%20%2B%201%0A%20%20%20%20%09f.factor()%0A%20%20%20%20%09%3E%3E%20x%5E6%20%2B%20x%5E3%20%2B%201%0A%20%20%20%20%09%60%60%60%0A%0A%20%20%20%20So%20%24G%24%20contains%20an%20%246%24-cycle%20and%20an%20involution%2C%20so%20it%20contains%20at%20least%20%2412%24%20elements.%0A%0A%20%20%20%20So%20%24G%24%20has%20exactly%20%2412%24%20elements.%0A%0A%20%20%20%20Now%20consider%20the%20intermediate%20extension%20%24%5Cmathbb%7BQ%7D(%5Csqrt%7B3%7D)%24%2C%20%24f%24%20factor%20in%20%24%5Cmathbb%7BQ%7D(%5Csqrt%7B3%7D)%24%20as%20%24f%20%3D%20(x%5E3%20-%202%20-%20%5Csqrt%7B3%7D)(x%5E3%20-%202%20%2B%20%5Csqrt%7B3%7D)%24%2C%20so%2C%20%24Gal(E%20%7C%20%5Cmathbb%7BQ%7D(%5Csqrt%7B3%7D))%24%20can%20be%20seen%20to%20be%20%24S_3%24%2C%20which%20has%20%246%24%20elements%20(in%20particular%20it%20has%20index%20%242%24%20in%20%24G%24)%2C%20so%20%24G%24%20can%20be%20seen%20as%20two%20copies%20of%20%24S_3%24%2C%20i.e.%20%24G%20%3D%20S_3%20%5Ctimes%20%5Cmathbb%7BZ%7D_2%20%3D%20D_6%24.%0A%0A%20%20%20%20%23%23%20Exercise%202%0A%0A%20%20%20%20**For%20%24n%24%20odd%2C%20show%20that%20%24%5CPhi_%7B2n%7D(x)%20%3D%20%5CPhi_n(-x)%24**.%0A%0A%20%20%20%20Proof%0A%0A%20%20%20%20As%20a%20remainder%2C%20the%20definition%20of%20%24%5CPhi%24%20is%3A%20%24%24%5CPhi_n(x)%20%3D%20%5Cprod%5Climits_%7B%5Czeta%20%5Cin%20%5Cpsi_n%2C%5Czeta%5Ctext%7B%20primitive%7D%7D(x-%5Czeta)%20%3D%5Cprod%5Climits_%7Bo(%5Czeta)%20%3D%20n%2C%5Czeta%20%5Cin%20%5Cpsi%7D(x-%5Czeta).%24%24%20So%20by%20definition%20we%20have%20%24%24%5CPhi_%7B2n%7D(x)%20%3A%3D%20%5Cprod%5Climits_%7B%5Cgcd(d%2C2n)%3D1%7D(x%20-%20e%5E%7B2%5Cpi%20i%20d%2F2n%7D%24%24%20The%20crucial%20step%20is%20somehow%20changing%20the%20subscript%20%24%5Cgcd(d%2C2n)%3D1%24%20to%20%24%5Cgcd(d%2Cn)%3D1%24.%20Notice%20that%20if%20%24n%24%20is%20odd%20and%20%24%5Cgcd(d%2Cn)%20%3D%201%24%2C%20then%20the%20only%20possible%20common%20factor%20between%20%242d%24%20and%20%242n%24%20is%20%242%24%2C%20and%20then%20%242d%2Bn%24%20and%20%242n%24%20has%20no%20common%20factor%20(the%20prime%20factors%20of%20%242n%24%20are%20%242%24%20and%20factors%20of%20%24n%24%2C%20none%20of%20them%20are%20factors%20of%20%242d%2Bn%24%20given%20%24n%24%20is%20odd).%20The%20set%20of%20those%20%24d%24's%20that%20are%20coprime%20with%20%24n%24%20are%20clearly%20in%20a%20one-to-one%20correspondence%20with%20those%20%242d%2Bn%24's%20that%20are%20coprime%20with%20%24n%24.%20So%20we%20can%20write%20%24%24%5Cbegin%7Baligned%7D%3D%26%20%5Cprod%5Climits_%7B%5Cgcd(d%2Cn)%3D1%7D(x%20-%20e%5E%7B2%5Cpi%20i%20(2d%2Bn)%2F2n%7D)%20%5C%5C%20%3D%26%20%5Cprod%5Climits_%7B%5Cgcd(d%2Cn)%3D1%7D(x%20%2B%20(-1)e%5E%7B2%5Cpi%20i%20(2d%2Bn)%2F2n%7D)%20%5C%5C%20%3D%26%20%5Cprod%5Climits_%7B%5Cgcd(d%2Cn)%3D1%7D(x%20%2B%20e%5E%7B2%5Cpi%20i%20(2d%2Bn)%2F2n%7De%5E%7B2n%5Cpi%20i%2F2n%7D)%20%5C%5C%20%3D%26%20%5Cprod%5Climits_%7B%5Cgcd(d%2Cn)%3D1%7D(x%20%2B%20e%5E%7B%5Cpi%20i%20(2d%20%2B2n)%2Fn%7D)%20%5C%5C%20%3D%26%20%5Cprod%5Climits_%7B%5Cgcd(d%2Cn)%3D1%7D(x%20%2B%20e%5E%7B2%5Cpi%20i%20d%2Fn%7D)%5Cend%7Baligned%7D.%24%24%20Now%20remember%20that%20the%20number%20of%20%24d%24's%20such%20that%20%241%20%5Cle%20d%20%5Cle%20n%24%20and%20%24%5Cgcd(d%2Cn)%20%3D%201%24%20is%20always%20even%20for%20%24n%20%3E%202%24.%20It%20can%20be%20seen%20by%20observing%20that%20every%20%24d%24%20coprime%20with%20%24n%24%20comes%20in%20pairs%20%24d%2C%20n-d%24%20(and%20this%20fails%20for%20%24n%3D1%2C2%24%20for%20an%20obvious%20reason).%20In%20particular%2C%20by%20multiplying%20%24-1%24%20to%20each%20item%20will%20not%20change%20the%20result%20of%20the%20product%2C%20i.e.%20we%20can%20continue%20to%20write%20%24%24%5Cbegin%7Baligned%7D%3D%26%20%5Cprod%5Climits_%7B%5Cgcd(d%2Cn)%3D1%7D(-1)(x%20%2B%20e%5E%7B2%5Cpi%20i%20d%2Fn%7D)%20%5C%5C%20%3D%26%20%5Cprod%5Climits_%7B%5Cgcd(d%2Cn)%3D1%7D(-x%20-%20e%5E%7B2%5Cpi%20i%20d%2Fn%7D)%5Cend%7Baligned%7D%24%24%20which%20we%20should%20see%20that%20is%20%24%5CPhi_n(-x)%24%20by%20definition.%0A%0A%20%20%20%20%23%23%20Exercise%203%0A%0A%20%20%20%20**Let%20%24p%20%5Cge%203%24%20be%20prime%2C%20%24%5Comega%20%3D%20%5Comega_p%20%3D%20%5Cexp%7B%5Cfrac%7B2%5Cpi%20i%7D%7Bp%7D%7D%24%20and%20define%20the%20following%20expression%20in%20%24%5Cmathbb%7BQ%7D_p%20%3D%20%5Cmathbb%7BQ%7D(%5Comega_p)%24**%3A%20%24%24%5Calpha%20%3D%20%5Csum%5Climits_%7Br%20%3D%200%7D%5E%7Bp-1%7D%5Comega%5E%7Br%5E2%7D%2C%20%5Cbeta%20%3D%20%5Cprod%5Climits_%7Br%20%3D%201%7D%5E%7B(p-1)%2F2%7D(%5Comega%5Er%20-%20%5Comega%5E%7B-r%7D).%24%24%0A%0A%20%20%20%201.%20**Show%20that%20%24%5Cmathbb%7BQ%7D(%5Calpha)%24%20is%20the%20unique%20quadratic%20subfield%20of%20%24%5Cmathbb%7BQ%7D_p%24.%20Show%20that%20%24%5Calpha%5Coverline%7B%5Calpha%7D%20%3D%20p%24%20(%24%5Calpha%24%20is%20known%20as%20the%20Gauss%20sum)**%3B%0A%20%20%20%202.%20**Check%20that%20%24%5Cbeta%5E2%20%3D%20(-1)%5E%7B(p-1)%2F2%7D%5Cprod%5Climits_%7Br%20%3D%201%7D%5E%7Bp-1%7D(1-%5Comega%5Er)%24.%20Deduce%20that%20%24%5Csqrt%7Bp%7D%20%5Cin%20%5Cmathbb%7BQ%7D_p%24%20for%20%24p%20%5Cequiv%201%24%20mod%20%244%24%20and%20%24%5Csqrt%7B-p%7D%20%5Cin%20%5Cmathbb%7BQ%7D_p%24%20for%20%24p%20%5Cequiv%203%24%20mod%20%244%24**%3B%0A%20%20%20%203.%20**Show%20that%20%24%5Cmathbb%7BQ%7D_n(i)%20%3D%20%5Cmathbb%7BQ%7D_%7B4n%7D%24%20for%20every%20odd%20integer%20%24n%24**%3B%0A%20%20%20%204.%20**Deduce%20the%20following%20Theorem%3A%20For%20every%20%24N%20%5Cin%20%5Cmathbb%7BZ%7D%24%20there%20exists%20%24n%24%20such%20that%20%24%5Csqrt%7BN%7D%20%5Cin%20%5Cmathbb%7BQ%7D_n%24%20(this%20is%20the%20simplest%20special%20case%20of%20the%20Kronecker-Weber%20Theorem)**.%0A%0A%20%20%20%20Proof%0A%0A%20%20%20%20%23%23%23%20Part%201%0A%0A%20%20%20%20For%20%24p%24%20being%20prime%2C%20the%20Galois%20group%20%24Gal(%5Cmathbb%7BQ%7D_q%20%7C%20%5Cmathbb%7BQ%7D)%24%20is%20known%20to%20be%20%24U_p%24%20which%20in%20this%20case%20%24%5Clbrace%201%2C2%2C3%2C%5Cdots%2Cp-1%20%5Crbrace%24.%20In%20order%20to%20have%20a%20quadratic%20subfield%20of%20%24%5Cmathbb%7BQ%7D_p%24%20we%20must%20have%20a%20subgroup%20of%20%24U_p%24%20of%20index%20%242%24%20(Remainder%3A%20operation%20is%20multiplicity).%20Notice%20that%20in%20order%20to%20have%20a%20group%20structure%2C%20%241%24%20is%20of%20course%20in%20this%20subgroup%2C%20and%20any%20%24a%24%20in%20this%20subgroup%2C%20%24a%5E2%24%20must%20in%20this%20subgroup.%20Now%20observe%20that%3A%0A%0A%20%20%20%201.%20%24a%5E2%20-%20(p-a)%5E2%20%3D%20(a%2Bp-a)(a-p%2Ba)%24%20is%20a%20multiple%20of%20%24p%24%2C%20thus%20%24a%5E2%20%5Cequiv%20(a-p)%5E2%24%20mod%20%24p%24%3B%0A%20%20%20%202.%20%24a%5E2%20%5Cnot%5Cequiv%20b%5E2%24%20mod%20%24p%24%20if%20%24a%2Cb%20%5Cle%20(p-1)%2F2%24.%0A%0A%20%20%20%20So%20it%20means%20there%20are%20exactly%20%24(p-1)%2F2%24%20possibilities%20for%20%24a%5E2%24%20mod%20%24p%24.%0A%0A%20%20%20%20For%20example%2C%20if%20%24p%20%3D%207%24%2C%20then%20%24U_p%24%20is%20%24%5Clbrace%201%2C2%2C3%2C4%2C5%2C6%20%5Crbrace%24%2C%20with%20that%3A%0A%0A%20%20%20%201.%20%241%5E2%20%5Cequiv%201%24%20mod%20%247%24%3B%0A%20%20%20%202.%20%242%5E2%20%5Cequiv%204%24%20mod%20%247%24%3B%0A%20%20%20%203.%20%243%5E2%20%5Cequiv%202%24%20mod%20%247%24%3B%0A%20%20%20%204.%20%244%5E2%20%5Cequiv%202%24%20mod%20%247%24%3B%0A%20%20%20%205.%20%245%5E2%20%5Cequiv%204%24%20mod%20%247%24%3B%0A%20%20%20%206.%20%246%5E2%20%5Cequiv%201%24%20mod%20%247%24.%0A%0A%20%20%20%20(i.e.%20the%20point%20is%20they%20appear%20in%20pairs)%0A%0A%20%20%20%20It%20then%20means%20that%20there%20is%20exactly%20one%20subgroup%20%24U'%24%20of%20index%20%242%24%20in%20%24U_p%24%2C%20for%20example%20in%20%24U_7%24%20the%20only%20choice%20of%20%24U'%24%20is%20%24%5Clbrace%201%2C2%2C4%20%5Crbrace%24.%20It%20then%20means%20%24%5Cmathbb%7BQ%7D_p%24%20has%20a%20unique%20quadratic%20subfield.%20Now%20we%20just%20need%20to%20see%20what%20does%20this%20group%20fixes%2C%20and%20actually%20it%20is%20pretty%20clear%20from%20the%20above%20construction%3A%20the%20squares%20(mod%20%24p%24)%20of%20the%20elements%20in%20our%20%24U'%24%20are%20still%20%24U'%24%2C%20so%20their%20sums%20must%20be%20the%20same%2C%20and%20thus%20they%20will%20fix%20the%20non-trivial%20number%20%24%5Calpha%24.%20In%20other%20words%2C%20%24%5Cmathbb%7BQ%7D(%5Calpha)%24%20is%20the%20unique%20quadratic%20subfield%20of%20%24%5Cmathbb%7BQ%7D_p%24.%0A%0A%20%20%20%20To%20see%20%24%5Calpha%5Coverline%7B%5Calpha%7D%20%3D%20p%24%2C%20notice%20that%20for%20each%20%24%5Comega%5Er%24%2C%20its%20complex%20conjugate%20is%20just%20%24%5Comega%5E%7Bp-r%7D%24%20because%20%24p%24%20is%20odd.%20From%20construction%2C%20there%20are%20two%20possibilities%20for%20%24%5Coverline%7B%5Calpha%7D%24%3A%0A%0A%20%20%20%201.%20%24%5Coverline%7B%5Calpha%7D%20%3D%20%5Calpha%24.%20For%20example%20in%20%24U_5%24%2C%20we%20can%20see%20that%20the%20subgroup%20of%20index%20%242%24%20is%20%24%5Clbrace%201%2C4%20%5Crbrace%24%2C%20thus%20%24%5Calpha%20%3D%201%20%2B%202%5Comega_p%5E1%20%2B%202%5Comega_p%5E4%24%2C%20so%20%24%5Coverline%7B%5Calpha%7D%20%3D%201%20%2B%202%5Comega_p%5E%7B5-1%7D%20%2B2%5Comega_p%5E%7B5-4%7D%20%3D%20%5Calpha%24%3B%0A%20%20%20%202.%20Otherwise%2C%20%24p%20-%20a%5E2%24%20is%20not%20in%20%24U'%20%5Csubset%20U_p%24%20for%20%24a%20%5Cin%20U'%24.%20For%20example%20in%20%24U_7%24%2C%20%24%5Calpha%20%3D%201%20%2B%202%5Comega_p%5E1%20%2B%202%5Comega_p%5E2%20%2B%202%5Comega_p%5E4%24%20and%20%24%5Coverline%7B%5Calpha%7D%20%3D%201%20%2B%202%5Comega_p%5E6%20%2B%202%5Comega_p%5E5%20%2B%202%5Comega_p%5E3%24.%0A%0A%20%20%20%20Now%20we%20expand%20%24%5Calpha%5Coverline%7B%5Calpha%7D%24%3A%0A%0A%20%20%20%201.%20In%20the%20first%20case%20we%20will%20get%20%24%3D%20(1%20%2B%202%5Comega_p%5E1%20%2B%202%5Comega_p%5E%7Ba_2%7D%20%2B%20%5Cdots%20%2B%202%5Comega_p%5E%7Bp-a_2%7D%2B%202%5Comega_p%5E%7Bp-1%7D)%5E2%24%20gives%20%24%3D%201%20%2B%202(p-1)%20%2B%20(p-1)(%5Comega_p%5E1%20%2B%20%5Comega_p%5E2%20%2B%20%5Cdots%20%2B%20%5Comega_p%5E%7Bp-1%7D)%24%20%24%3D%201%20%2B%20p%20-%201%20%3D%20p%24.%0A%20%20%20%20%09To%20see%20this%20equality%2C%20remember%20%24(1%2Ba)%5E2%20%3D%201%2B2a%2Ba%5E2%24%2C%20so%20expand%20the%20formula%20we%20will%20have%20one%20%241%24%3B%20each%20%242%5Comega_p%5Ea%20%5Ccdot%202%5Comega_p%5E%7Bp-a%7D%24%20gives%20%244%24%20and%20there%20are%20%24(p-1)%2F2%24%20of%20such%20pair%2C%20so%20we%20have%20%242(p-1)%24%3B%20the%20rest%20%24(p-1)%5E2%24%20terms%20are%20just%20%24%5Comega_p%5E1%2C%5Cdots%2C%5Comega_p%5E%7Bp-1%7D%24%2C%20distributed%20evenly.%20The%20next%20case%20is%20similar%2C%20but%20little%20bit%20more%20complex%3B%0A%20%20%20%202.%20In%20the%20second%20case%20we%20will%20get%20%24%3D%201%20%2B%202(%5Comega_p%5E1%2B%5Cdots%20%2B%20%5Comega_p%5E%7Bp-1%7D)%24%20%24%2B%204((p-1)%2F2%20%2B%20((%5Cfrac%7Bp-1%7D%7B2%7D)%5E2%20-%20%5Cfrac%7Bp-1%7D%7B2%7D)%2F(p-1)%20%5Ccdot%20(%5Comega_p%5E1%2B%5Cdots%20%2B%20%5Comega_p%5E%7Bp-1%7D))%24%20%24%3D%20-1%20%2B%204(%5Cfrac%7Bp%2B1%7D%7B4%7D%20%2B%20%5Cfrac%7Bp-3%7D%7B4%7D%20%2B%20%5Cfrac%7Bp-3%7D%7B4%7D(%5Comega_p%5E1%2B%5Cdots%20%2B%20%5Comega_p%5E%7Bp-1%7D))%24%20%24%3D%20-1%20%2B%20p%20%2B%201%20%3D%20p%24.%0A%0A%20%20%20%20So%20in%20either%20case%20we%20have%20%24%5Calpha%5Coverline%7B%5Calpha%7D%20%3D%20p%24.%0A%0A%20%20%20%20%23%23%23%20Part%202%0A%0A%20%20%20%20We%20defined%20%24%5Cbeta%20%3D%20%5Cprod%5Climits_%7Br%20%3D%201%7D%5E%7B(p-1)%2F2%7D(%5Comega%5Er%20-%20%5Comega%5E%7B-r%7D)%24%2C%20so%20%24%5Cbeta%5E2%20%3D%20%5Cprod%5Climits_%7Br%20%3D%201%7D%5E%7B(p-1)%2F2%7D(%5Comega%5Er%20-%20%5Comega%5E%7B-r%7D)%5E2%24%20%24%3D%20%5Cprod%5Climits_%7Br%20%3D%201%7D%5E%7B(p-1)%2F2%7D(%5Comega%5Er%20-%20%5Comega%5E%7Bp-r%7D)%5E2%24.%20For%20each%20%24(%5Comega%5Er%20-%20%5Comega%5E%7Bp-r%7D)%5E2%24%2C%20expand%20it%20and%20we%20have%20%24%3D%20%5Comega%5E%7B2r%7D%20%2B%20%5Comega%5E%7B2p-2r%7D%20-%202%24%2C%20thus%20it%20equals%20to%20another%20pair%20%24%3D%20%5Comega%5E%7Br'%7D%20%2B%20%5Comega%5E%7B-r'%7D%20-2%24.%20Thus%20%24%5Cbeta%5E2%20%3D%20%5Cprod%5Climits_%7Br%20%3D%201%7D%5E%7B(p-1)%2F2%7D(%5Comega%5Er%20%2B%20%5Comega%5E%7Bp-r%7D%20-2)%24%20(i.e.%20we%20can%20remove%20%242%5Ccdot%24).%20Now%20notice%20that%20we%20can%20write%20each%20%24(%5Comega%5Er%20-%20%5Comega%5E%7Bp-r%7D%20-2)%20%3D%20-(2%20-%20%5Comega%5Er%20-%20%5Comega%5E%7Bp-r%7D)%24%20%24%3D-(1-%5Comega%5Er)(1-%5Comega%5E%7Bp-r%7D)%24%2C%20and%20this%20gives%20the%20desired%20equality.%0A%0A%20%20%20%20Now%20use%20this%20expression%20for%20%24%5Cbeta%5E2%24%2C%20for%20now%20focus%20on%20the%20product%20part.%20Notice%20that%20for%20%24p%24%20prime%20we%20can%20factor%20%24x%5Ep%20-%201%20%3D%20(x-1)(x%5E%7Bp-1%7D%2B%5Cdots%2Bx%2B1)%24%2C%20but%20can%20also%20factor%20as%20%24(x-1)(x-%5Comega_p%5E1)%5Cdots%20(x-%5Comega_p%5E%7Bp-1%7D)%24%2C%20so%20we%20must%20have%20%24(x%5E%7Bp-1%7D%2B%5Cdots%2Bx%2B1)%20%3D%20(x-%5Comega_p%5E1)%5Cdots%20(x-%5Comega_p%5E%7Bp-1%7D)%24%2C%20if%20we%20plugin%20%24x%20%3D%201%24%2C%20then%20we%20get%20%24(x-%5Comega_p%5E1)%5Cdots%20(x-%5Comega_p%5E%7Bp-1%7D)%20%3D%20p%24%2C%20i.e.%20%24%5Cbeta%5E2%20%3D%20(-1)%5E%7B(p-1)%2F2%7Dp%24%2C%20which%20is%20%24p%24%20if%20%24p%20%5Cequiv%201%20%5Cpmod%7B4%7D%24%20and%20%24-p%24%20if%20%24p%20%5Cequiv%203%20%5Cpmod%7B4%7D%24.%20So%20%24%5Cbeta%20%3D%20%5Csqrt%7Bp%7D%24%20or%20%24%5Csqrt%7B-p%7D%24%3B%20%24%5Cbeta%24%20is%20clearly%20in%20%24%5Cmathbb%7BQ%7D_p%24%20and%20we%20have%20the%20desired%20statement.%0A%0A%20%20%20%20%23%23%23%20Part%203%0A%0A%20%20%20%20%24%5Cmathbb%7BQ%7D_n(i)%24%20contains%20%24e%5E%7B2%5Cpi%20i%2Fn%7D%24%20and%20%24i%20%3D%20e%5E%7B%5Cpi%20i%2F2%7D%24%2C%20we%20want%20to%20build%20%24e%5E%7B2%20%5Cpi%20i%2F4n%7D%24%20from%20them.%20It%20is%20easy%3A%20%24e%5E%7B2%5Cpi%20i%2Fn%7De%5E%7B%5Cpi%20i%2F2%7D%24%20gives%20%24e%5E%7B(4%2Bn)%5Cpi%20i%2F2n%7D%24%2C%20since%20%24n%24%20is%20odd%2C%20it%20can%20only%20be%20%24%5Cpm%201%20%5Cpmod%7B4%7D%24%2C%20i.e.%20by%20times%20multiple%20of%20%24i%24's%2C%20eventually%20we%20will%20get%20%24e%5E%7B2%20%5Cpi%20i%2F4n%7D%24%20or%20%24e%5E%7B-2%20%5Cpi%20i%2F4n%7D%24%2C%20which%20can%20generate%20all%20the%20%244n%24-th%20roots%20of%20unity.%0A%0A%20%20%20%20The%20other%20inclusion%20is%20obvious.%0A%0A%20%20%20%20%23%23%23%20Part%204%0A%0A%20%20%20%20Any%20%24N%24%20can%20be%20factorized%20into%20product%20of%20(positive)%20primes%20and%20possibly%20a%20%24-1%24%2C%20so%20if%20we%20can%20find%20a%20%24%5Cmathbb%7BQ%7D_n%24%20such%20that%20it%20contains%20all%20%24%5Csqrt%7Bp%7D%24%20for%20%24p%24%20prime%20factor%20of%20%24N%24%20and%20possibly%20%24i%24%20we%20are%20done.%0A%0A%20%20%20%20By%20above%20arguments%3A%0A%0A%20%20%20%201.%20If%20%24p%24%20is%20odd%20(i.e.%20not%20%242%24)%20and%20%24%5Cequiv%201%20%5Cpmod%7B4%7D%24%20then%20%24%5Csqrt%7Bp%7D%20%5Cin%20%5Cmathbb%7BQ%7D_p%24%3B%0A%20%20%20%202.%20If%20%24p%24%20is%20odd%20and%20%24%5Cequiv%203%20%5Cpmod%7B4%7D%24%20then%20%24%5Csqrt%7B-p%7D%20%5Cin%20%5Cmathbb%7BQ%7D_p%24%20and%20%24%5Csqrt%7Bp%7D%20%5Cin%20%5Cmathbb%7BQ%7D_%7B4p%7D%24%20(this%20one%20will%20also%20contain%20%24i%24)%3B%0A%20%20%20%203.%20The%20only%20special%20case%20is%20when%20%24p%20%3D%202%24%2C%20but%20we%20know%20%24%5Csqrt%7B%5Cpm%202%7D%24%20are%20in%20%24%5Cmathbb%7BQ%7D_8%20%3D%20%5Cmathbb%7BQ%7D(%5Csqrt%7B2%7D%2Ci)%24.%0A%0A%20%20%20%20Also%20it%20is%20easy%20to%20see%20that%20%24%5Cmathbb%7BQ%7D_p%20%5Csubset%20%5Cmathbb%7BQ%7D_q%24%20if%20%24p%20%7C%20q%24%2C%20so%20it%20is%20easy%20to%20put%20all%20the%20prime%20factors%20together%2C%20and%20the%20result%20follows.%0A%0A%20%20%20%20%23%23%20Exercise%204%0A%0A%20%20%20%20**Write%20down%20an%20irreducible%20polynomial%20of%20degree%20%245%24%20whose%20Galois%20group%20over%20%24%5Cmathbb%7BQ%7D%24%20is%20cyclic**.%0A%0A%20%20%20%20Solution%0A%0A%20%20%20%20We%20may%20use%20the%20result%20of%20Gauss%20Theorem%20about%20the%20cyclotomic%20field%3A%0A%0A%20%20%20%20%3E%20%24%5CPhi_n%24%20is%20irreducible%20over%20%24%5Cmathbb%7BQ%7D%24%2C%20thus%20%24%5Cmathbb%7BQ%7D_n%24%20is%20Galois%20extension%20of%20%24%5Cmathbb%7BQ%7D%24%2C%20%24%5B%5Cmathbb%7BQ%7D_n%3A%5Cmathbb%7BQ%7D%5D%3D%20%5Cvarphi(n)%24%2C%20and%20%24Gal(%5Cmathbb%7BQ%7D_n%20%7C%20%5Cmathbb%7BQ%7D)%20%3D%20U_n%24.%0A%0A%20%20%20%20However%20we%20cannot%20use%20it%20directly%20on%20%245%24%2C%20because%20as%20argued%20in%20exercise%20No.%202%20above%2C%20%24%5Cvarphi(n)%24%20is%20always%20even%20so%20cannot%20be%20%245%24-%20but%20there%20is%20an%20easy%20workaround%3A%20take%20%2411%24%2C%20which%20is%20a%20prime%2C%20so%20that%20%24%5Cvarphi(11)%20%3D%2011%20-%201%20%3D%2010%24%20is%20a%20multiple%20of%20%245%24%2C%20and%20we%20will%20use%20Fundamental%20Theorem%20of%20Galois%20Theory%20to%20find%20some%20degree%20%245%24%20Galois%20(normal)%20extension%20from%20here.%0A%0A%20%20%20%20So%20consider%20%24%5Cmathbb%7BQ%7D_%7B11%7D%20%3D%20%5Cmathbb%7BQ%7D(%5Czeta_%7B11%7D)%24%20(%24%5Czeta_%7B11%7D%24%20is%20the%20first%20root%20of%20unity%20of%20degree%20%2411%24%2C%20which%20is%20%24e%5E%7B2%5Cpi%20i%2F11%7D%24)%2C%20by%20Gauss%20it%20is%20Galois%20over%20%24%5Cmathbb%7BQ%7D%24%20with%20degree%20%2410%24%20and%20%24Gal(%5Cmathbb%7BQ%7D_%7B11%7D%7C%20%5Cmathbb%7BQ%7D)%20%3D%20C_%7B10%7D%24.%20%24C_%7B10%7D%20%3D%20C_2%20%5Ctimes%20C_5%24%2C%20and%20since%20cyclic%20groups%20are%20abelian%2C%20any%20subgroup%20is%20normal.%20So%20essentially%20we%20want%20to%20find%20an%20intermediate%20fixed%20field%20%24E%24%20which%20corresponds%20to%20the%20subgroup%20%24C_2%24%20of%20%24C_%7B10%7D%24.%20We%20can%20find%20such%20%24E%24%20by%20noticing%20that%20the%20minimal%20polynomial%20of%20%24%5Czeta_%7B11%7D%24%20over%20the%20field%20%24%5Cmathbb%7BQ%7D(%5Czeta_%7B11%7D%20%2B%20%5Czeta_%7B11%7D%5E%7B-1%7D)%24%20(which%20is%20%24(x-%5Czeta_%7B11%7D)(x-%5Czeta_%7B11%7D%5E%7B-1%7D)%20%3D%20x%5E2%20-%20(%5Czeta_%7B11%7D%20%2B%20%5Czeta_%7B11%7D%5E%7B-1%7D)x%20%2B%201%24)%20has%20degree%20%242%24%2C%20so%20%24%5Cmathbb%7BQ%7D(%5Czeta_%7B11%7D%20%2B%20%5Czeta_%7B11%7D%5E%7B-1%7D)%24%20is%20what%20we%20want.%20By%20Fundamental%20Theorem%20of%20Galois%20Theory%20we%20have%20that%20%24%24Gal(%5Cmathbb%7BQ%7D(%5Czeta_%7B11%7D%2B%5Czeta_%7B11%7D%5E%7B-1%7D)%20%7C%20%5Cmathbb%7BQ%7D)%20%5Ccong%20Gal(%5Cmathbb%7BQ%7D(%5Czeta_%7B11%7D)%20%7C%20%5Cmathbb%7BQ%7D)%2FGal(%5Cmathbb%7BQ%7D(%5Czeta_%7B11%7D)%20%7C%20%5Cmathbb%7BQ%7D(%5Czeta_%7B11%7D%2B%5Czeta_%7B11%7D%5E%7B-1%7D))%20%5Ccong%20C_%7B10%7D%2FC_2%20%5Ccong%20C_5.%24%24%20Now%20we%20just%20need%20to%20find%20the%20minimal%20polynomial%20of%20%24%5Czeta_%7B11%7D%2B%5Czeta_%7B11%7D%5E%7B-1%7D%20%3D%20%5Czeta%20%2B%20%5Czeta%5E%7B10%7D%24%2C%20and%20it%20will%20have%20a%20Galois%20group%20of%20%24C_5%24.%20We%20already%20know%20that%20this%20polynomial%20will%20be%20a%20quintic%2C%20so%20let's%20just%20write%20it%20down%20in%20its%20%241%2C2%2C3%2C4%2C5%24-th%20powers%3A%20%24%24%5Cbegin%7Baligned%7D%20x%20%26%3D%20%5Czeta%20%2B%20%5Czeta%5E%7B10%7D%20%5C%5C%20x%5E2%20%26%3D%202%20%2B%20%5Czeta%5E2%20%2B%20%5Czeta%5E9%20%5C%5C%20x%5E3%20%26%3D%203%5Czeta%20%2B%20%5Czeta%5E3%20%2B%20%5Czeta%5E8%20%2B%203%5Czeta%5E%7B10%7D%20%5C%5C%20x%5E4%20%26%3D%206%20%2B%204%5Czeta%5E2%20%2B%20%5Czeta%5E4%20%2B%20%5Czeta%5E7%20%2B%204%5Czeta%5E9%20%5C%5C%20x%5E5%20%26%3D%2010%5Czeta%20%2B%205%5Czeta%5E3%20%2B%20%5Czeta%5E5%20%2B%20%5Czeta%5E6%20%2B%205%5Czeta%5E8%20%2B%2010%5Czeta%5E%7B10%7D%5Cend%7Baligned%7D.%24%24%20Use%20the%20fact%20that%20summation%20of%20all%20%24n%24-th%20root%20of%20unity%20(including%20%241%24)%20is%20%240%24%2C%20it%20is%20not%20hard%20to%20get%20%24x%5E5%20%2B%20x%5E4%20-%204x%5E3%20-%203x%5E2%20%2B%203x%20%2B%201%20%3D%200%24.%20That%20is%20a%20polynomial%20we%20want.%0A%0A%20%20%20%20%23%23%20Exercise%205%0A%0A%20%20%20%20**These%20problems%20involve%20%24Gal(f)%24%20for%20%24f(x)%20%3D%20x%5En%2Bpx%2Bq%24.%20Note%20that%20%24D(f)%20%3D%20(-1)%5E%7Bn(n-1)%2F2%7Dn%5Enq%5E%7Bn-1%7D%20%2B%20(-1)%5E%7B(n-2)(n-1)%2F2%7D(n-1)%5E%7Bn-1%7Dp%5En%24**.%0A%0A%20%20%20%201.%20**Prove%20that%20the%20Galois%20group%20of%20%24x%5E5%20%2B%2020x%20%2B%2016%24%20over%20%24%5Cmathbb%7BQ%7D%24%20is%20%24A_5%24**%3B%0A%20%20%20%202.%20**Let%20%24f(x)%20%3D%20x%5E7%20-%207x%20%2B%203%24.%20Running%20SAGE%20to%20determine%20its%20Galois%20group%2C%20e.g**.%2C%0A%20%20%20%20%09%60%60%60python%0A%20%20%20%20%09K.%3Cz%3E%20%3D%20NumberField(x%5E7-7*x%2B3)%0A%20%20%20%20%09G%20%3D%20K.galois_group()%0A%20%20%20%20%09%3E%3E%20Galois%20group%207T5%20(L(3%2C2))%20with%20order%20168%20of%20x%5E7-7*x%2B3.%0A%20%20%20%20%09%60%60%60%0A%20%20%20%20%09**Try%20to%20decipher%20and%20justify%20this%20answer.%20What%20are%20the%20roots%20of%20%24x%5E7-7x%2B3%24%20in%20%24%5Cmathbb%7BC%7D%24%3F%20What%20cycle%20types%20arise%20in%20its%20Galois%20group**%3F%0A%0A%20%20%20%20Solution%0A%0A%20%20%20%20Carefully%20calculate%20%24D(f)%20%3D%201024000000%20%3D%2032000%5E2%24%2C%20so%20the%20Galois%20group%20%24G%24%20of%20%24x%5E5%20%2B%2020x%20%2B%2016%24%20over%20%24%5Cmathbb%7BQ%7D%24%20will%20be%20a%20subgroup%20of%20%24A_5%24.%0A%0A%20%20%20%20Use%20SAGE%2C%20take%20%24f%24%20mod%20%243%24%20we%20have%20%24x%5E5%20%2B%202x%20%2B%201%24%20is%20irreducible%2C%20so%20%24G%24%20contains%20a%20%245%24-cycle%3B%20take%20mod%20%247%24%20we%20have%20a%20%243%24-cycle%3B%20take%20mod%20%2423%24%20we%20have%20a%20%24(2%2C2)%24-cycle.%0A%0A%20%20%20%20So%20now%20the%20cardinality%20of%20%24G%24%20must%20divides%20%243%2C5%2C2%24%20thus%20%2430%24%2C%20but%20%24A_5%24%20is%20simple%20thus%20cannot%20have%20a%20subgroup%20of%20cardinality%20%2430%24%20(otherwise%20it%20is%20a%20normal%20subgroup%20because%20%24%7C%20A_5%20%7C%20%3D%2060%20%3D%202%5Ccdot%2030%24)%2C%20so%20the%20only%20possible%20value%20of%20%24%7C%20G%20%7C%24%20is%20%2460%24%2C%20i.e.%20%24G%20%3D%20A_5%24.%0A%0A%20%20%20%20For%20the%20second%20part%2C%20calculate%20%24D(f)%20%3D%2037822859361%20%3D%20194481%5E2%24%2C%20so%20%24G_f%24%20is%20a%20subgroup%20of%20%24A_7%24.%20Use%20SAGE%2C%20in%20mod%20%245%24%20we%20have%20a%20%247%24-cycle%2C%20%2413%24%20we%20have%20%24(2%2C4)%24-cycle%2C%20%24(3%2C3)%24-cycle%20in%20%2417%24%20and%20%24(2%2C2)%24-cycle%20in%20%2479%24.%0A%0A%20%20%20%20On%20the%20LMFDB%20website%20there%20are%20information%20about%20this%20group%20'7T5'%2C%20in%20particular%20it%20lists%20the%20conjugacy%20classes%3A%20%24%24%5Cbegin%7Barray%7D%20%7B%7Cr%7Cr%7Cr%7C%7D%5Chline%20%5Ctext%7BCycle%20Type%7D%20%26%20%5Ctext%7BSize%7D%20%26%20%5Ctext%7BOrder%7D%20%5C%5C%20%5Chline%200%20%26%201%20%26%201%20%5C%5C%20%5Chline%2022%20%26%2021%20%26%202%20%5C%5C%20%5Chline%2042%20%26%2042%20%26%204%20%5C%5C%20%5Chline%2033%20%26%2056%20%26%203%20%5C%5C%20%5Chline%207%20%26%2024%20%26%207%20%5C%5C%20%5Chline%207%20%26%2024%20%26%207%20%5C%5C%20%5Chline%20%20%5Cend%7Barray%7D%24%24%0A%20%20%20%20So%20we%20know%20the%20occurrences%20of%20cycle%20types%20in%20the%20Galois%20group%2C%20without%20a%20better%20idea%20I%20used%20some%20python%20code%20to%20iterate%20the%20first%20~40k%20prime%20numbers%20to%20see%20if%20the%20occurrences%20of%20cycle%20types%20associated%20with%20%24%5Coverline%7Bf%7D%20%5Cin%20%5Cmathbb%7BZ%7D_p%24%20match%20this%20distribution%20(normalized%20so%20total%20occurrences%20are%20%24168%24).%20The%20result%3A%0A%20%20%20%20%60%60%60python%0A%20%20%20%20cyc-tp%20occtarget%20occ%0A%20%20%20%201111111%200.97%201%0A%20%20%20%2011122%2021.06%2021%0A%20%20%20%20124%2042.16%2042%0A%20%20%20%20133%2056.2%2056%0A%20%20%20%207%2047.61%2048%0A%20%20%20%20%60%60%60%0A%20%20%20%20So%20they%20are%20indeed%20'pretty%20close'%2C%20so%20'7T5'%20is%20highly%20possible%20to%20be%20the%20answer%20(if%20it%20is%20the%20only%20subgroup%20of%20%24A_7%24%20with%20such%20a%20distribution%20of%20cycle%20types).%0A%0A%20%20%20%20Plot%20the%20graph%20of%20this%20polynomial%20we%20can%20see%20it%20has%20%243%24%20real%20roots%2C%20thus%20%242%24%20pairs%20of%20complex%20roots%20conjugate%20to%20each%20other%2C%20I%20can't%20see%20a%20further%20relation%20between%20them%20though.%0A%20%20%20%20%22%22%22)%0A%20%20%20%20return%0A%0A%0A%40app.cell%0Adef%20_(mo)%3A%0A%20%20%20%20mo.md(r%22%22%22%0A%20%20%20%20%23%20Fall%20Semester%20Homework%204%0A%20%20%20%20%22%22%22)%0A%20%20%20%20return%0A%0A%0A%40app.cell%0Adef%20_(mo)%3A%0A%20%20%20%20mo.md(r%22%22%22%0A%20%20%20%20%23%23%20Exercise%201%0A%0A%20%20%20%20**Show%20that%20%24Aut(%5Cmathbb%7BZ%7D_8)%20%3D%20%5Cmathbb%7BZ%7D_2%20%5Ctimes%20%5Cmathbb%7BZ%7D_2%24**.%0A%0A%20%20%20%20Proof%0A%0A%20%20%20%20Let%20%24%5Csigma%24%20be%20automorphism%2C%20so%20it%20must%20has%20the%20form%20sending%20%24x%20%5Cmapsto%20x%5En%24%2C%20apparently%20we%20must%20have%20%24%5Cgcd(n%2C8)%20%3D%201%24%20otherwise%20it%20is%20not%20an%20automorphism%2C%20so%20%24n%24%20can%20be%20%241%2C3%2C5%24%20or%20%247%24%2C%20these%20maps%20are%20all%20distinct%2C%20so%20%24%7C%20Aut(%5Cmathbb%7BZ%7D_8)%20%7C%20%3D%204%24%2C%20and%20it%20is%20easy%20to%20see%20each%20of%20the%20automorphism%20has%20period%20(at%20most)%20%242%24%2C%20so%20the%20group%20%24Aut(%5Cmathbb%7BZ%7D_8)%20%5Ccong%20%5Cmathbb%7BZ%7D_2%20%5Ctimes%20%5Cmathbb%7BZ%7D_2%24.%0A%0A%20%20%20%20%23%23%20Exercise%202%0A%0A%20%20%20%20**Let%20%24A%20%5Clhd%20G%2C%20B%20%5Clhd%20G%24%20with%20the%20quotients%20%24G%2FA%2C%20G%2FB%24%20both%20abelian.%20Claim%3A%20Then%20%24G%2F(A%20%5Ccap%20B)%24%20is%20abelian**.%0A%0A%20%20%20%201.%20**Give%20a%20one-line%20proof%20of%20this%20claim%20by%20using%20the%20derived%20subgroup%20%24G'%24**%3B%0A%20%20%20%202.%20**Deduce%20this%20claim%20from%20the%20Homomorphism%20Theorem%20without%20using%20%24G'%24%20or%20the%20commutators**.%0A%0A%20%20%20%20Proof%0A%0A%20%20%20%20We%20have%20that%20%24G'%20%5Cle%20A%24%20and%20%24G'%20%5Cle%20B%24%20thus%20%24G'%20%5Cle%20A%20%5Ccap%20B%24%2C%20thus%20%24G%2F(A%5Ccap%20B)%24%20is%20abelian.%0A%0A%20%20%20%20To%20be%20a%20little%20bit%20more%20specific%2C%20first%20we%20use%20the%20fact%20that%20intersection%20of%20normal%20subgroups%20is%20still%20a%20normal%20subgroup%2C%20so%20%24G%2F(A%5Ccap%20B)%24%20is%20indeed%20a%20group.%20Then%20we%20have%20%24A%20%5Ccap%20B%24%20contains%20all%20commutators%2C%20so%20for%20any%20%24x%2Cy%20%5Cin%20G%24%20we%20have%20that%20%24x(A%20%5Ccap%20B)y(A%5Ccap%20B)(A%20%5Ccap%20B)x%5E%7B-1%7D(A%20%5Ccap%20B)y%5E%7B-1%7D%24%20%24%3D%20(xyx%5E%7B-1%7Dy%5E%7B-1%7D)(A%20%5Ccap%20B)%24%20%24%3D%20A%20%5Ccap%20B%24.%20Thus%20%24G%2F(A%20%5Ccap%20B)%24%20is%20abelian%20because%20commutator%20is%20always%20the%20neutral%20element.%0A%0A%20%20%20%20Now%20without%20using%20commutators%3A%0A%0A%20%20%20%201.%20%24AB%24%20is%20normal%20subgroup%20of%20%24G%24%20and%20%24G%2FAB%24%20is%20abelian%3A%20For%20any%20%24g%20%5Cin%20G%2C%20a%20%5Cin%20A%2C%20b%20%5Cin%20B%24%2C%20we%20have%20%24gabg%5E%7B-1%7D%20%3D%20gag%5E%7B-1%7Dgbg%5E%7B-1%7D%20%5Cin%20AB%24%20because%20%24A%2CB%24%20are%20normal%3B%20similarly%20%24G%2FAB%24%20is%20abelian%20because%20both%20%24G%2FA%2C%20G%2FB%24%20are%20abelian%3B%0A%20%20%20%202.%20%24AB%2FA%5Ccap%20B%24%20is%20abelian%3A%20consider%20the%20map%20%24%5Cvarphi%3A%20AB%20%5Cto%20AB%2FA%20%5Ctimes%20AB%2FB%24%20given%20by%20%24g%20%5Cmapsto%20(gA%2C%20gB)%24%3B%0A%20%20%20%20%091.%20%24%5Cker%7B%5Cvarphi%7D%20%3D%20A%20%5Ccap%20B%24%3B%0A%20%20%20%20%092.%20%24AB%2FA%2C%20AB%2FB%24%20are%20subgroup%20of%20%24G%2FA%2C%20G%2FB%24%20thus%20abelian%3B%0A%20%20%20%20%093.%20%24%5Cvarphi%24%20is%20surjective%3A%20an%20generic%20element%20in%20the%20codomain%20is%20%24(g_1A%2Cg_2B)%20%3D%20(a_1b_1A%2C%20a_2b_2B)%24%20%24%3D(b_1a_3b_1%5E%7B-1%7Db_1A%2C%20a_2B)%24%20%24%3D(b_1A%2Ca_2B)%24%2C%20so%20image%20of%20%24g%20%3D%20b_1a_2%24%20is%20%24(g_1A%2Cg_2B)%24%3B%0A%20%20%20%20%09So%20%24AB%2FA%20%5Ccap%20B%20%5Ccong%20AB%2FA%20%5Ctimes%20AB%2FB%24%20by%20First%20Isomorphism%20Theorem%20and%20(product%20of%20abelian%20groups)%20is%20abelian%3B%0A%20%20%20%203.%20Now%20Third%20Isomorphism%20Theorem%20says%20%24G%2FA%20%5Ccap%20B%20%5Ccong%20(G%2FAB)%20%5Ctimes%20(AB%2FA%20%5Ccap%20B)%24%20thus%20it%20is%20abelian.%0A%0A%20%20%20%20A%20much%20easier%20way%20for%20part%202%20(it%20is%20actually%20in%20the%20above%20proof)%3A%0A%0A%20%20%20%20Consider%20the%20map%20%24%5Cvarphi%3A%20G%20%5Cto%20G%2FA%20%5Ctimes%20G%2FB%24%20given%20by%20%24g%20%5Cmapsto%20(gA%2C%20gB)%24%2C%20then%20%24%5Cker%7B%5Cvarphi%7D%20%3D%20A%20%5Ccap%20B%24%2C%20so%20we%20have%20%24G%2F(A%20%5Ccap%20B)%20%5Ccong%20G%2FA%20%5Ctimes%20G%2FB%24%20and%20result%20follows.%0A%0A%20%20%20%20%23%23%20Exercise%203%0A%0A%20%20%20%20**Let%20%24H%20%5Clhd%20G%24%2C%20%24%7C%20H%20%7C%20%3D%207%24%2C%20%24%7C%20G%20%7C%20%3D%20203%24%2C%20show%20that%20%24H%20%3C%20Z(G)%24**.%0A%0A%20%20%20%20Proof%0A%0A%20%20%20%20Since%20%24203%20%3D%207%20%5Ccdot%2029%24%20and%20%247%2C%2029%24%20are%20both%20primes%2C%20in%20particular%20we%20know%20there%20is%20some%20subgroup%20%24H'%24%20with%2029%20elements%20(Cauchy)%2C%20and%20that%20%24H%2C%20H'%24%20are%20both%20cyclic.%0A%0A%20%20%20%20Given%20that%20the%20subgroup%20of%20order%20%247%24%20is%20normal%2C%20semi-direct%20product%20is%20not%20possible%3A%0A%0A%20%20%20%20We%20know%20%24Aut(H)%20%5Ccong%20%5Cmathbb%7BZ%7D_6%24.%20Element%20in%20%24H'%24%20can%20only%20have%20order%20%241%24%20or%20%2429%24%2C%20so%20order%20of%20%24%5Cvarphi(a)%24%20can%20only%20be%20%241%24%20(because%20it%20must%20be%20factor%20of%20%246%24%2C%20and%20also%20factor%20of%20%241%24%20or%20%2429%24)%2C%20where%20%24%5Cvarphi%3A%20H'%20%5Cto%20Aut(H)%24%20and%20%24a%20%5Cin%20H'%24.%20Thus%20%24%5Cvarphi%24%20can%20only%20be%20trivial%20homomorphism%20and%20%24G%20%3D%20H%20%5Ctimes%20H'%24.%0A%0A%20%20%20%20In%20particular%20%24G%24%20is%20(direct)%20product%20of%20abelian%20groups%20thus%20abelian%2C%20thus%20%24Z(G)%20%3D%20G%24%20and%20of%20course%20we%20have%20%24H%20%3C%20Z(G)%20%3D%20G%24.%0A%0A%20%20%20%20%23%23%20Exercise%204%0A%0A%20%20%20%20**We%20consider%20%24G%20%3D%20%5Cmathbb%7BZ%7D_5%20%5Cltimes%20N%24%20where%20%24%7C%20N%20%7C%20%3D%2029%5E2%20%3D%20841%24**.%0A%0A%20%20%20%201.%20**Show%20that%20the%20only%20possible%20semi-direct%20product%20%24%5Cmathbb%7BZ%7D_5%20%5Cltimes%20%5Cmathbb%7BZ%7D_%7B841%7D%24%20is%20actually%20a%20direct%20product%20(Fact%3A%20%24Aut(%5Cmathbb%7BZ%7D_%7Bp%5E2%7D)%20%5Ccong%20%5Cmathbb%7BZ%7D_%7Bp%5E2-p%7D%24)**%3B%0A%20%20%20%202.%20**Find%20an%20element%20of%20order%20%245%24%20in%20%24GL(2%2C%20%5Cmathbb%7BF%7D_%7B29%7D)%24%2C%20use%20it%20to%20construct%20an%20non-abelian%20semi-direct%20product%20%24G%20%3D%20%5Cmathbb%7BZ%7D_5%20%5Cltimes%20(%5Cmathbb%7BZ%7D_%7B29%7D%20%5Ctimes%20%5Cmathbb%7BZ%7D_%7B29%7D)%24.%20Describe%20this%20product%20by%20giving%20the%20presentation**.%0A%0A%20%20%20%20Solution%0A%0A%20%20%20%201.%20We%20have%20%24Aut(%5Cmathbb%7BZ%7D_%7B841%7D)%20%5Ccong%20%5Cmathbb%7BZ%7D_%7B812%7D%24%2C%20where%20%24812%20%3D%202%5Ccdot%202%20%5Ccdot%207%20%5Ccdot%2029%24%2C%20so%20a%20homomorphism%20%24%5Cvarphi%3A%20%5Cmathbb%7BZ%7D_5%20%5Cto%20%5Cmathbb%7BZ%7D_%7B812%7D%24%20can%20only%20map%20element%20with%20order%20%245%24%20to%20element%20with%20order%20%241%24%2C%20i.e.%20%24%5Cvarphi%24%20can%20only%20be%20trivial%2C%20which%20means%20only%20direct%20product%20is%20viable%3B%0A%20%20%20%202.%20The%20idea%20is%20that%20%24N%20%3D%20%5Cmathbb%7BZ%7D_%7B29%7D%20%5Ctimes%20%5Cmathbb%7BZ%7D_%7B29%7D%20%3D%20%5Clangle%20b%20%5Crangle%20%5Ctimes%20%5Clangle%20c%20%5Crangle%24%20is%20isomorphic%20to%20%24%5Cmathbb%7BF%7D_%7B29%7D%5E2%24%20with%20the%20standard%20generators%20%24%5Ctilde%7Bb%7D%20%3D%20%5Cbegin%7Bpmatrix%7D%201%5C%5C0%20%5Cend%7Bpmatrix%7D%24%20and%20%24%5Ctilde%7Bc%7D%20%3D%20%5Cbegin%7Bpmatrix%7D%200%5C%5C1%20%5Cend%7Bpmatrix%7D%24%20which%20correspond%20to%20%24b%2Cc%24%20respectively%2C%20so%20%24Aut(N)%24%20can%20be%20viewed%20as%20%24GL(2%2C%5Cmathbb%7BF%7D_%7B29%7D)%24.%20Elements%20in%20%24%5Cmathbb%7BZ%7D_5%20%3D%20%5Clangle%20a%20%5Crangle%24%20have%20order%20%245%24%20(except%20for%20%24e%24)%2C%20so%20we%20need%20an%20automorphism%20of%20order%20%245%24%20(which%20can%20be%20viewed%20as%20a%20matrix%20in%20%24GL(2%2C%5Cmathbb%7BF%7D_%7B29%7D)%24).%20We%20may%20do%20that%20by%20factoring%20%24x%5E5%20%3D%201%20%5Cimplies%20x%5E5-1%20%3D%200%24%20in%20%24%5Cmathbb%7BF%7D_%7B29%7D%24%20(we%20want%2C%20in%20particular%2C%20a%20quadratic%20term)%2C%20which%20is%20%24%3D%20(x-1)(x%5E2%2B6x%2B1)(x%5E2-5x%2B1)%24%2C%20the%20last%20part%20can%20be%20seen%20as%20the%20characteristic%20polynomial%20of%20%24%5Cbegin%7Bpmatrix%7D%200%26-1%5C%5C1%265%20%5Cend%7Bpmatrix%7D%20%3D%20%5Ctilde%7B%5Csigma%7D%24%2C%20this%20tells%20us%20%24%5Ctilde%7B%5Csigma%7D%5E5%20%3D%201%20%3D%20e%24%20and%20is%20an%20automorphism%20we%20want.%20This%20automorphism%20takes%20the%20standard%20basis%20in%20the%20addition%20group%20%24%5Ctilde%7B%5Csigma%7D%5Ctilde%7Bb%7D%20%3D%20%5Ctilde%7Bc%7D%24%20and%20%24%5Ctilde%7B%5Csigma%7D%5Ctilde%7Bc%7D%20%3D%20%5Cbegin%7Bpmatrix%7D%20-1%5C%5C5%20%5Cend%7Bpmatrix%7D%20%3D%20-%5Ctilde%7Bb%7D%2B5%5Ctilde%7Bc%7D%24%2C%20so%20viewed%20in%20%24(N%2C%20%5Ccdot)%24%20we%20have%20an%20automorphism%20%24%5Csigma%24%20taking%20%24b%24%20to%20%24c%24%2C%20and%20taking%20%24c%24%20to%20%24b%5E%7B-1%7Dc%5E5%24.%20Since%20this%20automorphism%20is%20originally%20defined%20as%20%24%5Csigma(x)%20%3D%20axa%5E%7B-1%7D%24%2C%20we%20have%20a%20presentation%20of%20%24G%24%20as%0A%20%20%20%20%09%24%24%0A%20%20%20%20%09G%20%3D%20%5Clangle%20a%2Cb%2Cc%20%7C%20a%5E5%20%3D%20b%5E%7B29%7D%20%3D%20c%5E%7B29%7D%20%3D%201%2C%20bc%20%3D%20cb%2C%20aba%5E%7B-1%7D%20%3D%20c%2C%20aca%5E%7B-1%7D%3Db%5E%7B-1%7Dc%5E5%20%5Crangle.%0A%20%20%20%20%09%24%24%0A%0A%20%20%20%20%23%23%20Exercise%205%0A%0A%20%20%20%20**Let%20%24P%20%3D%20%5Cmathbb%7BZ%7D_3%20%5Ctimes%20%5Cmathbb%7BZ%7D_3%24%20be%20a%20subgroup%20of%20%24GL(2%2C%5Cmathbb%7BF%7D_7)%24%20generated%20by%20%24t%20%3D%20%5Cbegin%7Bpmatrix%7D%202%260%5C%5C0%261%20%5Cend%7Bpmatrix%7D%2C%20s%20%3D%20%5Cbegin%7Bpmatrix%7D%201%260%5C%5C0%262%20%5Cend%7Bpmatrix%7D%24.%20The%20group%20%24P%24%20has%20four%20subgroups%20%24P_i%24%20of%20order%20%243%24%20generated%20by%20%24t%2Cs%2Cts%2Ct%5E2s%24%20respectively.%20Define%20%24G_i%20%3D%20%5Cmathbb%7BZ%7D_3%20%5Cltimes_%7B%5Cvarphi_i%7D(%5Cmathbb%7BZ%7D_7%20%5Ctimes%20%5Cmathbb%7BZ%7D_7)%24%20where%20%24%5Cvarphi_i%24%20is%20an%20isomorphism%20of%20%24%5Cmathbb%7BZ%7D_3%24%20with%20%24P_i%20%3C%20GL(2%2C%5Cmathbb%7BF%7D_7)%20%3D%20Aut(%5Cmathbb%7BZ%7D_7%20%5Ctimes%20%5Cmathbb%7BZ%7D_7)%24**.%0A%0A%20%20%20%201.%20**Show%20that%20%24G_1%20%5Ccong%20G_2%24.%20Give%20the%20presentations%20of%20%24G_2%2C%20G_3%2C%20G_4%24**%3B%0A%20%20%20%202.%20**Show%20that%20%24Z(G_2)%24%20is%20non-trivial%2C%20but%20%24Z(G_3)%2C%20Z(G_4)%24%20are%20trivial**%3B%0A%20%20%20%203.%20**Show%20that%20every%20subgroup%20of%20order%20%247%24%20is%20normal%20in%20%24G_3%24%2C%20but%20%24G_4%24%20has%20subgroups%20of%20order%20%247%24%20that%20are%20not%20normal**%3B%0A%20%20%20%204.%20**There%20are%20four%20non-isomorphic%20non-abelian%20groups%20of%20order%20%24147%24.%20We%20have%20constructed%20three%20of%20them%20so%20far%2C%20what%20is%20the%20missing%20one%3F%20Give%20its%20presentation**.%0A%0A%20%20%20%20Proof%0A%0A%20%20%20%20%23%23%23%20Part%201%0A%0A%20%20%20%20We%20know%20that%20%24G_i%20%5Ccong%20G_j%24%20if%20and%20only%20if%20the%20underlying%20automorphisms%20are%20conjugate%2C%20which%20can%20be%20viewed%20as%20matrices%20in%20our%20case.%20Note%20that%20two%20matrices%20that%20are%20conjugate%20must%20have%20same%20trace%3A%20%24ABA%5E%7B-1%7D%20%3D%20C%20%5Cimplies%20tr(B)%20%3D%20tr(C)%24%2C%20so%20each%20pair%20of%20%24t%2C%20ts%2C%20t%5E2s%24%20are%20not%20conjugate%2C%20%24G_1%2C%20G_3%2C%20G_4%24%20are%20not%20isomorphic.%20%24G_1%2C%20G_2%24%20are%20isomorphic%20because%20%24%5Cbegin%7Bpmatrix%7D%200%261%20%5C%5C%201%260%20%5Cend%7Bpmatrix%7D%20%5Cbegin%7Bpmatrix%7D%202%260%20%5C%5C%200%261%20%5Cend%7Bpmatrix%7D%20%5Cbegin%7Bpmatrix%7D%200%261%20%5C%5C%201%260%20%5Cend%7Bpmatrix%7D%5E%7B-1%7D%20%3D%20%5Cbegin%7Bpmatrix%7D%201%260%20%5C%5C%200%262%20%5Cend%7Bpmatrix%7D%24.%0A%0A%20%20%20%20Follow%20the%20reasoning%20as%20problem%204%2C%20we%20see%20%24s%24%20sends%20standard%20basis%20%24b%20%3D%20%5Cbegin%7Bpmatrix%7D%201%5C%5C0%20%5Cend%7Bpmatrix%7D%2C%20c%20%3D%20%5Cbegin%7Bpmatrix%7D%200%5C%5C1%20%5Cend%7Bpmatrix%7D%24%20to%20%24b%24%20and%20%242c%24%20respectively.%20%24ts%20%3D%20%5Cbegin%7Bpmatrix%7D%202%260%20%5C%5C%200%262%20%5Cend%7Bpmatrix%7D%24%20sends%20%24b%2C%20c%24%20to%20%242b%2C%202c%24.%20%24t%5E2s%20%3D%20%5Cbegin%7Bpmatrix%7D%204%260%20%5C%5C%200%262%20%5Cend%7Bpmatrix%7D%24%20sends%20%24b%2Cc%24%20to%20%244b%2C%202c%24.%20So%20the%20presentations%20can%20be%20given%20as%3A%0A%0A%20%20%20%201.%20%24G_2%20%3D%20%5Clangle%20a%2Cb%2Cc%20%7C%20a%5E3%20%3D%20b%5E7%20%3D%20c%5E7%20%3D%201%2C%20bc%20%3D%20cb%2C%20aba%5E%7B-1%7D%20%3D%20b%2C%20aca%5E%7B-1%7D%20%3D%20c%5E2%20%5Crangle%24%3B%0A%20%20%20%202.%20%24G_3%20%3D%20%5Clangle%20a%2Cb%2Cc%20%7C%20a%5E3%20%3D%20b%5E7%20%3D%20c%5E7%20%3D%201%2C%20bc%20%3D%20cb%2C%20aba%5E%7B-1%7D%20%3D%20b%5E2%2C%20aca%5E%7B-1%7D%20%3D%20c%5E2%20%5Crangle%24%3B%0A%20%20%20%203.%20%24G_4%20%3D%20%5Clangle%20a%2Cb%2Cc%20%7C%20a%5E3%20%3D%20b%5E7%20%3D%20c%5E7%20%3D%201%2C%20bc%20%3D%20cb%2C%20aba%5E%7B-1%7D%20%3D%20b%5E4%2C%20aca%5E%7B-1%7D%20%3D%20c%5E2%20%5Crangle%24.%0A%0A%20%20%20%20%23%23%23%20Part%202%0A%0A%20%20%20%20From%20the%20presentation%20we%20can%20see%20in%20%24G_2%24%2C%20%24b%24%20is%20commutative%20with%20both%20%24a%24%20and%20%24c%24%2C%20so%20%24%5Clangle%20b%20%5Crangle%24%20is%20also%20in%20the%20center%2C%20i.e.%20%24Z(G_2)%24%20is%20not%20trivial.%20It%20is%20also%20not%20hard%20to%20see%20in%20%24G_3%2C%20G_4%24%2C%20none%20of%20the%20generators%20is%20commutative%20with%20both%20the%20other%20generators%2C%20so%20there%20will%20not%20be%20any%20non-trivial%20elements%20in%20the%20centers.%0A%0A%20%20%20%20%23%23%23%20Part%203%0A%0A%20%20%20%20Any%20group%20of%20%247%24%20elements%20is%20cyclic%20%24%5Clangle%20g%20%5Crangle%24%2C%20since%20we%20define%20%24G_i%24%20as%20%24%5Cmathbb%7BZ%7D_3%20%5Cltimes_%7B%5Cvarphi_i%7D(%5Cmathbb%7BZ%7D_7%20%5Ctimes%20%5Cmathbb%7BZ%7D_7)%24%2C%20the%20generator%20%24g%24%20is%20of%20form%20%24(b%5Eic%5Ej%2C%20a%5Ek)%24.%20So%20%24g%5E2%20%3D%20(b%5Eic%5Ej%2C%20a%5Ek)%20%5Ccdot%20(b%5Eic%5Ej%2C%20a%5Ek)%24%20%24%3D(b%5Eic%5Ej%5Cvarphi(a%5Ek)(b%5Eic%5Ej)%2Ca%5E%7B2k%7D)%24%20(in%20our%20case%20%24%5Cvarphi(a)%24%20sends%20%24bc%24%20to%20%24b%5E2c%5E2%24)%20%24%3D(b%5E%7Bi%2B2%5Eki%7Dc%5E%7Bj%2B2%5Ekj%7D%2Ca%5E%7B2k%7D)%24.%20Similarly%20%24g%5E7%20%3D%20(b%5E%7Bi%2B6%5Ccdot%202%5Eki%7Dc%5E%7Bj%2B6%5Ccdot%202%5Ekj%7D%2Ca%5E%7B7k%7D)%24%20%24%3De%24%2C%20in%20particular%20%247k%20%5Cequiv%200%20%5Cpmod%7B3%7D%24%20and%20%24i%2B6%5Ccdot%202%5Eki%20%5Cequiv%200%20%5Cpmod%7B7%7D%24%2C%20so%20we%20must%20have%20%24k%20%3D%200%24%20(will%20also%20need%20the%20fact%20that%20%24g%5E3%20%5Cne%20e%24).%20Thus%20%24%5Clangle%20g%20%5Crangle%24%20is%20of%20the%20form%20%24%5Clangle%20b%5Eic%5Ej%20%5Crangle%24.%20This%20works%20for%20both%20%24G_3%24%20and%20%24G_4%24.%0A%0A%20%20%20%20(The%20above%20part%20can%20also%20be%20proved%20using%20Sylow's%20Second%20Theorem.%20A%20subgroup%20of%20%247%24%20elements%20is%20a%20%247%24%20subgroup%2C%20so%20lies%20inside%20a%20(conjugate%20of)%20Sylow%20%247%24-subgroup.%20In%20our%20case%20%24%5Clangle%20b%2Cc%20%5Crangle%24%20is%20a%20Sylow%20%247%24-subgroup%2C%20and%20it%20is%20also%20normal%2C%20so%20it%20is%20the%20only%20Sylow%20%247%24-subgroup%2C%20so%20any%20subgroup%20of%20%247%24%20elements%20must%20lie%20inside%20%24%5Clangle%20b%2Cc%20%5Crangle%24%20so%20has%20the%20form%20%24%5Clangle%20b%5Eic%5Ej%20%5Crangle%24)%0A%0A%20%20%20%20In%20%24G_3%24%20we%20then%20have%20%24ab%5Eic%5Eja%5E%7B-1%7D%24%20%24%3D%20ab%5Eia%5E%7B-1%7Dac%5Eja%5E%7B-1%7D%24%20%24%3D(b%5Eic%5Ej)%5E2%20%5Cin%20%5Clangle%20b%5Eic%5Ej%20%5Crangle%24%3B%20%24bb%5E%7Bi%7Dc%5Ejb%5E%7B-1%7D%20%3D%20b%5Eic%5Ej%24%20and%20%24cb%5Eic%5Ejc%5E%7B-1%7D%20%3D%20b%5Eic%5Ej%24%20because%20%24b%2Cc%24%20commute%2C%20so%20this%20subgroup%20is%20always%20normal.%0A%0A%20%20%20%20In%20%24G_4%24%2C%20the%20subgroup%20%24%5Clangle%20bc%20%5Crangle%24%20has%20order%20%247%24%20but%20is%20not%20normal%2C%20because%20%24abca%5E%7B-1%7D%20%3D%20aba%5E%7B-1%7Daca%5E%7B-1%7D%20%3D%20b%5E4c%5E2%24%20is%20not%20in%20%24%5Clangle%20bc%20%5Crangle%24.%0A%0A%20%20%20%20%23%23%23%20Part%204%0A%0A%20%20%20%20We%20may%20also%20factor%20%24147%24%20as%20%243%20%5Ccdot%2049%24%2C%20since%20%24Aut(%5Cmathbb%7BZ%7D_%7B49%7D)%20%5Ccong%20%5Cmathbb%7BZ%7D_%7B42%7D%24%20and%20%243%20%7C%2042%24%2C%20we%20have%20a%20non-trivial%20homomorphism%20from%20%24%5Cmathbb%7BZ%7D_3%20%3D%20%5Clangle%20a%20%5Crangle%24%20to%20%24%5Cmathbb%7BZ%7D_%7B42%7D%20%3D%20%5Clangle%20%5Cvarphi%20%5Crangle%24%2C%20namely%20sending%20%24a%20%5Cto%20%5Cvarphi%5E%7B14%7D%24.%20We%20can%20take%20%24%5Cvarphi%24%20as%20the%20automorphism%20sending%20%24b%20%5Cin%20%5Cmathbb%7BZ%7D_%7B49%7D%20%3D%20%5Clangle%20b%20%5Crangle%24%20to%20%24b%5E2%24%2C%20then%20%24%5Cvarphi%5E%7B14%7D%24%20sends%20%24b%20%5Cto%20b%5E%7B2%5E%7B14%7D%7D%20%3D%20b%5E%7B18%7D%24%20(taking%20mod%20%2449%24%2C%20because%20%24b%5E%7B49%7D%20%3D%20e%24)%2C%20and%20this%20gives%20a%20semi-direct%20product%20%24%5Cmathbb%7BZ%7D_3%20%5Cltimes%20%5Cmathbb%7BZ%7D_%7B49%7D%20%3D%20%5Clangle%20a%2Cb%20%7C%20a%5E3%20%3D%20b%5E%7B49%7D%20%3D%201%2C%20aba%5E%7B-1%7D%20%3D%20b%5E%7B18%7D%20%5Crangle%24.%0A%0A%20%20%20%20%23%23%20Exercise%206%0A%0A%20%20%20%20**Let%20%24Q%24%20be%20the%20quaternion%20group%20of%20order%20%248%24.%20Show%20that%20%24Q%24%20can%20be%20realized%20as%20a%20non-trivial%20extension%20in%20four%20ways%20-%20thrice%20as%20an%20extension%20of%20%24%5Cmathbb%7BZ%7D_4%24%20by%20%24%5Cmathbb%7BZ%7D_2%24%20and%20once%20as%20an%20extension%20of%20%24%5Cmathbb%7BZ%7D_2%24%20by%20%24%5Cmathbb%7BZ%7D_2%20%5Ctimes%20%5Cmathbb%7BZ%7D_2%24-%20but%20that%20none%20of%20these%20extensions%20is%20split**.%0A%0A%20%20%20%20Proof%0A%0A%20%20%20%20Write%20%24Q%20%3D%20%5Clbrace%20%5Cpm%201%2C%5Cpm%20i%2C%20%5Cpm%20j%2C%20%5Cpm%20k%20%5Crbrace%24.%0A%0A%20%20%20%20Consider%20the%20short%20exact%20sequence%20%241%20%5Cto%20N%20%5Cxrightarrow%7Bi%7D%20Q%20%5Cxrightarrow%7B%5Cpi%7D%20H%20%5Cto%201%24.%20By%20assumption%20we%20must%20have%20that%20%24N%24%20is%20a%20normal%20subgroup%20of%20%24Q%24.%20There%20are%20%244%24%20non-trivial%20subgroups%20of%20%24Q%24%20and%20they%20are%20all%20normal.%0A%0A%20%20%20%20Three%20of%20them%20are%20isomorphic%20to%20%24%5Cmathbb%7BZ%7D_4%24%2C%20namely%20%24%5Clbrace%20%5Cpm1%2C%5Cpm%20i%20%5Crbrace%24%2C%20%24%5Clbrace%20%5Cpm1%2C%5Cpm%20j%20%5Crbrace%24%20and%20%24%5Clbrace%20%5Cpm1%2C%5Cpm%20k%20%5Crbrace%24.%20Since%20those%20subgroups%20are%20of%20order%20%244%24%20we%20must%20have%20%24H%20%3D%20Q%2FN%20%5Ccong%20%5Cmathbb%7BZ%7D_2%24.%20If%20we%20assume%20the%20result%20of%20exercise%20precedent%2C%20then%20we%20know%20%24Q%24%20is%20a%20split%20extension%20if%20and%20only%20%24Q%24%20is%20a%20semi-direct%20product%20of%20%24N%24%20by%20%24H%24%20if%20and%20only%20if%20we%20have%20a%20non-trivial%20homomorphism%20%24H%20%5Cto%20Aut(N)%24%2C%20but%20in%20our%20case%20%24H%20%3D%20Z(Q)%24%2C%20in%20particular%2C%20%241%5Ccdot%20n%20%5Ccdot%201%5E%7B-1%7D%20%3D%20n%24%20and%20%24-1%20%5Ccdot%20n%20%5Ccdot%20-1%5E%7B-1%7D%20%3D%20n%24%20for%20any%20%24n%20%5Cin%20N%24%2C%20so%20this%20homomorphism%20is%20always%20trivial%2C%20so%20%24Q%24%20is%20not%20a%20split%20extension.%0A%0A%20%20%20%20The%20remaining%20normal%20subgroup%20of%20%24Q%24%20is%20%24%5Clbrace%20%5Cpm%201%20%5Crbrace%20%5Ccong%20%5Cmathbb%7BZ%7D_2%24%20(so%20%24Aut(N)%20%3D%201%24%2C%20%24%5Cvarphi%3A%20H%20%5Cto%20Aut(N)%24%20must%20be%20trivial%2C%20so%20%24Q%24%20is%20not%20a%20split%20extension)%2C%20in%20this%20case%20%24Q%2FN%20%3D%20%5Clbrace%20N%2C%20iN%2C%20jN%2C%20kN%20%5Crbrace%20%5Ccong%20%5Cmathbb%7BZ%7D_2%20%5Ctimes%20%5Cmathbb%7BZ%7D_2%24.%0A%0A%20%20%20%20%23%23%20Exercise%207%0A%0A%20%20%20%20**Let%20%24%5BG%3AH%5D%20%3D%20n%24%2C%20show%20that%20there%20exists%20%24K%20%5Clhd%20G%24%20with%20%24K%20%3C%20H%24%20and%20%24%5BG%3AK%5D%20%5Cle%20n!%24**.%0A%0A%20%20%20%20Proof%0A%0A%20%20%20%20By%20assumption%2C%20there%20are%20%24n%24%20(left)%20cosets%20%24gH%24%20in%20%24G%24%2C%20and%20%24G%24%20(left)%20act%20on%20%24G%2FH%24%20by%20%24g(g'H)%20%3D%20(gg')H%24.%20If%20we%20denote%20the%20set%20of%20cosets%20of%20%24H%24%20as%20%24X%24%20then%20for%20any%20%24g%20%5Cin%20G%24%20we%20have%20%24g(X)%20%3D%20X%24%20(if%20%24(gg_1)H%20%3D%20(gg_2)H%24%20then%20%24g_2%5E%7B-1%7Dg%5E%7B-1%7Dgg_1%20%5Cin%20H%24%20then%20%24g_2%5E%7B-1%7Dg_1%20%5Cin%20H%24%20then%20%24g_1H%20%3D%20g_2H%24)%3B%20for%20each%20%24g%24%2C%20we%20can%20in%20particular%20view%20the%20correspondence%20as%20a%20permutation%20%24%5Calpha_g%24.%0A%0A%20%20%20%20Thus%20we%20have%20a%20map%20%24%5Cvarphi%3A%20G%20%5Cto%20S_n%24%20where%20%24S_n%24%20is%20the%20symmetry%20group%20with%20%24n%20%3D%20%7C%20X%7C%24%2C%20and%20%24%5Cvarphi(g)%20%3D%20%5Calpha_g%24.%20For%20any%20%24g_1%2Cg_2%20%5Cin%20G%24%2C%20we%20have%20%24%5Cvarphi(g_1g_2)%20%3D%20%5Calpha_%7Bg_1g_2%7D%24%20maps%20%24gH%24%20to%20%24g_1g_2gH%24%3B%20and%20%24%5Cvarphi(g_1)%5Cvarphi(g_2)%20%3D%20%5Calpha_%7Bg_1%7D%5Calpha_%7Bg_2%7D%24%20maps%20%24gH%24%20to%20%24g_2gH%24%20to%20%24g_1g_2gH%24%2C%20so%20they%20are%20equivalent%20as%20maps%2C%20thus%20%24%5Cvarphi%24%20is%20a%20homomorphism.%0A%0A%20%20%20%20Let%20%24K%20%3D%20%5Cker%7B%5Cvarphi%7D%24%2C%20then%20%24K%24%20is%20a%20normal%20subgroup%20of%20%24G%24.%20The%20First%20Isomorphism%20Theorem%20says%20%24G%2FK%20%5Ccong%20%5Ctext%7Bim%7D(%5Cvarphi)%24%2C%20which%20is%20a%20subgroup%20of%20%24S_n%24%20with%20%24%7C%20S_n%20%7C%20%3D%20n!%24%2C%20in%20particular%20%24%5BG%3AK%5D%20%3D%20%7C%20G%2FK%20%7C%20%5Cle%20n!%24.%0A%0A%20%20%20%20By%20definition%20of%20kernel%2C%20for%20any%20%24k%20%5Cin%20K%24%20we%20have%20%24%5Cvarphi(k)%20%3D%20%5Calpha_k%20%3D%20%5Ctext%7Bid%7D%24%2C%20i.e.%20%24kgH%20%3D%20gH%24%20for%20all%20%24g%24%2C%20which%20means%20%24k%20%5Cin%20H%24%20thus%20%24K%20%3C%20H%24.%0A%20%20%20%20%22%22%22)%0A%20%20%20%20return%0A%0A%0A%40app.cell%0Adef%20_(mo)%3A%0A%20%20%20%20mo.md(r%22%22%22%0A%20%20%20%20%23%20Fall%20Semester%20Homework%205%0A%20%20%20%20%22%22%22)%0A%20%20%20%20return%0A%0A%0A%40app.cell%0Adef%20_(mo)%3A%0A%20%20%20%20mo.md(r%22%22%22%0A%20%20%20%20%23%23%20Exercise%201%0A%0A%20%20%20%20**Let%20%24G%24%20be%20a%20finite%20group%2C%20let%20%24r%24%20be%20the%20number%20of%20conjugacy%20classes%20of%20%24G%24%2C%20show%20that%20%24%7C%20%5Clbrace%20(a%2Cb)%20%5Cin%20G%20%5Ctimes%20G%20%7C%20ab%20%3D%20ba%20%5Crbrace%20%7C%20%3D%20r%20%7C%20G%20%7C%24**.%0A%0A%20%20%20%20Proof%0A%0A%20%20%20%20Write%20the%20LHS%20as%20%24%7C%20%5Clbrace%20(a%2Cb)%20%5Cin%20G%20%5Ctimes%20G%20%7C%20aba%5E%7B-1%7D%20%3D%20b%20%5Crbrace%20%7C%24%2C%20we%20can%20realize%20that%20what%20it%20does%20is%20to%20count%20%24C_G(b)%24%20for%20all%20%24b%20%5Cin%20G%24%20and%20add%20them%20together.%0A%0A%20%20%20%20We%20know%20from%20the%20counting%20rule%20(Orbit-Stabilizer%20Theorem%2C%20%24G%24%20acts%20on%20itself%20by%20conjugation)%20that%20for%20each%20%24b%24%20we%20have%20%24%7C%20K_b%20%7C%20%3D%20%5BG%20%3A%20C_G(x)%5D%24%20so%20%24%7C%20C_G(b)%20%7C%20%3D%20%7C%20G%20%7C%20%2F%20%7C%20K_b%20%7C%24%20where%20%24K_b%24%20is%20the%20conjugacy%20class%20of%20%24b%24.%20We%20also%20know%20that%20the%20conjugacy%20classes%20form%20a%20partition%20of%20%24G%24.%0A%0A%20%20%20%20So%20we%20have%20LHS%20%24%3D%24%20%24%7C%20%5Clbrace%20(a%2Cb)%20%5Cin%20G%20%5Ctimes%20G%20%7C%20aba%5E%7B-1%7D%20%3D%20b%20%5Crbrace%20%7C%24%20%24%3D%20%5Csum%5Climits_%7Bb%20%5Cin%20G%7D%20%7C%20C_G(b)%20%7C%24%20%24%3D%20%5Csum%5Climits_%7BU_i%5Ctext%7B%20conjugacy%20classes%20of%20G%7D%7D%20%5Csum%5Climits_%7Bb%20%5Cin%20U_i%7D%20%7C%20C_G(b)%20%7C%24%20%24%3D%20%5Csum%5Climits_%7BU_i%7D%20%5Csum%5Climits_%7Bb%20%5Cin%20U_i%7D%20%7C%20G%20%7C%20%2F%20%7C%20K_b%20%7C%24%20%24%3D%20%5Csum%5Climits_%7BU_i%7D%20%7C%20K_b%20%5C%7C%20G%20%7C%20%2F%20%7C%20K_b%20%7C%24%20(because%20for%20each%20%24b%24%20in%20the%20same%20conjugacy%20class%2C%20%24K_b%24%20are%20apparently%20the%20same%2C%20and%20there%20are%20%24%7C%20K_b%20%7C%24%20many%20of%20them)%20%24%3D%20%5Csum%5Climits_%7BU_i%7D%7C%20G%20%7C%24%2C%20and%20now%20it%20is%20easy%20to%20see%20this%20summation%20only%20depends%20on%20the%20number%20of%20conjugacy%20classes%20of%20%24G%24%2C%20which%20equals%20%24r%20%7C%20G%20%7C%24%20as%20desired.%0A%0A%20%20%20%20%23%23%20Exercise%202%0A%0A%20%20%20%20**Let%20%24G%24%20be%20a%20finite%20group%2C%20%24C%20%3D%20%5Cmathbb%7BZ%7D_n%2C%20n%5Cge%202%24%20and%20it%20is%20viewed%20additively%20(as%20%24%5Cmathbb%7BZ%7D%2Fn%5Cmathbb%7BZ%7D%24).%20Let%20%24%5COmega%24%20be%20the%20set%20of%20%24n%24-tuples%20%24(x_1%2C%5Cdots%2C%20x_n)%24%20of%20elements%20of%20%24G%24%20such%20that%20%24x_1x_2%5Cdots%20x_n%20%3D%201%24**.%0A%0A%20%20%20%201.%20**Show%20that%20%24C%24%20acts%20on%20%24%5COmega%24%20by%20%24%5Coverline%7Bk%7D%5Ccdot(x_1%2C%5Cdots%2Cx_n)%20%3D%20(x_%7B1%2Bk%7D%2C%5Cdots%2C%20x_%7Bn%2Bk%7D)%24%20where%20%24%5Coverline%7Bk%7D%20%5Cin%20C%24%20and%20the%20subscripts%20on%20the%20right%20are%20interpreted%20modulo%20%24n%24**%3B%0A%20%20%20%202.%20**(McKay's%20proof%20of%20Cauchy%20Theorem)%20Now%20suppose%20%24n%20%3D%20p%24%20is%20a%20prime%20that%20divides%20%24%7C%20G%20%7C%24.%20Examine%20the%20number%20of%20%24C%24-orbits%20of%20size%20%241%24%20in%20%24%5COmega%24%2C%20and%20deduce%20that%20the%20number%20of%20elements%20of%20order%20%24p%24%20in%20%24G%24%20is%20%24-1%20%5Cpmod%7Bp%7D%24**.%0A%0A%20%20%20%20Proof%0A%0A%20%20%20%201.%20Observe%20that%20%24(x_%7B1%2Bk%7D%2C%5Cdots%2C%20x_%7Bn%2Bk%7D)%24%20is%20just%20%24(x_%7B1%7D%2C%5Cdots%2C%20x_%7Bn%7D)%24%20'move%20to%20the%20right'%20but%20the%20elements%20are%20the%20same.%20For%20example%2C%20%24(x_%7B1%2B3%7D%2C%5Cdots%2C%20x_%7B5%2B3%7D)%24%20is%20the%20same%20as%20%24(x_%7B4%7D%2C%5Cdots%2C%20x_%7B8%7D)%20%3D%20(x_4%2C%20x_5%2C%20x_1%2C%20x_2%2C%20x_3)%24.%20In%20particular%2C%20this%20action%20is%20well%20defined%20in%20the%20sense%20that%20%24%5Coverline%7Bk%7D%5Ccdot(x_1%2C%5Cdots%2Cx_n)%20%5Cin%20%5COmega%24.%0A%20%20%20%20%09Now%2C%20for%20any%20element%20%24(x_1%2C%5Cdots%2Cx_n)%20%5Cin%20%5COmega%24%2C%20%240%5Ccdot(x_1%2C%5Cdots%2Cx_n)%24%20%24%3A%3D(x_1%2C%5Cdots%2C%20x_n)%24%20(since%20we%20view%20%24C%24%20as%20additive%20group%2C%20the%20identity%20is%20%240%24).%20Also%20that%20%24%5Coverline%7Bh%7D%5Ccdot(%5Coverline%7Bk%7D%5Ccdot(x_1%2C%5Cdots%2Cx_n))%24%20and%20%24(%5Coverline%7Bh%7D%2B%5Coverline%7Bk%7D)%5Ccdot(x_1%2C%5Cdots%2Cx_n)%24%20are%20apparently%20the%20same%2C%20the%20first%20one%20means%20to%20move%20%24k%24%20then%20%24h%24%20units%20to%20the%20right%20(up%20to%20module%20%24n%24)%2C%20and%20the%20second%20one%20just%20means%20to%20move%20%24h%2Bk%24%20units%20to%20the%20right.%0A%20%20%20%20%09So%20this%20is%20a%20group%20action%20by%20definition.%0A%20%20%20%202.%20%24G%24%20is%20finite%2C%20so%20let%20us%20suppose%20%24G%24%20has%20cardinality%20%24m%24.%20Since%20%24G%24%20is%20a%20group%2C%20any%20element%20has%20an%20unique%20inverse%2C%20that%20means%20we%20can%20freely%20choose%20%24x_1%2C%5Cdots%2C%20x_%7Bn-1%7D%24%2C%20and%20then%20%24x_n%24%20is%20fixed%20to%20make%20the%20tuple%20in%20%24%5COmega%24.%20Thus%20the%20cardinality%20of%20%24%5COmega%24%20is%20%24m%5E%7Bn-1%7D%24.%0A%20%20%20%20%09Observe%20that%20in%20general%2C%20%24%5Coverline%7Bk%7D%5Ccdot(x_1%2C%5Cdots%2Cx_n)%20%3D%20(x_1%2C%5Cdots%2C%20x_n)%24%20if%20and%20only%20if%20we%20have%20either%20%24%5Coverline%7Bk%7D%20%3D%200%24%20or%20%24x_1%20%3D%20x_2%20%3D%20%5Cdots%20%3D%20x_n%24.%0A%20%20%20%20%09In%20particular%2C%20the%20%24C%24-orbits%20in%20%24%5COmega%24%20have%20either%20size%20%241%24%20(those%20are%20for%20the%20elements%20in%20the%20form%20%24(x_1%2C%5Cdots%2Cx_1)%24)%2C%20or%20size%20%24n%24%2C%20which%20consists%20of%20%24n%24%20different%20(because%20%24n%24%20is%20a%20prime)%20elements%20%24(x_1%2C%5Cdots%2Cx_n)%24%2C%20%24(x_2%2C%5Cdots%2Cx_n%2Cx_1)%24%2C%20%24%5Cdots%24%2C%20%24(x_n%2Cx_1%2C%5Cdots%2Cx_%7Bn-1%7D)%24.%0A%20%20%20%20%09Those%20orbits%20form%20a%20partition%20of%20%24%5COmega%24%2C%20so%20we%20have%20%24m%5E%7Bn-1%7D%20%3D%20a%5Ccdot%201%20%2B%20b%20%5Ccdot%20n%24%20%24%5Cimplies%20m%5E%7Bn-1%7D%20-%20a%20%3D%20b%20%5Ccdot%20n%24%20for%20some%20%24a%2C%20b%24.%20By%20assumption%20%24m%24%20is%20a%20multiple%20of%20%24n%24%20and%20%24n%24%20is%20a%20prime%2C%20so%20we%20must%20have%20that%20%24a%24%20is%20also%20a%20multiple%20of%20%24n%24.%0A%20%20%20%20%09So%20we%20have%20%24a%20%3D%20k%5Ccdot%20n%24%2C%20and%20by%20construction%20it%20is%20the%20number%20of%20elements%20%24x%24%20in%20%24G%24%20such%20that%20%24x%5En%20%3D%201%24.%20Since%20%24n%24%20is%20a%20prime%2C%20the%20periods%20of%20those%20%24x%24's%20are%20either%20%241%24%20or%20%24n%24%2C%20but%20there%20is%20exactly%20%241%24%20element%20with%20period%20%241%24%20(namely%20%241%24)%2C%20thus%20there%20are%20%24k%5Ccdot%20n%20-%201%24%20elements%20with%20period%20%24n%24%20in%20%24G%24%2C%20in%20particular%2C%20this%20number%20%24%5Cequiv%20-1%20%5Cpmod%7Bn%7D%24.%0A%0A%20%20%20%20%23%23%20Exercise%203%0A%0A%20%20%20%20**Show%20that%20if%20%24P%24%20is%20a%20Sylow%20%24p%24-subgroup%20of%20%24G%24%2C%20then%20%24N_G(P)%24%20is%20a%20self-normalizing%20subgroup%20of%20%24G%24%2C%20meaning%20that%20%24N_G(N_G(P))%20%3D%20N_G(P)%24.%20Any%20subgroup%20of%20%24G%24%20that%20can%20be%20written%20as%20%24N_G(P)%24%20for%20some%20non-trivial%20%24p%24-subgroup%20%24P%24%20of%20%24G%24%20is%20said%20to%20be%20a%20%24p%24-local%20subgroup%20of%20%24G%24**.%0A%0A%20%20%20%20Proof%0A%0A%20%20%20%20By%20definition%20of%20normalizer%2C%20%24N_G(P)%20%5Clhd%20N_G(N_G(P))%24.%20%24P%20%5Cle%20N_G(P)%20%5Cle%20G%24%2C%20so%20%24P%24%20must%20also%20be%20Sylow%20%24p%24-subgroup%20of%20%24N_G(P)%24.%0A%0A%20%20%20%20So%20Frattini's%20Argument%20says%20that%20%24N_G(N_G(P))%20%3D%20N_G(P)%5Ccdot%20N_%7BN_G(N_G(P))%7D(P)%24.%20The%20last%20term%20looks%20complicated%2C%20but%20apparently%20it%20sits%20inside%20%24N_G(P)%24%2C%20so%20RHS%20is%20just%20%24N_G(P)%24%2C%20and%20that%20gives%20the%20desired%20statement.%0A%0A%20%20%20%20%23%23%20Exercise%204%0A%0A%20%20%20%20**Let%20%24G%3D%20A_7%24.%20Start%20by%20counting%20the%20%247%24-cycles%20and%20the%20%245%24-cycles%20in%20%24G%24.%20Let%20%24%5Csigma%20%3D%20(1234567)%24%20and%20%24%5Crho%20%3D%20(12345)%24**.%0A%0A%20%20%20%201.%20**Let%20%24P%20%3D%20%5Clangle%20%5Csigma%20%5Crangle%20%5Cin%20Syl_7(G)%24%20and%20%24H%20%3D%20N_G(P)%24.%20Determine%20%24n_7%20%3D%20%7C%20Syl_7(G)%20%7C%24%20and%20%24%7C%20H%20%7C%24.%20Besides%20powers%20of%20%24%5Csigma%24%2C%20what%20even%20permutations%20%24%5Ctau%20%5Cin%20A_7%24%20normalize%20%24P%24%3F%20Describe%20%24H%24%20as%20a%20semi-direct%20product**%3B%0A%20%20%20%202.%20**Now%20let%20%24Q%20%3D%20%5Clangle%20%5Crho%20%5Crangle%20%5Cin%20Syl_5(G)%24%20and%20%24K%20%3D%20N_G(Q)%24.%20Find%20%24n_5%24%20and%20describe%20%24K%24**.%0A%0A%20%20%20%20Solution%0A%0A%20%20%20%201.%20There%20are%20%246!%20%3D%20720%24%20of%20%247%24-cycles%20(first%20must%20be%20%241%24%2C%20the%20rest%20can%20be%20in%20any%20order).%20%247%24-cycles%20are%20the%20only%20cycle%20type%20that%20have%20order%20%247%24%2C%20so%20they%20are%20the%20only%20possible%20elements%20in%20the%20Sylow%20%247%24-subgroups.%20For%20any%20%247%24-cycle%20%24%5Calpha%24%2C%20its%20powers%20%24%5Calpha%5E2%2C%5Cdots%2C%5Calpha%5E6%24%20are%20apparently%20also%20%247%24-cycles.%20So%20these%20%24720%24%20elements%20gives%20%24720%2F6%20%3D%20120%24%20disjoint%20set%20of%20%247%24-cycles%20in%20the%20form%20%24%5Clbrace%20%5Calpha%2C%5Cdots%2C%5Calpha%5E6%20%5Crbrace%24%2C%20each%20of%20them%20together%20with%20the%20identity%20gives%20a%20Sylow%20%247%24-subgroup%2C%20so%20%24n_7%20%3D%20120%24.%20Now%20by%20Sylow%2C%20%24n_7%20%3D%20%5BG%3AN_G(P)%5D%24%20so%20%24%7C%20N_G(P)%20%7C%20%3D%202520%2F120%20%3D%2021%24.%0A%20%20%20%20%09Now%20a%20fact%20when%20doing%20multiplication%20of%20permutations%3A%20%24%5Ctau%20(1234567)%20%5Ctau%5E%7B-1%7D%20%3D%20(%5Ctau(1)%5Ctau(2)%5Cdots%5Ctau(7))%24.%20With%20this%20it%20is%20not%20too%20hard%20to%20find%20that%20%24%5Clangle%20(235)(476)%20%5Crangle%24%20also%20normalize%20%24P%24%20(it%20makes%20sense%2C%20as%20we%20may%20want%20something%20with%20order%20%243%24)%2C%20also%20note%20that%20%24(235)(476)(1234567)(467)(253)%24%20%24%3D%20(1357246)%24%20%24%3D%20(1234567)%5E2%24.%20Denote%20this%20group%20%24P'%20%5Ccong%20%5Cmathbb%7BZ%7D_3%24%2C%20then%20%24P'%24%20is%20not%20a%20normal%20subgroup%20of%20%24H%24%20and%20%24P%20%5Ccap%20P'%20%3D%201%24%2C%20thus%20%24H%20%3D%20P%20%5Crtimes%20P'%20%3D%20%5Cmathbb%7BZ%7D_7%20%5Crtimes%20%5Cmathbb%7BZ%7D_3%24%2C%20and%20a%20presentation%20of%20%24H%24%20is%20%24%5Clangle%20a%2Cb%20%7C%20a%5E7%20%3D%20b%5E3%20%3D%201%2C%20bab%5E%7B-1%7D%20%3D%20a%5E2%20%5Crangle%24.%0A%20%20%20%202.%20Now%20similarly%20we%20count%20%245%24%20cycles%2C%20if%20we%20start%20with%20%241%24%2C%20there%20are%20%246%5Ccdot5%5Ccdot%204%20%5Ccdot%203%20%3D%20360%24%20of%20them%2C%20if%20we%20start%20with%20%242%24%2C%20there%20are%20%245%5Ccdot4%5Ccdot%203%20%5Ccdot%202%20%3D%20120%24%20of%20them%20(cycle%20always%20start%20with%20smallest%20number%2C%20so%20they%20cannot%20be%20chosen%20from%20%241%24)%2C%20if%20we%20start%20with%20%243%24%20there%20are%20%2424%24%20of%20them%2C%20and%20we%20cannot%20start%20with%20%244%2C5%2C6%2C7%24.%20So%20there%20are%20%24504%24%20%245%24-cycles%20in%20%24A_7%24.%20Notice%20again%20that%20this%20is%20the%20only%20cycle%20type%20with%20period%20%245%24%2C%20so%20with%20a%20similar%20argument%20we%20should%20see%20%24n_5%20%3D%20126%24%2C%20and%20thus%20%24%7C%20N_G(Q)%20%7C%20%3D%2020%24.%0A%20%20%20%20%09Proceed%20as%20before%20we%20may%20see%20%24%5Clangle%20(2354)%20%5Crangle%24%20normalize%20%24%5Clangle%20(12345)%20%5Crangle%24%2C%20%24(2354)(12345)(2453)%20%3D%20(12345)%5E2%24.%20The%20problem%20is%20that%20this%20is%20not%20an%20even%20permutation.%20Nevertheless%2C%20since%20we%20are%20working%20in%20%24A_7%24%20there%20is%20an%20easy%20way%20to%20solve%20this%3A%20we%20use%20%24(2354)(67)%24.%20This%20is%20an%20even%20permutation%20and%20%24(2354)(67)(12345)(2453)(67)%20%3D%20(12345)%5E3%24.%20So%20we%20have%20%24K%20%5Ccong%20%5Cmathbb%7BZ%7D_5%20%5Crtimes%20%5Cmathbb%7BZ%7D_4%24%20%24%5Ccong%20%5Clangle%20a%2Cb%7C%20a%5E5%20%3D%20b%5E4%20%3D%201%2C%20bab%5E%7B-1%7D%20%3D%20a%5E3%20%5Crangle%24%20(so%20it%20is%20%24F_5%24).%0A%0A%20%20%20%20%23%23%20Exercise%205%0A%0A%20%20%20%20**Show%20that%20%24G%24%20is%20not%20simple%20whenever%20%24%7C%20G%20%7C%20%3D%20p%5Ea(p%2B1)%24%20where%20%24a%20%3E%201%24**.%0A%0A%20%20%20%20Proof%0A%0A%20%20%20%20By%20Sylow%2C%20%24n_p%20%7C%20p%2B1%24%20and%20%24n_p%20%5Cequiv%201%20%5Cpmod%7Bp%7D%24%2C%20thus%20%24n_p%20%3D%201%24%20or%20%24p%2B1%24.%0A%0A%20%20%20%20If%20%24n_p%20%3D%201%24%20then%20%24G%24%20is%20not%20simple.%0A%0A%0A%20%20%20%20Suppose%20now%20%24n_p%20%3D%20p%2B1%24.%20Since%20%24p%2B1%20%5Cnot%5Cequiv%201%20%5Cpmod%7Bp%5E2%7D%24%2C%20we%20can%20find%20%24S%2CT%24%20Sylow%20%24p%24-subgroups%20such%20that%20%24%5BS%3AS%20%5Ccap%20T%5D%20%3D%20p%24%20%24%3D%20%5BT%3A%20S%20%5Ccap%20T%5D%24%20(note%3A%20here%20we%20use%20the%20assumption%20that%20%24a%24%20is%20at%20least%20%242%24%2C%20otherwise%20%24S%20%5Ccap%20T%24%20is%20just%20%24%5Clbrace%201%20%5Crbrace%24%20and%20it%20cannot%20be%20used%20to%20prove%20simpleness).%20By%20a%20property%20of%20%24p%24-subgroup%2C%20%24S%5Ccap%20T%20%5Clhd%20S%24%20and%20%24S%5Ccap%20T%20%5Clhd%20T%24.%20Thus%20by%20definition%20of%20normalizer%20we%20have%20%24S%2C%20T%20%3C%20N_G(S%20%5Ccap%20T)%24%2C%20thus%20%24N_G(S%20%5Ccap%20T)%24%20has%20more%20than%20%241%24%20Sylow%20%24p%24-subgroups%2C%20thus%20it%20has%20at%20least%20%241%2Bp%24%20Sylow%20%24p%24-subgroups.%20Thus%20it%20has%20at%20least%20%24p%5Ea(p%2B1)%24%20elements%20by%20Sylow's%20Third.%20Since%20%24G%24%20only%20has%20%24p%5Ea(p%2B1)%24%20element%2C%20%24N_G(S%20%5Ccap%20T)%24%20must%20equal%20%24G%24%2C%20but%20then%20%24S%20%5Ccap%20T%24%20is%20a%20normal%20subgroup%20of%20%24G%24.%0A%0A%20%20%20%20(Or%2C%20after%20that%20we%20have%20%24S%2C%20T%20%3C%20N_G(S%20%5Ccap%20T)%24%20we%20can%20get%20that%20%24ST%20%5Csubseteq%20N_G(S%20%5Ccap%20T)%24%20(it%20is%20not%20necessarily%20a%20subgroup)%2C%20and%20%24%7C%20ST%20%7C%20%3D%20%5Cfrac%7B%7C%20S%20%5C%7C%20T%20%7C%7D%7B%7C%20S%20%5Ccap%20T%20%7C%7D%20%3D%20p%5E%7Ba%2B1%7D%24%2C%20so%20%24%7C%20N_G(S%20%5Ccap%20T)%20%7C%24%20is%20greater%20than%20or%20equal%20to%20%24p%5E%7Ba%2B1%7D%24%20but%20also%20a%20divisor%20of%20%24p%5Ea(p%2B1)%24%20because%20it%20is%20a%20subgroup%20of%20%24G%24%2C%20the%20only%20option%20is%20%24%7C%20N_G(S%5Ccap%20T)%20%7C%20%3D%20p%5Ea(p%2B1)%24%20thus%20%24N_G(S%20%5Ccap%20T)%20%3D%20G%24)%0A%0A%20%20%20%20Nevertheless%2C%20the%20statement%20is%20also%20true%20for%20%24a%20%3D%201%24%2C%20i.e.%20%24G%24%20is%20not%20simple%20if%20%24%7C%20G%20%7C%20%3D%20p(p%2B1)%24%3A%0A%0A%20%20%20%20Again%20%24n_p%24%20is%20either%20%241%24%20or%20%24p%2B1%24%2C%20and%20we%20are%20done%20if%20%24n_p%20%3D%201%24%2C%20so%20assume%20%24n_p%20%3D%201%2Bp%24%2C%20those%20groups%20now%20must%20intersect%20trivially%20(otherwise%20the%20intersection%20all%20have%20%24p%24%20elements%20by%20Lagrange%20because%20intersection%20of%20subgroups%20is%20subgroup%2C%20which%20means%20they%20are%20the%20same%20group)%2C%20so%20they%20take%20up%20%24(1%2Bp)%20%5Ccdot%20(p-1)%20%3D%20p%5E2%20-%201%24%20elements%20(of%20period%20%24p%24).%20There%20are%20%24p%2B1%24%20other%20elements.%20They%20together%20form%20a%20subgroup%2C%20and%20that%20is%20the%20only%20subgroup%20with%20%241%2Bp%24%20elements%20(because%20any%20other%20element%20has%20period%20%24p%24)%2C%20so%20it%20is%20characteristic%20thus%20normal.%0A%0A%20%20%20%20%23%23%20Exercise%206%0A%0A%20%20%20%20**Show%20that%20if%20%24%7C%20G%20%7C%20%5Cin%20%5Clbrace%2030%2C%2056%2C%20105%2C%20132%20%5Crbrace%24%20then%20%24G%24%20is%20not%20simple**.%0A%0A%20%20%20%20Proof%0A%0A%20%20%20%20Since%20%2430%20%3D%205%5Ccdot%20(5%2B1)%24%2C%20%2456%20%3D%207%20%5Ccdot%20(7%2B1)%24%20and%20%24132%20%3D%2011%20%5Ccdot%20(11%2B1)%24%2C%20by%20the%20statement%20mentioned%20above%2C%20those%20groups%20are%20not%20simple.%0A%0A%20%20%20%20For%20%24105%20%3D%203%20%5Ccdot%205%20%5Ccdot%207%24%3A%20%24n_7%20%7C%2015%24%20and%20%24n_7%20%5Cequiv%201%20%5Cpmod%7B7%7D%24%2C%20so%20%24n_7%20%3D%201%24%20or%20%2415%24%3B%20%24n_5%20%7C%2021%24%20and%20%24n_5%20%5Cequiv%201%20%5Cpmod%7B5%7D%24%20thus%20%24n_5%20%3D%201%24%20or%20%2421%24.%20Assume%20%24n_7%20%3D%2015%24%20and%20%24n_5%20%3D%2021%24%2C%20otherwise%20we%20are%20done.%20By%20Lagrange%20those%20%245%24%20and%20%247%24-groups%20all%20intersect%20trivially%2C%20so%20there%20are%20%2415%20%5Ccdot%20(7-1)%20%3D%2090%24%20elements%20of%20period%20%247%24%2C%20and%20%2421%5Ccdot(5-1)%20%3D%2084%24%20elements%20of%20period%20%245%24%2C%20but%20%2490%2B84%3E105%24%20there%20is%20already%20not%20enough%20room%20for%20that.%0A%0A%20%20%20%20%23%23%20Exercise%207%0A%0A%20%20%20%20**Let%20%24%7C%20G%20%7C%20%3D%2056%24.%20Follow%20the%20steps%20below%20to%20construct%20a%20full%20list%20of%20distinct%20non-abelian%20groups%20of%20order%20%2456%24**.%0A%0A%20%20%20%201.%20**Show%20that%20%24G%24%20has%20either%20a%20normal%20Sylow%20%242%24-subgroup%20%24S%24%20or%20a%20normal%20Sylow%20%247%24-subgroup%20%24P%20%3D%20%5Clangle%20u%20%5Crangle%24**%3B%0A%20%20%20%202.%20**Let%20now%20%24%5Cmathbb%7BZ%7D_7%20%5Ccong%20P%20%5Clhd%20G%24%2C%20then%20%24G%20%3D%20S%20%5Cltimes%20%5Cmathbb%7BZ%7D_7%24%20and%20two%20such%20semi-direct%20products%20are%20not%20isomorphic%20if%20the%20kernels%20of%20the%20maps%20from%20%24S%24%20into%20%24U_7%20%5Ccong%20%5Cmathbb%7BZ%7D_6%24%20are%20not%20isomorphic%20(this%20is%20not%20hard%20to%20prove%2C%20so%20let's%20assume%20it%20for%20now).%20Construct%20the%20following%20non-abelian%20groups**%3A%0A%20%20%20%20%09-%20**one%20group%20when%20%24S%20%3D%20%5Cmathbb%7BZ%7D_2%20%5Ctimes%20%5Cmathbb%7BZ%7D_2%20%5Ctimes%20%5Cmathbb%7BZ%7D_2%24**%3B%0A%20%20%20%20%09-%20**two%20non-isomorphic%20groups%20when%20%24S%20%3D%20%5Cmathbb%7BZ%7D_4%20%5Ctimes%20%5Cmathbb%7BZ%7D_2%24**%3B%0A%20%20%20%20%09-%20**one%20group%20when%20%24S%20%3D%20%5Cmathbb%7BZ%7D_8%24**%3B%0A%20%20%20%20%09-%20**two%20non-isomorphic%20groups%20when%20%24S%20%3D%20Q_8%24%20(this%20includes%20the%20direct%20product%20%24S%20%5Ctimes%20P%24)**%3B%0A%20%20%20%20%09-%20**three%20non-isomorphic%20groups%20when%20%24S%20%3D%20D_8%24%20(this%20includes%20the%20direct%20product%20as%20well)**%3B%0A%20%20%20%203.%20**Let%20now%20%24P%20%5Cnot%5Clhd%20G%24%2C%20%24S%20%5Clhd%20G%24%20(so%20%24G%20%3D%20S%20%5Crtimes%20P%24).%20Let%20an%20element%20%24u%20%5Cin%20P%24%20act%20by%20conjugation%20on%20%24S%24%2C%20and%20deduce%20that%20all%20non-identity%20elements%20of%20%24S%24%20have%20the%20same%20order%2C%20thus%20%24S%20%3D%20%E2%80%A6%24**%3B%0A%20%20%20%204.%20**Prove%20that%20there%20is%20a%20unique%20group%20of%20order%20%2456%24%20with%20a%20non-normal%20Sylow%20%247%24-subgroup.%20Give%20its%20presentation**.%20*Hint%3A%20%24168%20%3D%207%20%5Ctimes%2024%24*.%0A%0A%20%20%20%20Solution%0A%0A%20%20%20%201.%20We%20know%20%24n_7%20%3D%201%24%20or%20%248%24.%20Suppose%20%24n_7%20%3D%208%24%2C%20then%20there%20are%20%248%20%5Ccdot%206%20%3D%2048%24%20elements%20of%20order%20%247%24%2C%20the%20remaining%20%248%24%20elements%20form%20a%20subgroup%20and%20it%20must%20be%20the%20unique%20Sylow%20%242%24-subgroup.%0A%20%20%20%202.%20So%20we%20want%20to%20identify%20homomorphisms%20%24%5Cvarphi%3A%20S%20%5Cto%20%5Cmathbb%7BZ%7D_6%24%20up%20to%20isomorphic%20kernels.%20The%20first%20three%20cases%20we%20do%20not%20want%20trivial%20homomorphism%2C%20because%20otherwise%20we%20have%20a%20direct%20product%20of%20abelian%20group%20thus%20%24G%24%20is%20abelian%3A%0A%20%20%20%20%091.%20If%20%24S%20%3D%20%5Cmathbb%7BZ%7D_2%20%5Ctimes%20%5Cmathbb%7BZ%7D_2%20%5Ctimes%20%5Cmathbb%7BZ%7D_2%24%20%24%3D%20%5Clangle%20a%2Cb%2Cc%20%5Crangle%24%2C%20then%20%24%5Cvarphi(a)%2C%5Cvarphi(b)%2C%5Cvarphi(c)%24%20have%20either%20period%20%241%24%20or%20%242%24.%20There%20is%20only%20one%20element%20in%20%24Aut(%5Cmathbb%7BZ%7D_7)%24%20with%20order%20%242%24%2C%20which%20is%20the%20one%20(call%20it%20%24%5Cpsi%24)%20sending%20%241%24%20to%20%246%24%20(because%20%246%5Ccdot%206%20%3D%2036%20%5Cequiv%201%20%5Cpmod%7B7%7D%24).%20So%20there%20are%20not%20too%20many%20choices%3A%20one%20or%20two%20or%20three%20of%20the%20generators%20are%20sent%20to%20%24%5Cpsi%24.%20It%20is%20not%20hard%20to%20see%20that%20those%20homomorphisms%20all%20have%20the%20same%20kernel%2C%20so%20the%20semi-direct%20product%20are%20all%20isomorphic.%20So%20let's%20say%20we%20use%20the%20homomorphism%20sends%20%24a%24%20to%20%24%5Cpsi%24%20and%20%24b%2Cc%24%20to%20%241%24%2C%20then%20we%20have%20the%20relations%20%24a%5E2%20%3D%20b%5E2%20%3D%20c%5E2%20%3D%20d%5E7%20%3D%201%24%20(denote%20the%20generator%20of%20%24%5Cmathbb%7BZ%7D_7%24%20by%20%24d%24)%2C%20%24ada%5E%7B-1%7D%20%3D%20d%5E6%24%2C%20%24bdb%5E%7B-1%7D%20%3D%20d%24%20and%20%24cdc%5E%7B-1%7D%20%3D%20d%24%2C%20also%20%24ab%20%3D%20ba%24%2C%20%24bc%20%3D%20cb%24%2C%20and%20%24ac%20%3D%20ca%24%3B%0A%20%20%20%20%092.%20If%20%24S%20%3D%20%5Cmathbb%7BZ%7D_4%20%5Ctimes%20%5Cmathbb%7BZ%7D_2%20%3D%20%5Clangle%20a%2Cb%20%5Crangle%24%2C%20then%20%24%5Cvarphi(a)%24%20has%20period%20%241%2C%202%24%20or%20%244%24%20and%20%24%5Cvarphi(b)%24%20has%20period%20%241%24%20or%20%242%24.%20But%20there%20is%20no%20automorphism%20of%20order%20%244%24%20in%20%24Aut(%5Cmathbb%7BZ%7D_7)%24%2C%20so%20we%20have%20the%20following%20circumstances%3A%20%24%5Cvarphi_1%24%20sending%20%24a%24%20to%20%24%5Ctext%7Bid%7D%24%2C%20%24b%24%20to%20%24%5Cpsi%24%20(the%20map%20sending%20%241%24%20to%20%246%24)%3B%20%24%5Cvarphi_2%24%20sending%20%24a%24%20to%20%24%5Cpsi%24%2C%20%24b%24%20to%20%24%5Ctext%7Bid%7D%24%2C%20and%20%24%5Cvarphi_3%24%20sending%20both%20%24a%2Cb%24%20to%20%24%5Cpsi%24.%20It%20is%20not%20hard%20to%20see%20that%20%24%5Cker%7B%5Cvarphi_1%7D%24%20is%20%24%5Cmathbb%7BZ%7D_4%24%20and%20the%20other%20two%20have%20kernel%20%24%5Cmathbb%7BZ%7D_2%20%5Ctimes%20%5Cmathbb%7BZ%7D_2%24.%20So%20we%20have%20two%20different%20semi-direct%20product%2C%20%24%5Cvarphi_1%24%20induces%20%24%24%5Clangle%20a%2Cb%2Cc%20%7C%20a%5E4%20%3D%20b%5E2%20%3D%20c%5E7%20%3D%201%2C%20ab%20%3D%20ba%2C%20aca%5E%7B-1%7D%20%3D%20c%2C%20bcb%5E%7B-1%7D%20%3D%20c%5E6%20%5Crangle%3B%24%24%09%24%5Cvarphi_2%24%20or%20%24%5Cvarphi_3%24%20induces%20%24%24%5Clangle%20a%2Cb%2Cc%20%7C%20a%5E4%20%3D%20b%5E2%20%3D%20c%5E7%20%3D%201%2C%20ab%20%3D%20ba%2C%20aca%5E%7B-1%7D%3Dc%5E6%2C%20bcb%5E%7B-1%7D%20%3D%20c%5E6%20%5Crangle.%24%24%0A%20%20%20%20%093.%20If%20%24S%20%3D%20%5Cmathbb%7BZ%7D_8%20%3D%20%5Clangle%20a%20%5Crangle%24%20then%20%24%5Cvarphi(a)%24%20has%20period%20%241%2C2%2C4%24%20or%20%248%24%2C%20again%20there%20is%20no%20element%20of%20order%20%244%2C%208%24%20in%20%24Aut(%5Cmathbb%7BZ%7D_7)%24%20so%20the%20only%20none%20trivial%20one%20is%20%24%5Cvarphi(a)%20%3D%20%5Cpsi%24%2C%20induces%20the%20semi-direct%20product%20%24%24%5Clangle%20a%2Cb%20%7C%20a%5E8%20%3D%20b%5E7%20%3D%201%2C%20aba%5E%7B-1%7D%20%3D%20b%5E6%20%5Crangle.%24%24%0A%20%20%20%20%09%094.%20If%20%24S%20%3D%20Q_8%20%3D%20%5Clangle%20a%2Cb%20%7C%20a%5E4%20%3D%201%2C%20b%5E2%20%3D%20a%5E2%2C%20ba%20%3D%20a%5E%7B-1%7Db%20%5Crangle%24%2C%20with%20a%20similar%20argument%2C%20there%20are%20%244%24%20choices%20of%20%24%5Cvarphi%24%3A%20%24%5Cvarphi_1%24%20sending%20%24a%2Cb%24%20to%20%24%5Ctext%7Bid%7D%24%20(we%20start%20to%20allow%20trivial%20homomorphisms%20because%20%24Q_8%24%20is%20not%20abelian)%2C%20%24%5Cvarphi_2%24%20sending%20%24a%24%20to%20%24%5Ctext%7Bid%7D%24%2C%20%24b%24%20to%20%24%5Cpsi%24%2C%20%24%5Cvarphi_3%24%20sending%20%24a%24%20to%20%24%5Cpsi%24%2C%20%24b%24%20to%20%24%5Ctext%7Bid%7D%24%2C%20and%20%24%5Cvarphi_4%24%20sending%20%24a%2Cb%24%20to%20%24%5Cpsi%24.%20The%20kernel%20of%20%24%5Cvarphi_1%24%20is%20of%20course%20%24Q_8%24%2C%20and%20kernels%20of%20%24%5Cvarphi_%7B2%2C3%2C4%7D%24%20are%20all%20%24%5Cmathbb%7BZ%7D_4%24%20sitting%20in%20%24Q_8%24.%20So%20we%20either%20have%20a%20direct%20product%20%24Q_8%20%5Ctimes%20%5Cmathbb%7BZ%7D_7%24%2C%20or%20a%20semi-direct%20product%20%24%24%5Clangle%20a%2Cb%2Cc%20%7C%20a%5E4%20%3Dc%5E7%20%3D%201%2C%20b%5E2%20%3D%20a%5E2%2C%20ba%20%3D%20a%5E%7B-1%7Db%2C%20ada%5E%7B-1%7D%20%3D%20d%5E6%2C%20bdb%5E%7B-1%7D%20%3D%20d%5E6%20%5Crangle.%24%24%0A%20%20%20%20%09%095.%20If%20%24S%20%3D%20D_8%20%3D%20%5Clangle%20a%2Cb%20%7C%20a%5E4%20%3D%20b%5E2%20%3D%201%2C%20ba%20%3D%20a%5E%7B-1%7Db%5E%7B-1%7D%20%5Crangle%24%2C%20again%2C%20there%20are%20%244%24%20choices%20of%20%24%5Cvarphi%24%3A%20%24%5Cvarphi_1%24%20sending%20%24a%2Cb%24%20to%20%24%5Ctext%7Bid%7D%24%2C%20%24%5Cvarphi_2%24%20sending%20%24a%24%20to%20%24%5Ctext%7Bid%7D%24%2C%20%24b%24%20to%20%24%5Cpsi%24%2C%20%24%5Cvarphi_3%24%20sending%20%24a%24%20to%20%24%5Cpsi%24%2C%20%24b%24%20to%20%24%5Ctext%7Bid%7D%24%2C%20and%20%24%5Cvarphi_4%24%20sending%20%24a%2Cb%24%20to%20%24%5Cpsi%24.%20%24%5Cvarphi_1%24%20still%20gives%20us%20a%20direct%20product.%20Kernel%20of%20%24%5Cvarphi_2%24%20is%20cyclic%2C%20induces%20the%20semi-direct%20product%20%24%24%5Clangle%20a%2Cb%2Cc%20%7C%20a%5E4%20%3D%20b%5E2%20%3D%20c%5E7%20%3D%201%2C%20ba%20%3D%20a%5E%7B-1%7Db%5E%7B-1%7D%2C%20aca%5E%7B-1%7D%20%3D%20c%2C%20bcb%5E%7B-1%7D%20%3D%20c%5E6%20%5Crangle%24%24%20and%20kernel%20of%20%24%5Cvarphi_%7B3%2C4%7D%24%20is%20%24%5Cmathbb%7BZ%7D_2%5Ctimes%20%5Cmathbb%7BZ%7D_2%24%2C%20gives%20the%20semi-direct%20product%20%24%24%5Clangle%20a%2Cb%2Cc%20%7C%20a%5E4%20%3D%20b%5E2%20%3D%20c%5E7%20%3D%201%2C%20ba%20%3D%20a%5E%7B-1%7Db%5E%7B-1%7D%2C%20aca%5E%7B-1%7D%20%3D%20c%5E6%2C%20bcb%5E%7B-1%7D%20%3D%20c%20%5Crangle.%24%24%0A%20%20%20%203.%20Consider%20%24P%24%20act%20by%20conjugation%20on%20%24S%24.%20For%20any%20%24s%20%5Cin%20S%24%20we%20know%20that%20%24%7C%20C_P(s)%20%7C%24%20can%20be%20either%20%241%24%20or%20%247%24.%20For%20at%20least%20one%20%24s%24%2C%20we%20must%20have%20%24%7C%20C_P(s)%20%7C%20%5Cne%201%24%2C%20otherwise%20we%20have%20a%20direct%20product.%20But%20%24S%24%20only%20have%20%248%24%20elements%2C%20and%20the%20conjugacy%20class%20of%20identity%20already%20takes%20up%20%241%24%20slot%2C%20it%20follows%20that%20all%20other%20%247%24%20non-identity%20elements%20in%20%24S%24%20are%20in%20the%20same%20conjugacy%20class.%20But%20conjugation%20preserves%20order%3A%20%24x%5En%20%3D%201%20%5Ciff%20(gxg%5E%7B-1%7D)%5En%20%3D%20gx%5Eng%5E%7B-1%7D%20%3D%201%24%2C%20we%20thus%20have%20that%20all%20non-identity%20elements%20in%20%24S%24%20are%20of%20the%20same%20order.%20The%20only%20such%20group%20with%20%248%24%20elements%20is%20%24%5Cmathbb%7BZ%7D_2%20%5Ctimes%20%5Cmathbb%7BZ%7D_2%20%5Ctimes%20%5Cmathbb%7BZ%7D_2%24.%0A%20%20%20%204.%20By%20part%201%2C%20if%20it%20has%20a%20non-normal%20Sylow%20%247%24-subgroup%2C%20it%20must%20have%20a%20normal%20Sylow%20%242%24-subgroup%3B%20by%20part%203%2C%20%24G%20%5Ccong%20%5Cmathbb%7BZ%7D_7%20%5Cltimes%20(%5Cmathbb%7BZ%7D_2%5E3)%24.%20So%20we%20are%20looking%20for%20a%20non-trivial%20homomorphism%20%24%5Cvarphi%3A%20%5Cmathbb%7BZ%7D_7%20%5Cto%20Aut(%5Cmathbb%7BZ%7D_2%5E3)%24.%20The%20latter%20can%20be%20interpreted%20as%20%24GL_3(F_2)%24%20(i.e.%20%243%20%5Ctimes%203%24%20matrices%20with%20non-zero%20determinant).%20Notice%20the%20order%20of%20%24GL_3(F_2)%24%20is%20%24(2%5E3-1)(2%5E3-2)(2%5E3-2%5E2)%20%3D%20168%20%3D%202%5E3%20%5Ccdot%203%20%5Ccdot%207%24.%20By%20Cauchy%20there%20are%20element%20of%20order%20%247%24%20in%20this%20group%2C%20so%20we%20must%20be%20able%20to%20find%20a%20homomorphism.%0A%20%20%20%20%09To%20prove%20uniqueness%2C%20notice%20the%20image%20of%20%24%5Cmathbb%7BZ%7D_7%24%20under%20that%20homomorphism%20%24%5Cvarphi%24%20(which%20is%20not%20trivial)%20must%20have%20%247%24%20elements%20thus%20a%20Sylow%20%247%24-subgroup.%20We%20know%20that%20%24%5Cvarphi%24%20is%20identified%20up%20to%20conjugacy%2C%20yet%20all%20Sylow%20%24p%24-subgroups%20are%20conjugate%2C%20so%20the%20homomorphism%20is%20unique.%0A%20%20%20%20%09To%20find%20the%20presentation%20of%20the%20group%2C%20we%20want%20to%20find%20a%20matrix%20%24x%24%20such%20that%20%24x%5E7%20-%201%20%3D%200%24.%20In%20%24%5Cmathbb%7BZ%7D_2%24%20it%20factors%20as%20%24(x%20%2B%201)%20(x%5E3%20%2B%20x%20%2B%201)%20(x%5E3%20%2B%20x%5E2%20%2B%201)%24%2C%20the%20third%20term%20can%20be%20seen%20as%20%24x%5E3%20%2B%20x%5E2%20%2B%201%20%5Cequiv%20-x%5E3%20%2B%20x%5E2%20%2B%201%20%3D%20-x%5Ccdot%20-x(-x%2B1)%20%2B%201%24%20and%20can%20be%20seen%20as%20the%20characteristic%20polynomial%20of%20%24%5Cbegin%7Bpmatrix%7D%200%260%261%5C%5C1%261%260%5C%5C0%261%260%20%5Cend%7Bpmatrix%7D%24.%20If%20we%20use%20the%20standard%20basis%20%24a%2Cb%2Cc%20%3D%20e_1%2C%20e_2%2C%20e_3%24%2C%20then%20%24xa%20%3D%20b%24%2C%20%24xb%20%3D%20b%2Bc%24%20and%20%24xc%20%3D%20a%24.%20So%20we%20have%20the%20presentation%20%24%24%5Cbegin%7Baligned%7D%5Clangle%20a%2Cb%2Cc%2Cd%20%26%7C%20a%5E2%20%3D%20b%5E2%20%3D%20c%5E2%20%3D%20d%5E7%20%3D%201%2C%20%5C%5C%20%26%20ab%20%3D%20ba%2C%20ac%20%3D%20ca%2C%20bc%20%3D%20cb%2C%20dad%5E%7B-1%7D%20%3D%20b%2C%20dbd%5E%7B-1%7D%20%3D%20bc%2C%20dcd%5E%7B-1%7D%20%3D%20a%20%5Crangle%5Cend%7Baligned%7D.%24%24%0A%0A%20%20%20%20%23%23%20Exercise%208%0A%0A%20%20%20%20**Prove%20that%20group%20of%20order%20%24144%24%20is%20not%20simple**.%0A%0A%20%20%20%20Proof%0A%0A%20%20%20%20%24%7C%20G%20%7C%20%3D%20144%20%3D%202%5E4%20%5Ccdot%203%5E2%24.%20Since%20%24n_3%20%7C%2016%24%20and%20%24n_3%20%5Cequiv%201%20%5Cpmod%7B3%7D%24%2C%20we%20must%20have%20%24n_3%20%3D%204%24%20or%20%2416%24.%20It%20cannot%20be%20%244%24%2C%20because%20%24144%20%3E%204!%24.%20Assume%20%24G%24%20is%20simple%2C%20we%20must%20have%20%24n_3%20%3D%2016%24.%0A%0A%20%20%20%20All%20Sylow%20%243%24-subgroups%20must%20intersect%20trivially%20or%20have%20%243%24%20elements%20in%20the%20intersection%20(by%20Lagrange).%20Suppose%20all%20of%20them%20intersect%20trivially%2C%20then%20there%20are%20%248%5Ccdot%2016%24%20elements%20of%20order%20%243%24%2C%20and%20%2416%24%20elements%20of%20other%20orders%2C%20which%20must%20be%20the%20unique%20Sylow%20%242%24-subgroup%2C%20thus%20%24G%24%20is%20not%20simple.%0A%0A%20%20%20%20Otherwise%20there%20are%20some%20%24S%2CT%20%5Cin%20Syl_3(G)%24%20such%20that%20%24%7C%20S%20%5Ccap%20T%20%7C%20%3D%203%24%2C%20it%20follows%20that%20%24S%20%5Ccap%20T%24%20is%20normal%20subgroup%20of%20both%20%24S%24%20and%20%24T%24%20thus%20%24S%2CT%20%5Cle%20N_G(S%20%5Ccap%20T)%20%3D%20H%24%2C%20but%20then%20%24ST%20%5Csubseteq%20H%24%20(not%20subgroup)%2C%20so%20%24%7C%20H%20%7C%20%5Cge%2027%24%20by%20%24%7C%20ST%20%7C%20%3D%20%7C%20S%20%5C%7C%20T%20%7C%20%2F%20%7C%20S%20%5Ccap%20T%20%7C%24.%20Also%20we%20know%20%24%7C%20H%20%7C%24%20divides%20%24144%24%2C%20but%20then%20either%20%24H%20%3D%20G%24%2C%20so%20that%20%24G%24%20has%20a%20normal%20subgroup%20%24S%20%5Ccap%20T%24%2C%20or%20%24%5BG%3AH%5D%5Cle%205%24%2C%20but%20%24144%20%3E%205!%24%2C%20so%20%24G%24%20is%20not%20simple%20in%20any%20case.%0A%20%20%20%20%22%22%22)%0A%20%20%20%20return%0A%0A%0Aif%20__name__%20%3D%3D%20%22__main__%22%3A%0A%20%20%20%20app.run()%0A