I created a matrix group as follows:
In[33]:= gensSG141ITA1={
{{1, 0, 0, 0}, {0, 1, 0, 0}, {0, 0, 1, 0}, {0,0,0,1}},
{{-1, 0, 0, 1/2}, {0, -1, 0, 1/2}, {0, 0, 1, 1/2}, {0,0,0, 1}},
{{0, -1, 0, 0}, {1, 0, 0, 1/2}, {0, 0, 1, 1/4}, {0,0,0, 1}},
{{-1, 0, 0, 1/2}, {0, 1, 0, 0}, {0, 0, -1, 3/4}, {0,0,0, 1}},
{{-1, 0, 0, 0}, {0, -1, 0, 1/2}, {0, 0, -1, 1/4}, {0,0,0, 1}},
{{1, 0, 0, 1/2}, {0, 1, 0, 1/2}, {0, 0, 1, 1/2}, {0,0,0, 1}}
};
newmat = DeleteDuplicates[#[[1 ;; 3, 1 ;; 3]] & /@ gensSG141ITA1];
(*
Apply the following procedure to construct a group from generating elements (matrices)
*)
gengroupn[ge1_] := Module[{},
ge = ge1;
ne = Length[ge];
l1 = 1;
ne = Length[ge];
While[l1 <= ne,
l2 = 1;
While[l2 <= ne,
res = FullSimplify[Together[ge[[l1]] . ge[[l2]]]];
If[! MemberQ[ge, res],
ne++; AppendTo[ge, res]];
l2++];
l1++];
ge
]
gg = gengroupn[newmat];
ne = Length[gg]
gg
Out[37]= 16
Out[38]= {{{1, 0, 0}, {0, 1, 0}, {0, 0, 1}}, {{-1, 0, 0}, {0, -1,
0}, {0, 0, 1}}, {{0, -1, 0}, {1, 0, 0}, {0, 0, 1}}, {{-1, 0,
0}, {0, 1, 0}, {0, 0, -1}}, {{-1, 0, 0}, {0, -1, 0}, {0,
0, -1}}, {{0, 1, 0}, {-1, 0, 0}, {0, 0, 1}}, {{1, 0, 0}, {0, -1,
0}, {0, 0, -1}}, {{1, 0, 0}, {0, 1, 0}, {0, 0, -1}}, {{0, -1,
0}, {-1, 0, 0}, {0, 0, -1}}, {{0, 1, 0}, {-1, 0, 0}, {0,
0, -1}}, {{0, 1, 0}, {1, 0, 0}, {0, 0, -1}}, {{0, -1, 0}, {1, 0,
0}, {0, 0, -1}}, {{1, 0, 0}, {0, -1, 0}, {0, 0, 1}}, {{-1, 0,
0}, {0, 1, 0}, {0, 0, 1}}, {{0, -1, 0}, {-1, 0, 0}, {0, 0,
1}}, {{0, 1, 0}, {1, 0, 0}, {0, 0, 1}}}
Now, I want to calculate the irreducible unitary representation of it. Any hints for this question?
Regards, Zhao