Views
5 years ago

SN~ (~6) lff 2It 3k_~ , 5 ",,x_J {b)

SN~ (~6) lff 2It 3k_~ , 5 ",,x_J {b)

lemmas. 150 Our proof is

lemmas. 150 Our proof is very similar to that of Theorem 4.21 in [1]. We break the proof into two Lemma 4.3 Let X E S and suppose Z is a cyclic subgroup of G such that (1) [ZI = IX]; and (2) H(Z) = X. Iet T1, 7"2 be tonal subgroups of G o contained in C(Z). Suppose that T1 × Z and T2 x Z are X-mazimal. Then 7"1 x Z, T2 × Z are conjugate subgroups of G. Proof: It follows from our assumptions that T1, T2 C C(Z) °. Since T1 × Z, 7"2 x Z axe X-maximal, 7'1, 7"2 axe maximal tort in C(Z) °. Hence, T1 and T2 axe conjugate subgroups of C(Z) °. That is, there exists t 6 C(Z) ° C G o such that tTlt -1 = T2. Since t 6 C(Z), it follows that t(T1 x Z)t -I = T2 x Z. • Lemma 4.4 Let X 6 S and K be an X-maximal subgroup of G. Let u be a topological generator of K. Suppose that u lies in the connected component G* of G. Then for every z E G*, there exists t E G O such that x E tKt -I. Proof: Consider the adjoint representation of K on L(G). Since K is abelian, K acts trivially on L(K) C L(G). Moreover, since K is X-maximal, the trivial factor of the K representation on L(G) is precisely L(K). We may therefore decompose the K represen- tation L( G) as m i=l where each ~ is a non-trivial irreducible real representation of K. Since K is abelian, dim(R) = 1,2, all i. If dim(R) = 1, the action of K on Y~ is given as multiplication by exp(2riSi(k)), where/~i : K ~ R./Z is a non-trivial homomorphism taking the values 0, 1/2. If dim(V~) = 2, the representation of K on Vi is complex and, identifying ~ with C, the action of K on Y~ is given as multiplication by exp(2riOi(k)), where 81 : K ~ tL/Z is a non-trivial homomorphism. Note that since u is a topological generator of K, we have (D) 81(u) ~ 0, i = 1,...,m. We now complete the proof of the Lemma by using the Lefschetz fixed point argument used by Adams[l] in his proof of Theorem 4.21 (op. cit). Specifically, let G* be the Lie subgroup of G generated by u and G °. Given x E G °, consider the map f : G*/K --* G°/K defined by f(u[K]) = xu[K]. To prove the lemma, it suffices to show that f has a fixed point. By the Lefschetz fixed point theorem it it is enough to prove that the Lefschtez index A(f) ~ 0. By standard homotopy arguments (see [1]), one can reduce to showing that A(]0) ~ 0, where ]0 : G)/K --' G'/H is induced from the map f0 : G ° --~ G ° given by g ~ uzu -1. The proof that A(]0) ~ 0 uses (D) and follows the corresponding computation in [1, Theorem 4.21]. We omit details. • Proof of Theorem 4.1: Let IHI = p and choose Ul,UZ E G such that Ki = K~ x Zi, where Zi is generated by ul, i = 1,2. If Z1 ~ Z2, it follows by Lemma 4.4 that there exists t E G o such that u2 E tKlt -1. Suppose u2 = tfilt -1, fil E IQ. Then fil has order p and K1 is generated by K ° and ill. Hence K1 is conjugate to tK°t -1 x Z2. Now apply Lemma 4.3. • Definition 4.5 Let H e S(G). We define r~G,H) to be the dimension of an H-maximal subgroup of G.

