I'm studying for my qualifying exam and I came across the following question in one of the old question bank. >Consider the affine space given by four $2\times 2$ matrices, i.e., $\mathbb{A}^{16}\cong M(\mathbb{C})_{2\times 2}^4$. Now, consider the algebraic set $V$ given by the vanishing of the relation $AB-CD=0$, where the matrices are as follows: $A=(a_{ij}), B=(b_{ij}), C=(c_{ij})$ and $D=(d_{ij})$. In other words, I have the following ring $$R=\mathbb{C}[a_{11},a_{12},a_{21},a_{22}, b_{11},\dotsc, d_{21},d_{22}]/I,$$ where $$I=(a_{11}b_{11}+a_{12}b_{21}−c_{11}d_{11}−c_{12}d_{21},\,a_{11}b_{12}+ a_{12}b_{22}−c_{11}d_{12}−c_{12}d_{22},\,a_{21}b_{11}+a_{22}b_{21}−c_{21}d_{11}−c_{22}d_{21},\,a_{21}b_{12}+a_{22}b_{22}−c_{21}d_{12}−c_{22}d_{22}).$$ The question is: > Prove that $\overline{a}_{11}$ is a prime element in $R$. I don't know if there are any nice trick/strategy using commutative algebra (maybe using some change of coordinate or defining some norm of the ideal). I'm thinking in terms of quiver representation. The above setup can be interpreted as: $$\require{AMScd}\begin{CD} \mathbb{K}^2 @>B>> \mathbb{K}^2\\ @VDVV @VVAV \\ \mathbb{K}^2 @>>C> \mathbb{K}^2. \end{CD}$$ The ring $R$ is the coordinate ring of the representation space of the above quiver with relation, where the dimension vector is $(2,2,2,2).$ Any idea/suggestion will be apreciated.