05.01.2013 Views

COMPUTATIONAL PROBLEMS IN ABSTRACT ALGEBRA.

COMPUTATIONAL PROBLEMS IN ABSTRACT ALGEBRA.

COMPUTATIONAL PROBLEMS IN ABSTRACT ALGEBRA.

SHOW MORE
SHOW LESS

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

114 J. S. Frame<br />

Ho of order 29345*7 whose 30 classes and characters were described by<br />

Frame [4]. The 60 classes of H are labeled 1, l’, 2, 2’, . . . , 30, 30’, so that<br />

class k’ contains the product by -I of an element of class k. There are<br />

46 classes of A containing elements of H. For the 12 classes of A that split<br />

in H the corresponding classes of Hand the values of the induced permutation<br />

character 120, are:<br />

(2.1)<br />

A<br />

H 120, A H<br />

i I<br />

1422 2, 16 30+2 162<br />

122 4 5,18,19 6+1+1 1223<br />

1 223 8,21 6+2 122 2-2<br />

1223 24,27 1+1 132 3<br />

l’, 16’<br />

2’, 3’,<br />

17’<br />

4’, 28’<br />

6’, 21’<br />

120, A I H 1 120,<br />

l-l-63 12123 7’,8’ l-i-3<br />

3+1+12 232 9’, 22’ 1+3<br />

lf3 126 lo’, 23’ 1+3<br />

1+15 125 15’, 25’ 1 + 3<br />

(2) Twelve additional classes of A that are not represented in H but are<br />

represented in the monomial subgroup M’ = M/C of A = F/C are denoted<br />

by the symbols<br />

--<br />

I 22 3, 4zu, 24, 42, i i 3 3~, 2 Bv, 1 3 4, I 2 5, 2 3 3v, 224, 1 i 6, 8#.<br />

(2.2)<br />

(3) Five of the remaining nine classes of A contain 8 X 8 real orthogonal<br />

symplectic matrices that commute with a skew matrix of type Z4 and order<br />

4 that we call “2’. By appropriate choice of “i” the 8 X 8 orthogonal matrices<br />

are equivalent to 4X4 unitary matrices A+ iB under the correspondence<br />

0 z A B<br />

i - AfiB- -B A<br />

[ -z 0 1 ’ [ 1 (2.3)<br />

The 210325 matrices of this type form the normalizer Nj of i, which has a<br />

monomial subgroup Mi of order 2’4! and index 15. In six cosets of Mi<br />

the matrices have exactly 2 zero entries per row or column. In the other<br />

eight cosets there are no zero entries.<br />

The classes of type 1214, its square s2/j2, and fourth power 34/r4 are<br />

represented by the following unitary matrices of orders 24, 12, 6 in F, or<br />

12, 6 and 3 in A. Roman numerals indicate Hamill’s class symbols [7]<br />

.-~~:l-~-~~~:,I),tl~~I’jIII; -; 1; I//<br />

0 l-i i i i -i 1 -1 1 11<br />

Type 1214<br />

(LXVII)<br />

Type g2/Z2<br />

(LXW<br />

Type g4/14<br />

(LW<br />

(2.4)<br />

The characters of the Weyl group Es 115<br />

- -<br />

Type 1012 and its square j2/i2 belong to classes of elements of orders<br />

20 and 10 in F, or 10 and 5 in A = F/C. Representative 4X4 unitary<br />

matrices A+ iB for these classes are<br />

-I<br />

0 Ifi 0 l-i<br />

1 1 i il<br />

1 l- i 0 l+i 0 I 1 -1 1 i-i<br />

. (2.5)<br />

2 -1+ i 0 lfi 0 ’ z -1 -1 i i I<br />

1 O<br />

lfi 0 -1fiJ l - l i -ij<br />

- -<br />

Type 1012<br />

Type S2/T2<br />

(LXIV)<br />

(LX)<br />

(4) The four remaining classes are Miss Hamill’s classes LVII, LVIII,<br />

LIX, and LXV [7], here denoted 62/22v, 9/l, g2 6/12 2, and 1 3-l 5-l 15<br />

respectively, and represented by the orthogonal matrices<br />

r l-l 3 l-l-l-l-l r-1-3 1 1 1 1 l-l<br />

l-l-l 1 3-l-l-l -1 l-3 I 1 1 l-l<br />

-1 1 I 3 1 1 1 1 -1 1 l-3 1 1 l-l<br />

1 -3-l-l l-l-l-l-l _1_ -1 1 1 l-3 1 l-l<br />

-z -1-3 l-l 1 1 1 1 ’ 4 -1 1 1 1 l-3 l-l<br />

l-l-l l-l-l-l 3 -1 1 1 1 1 -3-l<br />

l-l-l l-l 3-l-l -1 1 1 1 1 1 1 3<br />

l-l-l l-l-l 3-l L 3 1 1 1 1 1 l-1<br />

_- _<br />

Type 62/22v<br />

(LVII)<br />

l-3 1 1 1 1 1 1<br />

1 l-3 1 1 1 1 1<br />

1 1 1 l-3 1 1 1<br />

-1-l -1 3 -1-l -1-l<br />

3 -1-l -1-I -1-l -1<br />

11 11 1 l-3 1<br />

11 1 1 1 1 l-2<br />

1 1 1 1 l-3 1 1<br />

Type 5” s/i2 2<br />

(LW<br />

Type 9/l<br />

(LVIII)<br />

(2.6)<br />

-1-1-1 0 0 0 1 0<br />

1 1-l 0 0 0 1 0<br />

0 0 o-1-1-1 0 1<br />

l-l-l 0 0 o-1 0<br />

0 0 O-l-l 1 o-1<br />

0 0 0 l-l-l o-1<br />

0 0 o-1 l-l o-1<br />

1 l-l 10 0 0 1 0<br />

Type 1 3-l 5-l 15<br />

G-XV)<br />

--.<br />

Type 9/l IS the negative of a 9-cycle of SQ, represented in F by the negative<br />

of the product of R in (1 .l) by an 8-cycle permutation matrix of M<br />

in which the signs are changed to negative in the last row and column.<br />

The negative of a matrix of type 13-r 5-r 15 represents an element of order<br />

30 in F whose 5th power is of type 34/i4.<br />

,

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!