What does the Galois group of polynomial $f$ mean?

Michael Artin's algebra:

9.8 Porposition. let $f$ be a polynomial over $F$ whose Galois group $G$ is a simple nonabelian group. Let $F'$ be a Galois extension of $F$, with abelian Galois group. Let $K'$ be a splitting field of $f$ over $F'$. Then the Galois group $G(K'/F')$ is isomorphic to G

in my understanding , Galois is always linked with extension field. but here the Galois group is simply attached to a function definition , what does this mean ?

it is just the definition that matters.

plus can someone elaborate on the proval ?

1 Answer

Okay first the answer to your question: He defines the Galois group of a polynomial $f$ over $F$ to be the Galois group of the splitting field of $f$ over $F$.

Secondly, I wanted to point out that what you refer to as Proposition 9.8 is no longer the same proposition in the new edition. In the new edition Galois Theory is Chapter 16.

Hope this helps.

• I would guess so, just to confirm. and the edition I am reading did not present Galois theory that clean. Nov 3, 2012 at 7:08
• I did not study Galois Theory from Artin's Algebra, so I wouldn't know. You might want to read his father, Emil Artin's lucid exposition on Galois Theory. Nov 3, 2012 at 7:10
• Also, no other definition of the Galois group of a polynomial makes sense, at least to me. Nov 3, 2012 at 7:11