Answer to question 1.
If you have all identities along the diagonal, this is what I got.
for some element .
since the square of every element is the identity.
However, since and ,
Multiply both sides by ba to get
, so the group is Abelian.
Thus if your group is non-Abelian, you cannot have all identity along the diagonal. Here is an example: