MHB Field Theory - Basic Theory - D&F Section 13.1

Math Amateur
Gold Member
MHB
Messages
3,920
Reaction score
48
I am reading Dummit and Foote (D&F) Section 13.1 Basic Theory of Field Extensions.

I have a question regarding the nature of extension fields.

Theorem 4 (D&F Section 13.1, page 513) states the following (see attachment):

---------------------------------------------------------------------------------------------------------------

Theorem 4. Let p(x) \in F[x] be an irreducible polynomial of degree n over a field F and let K be the field F[x]/(p(x)). Let \theta = x \ mod \ (p(x)) \in K. Then the elements

1, \theta, {\theta}^2, ... ... , {\theta}^{n-1}

are a basis for K as a vector space over F, so the degree of the extension is n i.e.

[K \ : \ F] = n. Hence

K = \{ a_0 + a_1 \theta + a_2 {\theta}^2 + ... ... + a_{n-1} {\theta}^{n-1} \ | \ a_0, a_1, ... ... , a_{n-1} \in F \}

consists of all polynomials of degree \lt n in \theta

------------------------------------------------------------------------------------------------------------------------------

However, when we come to Example 4 on page 515 of D&F we read the following: (see attachment)

(4) Let F = \mathbb{Q} and p(x) = x^3 - 2 which is irreducible by Eisenstein.

Denoting a root of p(x) by \theta we obtain the field

\mathbb{Q}[x]/(x^3 - 2) \cong \{a + b \theta + c {\theta}^2 \ | \ a, b, c \in \mathbb{Q}

with {\theta}^3 = 2 an extension of degree 3. ... ... etc

------------------------------------------------------------------------------------------------------------------------------

Now my problem is that in Theorem 4 we read K = \{ a_0 + a_1 \theta + a_2 {\theta}^2 + ... ... + a_{n-1} {\theta}^{n-1} \ | \ a_0, a_1, ... ... , a_{n-1} \in F \} which becomes

K = \{a + b \theta + c {\theta}^2 in the situation of Example 4

But then in Example 4 we have

K = \mathbb{Q}[x]/(x^3 - 2) \cong \{a + b \theta + c {\theta}^2 \ | \ a, b, c \in \mathbb{Q}

?

It seems that in Theorem 4, we have \theta = x \ mod \ (p(x)) but in Example (4) we have \theta = \sqrt[3]{2} and we do not have equality but only an isomorphism, that is \mathbb{Q}[x]/(x^3 - 2) \cong \mathbb{Q}(\sqrt[3]{2}.

In Field theory we seem to prove that an irreducible polynomial has a root in a field that is isomorphic to the actual field that contains the root.

Does what I am saying make sense? Can someone clarify this issue for me?

PeterNotes:

1. I think Deveno was trying to clarify this for me in a previous post but since I was not quite sure of things I am trying to further clarify the issue

2. The above has also been posted on MHF
 
Physics news on Phys.org
Yes, $\Bbb Q[x]/(x^3 - 2)$ and $\Bbb Q(\sqrt[3]{2})$ are two distinct fields, one has elements composed of "cosets of polynomials", and the other has elements of $\Bbb Q$-linear combinations of $\{1,\sqrt[3]{2},\sqrt[3]{4}\}$, which are certain real numbers.

But ALGEBRAICALLY, this difference is purely "symbolic", the field isomorphism which sends:

$q \mapsto q + (x^3 - 2), q \in \Bbb Q$
$\sqrt[3]{2} \mapsto x + (x^3 - 2)$

shows these two fields "act" just the same, so the algebra is the same.

Technically speaking, the field $\Bbb Q[x]/(x^3 - 2)$ isn't an extension of $\Bbb Q$, but rather of the isomorphic field:

$\overline{\Bbb Q} = \{q + (x^3 + 2): q \in \Bbb Q\}$.

But keeping this notation becomes cumbersome, if all we are interested in is algebraic qualities.

As another example, the subset of "constant polynomial functions" of $\Bbb Q[x]$ isn't the same as the set of "rational numbers" ($\Bbb Q$) as one is composed of numbers, and the other is composed of FUNCTIONS. But the algebra is the same, and algebra is presumably what we are investigating.

The key is this: (field) isomorphism is an equivalence relationship amongst fields, and it is common practice to regard equivalence CLASSES of fields, rather than the actual fields themselves (it makes things easier to talk about). We do this all the time with other things, and rarely notice it:

The "fraction" $\frac{1}{2}$ is actually an equivalence class of LOTS of fractions:

$\frac{1}{2} = \frac{2}{4} = \frac{3}{6} = \cdots$

But rather than think of $\frac{1}{2}$ as "an infinite amount of equivalent ratios", we think of it as some definite value: half of one. We often parenthetically reference this by referring to a fraction $\frac{p}{q}$ in "lowest terms" (that is choosing a particular well-defined representative of the equivalence class).

A careful reading of most algebra texts on field extensions will probably indicate somewhere that when a symbolic letter like $F(a)$ is being used, one of two situations is the case:

A) $a$ lies in some explicitly defined extension $E$ of $F$ (like the real number $\sqrt{2}$).

B) $a$ is a symbolic adjunction of a formal root of some polynomial $p(x)$. The adjunction polynomial doesn't actually exists in $F[x]$, really, it lies in the isomorphic ring: $\overline{F}[x]$ which has coefficients of the form $c_j + (p(x))$, which "acts" just like $F[x]$, since in a quotient ring, we have (for any ideal $I$):

$(a + I) + (b + I) = (a+b) + I$
$(a + I)(b + I) = ab + I$

and it is needless clutter to keep carrying around the "$+I$".

This process of regarding two isomorphic fields as "the same" is called IDENTIFICATION, and is meant to keep brevity and clarity in the exposition.
 
Deveno said:
Yes, $\Bbb Q[x]/(x^3 - 2)$ and $\Bbb Q(\sqrt[3]{2})$ are two distinct fields, one has elements composed of "cosets of polynomials", and the other has elements of $\Bbb Q$-linear combinations of $\{1,\sqrt[3]{2},\sqrt[3]{4}\}$, which are certain real numbers.

But ALGEBRAICALLY, this difference is purely "symbolic", the field isomorphism which sends:

$q \mapsto q + (x^3 - 2), q \in \Bbb Q$
$\sqrt[3]{2} \mapsto x + (x^3 - 2)$

shows these two fields "act" just the same, so the algebra is the same.

Technically speaking, the field $\Bbb Q[x]/(x^3 - 2)$ isn't an extension of $\Bbb Q$, but rather of the isomorphic field:

$\overline{\Bbb Q} = \{q + (x^3 + 2): q \in \Bbb Q\}$.

But keeping this notation becomes cumbersome, if all we are interested in is algebraic qualities.

As another example, the subset of "constant polynomial functions" of $\Bbb Q[x]$ isn't the same as the set of "rational numbers" ($\Bbb Q$) as one is composed of numbers, and the other is composed of FUNCTIONS. But the algebra is the same, and algebra is presumably what we are investigating.

The key is this: (field) isomorphism is an equivalence relationship amongst fields, and it is common practice to regard equivalence CLASSES of fields, rather than the actual fields themselves (it makes things easier to talk about). We do this all the time with other things, and rarely notice it:

The "fraction" $\frac{1}{2}$ is actually an equivalence class of LOTS of fractions:

$\frac{1}{2} = \frac{2}{4} = \frac{3}{6} = \cdots$

But rather than think of $\frac{1}{2}$ as "an infinite amount of equivalent ratios", we think of it as some definite value: half of one. We often parenthetically reference this by referring to a fraction $\frac{p}{q}$ in "lowest terms" (that is choosing a particular well-defined representative of the equivalence class).

A careful reading of most algebra texts on field extensions will probably indicate somewhere that when a symbolic letter like $F(a)$ is being used, one of two situations is the case:

A) $a$ lies in some explicitly defined extension $E$ of $F$ (like the real number $\sqrt{2}$).

B) $a$ is a symbolic adjunction of a formal root of some polynomial $p(x)$. The adjunction polynomial doesn't actually exists in $F[x]$, really, it lies in the isomorphic ring: $\overline{F}[x]$ which has coefficients of the form $c_j + (p(x))$, which "acts" just like $F[x]$, since in a quotient ring, we have (for any ideal $I$):

