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: