Re: cyclotomic field is galois

On Jun 29, 7:14 pm, magi...@xxxxxxxxxxxxxxxxx (Arturo Magidin) wrote:
In article <d2edcbf3-0034-43f1-b6a9-a470e99fe...@xxxxxxxxxxxxxxxxxxxxxxxxxxx>,

<charles.cado...@xxxxxxxxxxxxxx> wrote:
On Jun 29, 6:51 pm, Tonico <Tonic...@xxxxxxxxx> wrote:

[...]

Perhaps it's only me but I can't see why the simple argument of a
cyclotomic extension being the splitting field of (a cyclotomic)
polynomial is less elementary than messing around with fixed fields of
automorphism: how the latter is "basic algebra" but the former isn't?
yes the concept of elementariness is highly subjective, you're right.
how would you prove then that the splitting field of a cyclotomic
polynomial is galois?
thanks!

That depends on what you consider to be the "definition" of "Galois
extension" and what it is you consider to be "derived equivalences."
Many books ->define<- a Galois extension to be the splitting field of
a (set of separable) polynomials, so "is the splitting field of a
cyclotomic polynomial" ->means<- it is Galois. No futher argument
required.

On the other hand, others define "Galois extension" differently (e.g.,
that the relevant automorphism group have the same order, when finite,
as the degree of the extension), and then ->prove<- that this is
equivalent to some of the other definitions. Without knowing what it
is you consider basic and what you consider derived, it is impossible
to give an answer that will satisfy you.

--
======================================================================
"It's not denial. I'm just very selective about
what I accept as reality."
--- Calvin ("Calvin and Hobbes" by Bill Watterson)
======================================================================

Arturo Magidin
magidin-at-member-ams-org

Ok, I'll try to explain better what is my problem, sorry if I've been
confusing so far. Let's say I'm given the polynomial P(z) = z^n - 1
over Q. Call r = exp(2*pi*i/n) and consider the field extension Q(r).
Now I associate to this field extension Q(r)\supset Q the group of
automorphisms of Q(r) fixing Q. This is the Galois group of the
extension. I want to show that any element which is kept fixed by all
the Galois group is necessarily in Q.
Thanks
.

Relevant Pages

  • Re: cyclotomic field is galois
    ... how would you prove then that the splitting field of a cyclotomic ... extension" and what it is you consider to be "derived equivalences." ... that the relevant automorphism group have the same order, when finite, ... the splitting field of some polynomials over some given field is ...
    (sci.math)
  • Re: cyclotomic field is galois
    ... how would you prove then that the splitting field of a cyclotomic ... extension" and what it is you consider to be "derived equivalences." ... the splitting field of some polynomials over some given field is ... knowledge of the automorphisms of the extension. ...
    (sci.math)
  • Re: cyclotomic field is galois
    ... how would you prove then that the splitting field of a cyclotomic ... extension" and what it is you consider to be "derived equivalences." ... a polynomials, so "is the splitting field of a ... that the relevant automorphism group have the same order, when finite, ...
    (sci.math)
  • Re: Normal subgroup of A_4
    ... > Tony wrote: ... E/Q has an intermediate extension Q subset K subset E with the properties ... Now assuming I can find a quartic polynomial whose Galois group is A_4, ... the splitting field of the quartic) whose degree over Q is 4 is by using the ...
    (sci.math)
  • Re: Normal subgroup of A_4 of order 3? - no
    ... > Tony wrote: ... E/Q has an intermediate extension Q subset K subset E with the properties ... Now assuming I can find a quartic polynomial whose Galois group is A_4, ... the splitting field of the quartic) whose degree over Q is 4 is by using the ...
    (sci.math)