Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

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 ?

share|cite|improve this question
up vote 3 down vote accepted

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.

share|cite|improve this answer
I would guess so, just to confirm. and the edition I am reading did not present Galois theory that clean. – zinking Nov 3 '12 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. – Rankeya Nov 3 '12 at 7:10
Also, no other definition of the Galois group of a polynomial makes sense, at least to me. – Rankeya Nov 3 '12 at 7:11

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.