151 Remark 4.3 It follows from Theorem 4.1 that rk(G, H) is well defined for all H 6 S(G). Proposition 4.1 Let H 6 S(G) be of order p. Let K be a monogenic compact abelian subgroup of G such that II(K) = H. Then 1. K ~- T r x Zr~, where q > 1 is the number of connected components of K n G °. ~. There ezists an H-mazimal subgroup A" of G with ~" D_ I(. Proof: Since K is monogenic it follows from Lemma 4.1 that K c~ T r x Zs, for some s > 0. But H(K) = H, so p divides s and (1) is proved. To prove (2), choose any//-maximal subgroup J of G. Choose a topological generator u of K. By Lemma 4.4, there exists t E G o such that u 6. tJt -1. Hence, K is contained in the//-maximal subgroup tJt -1 of G. • Example 4.1 Let G be the n-fold direct product of 0(2). Then G/G ° ~ Z~. For f. 0 < r < n, let fir(r) be the subgroup of G generated by (e, e .... ,e,s,... ,x), where ~; is any element of 0(2) \ S0(2). Then fir(r) 6. S(G), IH(r)l = 2 and rk(G, fir(r)) = n - r. Example 4.2 Let n > 2. Let us denote the non-trivial cyclic subgroup of O(n)/SO(n) by fir. Obviously fir c~ Z2. Then rk(SO(n)) if n is even rk(O(n),II) = rk(SO(n)) - 1 if n is odd 5 Equivariant dynamics on a group orbit In this section we review and extend work of Field[6, 9] and Krupa[14] on the structure of equivariant diffeomorphisms and flows on a G orbit. We start by considering the case of diffeomorphisms. Lemma 5.1 Let H be a closed subgroup of G and G act by left translations on G/H. Then 1. Every G-equivariant map f : G/tt --, G/H is smooth. 2. Diff~°G ( G/ H ) is naturally isomorphic to Diff~N(H)( N ( H) / H ). 3. Diff~G (G/H ) and Diff~N(H)(N(H)/H ) are naturally anti-isomorphic to N ( tt ) ] It. Proof: Statement 1 follows easily using the method of proof of Lemma 2.1. State- ment 2 is trivial. Suppose f E Diff~G(G/H ). Then f([H]) = 9[H], for some g E N(H). Clearly, g[H] E N(H)/H depends only on f and not on the particular choice of g 6 N(H). Conversely, if g 6 N(H) and we define f([H]) = g[H], f extends uniquely to a G-equlvariant diffeomorphism of G/H. These constructions define a natural bijection between Diff~°G(G/H) and N(H)/H. It is easy to verify that this bijection is an anti- isomorphism of groups. • Given f 6 Di/]~G (G/H ) and x 6 G/H, define Ol(x ) = closure{f"(z)ln > 0}

Page 1 Page 2 D B 5 6 D MOTOR Mo~, lmotowon T R T ...
B E R L I N C H A U S S E E S T R A S S E 5 7 - 6 1 B ... - Glen Leddy
Page 1 7 6 5 | 4 L 3 | 2 | 1 CK T ll ll ll )l KLÖ'ZOJ T ll ll ll ll klözo) A B ...
D e se m b e r 0 5, V olum e 0 6, Issue 11 w w w .ta n go n o tica s.co m
1 5 . T T O - F O R U M 1 2 . T T O - F O R U M O c t o b e r 1 6 ...
H O T E L - R E S TA U R A N T- B A R S e e s t r a s s e 2 2 5 6 3 ...
P P P NP NP 12 3 4 5 6 7 8 W 9 10 11 12 13 14 W 15 16 0 17 A C B ...
DVAA: Flat Galaxies (by R.A.) A B C D E F G H I J K L 1 2 3 4 5 6 7 8 ...
Reading grade 6 2.A.5.b - mdk12
a 1 2 a b b a 3 4 a b b a 5 6 a b b a 7 8 a b b a 9 10 ... - CodeMath.com
Lösung 6 Aufgabe 1 a) b) c) Aufgabe 2 Aufgabe 3 a) 5 4 2 6 4 20 9 2 ...
8 * 5 * 4 * 3 * 2 * 1 A 8 A 7 A 6 A 5 A 4 A 3 A 2 B 8 B 7 B 6 B 5 B 4 B 3 ...
5 b 5 6 10 c 12 a 5 8 A a 13 b Classroom Exercises - flip@mrflip.com
EAS 540 - STABLE ISOTOPE GEOCHEMISTRY Thrs., BUS B-5; 6 ...
Panel B 4:45-5:30 Round 2 Panel A 5:30-6:15 | Panel B 6:15-7 ...
TEST ANSWERS Version A 1. B 2. B 3. E 4. E 5. D 6. B 7. C 8. B 9. A ...
Solutions to Quiz 5 Sample B - Loyola University Chicago
¡' &) (10 , 2 354 6&7 98@ ) AC B$ E DG FH I 6 &Q ... - Université Lille 1
(0 12 3¡) 4(5 6 3 798 9 %@4a7(6 b cedgfhfhiqps rti u)vxwtwty
V 5 1 5 B 6 L 4 X P T S F
1. Nyelvismereti feladatsor 1. C 2. B 3. D 4. D 5. A 6. B 7. B 8. C ... - Itk
1 A 2 B 3 A 4 B 5 6 7 8 A 9 B 10B½ 11 A 12 13 14 B 15 A 16 B 17 A ...
Friday Warm-up A 5:00-5:30 PM, Warm-up B 5:30-6:00 PM Starts at ...
1. NC 2. L 3. NP 4. D 5. F 6. A 7. M a) b) b) 8. T 9 ... - Bangladesh Bank
A. LISTENING. 1-5 B. VOCABULARY 6-15 C. GRAMMAR. 16-25
F i b r l o kT M 2 6 5 0 -AC K - Connex Telecom
1 2 (a) 2 (b) 3 4 5 6 7 8 9 10 11 - Travel Insurance
1. 2. 3. 4. 5. 6. 7. 8. Meeting A. M B. Pl Approval Awards a Public He ...