Given a field $k$. We denote $A_{mn}=k[\{X_{ij}\}_{1\le i\le m,1\le j\le n}]$ a polynomial ring of $mn$ variables. Given $m,n,r>0$, we have a natural homomorphism $\phi\colon A_{mn}\to A_{mr}\otimes_kA_{rn}$ induced by matrix multiplication: $Z_{ij}\mapsto\sum_{l=1}^rX_{il}Y_{lj}$. Let $I\subseteq A=A_{mn}$ be the ideal generated by all $r$-minors of the matrix $(X_{ij})_{1\le i\le m,1\le j\le n}$.

1. Is it true that $I$ is a prime ideal in $A$?
2. Is it true that $I=\ker\phi$?

When $r=1$, it's just something about Segre embedding and two propositions are all true. A proof could be found [here](http://www.artofproblemsolving.com/community/c7h136853_find_ker_of_map_from_poly_ring_to_poly_ringrelated_to_segre). The essential point is that, $\phi$ induces a surjective homomorphism $\overline\phi\colon A/I\to B$ where $B$ is a subring of $A_{m1}\otimes_kA_{1n}$ which is generated by $a\otimes b$ where $\deg a=\deg b$, and $\overline\phi$ is in fact an isomorphism and we can easily construct an inverse of $\overline\phi$.

Any help is welcome. Thanks!

(If it's not considered a *research level problem*, moderators can tacitly migrate this post to MSE.)