Showing the minimal polynomial for an element in an extension field is the same as the minimal polynomial of a linear transformation.
Clash Royale CLAN TAG#URR8PPP
up vote
2
down vote
favorite
This is problem 31b) from Dummit and Foote chapter 14.2. I am looking for a hint on how to attack the problem, since I have been thinking about it for a couple of hours but I don't even know where to start. The problem says:
Let $K$ be a finite extension of $F$ of degree $n$. Let $alpha$ be an element of $K$. Prove that the minimal polynomial for $alpha$ over $F$ is the same as the minimal polynomial for the linear transformation $T_alpha$. In this problem, $T_alpha$ is an $F$-linear transformation of $K$ that arises from $alpha$ acting by left multiplication on $K$.
I appreciate any helpful suggestions on how to start attacking the problem or any possible hint. Thanks!
field-theory galois-theory minimal-polynomials
add a comment |Â
up vote
2
down vote
favorite
This is problem 31b) from Dummit and Foote chapter 14.2. I am looking for a hint on how to attack the problem, since I have been thinking about it for a couple of hours but I don't even know where to start. The problem says:
Let $K$ be a finite extension of $F$ of degree $n$. Let $alpha$ be an element of $K$. Prove that the minimal polynomial for $alpha$ over $F$ is the same as the minimal polynomial for the linear transformation $T_alpha$. In this problem, $T_alpha$ is an $F$-linear transformation of $K$ that arises from $alpha$ acting by left multiplication on $K$.
I appreciate any helpful suggestions on how to start attacking the problem or any possible hint. Thanks!
field-theory galois-theory minimal-polynomials
1
what exactly is your definition for $T_alpha$?
â Pink Panther
Jul 28 at 16:36
Sorry for the lack of details and thanks for the comment! I added that info to the problem.
â user110320
Jul 28 at 16:40
so first you can take two minimal polynomials $m_alpha$ and $m_T_alpha$ and then you see that $m_T_alpha(alpha)=m_T_alpha(1cdotalpha)=0$, since we assume that $m_T_alpha(T_alpha(x))=m_T_alpha(alphacdot x)=0$ for all $xin F$ (if i recall correctly, please tell me if i'm wrong). Then $deg(m_T_alpha)geqdeg(m_alpha)$, since $m_T_alpha$ is already a candidate for $m_alpha$. Now you can assume that the polynomials are not equal. If that is the case, then $m_alpha(x)-m_T_alpha(x)neq 0$ for some $xin F$. I'll let you try from here. Hope this helps!
â Pink Panther
Jul 28 at 17:15
add a comment |Â
up vote
2
down vote
favorite
up vote
2
down vote
favorite
This is problem 31b) from Dummit and Foote chapter 14.2. I am looking for a hint on how to attack the problem, since I have been thinking about it for a couple of hours but I don't even know where to start. The problem says:
Let $K$ be a finite extension of $F$ of degree $n$. Let $alpha$ be an element of $K$. Prove that the minimal polynomial for $alpha$ over $F$ is the same as the minimal polynomial for the linear transformation $T_alpha$. In this problem, $T_alpha$ is an $F$-linear transformation of $K$ that arises from $alpha$ acting by left multiplication on $K$.
I appreciate any helpful suggestions on how to start attacking the problem or any possible hint. Thanks!
field-theory galois-theory minimal-polynomials
This is problem 31b) from Dummit and Foote chapter 14.2. I am looking for a hint on how to attack the problem, since I have been thinking about it for a couple of hours but I don't even know where to start. The problem says:
Let $K$ be a finite extension of $F$ of degree $n$. Let $alpha$ be an element of $K$. Prove that the minimal polynomial for $alpha$ over $F$ is the same as the minimal polynomial for the linear transformation $T_alpha$. In this problem, $T_alpha$ is an $F$-linear transformation of $K$ that arises from $alpha$ acting by left multiplication on $K$.
I appreciate any helpful suggestions on how to start attacking the problem or any possible hint. Thanks!
field-theory galois-theory minimal-polynomials
edited Jul 28 at 16:39
asked Jul 28 at 16:30
user110320
41027
41027
1
what exactly is your definition for $T_alpha$?
â Pink Panther
Jul 28 at 16:36
Sorry for the lack of details and thanks for the comment! I added that info to the problem.
â user110320
Jul 28 at 16:40
so first you can take two minimal polynomials $m_alpha$ and $m_T_alpha$ and then you see that $m_T_alpha(alpha)=m_T_alpha(1cdotalpha)=0$, since we assume that $m_T_alpha(T_alpha(x))=m_T_alpha(alphacdot x)=0$ for all $xin F$ (if i recall correctly, please tell me if i'm wrong). Then $deg(m_T_alpha)geqdeg(m_alpha)$, since $m_T_alpha$ is already a candidate for $m_alpha$. Now you can assume that the polynomials are not equal. If that is the case, then $m_alpha(x)-m_T_alpha(x)neq 0$ for some $xin F$. I'll let you try from here. Hope this helps!
â Pink Panther
Jul 28 at 17:15
add a comment |Â
1
what exactly is your definition for $T_alpha$?
â Pink Panther
Jul 28 at 16:36
Sorry for the lack of details and thanks for the comment! I added that info to the problem.
â user110320
Jul 28 at 16:40
so first you can take two minimal polynomials $m_alpha$ and $m_T_alpha$ and then you see that $m_T_alpha(alpha)=m_T_alpha(1cdotalpha)=0$, since we assume that $m_T_alpha(T_alpha(x))=m_T_alpha(alphacdot x)=0$ for all $xin F$ (if i recall correctly, please tell me if i'm wrong). Then $deg(m_T_alpha)geqdeg(m_alpha)$, since $m_T_alpha$ is already a candidate for $m_alpha$. Now you can assume that the polynomials are not equal. If that is the case, then $m_alpha(x)-m_T_alpha(x)neq 0$ for some $xin F$. I'll let you try from here. Hope this helps!
â Pink Panther
Jul 28 at 17:15
1
1
what exactly is your definition for $T_alpha$?
â Pink Panther
Jul 28 at 16:36
what exactly is your definition for $T_alpha$?
â Pink Panther
Jul 28 at 16:36
Sorry for the lack of details and thanks for the comment! I added that info to the problem.
â user110320
Jul 28 at 16:40
Sorry for the lack of details and thanks for the comment! I added that info to the problem.
â user110320
Jul 28 at 16:40
so first you can take two minimal polynomials $m_alpha$ and $m_T_alpha$ and then you see that $m_T_alpha(alpha)=m_T_alpha(1cdotalpha)=0$, since we assume that $m_T_alpha(T_alpha(x))=m_T_alpha(alphacdot x)=0$ for all $xin F$ (if i recall correctly, please tell me if i'm wrong). Then $deg(m_T_alpha)geqdeg(m_alpha)$, since $m_T_alpha$ is already a candidate for $m_alpha$. Now you can assume that the polynomials are not equal. If that is the case, then $m_alpha(x)-m_T_alpha(x)neq 0$ for some $xin F$. I'll let you try from here. Hope this helps!
â Pink Panther
Jul 28 at 17:15
so first you can take two minimal polynomials $m_alpha$ and $m_T_alpha$ and then you see that $m_T_alpha(alpha)=m_T_alpha(1cdotalpha)=0$, since we assume that $m_T_alpha(T_alpha(x))=m_T_alpha(alphacdot x)=0$ for all $xin F$ (if i recall correctly, please tell me if i'm wrong). Then $deg(m_T_alpha)geqdeg(m_alpha)$, since $m_T_alpha$ is already a candidate for $m_alpha$. Now you can assume that the polynomials are not equal. If that is the case, then $m_alpha(x)-m_T_alpha(x)neq 0$ for some $xin F$. I'll let you try from here. Hope this helps!
â Pink Panther
Jul 28 at 17:15
add a comment |Â
1 Answer
1
active
oldest
votes
up vote
1
down vote
Hints:
- Polynomials $f$ and $g$ are equal if both have leading coefficient $1$ and they divide each other.
- We have $f(a)=0$ iff the minimal polynomial of $a$ (let it be field element or linear transformation) divides $f$.
Hence we have to prove $f(alpha)=0 iff f(T_alpha) =0$ for any polynomial $fin F[x]$.
For this, observe $f(T_alpha)=T_f(alpha)$.
Your question has been already asked and answered, see e.g. math.stackexchange.com/a/2710883/300700
â nguyen quang do
Jul 30 at 12:30
add a comment |Â
1 Answer
1
active
oldest
votes
1 Answer
1
active
oldest
votes
active
oldest
votes
active
oldest
votes
up vote
1
down vote
Hints:
- Polynomials $f$ and $g$ are equal if both have leading coefficient $1$ and they divide each other.
- We have $f(a)=0$ iff the minimal polynomial of $a$ (let it be field element or linear transformation) divides $f$.
Hence we have to prove $f(alpha)=0 iff f(T_alpha) =0$ for any polynomial $fin F[x]$.
For this, observe $f(T_alpha)=T_f(alpha)$.
Your question has been already asked and answered, see e.g. math.stackexchange.com/a/2710883/300700
â nguyen quang do
Jul 30 at 12:30
add a comment |Â
up vote
1
down vote
Hints:
- Polynomials $f$ and $g$ are equal if both have leading coefficient $1$ and they divide each other.
- We have $f(a)=0$ iff the minimal polynomial of $a$ (let it be field element or linear transformation) divides $f$.
Hence we have to prove $f(alpha)=0 iff f(T_alpha) =0$ for any polynomial $fin F[x]$.
For this, observe $f(T_alpha)=T_f(alpha)$.
Your question has been already asked and answered, see e.g. math.stackexchange.com/a/2710883/300700
â nguyen quang do
Jul 30 at 12:30
add a comment |Â
up vote
1
down vote
up vote
1
down vote
Hints:
- Polynomials $f$ and $g$ are equal if both have leading coefficient $1$ and they divide each other.
- We have $f(a)=0$ iff the minimal polynomial of $a$ (let it be field element or linear transformation) divides $f$.
Hence we have to prove $f(alpha)=0 iff f(T_alpha) =0$ for any polynomial $fin F[x]$.
For this, observe $f(T_alpha)=T_f(alpha)$.
Hints:
- Polynomials $f$ and $g$ are equal if both have leading coefficient $1$ and they divide each other.
- We have $f(a)=0$ iff the minimal polynomial of $a$ (let it be field element or linear transformation) divides $f$.
Hence we have to prove $f(alpha)=0 iff f(T_alpha) =0$ for any polynomial $fin F[x]$.
For this, observe $f(T_alpha)=T_f(alpha)$.
answered Jul 28 at 17:17
Berci
56.4k23570
56.4k23570
Your question has been already asked and answered, see e.g. math.stackexchange.com/a/2710883/300700
â nguyen quang do
Jul 30 at 12:30
add a comment |Â
Your question has been already asked and answered, see e.g. math.stackexchange.com/a/2710883/300700
â nguyen quang do
Jul 30 at 12:30
Your question has been already asked and answered, see e.g. math.stackexchange.com/a/2710883/300700
â nguyen quang do
Jul 30 at 12:30
Your question has been already asked and answered, see e.g. math.stackexchange.com/a/2710883/300700
â nguyen quang do
Jul 30 at 12:30
add a comment |Â
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
StackExchange.ready(
function ()
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f2865379%2fshowing-the-minimal-polynomial-for-an-element-in-an-extension-field-is-the-same%23new-answer', 'question_page');
);
Post as a guest
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
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
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
1
what exactly is your definition for $T_alpha$?
â Pink Panther
Jul 28 at 16:36
Sorry for the lack of details and thanks for the comment! I added that info to the problem.
â user110320
Jul 28 at 16:40
so first you can take two minimal polynomials $m_alpha$ and $m_T_alpha$ and then you see that $m_T_alpha(alpha)=m_T_alpha(1cdotalpha)=0$, since we assume that $m_T_alpha(T_alpha(x))=m_T_alpha(alphacdot x)=0$ for all $xin F$ (if i recall correctly, please tell me if i'm wrong). Then $deg(m_T_alpha)geqdeg(m_alpha)$, since $m_T_alpha$ is already a candidate for $m_alpha$. Now you can assume that the polynomials are not equal. If that is the case, then $m_alpha(x)-m_T_alpha(x)neq 0$ for some $xin F$. I'll let you try from here. Hope this helps!
â Pink Panther
Jul 28 at 17:15