MHB Fields and Field Extensions - Dummit and Foote, Ch. 13 .... ....

  • Thread starter Thread starter Math Amateur
  • Start date Start date
  • Tags Tags
    Field Fields
Math Amateur
Gold Member
MHB
Messages
3,920
Reaction score
48
I am reading Dummit and Foote, Chapter 13 - Field Theory.

I am currently studying Theorem 3 [pages 512 - 513]

I need some help with an aspect the proof of Theorem 3 ... ...

Theorem 3 on pages 512-513 reads as follows:
View attachment 6580
View attachment 6581
In the above text from Dummit and Foote, we read the following:

" ... ... We identify $$F$$ with its isomorphic image in $$K$$ and view $$F$$ as a subfield of $$K$$. If $$\overline{x} = \pi (x)$$ denotes the image of $$x$$ in the quotient $$K$$, then

$$p( \overline{x} ) = \overline{ p(x) }$$ ... ... (since $$\pi$$ is a homomorphism)

... ... "My question is as follows: ... where in the proof of $$p( \overline{x} ) = \overline{ p(x) }$$ does it depend on $$\pi$$ being a homomorphism ...

... indeed, how does one formally and rigorously demonstrate that $$p( \overline{x} ) = \overline{ p(x) }$$ ... ... and how does this proof depend on $$\pi$$ being a homomorphism ...
To make my question clearer consider the case of $$p(x) = x^2 - 5$$ ... ...

Then ...

$$p( \overline{x} ) = \overline{x}^2 - 5_K $$

$$= ( x + ( p(x) ) ( x + ( p(x) ) - ( 5 + ( p(x) )$$

$$= ( x^2 + ( p(x) ) - ( 5 + ( p(x) )$$

$$= ( x^2 - 5 ) + ( p(x) ) = 0$$

$$= \overline{ p(x) } $$
... ... in the above case, my question is ... where does the above calculation depend on $$\pi$$ being a homomorphism ... ?
Hope someone can help ...

Peter
 
Last edited:
Physics news on Phys.org
Peter said:
... indeed, how does one formally and rigorously demonstrate that $$p( \overline{x} ) = \overline{ p(x) }$$ ... ... and how does this proof depend on $$\pi$$ being a homomorphism ...

The homomorphism property of $\pi$ allows for multiplication of cosets, as in your example with $p(x) = x^2 - 5$. In this general case, since $\pi$ is a homomorphism of rings, $\pi(ax^k) = \pi(a)\pi(x)^k=a\pi(x)^k$ for all scalars $a$ and for all $k \ge 0$, i.e., $\overline{ax^k} = a\bar{x}^k$ for all $a$ and $k$. Hence, by additivity of $\pi$, $p(\bar{x}) = \overline{p(x)}$.
 
Euge said:
The homomorphism property of $\pi$ allows for multiplication of cosets, as in your example with $p(x) = x^2 - 5$. In this general case, since $\pi$ is a homomorphism of rings, $\pi(ax^k) = \pi(a)\pi(x)^k=a\pi(x)^k$ for all scalars $a$ and for all $k \ge 0$, i.e., $\overline{ax^k} = a\bar{x}^k$ for all $a$ and $k$. Hence, by additivity of $\pi$, $p(\bar{x}) = \overline{p(x)}$.
Thanks Euge ... most helpful as usual ...

Peter
 
Thread 'Determine whether ##125## is a unit in ##\mathbb{Z_471}##'
This is the question, I understand the concept, in ##\mathbb{Z_n}## an element is a is a unit if and only if gcd( a,n) =1. My understanding of backwards substitution, ... i have using Euclidean algorithm, ##471 = 3⋅121 + 108## ##121 = 1⋅108 + 13## ##108 =8⋅13+4## ##13=3⋅4+1## ##4=4⋅1+0## using back-substitution, ##1=13-3⋅4## ##=(121-1⋅108)-3(108-8⋅13)## ... ##= 121-(471-3⋅121)-3⋅471+9⋅121+24⋅121-24(471-3⋅121## ##=121-471+3⋅121-3⋅471+9⋅121+24⋅121-24⋅471+72⋅121##...
Back
Top