More Abstract Algebra


by Mystic998
Tags: abstract, algebra
Mystic998
Mystic998 is offline
#1
Apr6-08, 05:09 PM
P: 206
1. The problem statement, all variables and given/known data

Show that G is isomorphic to the Galois group of an irreducible polynomial of degree d iff is has a subgroup H of index d such that [tex] \bigcap_{\sigma \in G} \sigma H \sigma^{-1} = {1} [/tex].


2. Relevant equations



3. The attempt at a solution

I know that if G acts transitively as a permutation group on a set (and it does in this case being isomorphic to the Galois group of an irreducible), then the stabilizer of an element has the given property. And since the stabilizer is functionally the same for any root, it really shouldn't matter which one I choose. But I don't know how to show that it's of index d. I've tried counting permutations that fix an element and permutations that don't (should be |G|/d or d respectively, assuming I'm doing this right), but I can't find any obvious way to do so in general since obviously the Galois group can be lots and lots of weird things (all subgroups of a symmetric group of course).

As for the other direction, I think it's probably easy to show that if all the conjugates of a subgroup intersect in the trivial subgroup, then G has to act transitively on some set, and so it can be the Galois group of an irreducible with the same number of roots as the set it's acting on. But again I'm not sure why the index being d implies that it has to act transitively on a set of d elements.

Thanks for any help. Also, I might post some more stuff in this topic if I don't have any luck on some other problems.
Phys.Org News Partner Science news on Phys.org
NASA's space station Robonaut finally getting legs
Free the seed: OSSI nurtures growing plants without patent barriers
Going nuts? Turkey looks to pistachios to heat new eco-city
morphism
morphism is offline
#2
Apr7-08, 02:10 AM
Sci Advisor
HW Helper
P: 2,020
Did you mean to say "such that [itex]\bigcap_{\sigma \in G} \sigma H \sigma^{-1} = H[/itex]"?

For the index bit, can't you invoke the fundamental theorem of Galois theory? Remember the connection between indices of subgroups and degrees of field extensions.
Mystic998
Mystic998 is offline
#3
Apr7-08, 06:43 AM
P: 206
Oh, I meant for the intersection to be trivial. I'll think about what you said though.


Register to reply

Related Discussions
Example in Abstract Algebra Calculus & Beyond Homework 0
Abstract Algebra? Academic Guidance 10
abstract algebra Calculus 2
Help with abstract algebra!! Calculus & Beyond Homework 1
Abstract Algebra Introductory Physics Homework 35