The special linear group has nonzero first columns and five second columns giving determinant one, hence order ; its centre is . In the quotient by this centre, the nonidentity conjugacy classes have sizes , corresponding to projective element orders . These arise from trace zero, paired traces , and paired unipotent traces . No proper union of these classes with the identity has size dividing , so the quotient is simple. The simple groups with order a power of two times fifteen result identifies it with .
Over , putThese determinant-one matrices satisfy , , and . Conjugation by cycles . Thus is a quaternion group of order eight, normalized by an element of order three. Their generated subgroup has order in , hence order after quotienting by . Its index-five coset action, together with simplicity and perfectness, identifies with the alternating group .
Articles by others on the same topic
There are currently no matching articles.