Field extensions…..things that books won’t explicitly point out.

This is going to flesh out some real details.

First, something exceedingly important. When doing elementary algebra for the first time (say in grade 4), one often asks “what is x?” The answer to that is “x” is just a useful construct that is temporarily holding place, waiting for an actual number to pop in and satisfy the equation. x is not an actual number. There is no number in the real number line called “x“. OK.

Say F is a field, and we have the polynomial ring F[x]. Then if a\in F satisfies the equation f(x)=0 (f(x)\in F[x]), then x has the same sense as that used in your grade 4 algebra. x doesn’t actually belong to the field F. It is just waiting for a\in F to pop in and satisfy the equation. x does technically belong to the polynomial ring F[x], but we’re concerned only with F here. We can think of the whole of F[x] as a useful construct to help us deal with our problems. But just you wait.

If p(x)\in F[x] is irreducible over F, then the **field** F[x]/\langle p(x)\rangle contains the element x (technically, the element is x+\langle p(x)\rangle). Yes. There is an equation in  \frac{F[x]}{\langle p(x)\rangle}[X] such that when you punch in x, the equation is satisfied. So x has moved on from being an imaginary filler for another element to actually being an element of the field itself.

Now we shall discuss some fundamental facts concerning field extensions:

1. If f(x)\in F[x] is irreducible in F[x], then there exists a field extension such that f(x) has a root in that extension- The irreducibility property is important here. The proof proceeds by creating a field F[x]/\langle f(x)\rangle, and saying this is the field in which f(x)=0. But F[x]/\langle f(x)\rangle is a field, and not a ring. \frac{F[x]}{\langle f(x)\rangle}[X] is the corresponding ring of the field. Assume f(x)(\in F[x])=a_0+a_1x+a_2x^2+\dots+a_nx^n. Then this is mapped isomorphically to a_0+a_1X+a_2X^2+\dots+a_nX^n in \frac{F[x]}{\langle f(x)\rangle}[X], and is satisfied by x+\langle f(x)\rangle \in \frac{F[x]}{\langle f(x)\rangle}. Hence, \frac{F[x]}{\langle f(x)\rangle} is the field extension of F which contains a root of the irreducible (in F) polynomial f(x).

2. Say we have F(\alpha) such that \alpha is algebraic over F. Then every element in F(\alpha) is algebraic over F. The proof of this is based on the pigeonhole principle, and is quite clever. Any standard textbook on algebra will have this proof.

Published by ayushkhaitan3437

Hello! My name is Ayush Khaitan, and I'm a graduate student in Mathematics. I am always excited about talking to people about their research. Please please set up a meeting with me if you feel that I might have an interesting perspective to offer- https://calendly.com/ayushkhaitan/meeting-with-ayush

Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out /  Change )

Google photo

You are commenting using your Google account. Log Out /  Change )

Twitter picture

You are commenting using your Twitter account. Log Out /  Change )

Facebook photo

You are commenting using your Facebook account. Log Out /  Change )

Connecting to %s

%d bloggers like this: