A question about the degree of an extension field Announcing the arrival of Valued Associate...
Why is there so little support for joining EFTA in the British parliament?
An isoperimetric-type inequality inside a cube
Did any compiler fully use 80-bit floating point?
Does the universe have a fixed centre of mass?
How do Java 8 default methods hеlp with lambdas?
Sally's older brother
Pointing to problems without suggesting solutions
What is "Lambda" in Heston's original paper on stochastic volatility models?
Any stored/leased 737s that could substitute for grounded MAXs?
Derived column in a data extension
How to achieve cat-like agility?
Is the Mordenkainens' Sword spell underpowered?
NIntegrate on a solution of a matrix ODE
Random body shuffle every night—can we still function?
"Destructive power" carried by a B-52?
As a dual citizen, my US passport will expire one day after traveling to the US. Will this work?
Why are two-digit numbers in Jonathan Swift's "Gulliver's Travels" (1726) written in "German style"?
3D Masyu - A Die
Vertical ranges of Column Plots in 12
How do I say "this must not happen"?
2018 MacBook Pro won't let me install macOS High Sierra 10.13 from USB installer
Was the pager message from Nick Fury to Captain Marvel unnecessary?
What are some likely causes to domain member PC losing contact to domain controller?
Why are current probes so expensive?
A question about the degree of an extension field
Announcing the arrival of Valued Associate #679: Cesar Manara
Planned maintenance scheduled April 23, 2019 at 23:30 UTC (7:30pm US/Eastern)two Non isomorphic root field-extension of the field.determine degree of field extensionMinimal polynomial and field extensionDegree of the field extension.Field extension of degree 3 and polynomial rootsFinding the degree of the splitting fieldDegree of an extension fieldAn irreducible polynomial of degree n over field is irreducible over extension of degree m if m and n are coprimeA question about extension fieldA question about finite field extension of a finite field
$begingroup$
Consider $f(x) := x^3+2x+2$ and the field $mathbb{Z_3}$. $f(x)$ is obviously irreducible over $mathbb{Z_3}$. Let $a$ be a root in an extension field of $mathbb{Z_3}$, then why is it that $[mathbb{Z_3}(a):mathbb{Z_3}] = 3$? What is the basis of $mathbb{Z_3}(a)$ over $mathbb{Z_3}$?
I know that $mathbb{Z_3}(a) simeq mathbb{Z_3}[x]/<f(x)>$ and since $f(x)$ is irreducible in $mathbb{Z_3}$, any polynomial in $mathbb{Z_3}[x]$ can have degree atmost 2. But I don't understand how that ties to $[mathbb{Z_3}(a):mathbb{Z_3}] = 3$? And how does that imply $mathbb{Z_3}(a)simeq GF(3^3)$? Thanks.
abstract-algebra galois-theory finite-fields
$endgroup$
add a comment |
$begingroup$
Consider $f(x) := x^3+2x+2$ and the field $mathbb{Z_3}$. $f(x)$ is obviously irreducible over $mathbb{Z_3}$. Let $a$ be a root in an extension field of $mathbb{Z_3}$, then why is it that $[mathbb{Z_3}(a):mathbb{Z_3}] = 3$? What is the basis of $mathbb{Z_3}(a)$ over $mathbb{Z_3}$?
I know that $mathbb{Z_3}(a) simeq mathbb{Z_3}[x]/<f(x)>$ and since $f(x)$ is irreducible in $mathbb{Z_3}$, any polynomial in $mathbb{Z_3}[x]$ can have degree atmost 2. But I don't understand how that ties to $[mathbb{Z_3}(a):mathbb{Z_3}] = 3$? And how does that imply $mathbb{Z_3}(a)simeq GF(3^3)$? Thanks.
abstract-algebra galois-theory finite-fields
$endgroup$
$begingroup$
See "Field and Galois Theory, Patrick Morandi, chapter 1, proposition 1.15".
$endgroup$
– Lucas Corrêa
2 hours ago
add a comment |
$begingroup$
Consider $f(x) := x^3+2x+2$ and the field $mathbb{Z_3}$. $f(x)$ is obviously irreducible over $mathbb{Z_3}$. Let $a$ be a root in an extension field of $mathbb{Z_3}$, then why is it that $[mathbb{Z_3}(a):mathbb{Z_3}] = 3$? What is the basis of $mathbb{Z_3}(a)$ over $mathbb{Z_3}$?
I know that $mathbb{Z_3}(a) simeq mathbb{Z_3}[x]/<f(x)>$ and since $f(x)$ is irreducible in $mathbb{Z_3}$, any polynomial in $mathbb{Z_3}[x]$ can have degree atmost 2. But I don't understand how that ties to $[mathbb{Z_3}(a):mathbb{Z_3}] = 3$? And how does that imply $mathbb{Z_3}(a)simeq GF(3^3)$? Thanks.
abstract-algebra galois-theory finite-fields
$endgroup$
Consider $f(x) := x^3+2x+2$ and the field $mathbb{Z_3}$. $f(x)$ is obviously irreducible over $mathbb{Z_3}$. Let $a$ be a root in an extension field of $mathbb{Z_3}$, then why is it that $[mathbb{Z_3}(a):mathbb{Z_3}] = 3$? What is the basis of $mathbb{Z_3}(a)$ over $mathbb{Z_3}$?
I know that $mathbb{Z_3}(a) simeq mathbb{Z_3}[x]/<f(x)>$ and since $f(x)$ is irreducible in $mathbb{Z_3}$, any polynomial in $mathbb{Z_3}[x]$ can have degree atmost 2. But I don't understand how that ties to $[mathbb{Z_3}(a):mathbb{Z_3}] = 3$? And how does that imply $mathbb{Z_3}(a)simeq GF(3^3)$? Thanks.
abstract-algebra galois-theory finite-fields
abstract-algebra galois-theory finite-fields
asked 2 hours ago
manifoldedmanifolded
53019
53019
$begingroup$
See "Field and Galois Theory, Patrick Morandi, chapter 1, proposition 1.15".
$endgroup$
– Lucas Corrêa
2 hours ago
add a comment |
$begingroup$
See "Field and Galois Theory, Patrick Morandi, chapter 1, proposition 1.15".
$endgroup$
– Lucas Corrêa
2 hours ago
$begingroup$
See "Field and Galois Theory, Patrick Morandi, chapter 1, proposition 1.15".
$endgroup$
– Lucas Corrêa
2 hours ago
$begingroup$
See "Field and Galois Theory, Patrick Morandi, chapter 1, proposition 1.15".
$endgroup$
– Lucas Corrêa
2 hours ago
add a comment |
2 Answers
2
active
oldest
votes
$begingroup$
In general, the degree of $F(alpha)$ over $F$ is the degree of the minimal polynomial of $alpha$. In this case, the minimal polynomial is $f(x)=x^3+2x+2$ which has degree $3$. The basis is ${1,alpha,alpha^2}$.
Think of it this way: $F(alpha)$ should consist of elements of the form $p(alpha)/q(alpha)$, where $p,q$ are polynomials. But using the relation $alpha^3=-2alpha-2$, you can see that every polynomial in $alpha$ can be written as a linear combinations of $1,alpha,alpha^2$. And even $alpha^{-1}$ can be written as such. That means every element of $F(alpha)$ is a linear combination of $1,alpha,alpha^2$.
Let $K=mathbb{F}_3(alpha)$. To see why $Ksimeq mathbb{F}_9$, it's just a cardinality argument: since $K$ is a $3$-dimensional $mathbb{F}_3$-vector space, we know from linear algebra that $Ksimeq mathbb{F}_3^3$ as vector spaces. The right hand side has 27 elements. So $K$ is the field of 27 elements.
$endgroup$
$begingroup$
I see, thanks. Why is $f(x)$ the minimal polynomial for $alpha$? Why can't we have a polynomial of degree, say 2, whose zero is $alpha$?
$endgroup$
– manifolded
2 hours ago
$begingroup$
Thanks @egreg, my arithmetic is suspect.
$endgroup$
– Ehsaan
2 hours ago
$begingroup$
@manifolded: The minimal polynomial of $alpha$ has the property that it generates the ideal of all polynomials which vanish at $alpha$. It is the unique (monic) irreducible polynomial with $alpha$ as a root.
$endgroup$
– Ehsaan
2 hours ago
add a comment |
$begingroup$
Look at the situation from a more abstract point of view. Let $F$ be a field and $f(x)in F[x]$ an irreducible monic polynomial.
If $a$ is a root of $f(x)$ in some extension field $K$ of $F$, then, if $F(a)$ denotes the smallest subfield of $K$ containing $F$ and $a$, we have
$$
F(a)cong F[x]/langle f(x)rangle
$$
and moreover $F[a]$, the smallest subring of $K$ containing $F$ and $a$ is the same as $F(a)$. Therefore we can see $F(a)=F[a]={g(a):g(x)in F[x]}$.
On the other hand, as $f(a)=0$, given $g(x)in F[x]$, we can perform the division and write $g(x)=f(x)q(x)+r(x)$, where $r$ has degree less than the degree of $f$. Thus we also have
$$
F(a)=F[a]={g(a):g(x)in F[x],deg g<deg f} tag{*}
$$
which is probably what you refer to by saying “any polynomial in $mathbb{Z}_3[x]$ can have degree at most $2$” (which isn't a good way to express the fact).
Now, suppose $g(x)$ is a monic polynomial satisfying $g(a)=0$. Take $g$ of minimal degree. Since we can perform the division $f(x)=g(x)q(x)+r(x)$, the assumptions give us that $r(a)=0$; by minimality of $deg g$, we infer that $r(x)=0$. Therefore $g$ divides $f$. Since $f$ is irreducible, we deduce that $g(x)=f(x)$ (they can differ up to a nonzero multiplicative constant, but being both monic, the constant is $1$).
Hence $f(x)$ is the minimal polynomial of $a$.
Now we can see that the set ${1,a,a^2,dots,a^{n-1}}$ (where $n=deg f$) is a basis of $F[a]$ as a vector space over $F$. The fact it is a spanning set follows from (*); it is linearly independent because $f$ is the minimal polynomial and a linear combination of those elements is the value of a polynomial of lesser degree than $f$, so it cannot vanish unless all the coefficients are zero.
Finally apply this to your particular case: $mathbb{Z}_3[a]$ is a three-dimensional vector space over $mathbb{Z}_3$, so it has $3^3=27$ elements.
$endgroup$
add a comment |
Your Answer
StackExchange.ready(function() {
var channelOptions = {
tags: "".split(" "),
id: "69"
};
initTagRenderer("".split(" "), "".split(" "), channelOptions);
StackExchange.using("externalEditor", function() {
// Have to fire editor after snippets, if snippets enabled
if (StackExchange.settings.snippets.snippetsEnabled) {
StackExchange.using("snippets", function() {
createEditor();
});
}
else {
createEditor();
}
});
function createEditor() {
StackExchange.prepareEditor({
heartbeatType: 'answer',
autoActivateHeartbeat: false,
convertImagesToLinks: true,
noModals: true,
showLowRepImageUploadWarning: true,
reputationToPostImages: 10,
bindNavPrevention: true,
postfix: "",
imageUploader: {
brandingHtml: "Powered by u003ca class="icon-imgur-white" href="https://imgur.com/"u003eu003c/au003e",
contentPolicyHtml: "User contributions licensed under u003ca href="https://creativecommons.org/licenses/by-sa/3.0/"u003ecc by-sa 3.0 with attribution requiredu003c/au003e u003ca href="https://stackoverflow.com/legal/content-policy"u003e(content policy)u003c/au003e",
allowUrls: true
},
noCode: true, onDemand: true,
discardSelector: ".discard-answer"
,immediatelyShowMarkdownHelp:true
});
}
});
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3196381%2fa-question-about-the-degree-of-an-extension-field%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
2 Answers
2
active
oldest
votes
2 Answers
2
active
oldest
votes
active
oldest
votes
active
oldest
votes
$begingroup$
In general, the degree of $F(alpha)$ over $F$ is the degree of the minimal polynomial of $alpha$. In this case, the minimal polynomial is $f(x)=x^3+2x+2$ which has degree $3$. The basis is ${1,alpha,alpha^2}$.
Think of it this way: $F(alpha)$ should consist of elements of the form $p(alpha)/q(alpha)$, where $p,q$ are polynomials. But using the relation $alpha^3=-2alpha-2$, you can see that every polynomial in $alpha$ can be written as a linear combinations of $1,alpha,alpha^2$. And even $alpha^{-1}$ can be written as such. That means every element of $F(alpha)$ is a linear combination of $1,alpha,alpha^2$.
Let $K=mathbb{F}_3(alpha)$. To see why $Ksimeq mathbb{F}_9$, it's just a cardinality argument: since $K$ is a $3$-dimensional $mathbb{F}_3$-vector space, we know from linear algebra that $Ksimeq mathbb{F}_3^3$ as vector spaces. The right hand side has 27 elements. So $K$ is the field of 27 elements.
$endgroup$
$begingroup$
I see, thanks. Why is $f(x)$ the minimal polynomial for $alpha$? Why can't we have a polynomial of degree, say 2, whose zero is $alpha$?
$endgroup$
– manifolded
2 hours ago
$begingroup$
Thanks @egreg, my arithmetic is suspect.
$endgroup$
– Ehsaan
2 hours ago
$begingroup$
@manifolded: The minimal polynomial of $alpha$ has the property that it generates the ideal of all polynomials which vanish at $alpha$. It is the unique (monic) irreducible polynomial with $alpha$ as a root.
$endgroup$
– Ehsaan
2 hours ago
add a comment |
$begingroup$
In general, the degree of $F(alpha)$ over $F$ is the degree of the minimal polynomial of $alpha$. In this case, the minimal polynomial is $f(x)=x^3+2x+2$ which has degree $3$. The basis is ${1,alpha,alpha^2}$.
Think of it this way: $F(alpha)$ should consist of elements of the form $p(alpha)/q(alpha)$, where $p,q$ are polynomials. But using the relation $alpha^3=-2alpha-2$, you can see that every polynomial in $alpha$ can be written as a linear combinations of $1,alpha,alpha^2$. And even $alpha^{-1}$ can be written as such. That means every element of $F(alpha)$ is a linear combination of $1,alpha,alpha^2$.
Let $K=mathbb{F}_3(alpha)$. To see why $Ksimeq mathbb{F}_9$, it's just a cardinality argument: since $K$ is a $3$-dimensional $mathbb{F}_3$-vector space, we know from linear algebra that $Ksimeq mathbb{F}_3^3$ as vector spaces. The right hand side has 27 elements. So $K$ is the field of 27 elements.
$endgroup$
$begingroup$
I see, thanks. Why is $f(x)$ the minimal polynomial for $alpha$? Why can't we have a polynomial of degree, say 2, whose zero is $alpha$?
$endgroup$
– manifolded
2 hours ago
$begingroup$
Thanks @egreg, my arithmetic is suspect.
$endgroup$
– Ehsaan
2 hours ago
$begingroup$
@manifolded: The minimal polynomial of $alpha$ has the property that it generates the ideal of all polynomials which vanish at $alpha$. It is the unique (monic) irreducible polynomial with $alpha$ as a root.
$endgroup$
– Ehsaan
2 hours ago
add a comment |
$begingroup$
In general, the degree of $F(alpha)$ over $F$ is the degree of the minimal polynomial of $alpha$. In this case, the minimal polynomial is $f(x)=x^3+2x+2$ which has degree $3$. The basis is ${1,alpha,alpha^2}$.
Think of it this way: $F(alpha)$ should consist of elements of the form $p(alpha)/q(alpha)$, where $p,q$ are polynomials. But using the relation $alpha^3=-2alpha-2$, you can see that every polynomial in $alpha$ can be written as a linear combinations of $1,alpha,alpha^2$. And even $alpha^{-1}$ can be written as such. That means every element of $F(alpha)$ is a linear combination of $1,alpha,alpha^2$.
Let $K=mathbb{F}_3(alpha)$. To see why $Ksimeq mathbb{F}_9$, it's just a cardinality argument: since $K$ is a $3$-dimensional $mathbb{F}_3$-vector space, we know from linear algebra that $Ksimeq mathbb{F}_3^3$ as vector spaces. The right hand side has 27 elements. So $K$ is the field of 27 elements.
$endgroup$
In general, the degree of $F(alpha)$ over $F$ is the degree of the minimal polynomial of $alpha$. In this case, the minimal polynomial is $f(x)=x^3+2x+2$ which has degree $3$. The basis is ${1,alpha,alpha^2}$.
Think of it this way: $F(alpha)$ should consist of elements of the form $p(alpha)/q(alpha)$, where $p,q$ are polynomials. But using the relation $alpha^3=-2alpha-2$, you can see that every polynomial in $alpha$ can be written as a linear combinations of $1,alpha,alpha^2$. And even $alpha^{-1}$ can be written as such. That means every element of $F(alpha)$ is a linear combination of $1,alpha,alpha^2$.
Let $K=mathbb{F}_3(alpha)$. To see why $Ksimeq mathbb{F}_9$, it's just a cardinality argument: since $K$ is a $3$-dimensional $mathbb{F}_3$-vector space, we know from linear algebra that $Ksimeq mathbb{F}_3^3$ as vector spaces. The right hand side has 27 elements. So $K$ is the field of 27 elements.
edited 2 hours ago
answered 2 hours ago
EhsaanEhsaan
1,040514
1,040514
$begingroup$
I see, thanks. Why is $f(x)$ the minimal polynomial for $alpha$? Why can't we have a polynomial of degree, say 2, whose zero is $alpha$?
$endgroup$
– manifolded
2 hours ago
$begingroup$
Thanks @egreg, my arithmetic is suspect.
$endgroup$
– Ehsaan
2 hours ago
$begingroup$
@manifolded: The minimal polynomial of $alpha$ has the property that it generates the ideal of all polynomials which vanish at $alpha$. It is the unique (monic) irreducible polynomial with $alpha$ as a root.
$endgroup$
– Ehsaan
2 hours ago
add a comment |
$begingroup$
I see, thanks. Why is $f(x)$ the minimal polynomial for $alpha$? Why can't we have a polynomial of degree, say 2, whose zero is $alpha$?
$endgroup$
– manifolded
2 hours ago
$begingroup$
Thanks @egreg, my arithmetic is suspect.
$endgroup$
– Ehsaan
2 hours ago
$begingroup$
@manifolded: The minimal polynomial of $alpha$ has the property that it generates the ideal of all polynomials which vanish at $alpha$. It is the unique (monic) irreducible polynomial with $alpha$ as a root.
$endgroup$
– Ehsaan
2 hours ago
$begingroup$
I see, thanks. Why is $f(x)$ the minimal polynomial for $alpha$? Why can't we have a polynomial of degree, say 2, whose zero is $alpha$?
$endgroup$
– manifolded
2 hours ago
$begingroup$
I see, thanks. Why is $f(x)$ the minimal polynomial for $alpha$? Why can't we have a polynomial of degree, say 2, whose zero is $alpha$?
$endgroup$
– manifolded
2 hours ago
$begingroup$
Thanks @egreg, my arithmetic is suspect.
$endgroup$
– Ehsaan
2 hours ago
$begingroup$
Thanks @egreg, my arithmetic is suspect.
$endgroup$
– Ehsaan
2 hours ago
$begingroup$
@manifolded: The minimal polynomial of $alpha$ has the property that it generates the ideal of all polynomials which vanish at $alpha$. It is the unique (monic) irreducible polynomial with $alpha$ as a root.
$endgroup$
– Ehsaan
2 hours ago
$begingroup$
@manifolded: The minimal polynomial of $alpha$ has the property that it generates the ideal of all polynomials which vanish at $alpha$. It is the unique (monic) irreducible polynomial with $alpha$ as a root.
$endgroup$
– Ehsaan
2 hours ago
add a comment |
$begingroup$
Look at the situation from a more abstract point of view. Let $F$ be a field and $f(x)in F[x]$ an irreducible monic polynomial.
If $a$ is a root of $f(x)$ in some extension field $K$ of $F$, then, if $F(a)$ denotes the smallest subfield of $K$ containing $F$ and $a$, we have
$$
F(a)cong F[x]/langle f(x)rangle
$$
and moreover $F[a]$, the smallest subring of $K$ containing $F$ and $a$ is the same as $F(a)$. Therefore we can see $F(a)=F[a]={g(a):g(x)in F[x]}$.
On the other hand, as $f(a)=0$, given $g(x)in F[x]$, we can perform the division and write $g(x)=f(x)q(x)+r(x)$, where $r$ has degree less than the degree of $f$. Thus we also have
$$
F(a)=F[a]={g(a):g(x)in F[x],deg g<deg f} tag{*}
$$
which is probably what you refer to by saying “any polynomial in $mathbb{Z}_3[x]$ can have degree at most $2$” (which isn't a good way to express the fact).
Now, suppose $g(x)$ is a monic polynomial satisfying $g(a)=0$. Take $g$ of minimal degree. Since we can perform the division $f(x)=g(x)q(x)+r(x)$, the assumptions give us that $r(a)=0$; by minimality of $deg g$, we infer that $r(x)=0$. Therefore $g$ divides $f$. Since $f$ is irreducible, we deduce that $g(x)=f(x)$ (they can differ up to a nonzero multiplicative constant, but being both monic, the constant is $1$).
Hence $f(x)$ is the minimal polynomial of $a$.
Now we can see that the set ${1,a,a^2,dots,a^{n-1}}$ (where $n=deg f$) is a basis of $F[a]$ as a vector space over $F$. The fact it is a spanning set follows from (*); it is linearly independent because $f$ is the minimal polynomial and a linear combination of those elements is the value of a polynomial of lesser degree than $f$, so it cannot vanish unless all the coefficients are zero.
Finally apply this to your particular case: $mathbb{Z}_3[a]$ is a three-dimensional vector space over $mathbb{Z}_3$, so it has $3^3=27$ elements.
$endgroup$
add a comment |
$begingroup$
Look at the situation from a more abstract point of view. Let $F$ be a field and $f(x)in F[x]$ an irreducible monic polynomial.
If $a$ is a root of $f(x)$ in some extension field $K$ of $F$, then, if $F(a)$ denotes the smallest subfield of $K$ containing $F$ and $a$, we have
$$
F(a)cong F[x]/langle f(x)rangle
$$
and moreover $F[a]$, the smallest subring of $K$ containing $F$ and $a$ is the same as $F(a)$. Therefore we can see $F(a)=F[a]={g(a):g(x)in F[x]}$.
On the other hand, as $f(a)=0$, given $g(x)in F[x]$, we can perform the division and write $g(x)=f(x)q(x)+r(x)$, where $r$ has degree less than the degree of $f$. Thus we also have
$$
F(a)=F[a]={g(a):g(x)in F[x],deg g<deg f} tag{*}
$$
which is probably what you refer to by saying “any polynomial in $mathbb{Z}_3[x]$ can have degree at most $2$” (which isn't a good way to express the fact).
Now, suppose $g(x)$ is a monic polynomial satisfying $g(a)=0$. Take $g$ of minimal degree. Since we can perform the division $f(x)=g(x)q(x)+r(x)$, the assumptions give us that $r(a)=0$; by minimality of $deg g$, we infer that $r(x)=0$. Therefore $g$ divides $f$. Since $f$ is irreducible, we deduce that $g(x)=f(x)$ (they can differ up to a nonzero multiplicative constant, but being both monic, the constant is $1$).
Hence $f(x)$ is the minimal polynomial of $a$.
Now we can see that the set ${1,a,a^2,dots,a^{n-1}}$ (where $n=deg f$) is a basis of $F[a]$ as a vector space over $F$. The fact it is a spanning set follows from (*); it is linearly independent because $f$ is the minimal polynomial and a linear combination of those elements is the value of a polynomial of lesser degree than $f$, so it cannot vanish unless all the coefficients are zero.
Finally apply this to your particular case: $mathbb{Z}_3[a]$ is a three-dimensional vector space over $mathbb{Z}_3$, so it has $3^3=27$ elements.
$endgroup$
add a comment |
$begingroup$
Look at the situation from a more abstract point of view. Let $F$ be a field and $f(x)in F[x]$ an irreducible monic polynomial.
If $a$ is a root of $f(x)$ in some extension field $K$ of $F$, then, if $F(a)$ denotes the smallest subfield of $K$ containing $F$ and $a$, we have
$$
F(a)cong F[x]/langle f(x)rangle
$$
and moreover $F[a]$, the smallest subring of $K$ containing $F$ and $a$ is the same as $F(a)$. Therefore we can see $F(a)=F[a]={g(a):g(x)in F[x]}$.
On the other hand, as $f(a)=0$, given $g(x)in F[x]$, we can perform the division and write $g(x)=f(x)q(x)+r(x)$, where $r$ has degree less than the degree of $f$. Thus we also have
$$
F(a)=F[a]={g(a):g(x)in F[x],deg g<deg f} tag{*}
$$
which is probably what you refer to by saying “any polynomial in $mathbb{Z}_3[x]$ can have degree at most $2$” (which isn't a good way to express the fact).
Now, suppose $g(x)$ is a monic polynomial satisfying $g(a)=0$. Take $g$ of minimal degree. Since we can perform the division $f(x)=g(x)q(x)+r(x)$, the assumptions give us that $r(a)=0$; by minimality of $deg g$, we infer that $r(x)=0$. Therefore $g$ divides $f$. Since $f$ is irreducible, we deduce that $g(x)=f(x)$ (they can differ up to a nonzero multiplicative constant, but being both monic, the constant is $1$).
Hence $f(x)$ is the minimal polynomial of $a$.
Now we can see that the set ${1,a,a^2,dots,a^{n-1}}$ (where $n=deg f$) is a basis of $F[a]$ as a vector space over $F$. The fact it is a spanning set follows from (*); it is linearly independent because $f$ is the minimal polynomial and a linear combination of those elements is the value of a polynomial of lesser degree than $f$, so it cannot vanish unless all the coefficients are zero.
Finally apply this to your particular case: $mathbb{Z}_3[a]$ is a three-dimensional vector space over $mathbb{Z}_3$, so it has $3^3=27$ elements.
$endgroup$
Look at the situation from a more abstract point of view. Let $F$ be a field and $f(x)in F[x]$ an irreducible monic polynomial.
If $a$ is a root of $f(x)$ in some extension field $K$ of $F$, then, if $F(a)$ denotes the smallest subfield of $K$ containing $F$ and $a$, we have
$$
F(a)cong F[x]/langle f(x)rangle
$$
and moreover $F[a]$, the smallest subring of $K$ containing $F$ and $a$ is the same as $F(a)$. Therefore we can see $F(a)=F[a]={g(a):g(x)in F[x]}$.
On the other hand, as $f(a)=0$, given $g(x)in F[x]$, we can perform the division and write $g(x)=f(x)q(x)+r(x)$, where $r$ has degree less than the degree of $f$. Thus we also have
$$
F(a)=F[a]={g(a):g(x)in F[x],deg g<deg f} tag{*}
$$
which is probably what you refer to by saying “any polynomial in $mathbb{Z}_3[x]$ can have degree at most $2$” (which isn't a good way to express the fact).
Now, suppose $g(x)$ is a monic polynomial satisfying $g(a)=0$. Take $g$ of minimal degree. Since we can perform the division $f(x)=g(x)q(x)+r(x)$, the assumptions give us that $r(a)=0$; by minimality of $deg g$, we infer that $r(x)=0$. Therefore $g$ divides $f$. Since $f$ is irreducible, we deduce that $g(x)=f(x)$ (they can differ up to a nonzero multiplicative constant, but being both monic, the constant is $1$).
Hence $f(x)$ is the minimal polynomial of $a$.
Now we can see that the set ${1,a,a^2,dots,a^{n-1}}$ (where $n=deg f$) is a basis of $F[a]$ as a vector space over $F$. The fact it is a spanning set follows from (*); it is linearly independent because $f$ is the minimal polynomial and a linear combination of those elements is the value of a polynomial of lesser degree than $f$, so it cannot vanish unless all the coefficients are zero.
Finally apply this to your particular case: $mathbb{Z}_3[a]$ is a three-dimensional vector space over $mathbb{Z}_3$, so it has $3^3=27$ elements.
answered 2 hours ago
egregegreg
186k1486209
186k1486209
add a comment |
add a comment |
Thanks for contributing an answer to Mathematics Stack Exchange!
- Please be sure to answer the question. Provide details and share your research!
But avoid …
- Asking for help, clarification, or responding to other answers.
- Making statements based on opinion; back them up with references or personal experience.
Use MathJax to format equations. MathJax reference.
To learn more, see our tips on writing great answers.
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3196381%2fa-question-about-the-degree-of-an-extension-field%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
$begingroup$
See "Field and Galois Theory, Patrick Morandi, chapter 1, proposition 1.15".
$endgroup$
– Lucas Corrêa
2 hours ago