Suppose F and H are fields of size $\;q=p^{r}\;$containing$\;GF(p)\;$as subfield.$\;\alpha\;$is a primitive element of F and $\;\beta\;$ is a primitive element of H.$\;m(x)\;$is the minimal polynomial of $\;\alpha\;.\;$Non-zero Elements of both fields satisfy the equation$\;x^{q-1}=1\; .\;\;\;m(x)\;$is divisor of $\;x^{q-1}-1.\;$Hence there is an element in H (say)$\;\beta^{t}\;\;$which is a root $\;\;m(x)\;.\;$
I want to show that there exists a field isomorphism $\;\phi:F\to H \;$ which carries zero to zero and $\;\alpha\;$to $\;\beta^{t}\;$
Can you help to prove it? I have tried $\;\phi(\alpha^{j} )=\beta^{tj}\;$ but I could not show that $\;\phi\;$ preserves addition.( This argument is presented by Vera Pless in the book Introduction to Theory of Error correcting codes.)
Saturday, August 27, 2016
Abstract algebra, Field extension
Subscribe to:
Post Comments (Atom)
analysis - Injection, making bijection
I have injection $f \colon A \rightarrow B$ and I want to get bijection. Can I just resting codomain to $f(A)$? I know that every function i...
-
So if I have a matrix and I put it into RREF and keep track of the row operations, I can then write it as a product of elementary matrices. ...
-
I need to give an explicit bijection between $(0, 1]$ and $[0,1]$ and I'm wondering if my bijection/proof is correct. Using the hint tha...
-
Recently I took a test where I was given these two limits to evaluate: $\lim_\limits{h \to 0}\frac{\sin(x+h)-\sin{(x)}}{h}$ and $\lim_\limi...
No comments:
Post a Comment