# Character: X23 # Comment: copied from old 2U42, changed generators, seeded with subgroup of order 54 # Ind: -1 # Ring: Z(w) # Sparsity: 81% local b, B, w, W, i, result, delta, idmat; result := rec(); w := E(3); W := E(3)^2; b := E(7)+E(7)^2+E(7)^4; B := -1-b; # b7, b7** i := E(4); result.comment := "2U42 as 20 x 20 matrices\n"; result.generators := [ [[0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0], [1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0], [0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0], [0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0], [0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0], [0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0], [0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0], [0,0,0,0,0,0,0,-1,0,0,0,0,0,0,0,0,0,0,0,0], [0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0], [0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0], [0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0], [0,0,0,0,0,0,0,0,0,0,0,-1,0,0,0,0,0,0,0,0], [0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0], [0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0], [w-W,0,-w+W,0,0,0,-2,-w,w,w+2*W,w-W,w,W,-w+W,0,-2*W,-w-2*W,0,-W,W], [0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0], [0,W,0,0,0,0,0,-1,0,-W,0,-W,0,0,0,W,-w,0,0,w], [2*w-W,-2*W,2*w+W,-2*W,-3,w-W,2*w-2*W,-1,w,2*w+W,-w-3*W,w,-1,2*w+W, w,-w-2*W,-w-2*W,-1,-1,w], [-w,W,0,0,-w-2*W,W,-2*w,-w,0,-W,w+2*W,0,1,1,-w,W,0,0,0,W], [-w,W,0,0,0,0,0,w,0,-W,-w,1,0,w,0,W,-w+W,0,0,w]] , [[0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0], [0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0], [0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0], [0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0], [0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0], [0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0], [0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0], [0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0], [0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0], [0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0], [0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0], [0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0], [0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0], [0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1], [1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0], [0,0,0,0,w,1,1,1,0,0,-w+W,0,0,-W,1,0,-1,0,0,1], [0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0], [2*w+W,-W,-W,w-W,-1,w,-W,0,-1,0,w,-1,0,-W,w,w,w-W,0,-1,0], [w,w-W,2*w+W,-W,w+2*W,w-W,2*w-W,2*w+W,0,w,-w-3*W,0,-1,-1,w,0,0,-1, 0,w-W], [-w-2*W,2,w,1,2*w,1,-w-3*W,0,-W,2*w,-2*w-W,0,w,w,-W,-2*w-W,1,w,0,0 ]]]; result.symmetricforms := [ ]; result.antisymmetricforms := [ ]; result.hermitianforms := [ ]; result.centralizeralgebra := [ ]; return result;