$(a + I) + (b + I) = (a+b) + I$
$(a + I)(b + I) = ab + I$

and it is needless clutter to keep carrying around the "$+I$".

This process of regarding two isomorphic fields as "the same" is called IDENTIFICATION, and is meant to keep brevity and clarity in the exposition.

Thanks Deveno, Just working through this now

Peter

Yes, definitely helped a lot Deveno ... think I am following ... going on to splitting fields and the other topics in D&F Chapter 13 and then on to Galois Theory ... now have more confidence to go forward

Peter
 
Last edited:
I asked online questions about Proposition 2.1.1: The answer I got is the following: I have some questions about the answer I got. When the person answering says: ##1.## Is the map ##\mathfrak{q}\mapsto \mathfrak{q} A _\mathfrak{p}## from ##A\setminus \mathfrak{p}\to A_\mathfrak{p}##? But I don't understand what the author meant for the rest of the sentence in mathematical notation: ##2.## In the next statement where the author says: How is ##A\to...
The following are taken from the two sources, 1) from this online page and the book An Introduction to Module Theory by: Ibrahim Assem, Flavio U. Coelho. In the Abelian Categories chapter in the module theory text on page 157, right after presenting IV.2.21 Definition, the authors states "Image and coimage may or may not exist, but if they do, then they are unique up to isomorphism (because so are kernels and cokernels). Also in the reference url page above, the authors present two...
When decomposing a representation ##\rho## of a finite group ##G## into irreducible representations, we can find the number of times the representation contains a particular irrep ##\rho_0## through the character inner product $$ \langle \chi, \chi_0\rangle = \frac{1}{|G|} \sum_{g\in G} \chi(g) \chi_0(g)^*$$ where ##\chi## and ##\chi_0## are the characters of ##\rho## and ##\rho_0##, respectively. Since all group elements in the same conjugacy class have the same characters, this may be...
Back
Top