Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

Proving another isomorphism

  1. Apr 11, 2005 #1
    ok, i've pasting some of the stuff i've done in scientific workplace 3.0. should be easier to read than in plain text. hope some of you can help me... just ask if there is something you don't get.

    I am supposed to prove that $Map(n,K)\thickapprox K[X_{1},..X_{n}]/I.$ where I is the ideal generated by the elements $X_{i}^{q}-X_{i},1\leq i\leq n.$ Map(n,K) is the ring of polynomial mappings. here is a link that explains what a polynomial map is:


    K is a field of q elements.

    I start with this:

    have a homomorphism $\phi :(K[X_{1},..X_{n}])\rightarrow GMAP(K^{n},K)$ where GMAP is the group of all mappings from $K^{n}\rightarrow K.$

    this is an evaluation homomorphism. $\phi (f):K^{n}\rightarrow K$ and $\phi (f)(a_{1},...a_{n}):=f(a_{1},...,a_{n}).$ $I=\ker \phi .J=<X_{i}^{q}-X_{i}>.$

    here is my plan. i want to use the first isomorphism theorem.

    if we have a homomorphism $f:G\rightarrow H,$ then we have that $G/\ker f\thickapprox \func{Im}f.$ In my case G is $K[X_{1},..X_{n}]$ and H is $GMap(K^{n},K)$

    to do this i have to prove first that I=J. This can be done by showing that $I\subseteq J$ and that $J\subseteq I.$ i must also prove that $\func{Im}f=Map(K^{n},K)=K[X]/I.$

    we have that every X$^{q}$ can be replaced by X. given a polynomial $f=\sum_{i_{1},...,i_{n}}a_{i_{n},...,i_{n}}X_{1}^{i_{1}}X_{2}^{i_{2}}...X_{n}^{i_{n}}. $ What i want to do is reduce all parts, so that all exponents are $\leq q.$

    given $f=\sum_{i_{1},...,i_{n}}a_{i_{1}},...,_{i_{n}}X_{1}^{i_{1}}X_{2}^{i_{2}}...X_{n}^{i_{n}}\in I. $ if i.e. i$_{1}\geq q,$ then i would i have $f^{|}=f-(X_{1}^{q}-X_{i})\cdot a_{i_{1}},...,_{i_{n}}X_{1}^{i-q}X_{2}^{i_{2}}...X_{n}^{i_{n}}.$ This is done for all i, so that every exponent is $\leq q.$ Then $f^{|}\in I.$ An element in both I and J. The monomial $a_{i_{1}},...,_{i_{n}}X_{1}^{i_{1}}X_{2}^{i_{2}}...X_{n}^{i_{n}}$ ''becomes'' $a_{i_{1}},...,_{i_{n}}X_{1}^{i_{1}-q+1}X_{2}^{i_{2}}...X_{n}^{i_{n}}.$

    so $f^{|}\in I.f-f^{|}\in J.$ $\deg f^{|}\prec ($less than) $q.$ then a corrollary from lang(p.177 c.1.8) says:let k be a finite field with q elements. let f be a polynomial in n variables over k such that the degree of f in each variable is less than q. if f induces the zero function on k$^{(n)}$ then f=0.

    so considering this, $f\in J.$ Does all of this make any sense or am i waaaay off here? how do i show the oter way around? $J\subseteq I?$

    i know it's a lot to read, but bare with me here:

    so when one has shown that I=J, i must prove the other part.

    $V=\{$polynomials with $\deg x_{i}f\prec q\}.$ a vector space over K. $dim_{k}V=\{$the number of different monomials\}= q$^{n}.$ then $|V|=q^{q^{n}} $.

    we have linear mappings $V\rightarrow K[X_{1},...,X_{n}]\rightarrow K[]/I.$ So if i show that ker = 0 and that this is surjective(from V to K[]/I) then we have an isomorphism from V to K[]/I. $\func{Im}\phi =Map.$ So then from the isomorphism theorem, G/$\ker f\thickapprox \func{Im}f.$ That should give $K[X_{1},...,X_{n}]/I\thickapprox map(n,K).$
  2. jcsd
  3. Apr 11, 2005 #2


    User Avatar
    Staff Emeritus
    Science Advisor
    Gold Member

    You can use these tags to generate LaTex: [ itex ] ... [ /itex ]. (Without the excess spaces)

    For example, the first LaTeX expression in your post becomes [itex]Map(n,K)\thickapprox K[X_{1},..X_{n}]/I.[/itex]
Know someone interested in this topic? Share this thread via Reddit, Google+, Twitter, or Facebook

Similar Discussions: Proving another isomorphism
  1. Proving an Isomorphism (Replies: 6)

  2. Proving isomorphism (Replies: 12)

  3. Prove not isomorphic? (Replies: 2)