The University of Sydney: MATH3906
The University of Sydney: MATH3906
The University of Sydney whenever A is nonsingular. It is also clear that taking complex conjugates
MATH3906 Representation Theory preserves sums and products, and commutes with the maps A 7→ A−1 and
(http://www.maths.usyd.edu.au/u/UG/IM/MATH3906/) A 7→ At .) Let v be an arbitrary column vector and let z = v t Av. Since z is a
1 × 1 matrix we have z t = z, and so
Semester2, 1997 Lecturer: R. Howlett t t
z = (v t Av) = v t A v = v t Av = z.
Since A was positive definite, this must be too. Hence A00 is a (n − 1) × (n − 1) 3. Let H and N be groups and φ: H → Aut(N ) a homomorphism. Define
t
positive definite matrix. By induction we can write A00 = Y Y , and this gives
t H × N = { (h, x) | h ∈ H, x ∈ N }
1 0 1 0 t t
A = D−1 (D )−1 = B B
0 Y 0 Y with multiplication given by
t
where B = 10 Y0 (D )−1 . (h, x)(k, y) = (hk, xφ(k) y)
(vi ) If A, B ∈ GLn (C) are positive definite and 0 6= v ∈ Cn then for all h, k ∈ H and x, y ∈ N . Prove that this makes H × N into a group.
(Such a group is called a semidirect product of N by H. If φ is the trivial
v t (A + B)v = v t Av + v t Bv > 0
homomorphism (h 7→ 1 ∈ Aut(N ) for all h ∈ H) we get the direct product of
(since v t Av > 0 and v t Bv > 0). N and H.)
t P t t P t
(vii ) We see that Y AY = X∈G (Y X )(XY ) = Z∈G Z Z = A (since Solution.
Z = XY runs through all elements of G as X does). Since φ is a homomorphism we have φ(1) = 1, where the 1 on the left hand
t
(viii ) By (vii ) we can find a positive definite A such that Y AY = A for all side is the identity element of H and the 1 on the right hand side is the
t t t t identity automorphism of N . Hence our multiplication rule gives
Y ∈ G, and by (v ) we can put A = B B. But the equation Y B BY = B B
−1 t t
can be written as BY −1 B −1 = (B )t Y B , or, equivalently,
(h, x)(1, 1) = (h1, xφ(1) 1 = (h, x).
(BY B −1 )−1 = (BY B −1 )t ,
Since all automorphisms of N map 1 to 1 we also find that
−1
showing that BY B is unitary for all Y ∈ G.
(1, 1)(h, x) = (1h, 1φ(h) x) = (h, x).
n t
2. Recall that the dot product on C is defined by u · v = u v, and that unitary
matrices preserve it (in the sense that (Xu) · (Xv) = u · v for all u and v if So H × N has an identity element. The following calculation proves associa-
X is unitary). Recall also that if U is a subspace of Cn then Cn = U ⊕ U ⊥ , tivity:
where
U ⊥ = { v ∈ Cn | u · v = 0 for all u ∈ U } (h, x)(k, y) (l, z) = (hk, xφ(k) y)(l, z) = (hkl, (xφ(k) y)φ(l) z)