finite groups of SL(4,C) - MathOverflow most recent 30 from http://mathoverflow.net2013-05-20T16:40:26Zhttp://mathoverflow.net/feeds/question/94130http://www.creativecommons.org/licenses/by-nc/2.5/rdfhttp://mathoverflow.net/questions/94130/finite-groups-of-sl4-cfinite groups of SL(4,C)cheerchan2012-04-15T16:58:33Z2012-04-20T19:43:49Z
<p>it is well known that the subgroups of SL(2,C) can be determined, I am wondering if the same situation is known for SL(4,C).For example, I want to know if group of order 42 can be a subgroup of SL(4,C).Thanks for consideration. </p>
http://mathoverflow.net/questions/94130/finite-groups-of-sl4-c/94680#94680Answer by DavidLHarden for finite groups of SL(4,C)DavidLHarden2012-04-20T19:43:49Z2012-04-20T19:43:49Z<p>Any group of order 42 is isomorphic to $C_{42}$, $AGL(1,7) = C_{7} \rtimes C_{6}$, $D_{14} \times C_{3}$, $D_{6} \times C_{7}$, $D_{42}$ or $(C_{7} \rtimes C_{3}) \times C_{2}$. (Here $D_{2n}$ denotes the dihedral group of order $2n$.)<br>
Any finite cyclic group can be embedded in $GL(3, \mathbb{C})$ as a group of scalar matrices, so those factors in the Cartesian products given can be taken care of. The largest dimension of an irreducible (complex) representation of a dihedral group is 2, and the largest dimension of an irreducible representation of $C_{7} \rtimes C_{3}$ is 3. These largest-dimensional representations are all faithful. So these groups are all subgroups of $GL(3, \mathbb{C})$, which is isomorphic to a subgroup of $SL(4, \mathbb{C})$.<br>
This leaves only $C_{7} \rtimes C_{6}$. The irreducible representations of this group have dimensions 1, 1, 1, 1, 1, 1 and 6. Any combination of the 1-dimensional representations will be an abelian representation and thus not be faithful. The 6-dimensional representation can't be found in $SL(4, \mathbb{C})$, so any group of order 42 will be isomorphic to a subgroup of $SL(4, \mathbb{C})$ or isomorphic to $AGL(1,7) = C_{7} \rtimes C_{6}$.</p>