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.)
Friday, 10 July 2015
Abstract algebra, Field extension
Subscribe to:
Post Comments (Atom)
real analysis - How to find $lim_{hrightarrow 0}frac{sin(ha)}{h}$
How to find $\lim_{h\rightarrow 0}\frac{\sin(ha)}{h}$ without lhopital rule? I know when I use lhopital I easy get $$ \lim_{h\rightarrow 0}...
-
Self-studying some properties of the exponential-function I came to the question of ways to assign a value to the divergent sum $$s=\sum_{k=...
-
Ok, according to some notes I have, the following is true for a random variable $X$ that can only take on positive values, i.e $P(X $\int_0^...
-
The question said: Use the Euclidean Algorithm to find gcd $(1207,569)$ and write $(1207,569)$ as an integer linear combination of $1207$ ...
No comments:
Post a Comment