Thread: Quotient Rings in Galois Theory - Help

Hi

I have the proof of this statement:

'Let f(x) be a member of K[x] where f(x) is non-zero and K is a field.
Suppose that K[x]/K[x].f(x) is a field.
Then f(x) is irreducible.'

The proof begins with:
'Assue f(x) is not irreducible.

If f(x) is a unit implies K[x].f(x) = K[x]'
Is this becasue f(x) is a unit, so it has an inverse so multiplying f(x) by it's inverse multiplied by another element in K[x] can create any element in K[x]? (Due to K[x] being closed under multiplication)
ie: a(x)b(x)g(x) = a(x) where b(x) = inverse f(x)
a(x) a member of K[x]

The next bit is that the previous line implies
' K[x]/K[x].f(x) = {0'} the equivalence class of zero'

This is saying that every element is equivalent to zero. Is this because if we have:
a' = b' (the equivalence classes)
then a(x)-b(x) is a member of K[x].f(x) = K[x]
This is true for all pairs of elements a(x) and b(x) in K[x] so all are equivalent to 0.
ie: a(x) - 0 is a member of K[x]
so a' = 0' for all a'

Thanks for your help
I know there is a lot of info here, but it's been bothering me for ages. I can't get my head around quotient rings.

Originally Posted by alanaj5

Hi

I have the proof of this statement:

'Let f(x) be a member of K[x] where f(x) is non-zero and K is a field.
Suppose that K[x]/K[x].f(x) is a field.
Then f(x) is irreducible.'

If was reducible then we can write where . Then since but . Thus, is not an integral domain and so cannot be a field.

Originally Posted by ThePerfectHacker

If was reducible then we can write where . Then since but . Thus, is not an integral domain and so cannot be a field.

I get why f=gh and that neither g or h is a unit.
But I don't understand why we know and why this gives that and why

Originally Posted by alanaj5

I get why f=gh and that neither g or h is a unit.
But I don't understand why we know and why this gives that and why

Remember what means it is the set . Thus, if then . We cannot have that because the degree of is less than the degree of . Therefore, and so it means because otherwise if then - a contradiction.

Thanks, I understand now. I hadn't thought about the quotient ring as modf before. It makes it so much easier.