Call the two proposed matrices and . Direct multiplication gives , , and . Both are invertible since . They therefore satisfy every defining relation, and the universal property of a group presentation gives the desired group representation.
Articles by others on the same topic
There are currently no matching articles.