How to prove these two rings are not isomorphic  In fact, it is a simple problem. I just want to know whether there are some interesting proof. 
$Z[x_1, x_2, ......, x_{n^2-1}]$ and $Z[y_{11}, ......, y_{1n}, y_{21}, ......, y_{nn}]/(det(y_{ij})-1))$, where $Z$ is integer. 
One way to prove is select a prime number,say $p=2$,then localize these two rings, one can count the number of elements in both rings and they are NOT equal. 
Question:
Is there any other geometric way to "see" they are obviously not isomorphic to each other?
Any related comments are welcome. 
Thanks 
The reason I want to ask is some one argued that the proof I gave above is not natural. He thought this is not a "Grothendieck style proof" 
 A: Does your critic dislike that the argument seems not applicable over general rings?  But it is: if there's an isomorphism over some ring $R$ then we can descend to a finitely generated subring and pass to the quotient by a maximal ideal to get such an isomorphism over a finite field, and then count points. 
Or maybe your critic would prefer to invoke the fact that any group variety structure on an affine space over a field $k$ is unipotent, which ${\rm{SL}}_n$ is not? Here is a Grothedieck-style proof of this fact about affine space, exactly in the same spirit as the preceding argument: if an affine space over $k$ has a non-unipotent $k$-group structure then by increasing $k$ to an algebraic closure it would (by virtue of being smooth, connected, and affine) contain a nontrivial $k$-split $k$-torus as closed $k$-subgroup.  We can then once again descend this property to a subring of $k$ finitely generated over $\mathbf{Z}$ and specialize to a finite field and conclude by counting points: the size of affine space over $k$ of size $q$ is a power of $q$, whereas the nontrivial $k$-split $k$-torus subgroup forces the total number of $k$-points to be divisible by $q-1$, so we get a contradiction as long as $q \ne 2$, and we can certainly always arrange that by increasing the finite field before "counting" anyway.  
(There is a more "direct" proof of this general fact about group structures on affine spaces in Springer's book on algebraic groups, but it is kind of complicated.  The specialization trick sure makes it easier, at the cost of better algebro-geometric technique to work over a base that is not a field during the middle of that process.) 
A: Dear Shizhuo, here is a another proof that the two rings are not isomorphic.
By extending the scalars to $\mathbb C$ it suffices to prove that $SL(n,  \mathbb C)$ is not isomorphic  to affine space $\mathbb A^{n^2-1} _\mathbb C$. But these spaces are not  homeomorphic when endowed with their classical topology. Indeed affine space has no cohomology (it is homotopic to a point), whereas  the cohomology algebra of $SL(n,  \mathbb C)$ is the  exterior algebra on $n-1$ variables $\Lambda (e_3, e_5,...,e_{2n-1})$ if $n\geq 2$ [For $n=1$ your two rings are obviously isomorphic!]. References are given on this very site, as an answer to Evgeny Shinder's question on the cohomology of $GL_n$ and $SL_n$.
PS Personally, I much prefer your proof !  But maybe your harsh critic, Mr "some one", will accept the above as satisfying his strange criteria...
A: Here is my, admittedly, ad hoc way of proving they are distinct.  It comes from trying to make it concrete that the graded pieces have different sizes.
First, you better assume that $n\geq 2$ as these rings are isomorphic if $n=1$.
Assume, by way of contradiction, there is an isomorphism $\varphi:S\rightarrow R$ where $S$ is the second ring (with the determinant relation) and $R$ is the first ring. Let $f_{ij}=\varphi(y_{ij})$.  Thus $\det((f_{ij}))=1$.
Let $I_{0}$ be the ideal of $R$ generated by $2$ and $x_{k}^{2}$ for each $k$.  Note that as the $y_{ij}$ generate $S$, we must have that $x_{1}$ occurs in one of the $f_{ij}$ (even modulo $I_{0}$) with non-zero support.  Let $I_{1}$ be the ideal generated by the same relations as $I_{0}$, except we add the relation $x_{1}=f_{ij}-x_{1}$.  Note that $R/I_{1}$ is isomorphic (naturally) to $\mathbb{Z}[x_2,x_3,\ldots, x_{n^{2}-1}]$.
Now, $x_{2}$ occurs with non-zero support in (a different) $f_{ij}'$ (modulo $I_{1}$) as these polynomials still generate $R/I_{1}$.  Create a new ideal $I_{2}$ containing $f_{ij}'$, but for which $R/I_{2}$ looks like $\mathbb{Z}[x_3,\ldots, x_{n^{2}-1}]$.
Repeating this process enough times, we can make make the matrix $(f_{ij})$ have both determinant 1 and 0, modulo an ideal $I$, even though $R/I$ is not the zero ring.  This gives you the needed contradiction.
