A feature of groups is the product relation:

. What this actually means is that A "maps" B to C.
Using this understanding, and the hint given by Penrose, the matrix representation of T(k) (e,g,

, m and n are the indices that represent the corresponding group elements) should be 1 if the group product

is fulfilled.
The reason is that

. Writing this in matrix form gives (using Einstein convention):

. Now if B maps elements j to p and c maps j to q than A needs to map p to q and should therefore be non zero only if

.