This is a sideways answer.
Let $E_{ij}(a)=I+a E_{ij}$, for $i\neq j$ and $a\in A$.These matrices generate the conmutator subgroup $$E(n, A)=[\mathrm{GL}(n, A),\mathrm{GL}(n, A)]\subseteq\mathrm{GL}(n, A).$$ One can easily check that the obvious relations satisfied by these elements are $$E_{ij}(a)E_{ij}(b)=E_{ij}(a+b),$$ $$[E_{ij}(a),E_{jk}(a)]=E_{ik}(a) \mbox{ if $i\neq k$,}$$ $$[E_{ij}(a),E_{kl}(b)]=1 \mbox{ if $i\neq l$ and $j\neq k$.}$$ Yet the group presented by generators and this relations is not $E(n,A)$, but what we call the $*n$-th unstable Steinberg group* $\mathrm{St}(n, A)$ of $A$. In general, this is larger than (precisely, an extension of) $E(n,A)$.
This is seen, for example, because the map $\mathrm{St}(n, A)\to E(n,A)$ has a non-trivial kernel. Indeed, after passing to the direct limit as $n$ goes to infinity, the kernel of that map is precisely the third algebraic $K$-theory group of $A$, $K_3(A)$. Quillen famously computed that $K_3(\overline{\mathbb{F}}\_p)$ is not zero.
A nice reference for this is Jonathan Rosenberger's Algebraic $K$-theory and its applications.