2
$\begingroup$

I am having a hard time writing a bijective map between the two rings: $$ R = \dfrac{k[x,y,z,u,v]}{\left<(x-y)z+uv\right>} \cong \dfrac{k[x,y,z,u,v]}{\left<(x-y)z\right>} = S. $$

I know that we need to explicitly write down where the generators go from left to right and then from right to left.

Any help is greatly appreciated.

$$ $$

Note: in one direction, we could map $k[x,y,z,u,v]\rightarrow k[x,y,z,u,v]/\left< (x-y)z\right>$, with $$ x \mapsto x, y \mapsto y, z\mapsto z, $$ but where would $u$ and $v$ go? Would $u\mapsto x-y$ and $v\mapsto -z$?

As for the other direction, $k[x,y,z,u,v]\rightarrow k[x,y,z,u,v]/\left< (x-y)z+uv\right>$, do we have $$ x\mapsto x, y\mapsto y, z\mapsto z, u\mapsto \not 1, v\mapsto \not 1? $$

  • 0
    If indeed your isomorphism holds, I would suggest proving it by using the first isomorphism theorem.2012-06-25
  • 0
    I do not think my second map is correct. Is it? That is why I "crossed out" the $1$'s because I wasn't sure.2012-06-25
  • 2
    Are you sure they're isomorphic? Polynomial rings over $k$ are unique factorization domains. The modulus defining $S$ has a nontrivial factorization, and so $S$ has zero divisors. The modulus defining $R$, however, is irreducible, and so $R$ is a domain.2012-06-25
  • 0
    Thank you Hurkyl for that information. I could be wrong. I will check again.2012-06-25
  • 2
    The isomorphism you are proposing cannot work: if you map $x$, $y$, and $z$ to themselves, then $(x-y)z$ will be in the kernel. But $(x-y)z\notin\langle (x-y)z + uv\rangle$.2012-06-25
  • 0
    Thank you Arturo! That is a good way to think about how such a map cannot induce an isomorphism.2012-06-25

0 Answers 0