Transformation Groups For Beginners PDF
Transformation Groups For Beginners PDF
Transformation
Groups for
Beginners
Licensed to Penn St Univ, University Park. Prepared on Tue Mar 12 18:16:11 EDT 2019for download from IP 132.174.254.159.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
This page intentionally left blank
Licensed to Penn St Univ, University Park. Prepared on Tue Mar 12 18:16:11 EDT 2019for download from IP 132.174.254.159.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
STUDENT MATHEMATICAL LIBRARY
Volume 25
Transformation
Groups for
Beginners
S.V. Duzhin
B. D. Chebotarevsky
i JAM,
AMERICAN MATHEMATICA L SOCIET Y
Licensed to Penn St Univ, University Park. Prepared on Tue Mar 12 18:16:11 EDT 2019for download from IP 132.174.254.159.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
Editorial Boar d
Davide P . Cervon e R o b i n Forma n
Daniel L . Gorof f B r a d Osgoo d
Carl P o m e r a n c e (Chair )
T h i s wor k wa s originall y publishe d i n R u s s i a n b y
BbimBHinatf IIlKOJia , Minsk , u n d e r t h e titl e
O T OpnaMeHTO B ,zi o X[H(})(j)epeHH;HajiBHi>i x ypaBHeHH H i n 1 998 .
T h e presen t t r a n s l a t i o n wa s create d u n d e r licens e fo r t h e America n
M a t h e m a t i c a l Societ y a n d i s publishe d b y permission .
T r a n s l a t e d fro m t h e Russia n b y S . V . D u z h i n .
Preface i x
Introduction
Licensed to Penn St Univ, University Park. Prepared on Tue Mar 12 18:16:11 EDT 2019for download from IP 132.174.254.159.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
VI Contents
§8. Orientatio n 6 6
§9. Calculu s o f involution s 6 8
Chapter1
5 . Orbit s an d Ornament s 2 7
§1. Homomorphis m 2 7
§2. Quotien t grou p 3 1
§3. Group s presente d b y generator s an d1
relation s 3 6
1
§4. Grou p action s an d orbit s 3 7
1
§5. Enumeratio n o f orbit s 4 1
§6. Invariant s 4 8
1
§7. Crystallographi c group s 5 1
§1. Ordinar1
y differentia l equation s 9 7
§2. Chang e o f variables 20 2
§3. Th e Bernoull i equatio n 20 3
§4. Poin t transformation s 20 7
1
§5. One-paramete r group s 2 4
§6. Symmetrie s o f differentia
1 l equation s 2 6
§7. Solvin g equation s b y symmetrie s 22 0
Index 24 5
Licensed to Penn St Univ, University Park. Prepared on Tue Mar 12 18:16:11 EDT 2019for download from IP 132.174.254.159.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
This page intentionally left blank
Licensed to Penn St Univ, University Park. Prepared on Tue Mar 12 18:16:11 EDT 2019for download from IP 132.174.254.159.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
Preface
Licensed to Penn St Univ, University Park. Prepared on Tue Mar 12 18:16:11 EDT 2019for download from IP 132.174.254.159.
IX
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
X Preface
The book contains many exercises with hints and solutions, whic h
will hel p a diligen t reade r t o maste r th e material .
The presen t version , update d i n 2002 , incorporate s som e ne w
changes, includin g th e correctio n o f errors an d misprint s kindl y indi -
cated b y the Japanes e translator s S . Yukita (Hose i University, Tokyo)
and M . Nagur a (Yokoham a Nationa l University) .
S. Duzhin
St. Petersburg
September 1 , 2002
Licensed to Penn St Univ, University Park. Prepared on Tue Mar 12 18:16:11 EDT 2019for download from IP 132.174.254.159.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
http://dx.doi.org/10.1090/stml/025/01
Introduction
B & l\C
Licensed to Penn St Univ, University Park. Prepared on Tue Mar 12 18:16:11 EDT 2019for download from IP 132.174.254.159. 1
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
2 Introduction
DE
O n th e prolongation s AD an d AE
EUCLID'S ORIGINA L PROOF .
of the side s AB an d AC, choose points F an d G such that AF — AG.
Then AABG = AACF; henc e Z.ABG = ZACF. Als o ACBG =
ABCF; henc e ZCE G - ABCF. Therefor e Z.ABC = ZAB G -
ZCBG = Z.ACF - Z.BCF = ZACB. •
ab
Licensed to Penn St Univ, University Park. Prepared on Tue Mar 12 18:16:11 EDT 2019for download from IP 132.174.254.159.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
This page intentionally left blank
Licensed to Penn St Univ, University Park. Prepared on Tue Mar 12 18:16:11 EDT 2019for download from IP 132.174.254.159.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
http://dx.doi.org/10.1090/stml/025/02
Chapter 1
Algebra o f Point s
1. Checkere d plan e
Consider a plan e wit h a regula r squar e grid , i.e . tw o set s o f paralle l
equal-distanced lines , perpendicula r t o eac h other . W e wil l b e inter -
ested i n th e polygon s wit h al l vertice s a t node s o f th e grid , lik e th e
isosceles triangl e o r th e squar e show n i n Figur e 1 .
1 111 1111
HI
>H (UrHl i
Ni T >4
H
|TT
\
\
\
mm \ ML
n
\ \ \ \ \
Licensed to Penn St Univ, University Park. Prepared on Tue Mar 12 18:16:11 EDT 2019for download from IP 132.174.254.159. 7
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
8 1. Algebr a o f Point s
F i g u r e 2 . Regula r polygo n
Licensed to Penn St Univ, University Park. Prepared on Tue Mar 12 18:16:11 EDT 2019for download from IP 132.174.254.159.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
10 1. Algebr a o f Point s
2. Poin t additio n
Our solutio n o f Problem 1 was based o n the followin g nic e property of
the intege r grid : i f thre e vertice s o f a parallelogra m ar e a t nodes , s o
is th e fourth . Th e usua l mathematica l wordin g fo r thi s phenomeno n
is: the set of all nodes is closed with respect to the operation under
study. W e wil l no w giv e a n exac t definitio n o f thi s operation .
Given thre e point s i n th e plane , sa y M , N an d P , ther e ar e
three differen t way s to ad d on e more point s o that th e triangl e MNP
becomes a parallelogram. On e way is to connect P wit h th e midpoin t
K o f MN an d choose the poin t L o n the lin e PK whic h i s symmetri c
to P wit h respec t t o K (Figur e 4) .
*M + N
PM
(A + B) + C = A + {B + C)
pp p p
P + A = A,
p
i.e., th e poin t P behave s a s a neutra l elemen t wit h respec t
to th e operatio n + .
p
3° Ove r a give n pol e P , ever y poin t A ha s a n opposite point ,
i.e., a poin t A! suc h tha t
A + Af = P.
p
In fact , on e can simply take the point A! whic h is symmetri c
to A wit h respec t t o P .
4° Th e commutativ e la w
A+B=B+A
pp
holds fo r an y thre e arbitrar y points .
Licensed to Penn St Univ, University Park. Prepared on Tue Mar 12 18:16:11 EDT 2019for download from IP 132.174.254.159.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
12 1. Algebr a o f Point s
The order i n which these 4 items appear i n our lis t i s not acciden -
tal — in fact, mor e fundamental rule s come first. Yo u will understan d
this bette r whe n yo u ge t t o Chapte r 4 .
Rules 2 ° — 4° ar e obvious an d d o not requir e an y proof. T o check
rule 1 ° , we first construc t th e point s M = A + B an d N = B + C (se e
pp
Figure 5) . Th e segment s AM an d CN ar e bot h equa l an d paralle l
to th e segmen t PB. Henc e th e midpoint s o f MC an d AN coincide ,
which, b y th e definitio n o f poin t addition , ensure s tha t M + C =
A + N.
Ai + A 2 + • • • + A k - B x - B 2 Bi
pp p p p p p
does no t depen d o n th e choic e o f th e pol e P.
PA a PA
7° (a + p)pA = a PA + (3pA.
p
8° ap(A + B) = apA + CLpB.
pP
To multiply a point b y a natural numbe r n i s the same thing a s t o
add u p n equa l points : npA = A + A + ... + A(A repeate d n times) .
pp p
Using thi s fact , yo u ca n chec k tha t th e poin t \ pA i s th e (unique )
solution t o th e equatio n X + X — A.
p
Consider a linear combination over the pole P , i.e . th e su m o f
several point s wit h arbitrar y coefficient s
(3) apA + (3pB + . . . +UJ PZ = S.
pP
In general , th e resultin g poin t S depend s o n the choic e of the pol e P .
When a , / ? , . . ., u; are integer numbers , we have seen in Exercise 3 that
there ar e some occasions whe n the resul t doe s not depen d o n P . Thi s
may
Licensed als
to Penn o happe
St Univ, n iPrepared
University Park. n thone Tue
mor e18:16:11
Mar 12 genera l situatio
EDT 2019for n IPwhe
download from n th e coefficient s
132.174.254.159.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
16 1. A l g e b r a o f P o i n t s
AB c
4. Centr e o f gravit y
In Proble m 2 , th e media n intersectio n poin t M o f a triangl e ABC
was describe d implicitl y a s th e (unique! ) solutio n t o th e equatio n
A + B + C = M. W e ca n no w expres s M explicitl y i n term s o f A, B
Licensed to Penn St Univ, University Park. Prepared on Tue Mar 12 18:16:11 EDT 2019for download from IP 132.174.254.159.
MM
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
18 1. Algebr a o f Point s
M = i ( A + £ + C + D) .
^(B + E + F) = L,
^{C + E + F) = M.
By assumption , poin t C lie s o n th e lin e AB, thu s
C = <xA + ( 1 - a)B. Henc e
aK + (l- a)L = ^(A + E + F)
= ^ - ^ (B + E + F) = \ {C + E + F) = M,
Licensed to Penn St Univ, University Park. Prepared on Tue Mar 12 18:16:11 EDT 2019for download from IP 132.174.254.159.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
4. C e n t r e o f g r a v i t y 19
Figure 1 1 . Trapezoi d
5. Coordinate s
In th e discussio n o f Proble m 4 , w e hav e use d th e followin g importan t
fact: if two points M, N are not collinear with the pole, then the
equality aM + @N = 7 M + 5N is possible only if a — f3 and 7 = S.
In fact , th e give n equalit y ca n b e rewritte n a s (a — ~f)M = ( 7 — S)AT,
which implie s a = 7 an d (3 = 5.
Choose a pol e P an d tw o point s M , N t h a t ar e no t collinea r wit h
P. T h e n an y poin t Z o f th e plan e ca n b e expresse d a s Z = xM + yN
for suitabl e rea l number s x an d y (Figur e 1 3) .
xM P aM
F i g u r e 1 3 . Affin e coordinate s
A E C
6. Poin t multiplicatio n
We hav e learne d ho w t o multipl y a poin t i n th e plan e b y a rea l num -
ber. No w recal l t h a t rea l number s ca n b e represente d a s point s lyin g
on a line . Le t u s inser t thi s lin e int o th e plan e s o t h a t it s origi n (zer o
point) coincide s wit h th e pol e P use d t o defin e th e poin t additio n an d
multiplication o f point s b y numbers . Th e uni t poin t o f th e rea l lin e
will b e E (se e Figur e 1 6a) .
Our definitio n o f poin t additio n agree s wit h t h e usua l additio n o f
real number s i n th e sens e t h a t i f t h e point s A an d B correspon d t o
numbers a an d 6 , the n th e su m A + B (ove r th e pol e P) correspond s
to th e numbe r a + b (Figur e 1 6b) .
Licensed to Penn St Univ, University Park. Prepared on Tue Mar 12 18:16:11 EDT 2019for download from IP 132.174.254.159.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
6. Poin t multiplicatio n 25
P E
a • 0
0
A p A+B B
O " • •
0
a 0 a*b *
p A £ AB 5
—<j 0 0 «
0 o
0a 1 ab b
Figure 1 6 . Algebrai c operation s i n th e lin e
o
p
E A B C D K
E E A B C D K
A A B C D K E
B B C D K E A
C C D K E A B
D D K E A B C
K K E A B C D
2
=F -(3EF+^-E2
E2 = E, EG = G,G 2
= 0;
{aE + bG)(cE 4 - dG) = acE + (ad + bc)G.
2
1(3
(2) a + — - > 0 . Denotin g =G b y H, i n th e basi s
4 y/a + /3 2 /4
(E, H) w e will hav e th e followin g rule s o f multiplication :
E2 = E, EH = H, H 2 = E\
(aE + bH)(cE + dH) = (ac + bd)E + (ad + 6c)ff .
(Try t o fin d suc h a point H amon g th e vertice s o f the hexa -
gon i n Exercis e 1 6b. )
g2 I
(3) a + ^ - < 0 . Se t / = G . The n
4
vl a + /?2/4|
£2 = £ , E J= /, / 2
= -F ;
(aE + 61 )(c £ + d/ ) = (ac - bd)E + (a d + bc)H.
It i s easil y verifie d tha t i n eac h o f th e thre e case s ou r operatio n
satisfies al l th e law s impose d o n multiplication . Th e nex t questio n
Licensed to Penn St Univ, University Park. Prepared on Tue Mar 12 18:16:11 EDT 2019for download from IP 132.174.254.159.
that naturall y appear s i s whethe r thi s multiplicatio n ha s a n invers e
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
6. Poin t multiplicatio n 29
7. Comple x number s
The point s o f the lin e PE ar e identified wit h real numbers . No w tha t
we hav e introduce d algebrai c operation s fo r th e point s o f th e plane ,
we ca n vie w th e se t o f al l point s a s a numbe r syste m whic h i s wide r
than rea l numbers . Thes e number s ar e calle d complex numbers. I n
the conventional notatio n fo r comple x numbers, our pol e P i s denoted
by 0, point E b y 1 , point / b y i or >/—T > a nd a+bi i s written instea d of
aE + bl. Her e are, once again, th e definition s fo r algebrai c operation s
on comple x number s i n thi s standar d notation :
(a + bi) + (c + di) = ( a + c) + (b + d)i,
(a + bi) — ( c + di) — (a — c)-\-(b — d)i,
(a + bi)(c + di) = (ac-bd) + (ad + bc)i,
a + bi ac + bd be — ad .
= 2
c + di c + d 2 + c 2 + d 2%'
To put i t shortly , th e operations ar e performed a s if on polynomi -
als in the "variable " i with the rule i 2 = — 1 applied whenever possible .
To derive the formul a fo r th e quotien t fro m thi s rule , bot h numerato r
and denominato r shoul d b e multiplie d b y th e sam e number , c — di.
The tw o basic complex numbers 1 and i ar e referred t o a s the real
unit an d th e imaginary unit, respectively .
Exercise 1 8 . Perfor m th e operations o n complex numbers:
(a) — - I ( 3 + J ) + T ,
(b) y/3=Ti,
Licensed to Penn St Univ, University Park. Prepared on Tue Mar 12 18:16:11 EDT 2019for download from IP 132.174.254.159.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
7. Comple x number s 31
(c)
U - TV •
Let 2 = a + 6i . Th e distanc e betwee n th e point s z an d 0 i s
called th e modulus, o r absolute value, o f th e comple x numbe r z , an d
is denote d b y \z\. Sinc e a an d b ar e Cartesia n coordinate s o f th e
point z, w e hav e \z\ = \Ja 2 + 6 2. Fo r example , th e modulu s o f bot h
1 2t — t2
cos t+z sin £ and « -f ~ i is 1 for an y value of the real numbe r
1 -f11 l + tl
t.
The distanc e betwee n th e tw o point s represente d b y comple x
numbers z an d w i s \z — w\, becaus e th e fou r point s 0 , w, z, z — w
form a parallelogra m (se e Figur e 1 8) .
z— wz
Exercise 1 9 . Fin d the set of all points z in the complex plane which
satisfy:
(a) \z + 3\ = 5,
(b) \z + 4\ = \z-2i\,
(c) th e sum of the squares of the distances from z to two fixed points
is a given number .
The fac t tha t \/a 2 + b 2 i s th e distanc e betwee n tw o point s pro -
vides a mean s t o visualiz e certai n purel y algebrai c problems .
Solution. Pu t z\ — a\ - f b\i, . . . , z n — a n + b ni an d
consider th e broke n lin e wit h vertice s a t 0 , 21 , Zi +2:2,
. . . , z\ + Z2 H h ^n • The left-hand sid e of the inequalit y
is th e tota l lengt h o f thi s line , whil e th e right-han d sid e
is the distanc e betwee n it s endpoints .
F i g u r e 22 . Comple x root s o f 1
I I '
il!
\w\
z
arg-w arg z — argiu.
ip = ar g
(Figure 24) . Her e are two examples where this observation i s applied :
in th e first one , w e solv e a geometri c proble m usin g th e algebr a o f
complex numbers , an d i n th e secon d one , conversely , w e solv e a n
algebraic proble m b y a geometri c method .
Problem 1 0 . Three squares are placed side by side as shown in Fig-
ure 25. Prove that the sum of ZKAH, Z.KDH and ZKFH is a right
angle.
Solution. Evidently , ZKFH = 7r/4 , S O we hav e t o
prove tha t ZKAH + ZKDH = 7r/4 , too . Assumin g
that A = 0 , D = 1 and B = i , w e hav e F = 2 , K = 3 ,
H = 3 + i. Therefore , Z.DAH = ar g § E^ = arg( 3 + i) ,
Licensed to Penn St Univ, University Park. Prepared on Tue Mar 12 18:16:11 EDT 2019for download from IP 132.174.254.159.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
38 1. Algebr a o f Point s
B C G H
Problem 1 1 . Prove that if z\, Z2, z%, z± are different complex num-
bers with equal absolute values, then
Z\ ~ Zs # Z\ — Z 4
Z2 ~ Z 3 ' Z 2- Z 4
is a real number.
Solution. Th e fou r give n point s li e o n th e sam e circl e
centred a t 0 . Point s z\ an d z 2 spli t thi s circl e int o tw o
arcs. Th e othe r tw o point s z$, z± ca n belon g eithe r t o
the sam e arc , o r t o differen t arcs . I n th e firs t cas e th e
angles z\z^z 2 an d Z1 Z4Z 2 a re equal , because they subten d
the sam e arc . Therefore , ar g = ar g an d
Z2 - 2 3 z 2~ Z±
Z\ — £ 3 Z\ — £4
arg : =0 , i.e . th e numbe r i n questio n
z2 — Z3 z 2 — Z4
is rea l an d positive . I n th e secon d cas e th e tw o angle s
Z1Z3Z4 and z 2z4zi hav e the same orientation an d togethe r
make 1 80° . Therefore , th e number i n question is real an d
negative.
Z — C\ Z — C2 Z — C n
Licensed to Penn St Univ, University Park. Prepared on Tue Mar 12 18:16:11 EDT 2019for download from IP 132.174.254.159.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
This page intentionally left blank
Licensed to Penn St Univ, University Park. Prepared on Tue Mar 12 18:16:11 EDT 2019for download from IP 132.174.254.159.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
http://dx.doi.org/10.1090/stml/025/03
Chapter 2
Plane Movement s
1. Paralle l translation s
Definition 4 . A parallel translation (o r simpl y a translation) i s a
transformation o f th e plan e tha t send s ever y poin t A int o th e poin t
A' suc h tha t A A' i s equa l t o a give n constan t vecto r v . Thi s trans -
formation i s denoted b y T v .
Problem 1 2 . Two villages A and B are located across the river from
each other. The sides of the river are rectilinear and parallel to each
other. Where should one build the bridge MN so that the distance
Licensed to Penn St Univ, University Park. Prepared on Tue Mar 12 18:16:11 EDT 2019for download from IP 132.174.254.159. 41
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
42 2. Plan e Movement s
2. Reflection s
Definition 5 . Le t I be a line in the plane. Th e reflection with respect
to I i s a transformatio n o f th e plan e tha t send s ever y poin t A int o
the poin t A' suc h tha t I is the perpendicula r bisecto r o f the segmen t
A A''. Thi s transformatio n i s denote d b y Si. an d i s als o calle d axial
symmetry with axis l.
Problem 1 4 . Two points A and B are on one side of the straight
line I. Find the point M G I such that the length of the broken line
AMB is minimal. If you prefer 'real life' problems, you may imagine
a person with an empty bucket at point A, a fire at point B and a
straightline river I.
F i g u r e 5 . Tw o river s o f Exercis e 2 9
3. Rotation s
D e f i n i t i o n 6 . Le t O b e a poin t i n th e plan e an d tp a rea l number ,
understood a s a n angle . Th e rotation around O through angle <p i s a
transformation o f the plan e t h a t send s ever y poin t A int o th e poin t A!
such t h a t \OA\ = \OA!\ an d Z.AOA' = <p, wher e th e angl e i s counte d
with sign , th e counterclockwis e directio n bein g considere d a s positive .
This transformatio n i s denote d b y RQ.
Problem 1 8 . Inside a given triangle, find the point the sum of whose
distances from the vertices is minimal
Licensed to Penn St Univ, University Park. Prepared on Tue Mar 12 18:16:11 EDT 2019for download from IP 132.174.254.159.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
50 2. Plan e Movement s
(6) w = z -f a ,
a(z-p)+p
c
}z
<^z
trees A and B, a rock C (Figure 1 4) and dig for the buried treasure
at the point K which is the middle point of the segment DE, where D
is obtained by rotating C around A clockwise through 90° ; and E is
obtained by rotating C around B counterclockwise through 90°. When
the pirate arrived at this place, he found that the trees A and B are
there, but the rock C disappeared. Is it still possible to recover the
position of point K ?
Figure 1 3 . A pirat e
Licensed to Penn St Univ, University Park. Prepared on Tue Mar 12 18:16:11 EDT 2019for download from IP 132.174.254.159.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
5. C o m p o s i t i o n o f m o v e m e n t s 55
5. Compositio n o f movement s
Given tw o movement s o f th e plane , / an d g , on e ca n construc t a thir d
movement g o /, th e composition, o r th e product o f th e give n two , b y
performing firs t / , the n g.
D e f i n i t i o n 7 . T h e composition f o g o f tw o movement s / an d g i s
defined b y th e relatio n
(f o g)(x) = f(g(x))
for an y poin t x.
A"
'1 m
i
u
*A'
I
A
(a)
F i g u r e 1 5 . Produc t o f tw o reflection s
(ii) Sm ° Si = T 2 u .
(12) Sm ° Si
F i g u r e 1 6 . Produc t o f tw o rotation s
F i g u r e 1 8 . Proble m o f Napoleo n
R^oR^oR™0 =id.
6. Glid e reflection s
We hav e studie d thre e type s o f plan e movements : translations , rota -
tions an d reflections . However , thes e thre e type s d o no t cove r al l plan e
movements. Fo r example , i n Exercis e 42 , th e produc t o f a reflectio n
and a centra l symmetr y doe s no t belon g t o an y o f thes e types .
7. Classificatio n o f movement s
In th e previou s section , w e hav e gotte n acquainte d wit h a ne w kin d
of plan e movement . S o far , w e hav e encountere d fou r type s o f plan e
movements: translations , rotations , reflection s an d glid e reflections .
A natura l questio n arises : are there any plane movements that do
not belong to any of these four types? Th e answe r i s give n b y th e
following theorem .
H=X 3L b e d
Sn ° Sm O Si = S n O S n O 5/ / = S// .
f= S oS o Si
Licensed to Penn St Univ, UniversitynPark. Prepared
m = S OS
on Tue Mar 12 n '° 5/ / = 5
m 2019for download from
18:16:11 EDT / o Sm" ° S'i/ .
n IP 132.174.254.159.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
66 2. Plan e Movement s
8. Orientatio n
We have learned tha t ther e ar e four type s o f plane movements : trans -
lations, rotations , reflections , an d glid e reflections. Movement s o f th e
first tw o type s ca n b e represente d a s th e produc t o f a n eve n numbe r
(two) o f reflections ; the y ar e referre d t o a s proper movements . Th e
remaining tw o type s ar e product s o f a n od d numbe r (on e o r three )
of reflections ; the y ar e referre d t o a s improper movements , becaus e
one ha s t o exi t th e plan e i n orde r t o physicall y implemen t suc h a
movement.
The distinctio n betwee n th e tw o kind s o f plan e movement s ca n
be bes t understoo d usin g th e notio n o f orientation.
Licensed to Penn St Univ, University Park. Prepared on Tue Mar 12 18:16:11 EDT 2019for download from IP 132.174.254.159.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
8. O r i e n t a t i o n 67
9. Calculu s o f involution s
Definition 9 . A transformation / i s called a n involution, i f it i s no t
the identity , bu t it s squar e i s th e identity : / 7 ^ id, f 2 = f o / = id .
This i s th e sam e a s t o sa y tha t / i s invers e t o itself : / = / _ 1 , tha t
is, f(A) = B i f an d onl y i f f(B) = A.
If w e multipl y (1 9 ) b y S m o n th e lef t an d b y Si o n
the right , the n i t become s
(20) S mo5z = Sio5 m,
the sock s insid e of the boots , put s o n thi s combinatio n an d the n put s
the overshoe s o n top . Evidently , th e resul t i n bot h case s i s the same !
F i g u r e 24 . Associativit y
Licensed to Penn St Univ, University Park. Prepared on Tue Mar 12 18:16:11 EDT 2019for download from IP 132.174.254.159.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
72 2. Plan e Movement s
Licensed to Penn St Univ, University Park. Prepared on Tue Mar 12 18:16:11 EDT 2019for download from IP 132.174.254.159.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
http://dx.doi.org/10.1090/stml/025/04
Chapter 3
Transformation Group s
1. A rollin g triangl e
We begin with an introductory proble m where a transformation grou p
comes u p i n a natura l way .
Problem 27 . An equilateral triangle ABC lies on the plane. One
can roll it over the plane by turning it through 1 80 ° around any of its
sides. Show that if after a certain number of such steps the triangle
returns to the initial place, then each of its three vertices will return
to its initial position.
Licensed to Penn St Univ, University Park. Prepared on Tue Mar 12 18:16:11 EDT 2019for download from IP 132.174.254.159. 73
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
74 3. Transformatio n Group s
2. Transformatio n group s
D e f i n i t i o n 1 0 . A transformation group i s a se t G o f transformation s
of a certai n se t whic h ha s th e followin g tw o properties :
a b e d
• E3O 0
pare the m wit h eac h other, an d als o with th e group s o f Problem
28.
a b e d
F i g u r e 3 . Secon d se t o f kamon
Proof. T o prove the theorem, w e first note that a finite group canno t
contain paralle l translations , because , i f i t contain s a translatio n b y
vector a , i t mus t als o contai n a n infinit e numbe r o f translation s b y
multiple vector s na .
If the grou p contain s a glide reflection, i t als o contains it s square ,
which i s a paralle l translation , an d therefor e canno t b e finite. W e
conclude tha t an y finite grou p o f plan e movement s consist s entirel y
of rotation s an d reflections .
All rotation s belongin g t o th e grou p mus t hav e a commo n cen -
tre, becaus e th e followin g exercis e show s that a group containin g tw o
rotations wit h differen t centre s als o contain s a paralle l translation .
4. Conjugat e transformation s
In th e discussio n o f Proble m 2 8 abov e w e sai d tha t th e symmetr y
groups o f figure s $ 1 an d $ 3 ar e th e same : Sym($i ) = Sym(<I>3) .
What i s th e precis e meanin g o f thi s equality ? I n a mor e genera l
setting: wha t i s th e precis e meanin g o f th e classificatio n theore m w e
Licensed to Penn St Univ, University Park. Prepared on Tue Mar 12 18:16:11 EDT 2019for download from IP 132.174.254.159.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
4. Conjugat e transformation s 81
3
4 2
5 1
5. Cycli c group s
There i s anothe r wa y t o explai n wh y th e cycli c grou p O n i s commu -
tative. Le t R denot e th e rotatio n throug h 360° /n. The n al l th e ele -
ments of the group can be represented a s powers of R, i.e . R 2 — RoR,
R3 — R o R o R, . .., R n — id, an d i t i s clea r tha t w e alway s hav e
Rk 0R 1 = R k+l = R loRk.
A transformation / whos e power s exhaus t th e se t o f al l element s
of a group i s called a generator, o r a generating element o f the group .
To bette r understan d th e meanin g o f thi s notion , le t u s imagin e tha t
we hav e n o group , bu t onl y on e transformatio n / o f a certai n se t
M. Th e questio n i s whether ther e exist s a transformatio n grou p tha t
contains thi s transformatio n / . Th e answe r t o this questio n i s always
positive. Th e smalles t grou p containin g a given transformatio n / ca n
be constructe d i n th e followin g way .
If a group contains an element / , then , accordin g to the first defin -
ing property o f a group, i t mus t contai n al l it s powers / 2 , / 3 , etc . B y
the secon d property , i t als o mus t contai n th e invers e transformatio n
Z" 1 an d therefor e al l it s power s ( / _ 1 ) 2 , ( / _ 1 ) 3 , etc .
Exercise 61 . Prov e that (f~ x)k = (Z*)" 1 -
The transformation (/~ 1 ) / c , wher e k is a natural number , i s called
a negative power of / an d is also denoted b y f~~ k. Th e zeroth power of
any transformatio n i s by definitio n th e identit y transformation . No w
observe tha t th e se t o f al l intege r power s o f a give n transformation ,
. . . , / ~ 2 , / - 1 , / ° , Z 1 , f 2, • • -> always form s a group , becaus e o f th e
identities f k o f l = f k+l an d (f k)~1 = f~ k, whic h hol d no t onl y
for natural , bu t als o fo r al l intege r value s o f k an d I. Thi s se t o f al l
powers o f f i s calle d the group generated by f.
Two possibilitie s ma y arise .
Licensed to Penn St Univ, University Park. Prepared on Tue Mar 12 18:16:11 EDT 2019for download from IP 132.174.254.159.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
5. Cycli c group s 87
0 1 2 3 4 5 6 7 8 9 10 11
1 12 6 4 3 12 2 12 3 4 6 12
Licensed to Penn St Univ, University Park. Prepared on Tue Mar 12 18:16:11 EDT 2019for download from IP 132.174.254.159.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
5. C y c l i c g r o u p s 89
/ / /
AW d
6. Generator s an d relation s
Cyclic groups , i.e. , group s generate d b y on e element , constitut e th e
simplest clas s of groups. No w we will consider th e group s that canno t
be generate d b y on e element .
To begi n with , le t u s prov e tha t th e grou p D n, wher e n > 2 , i s
not cyclic . I n fact , w e have alread y see n that i f n > 2 , then D n i s no t
commutative an d henc e i s no t cyclic . I n th e cas e n — 2 , not e tha t
every non-identity elemen t o f the grou p D2 is of order 2 , and thu s th e
group doe s no t contai n an y elemen t o f orde r 4 .
A natura l questio n arises : wha t i s th e smalles t se t o f element s
of th e grou p D n whic h generate s th e whol e group , i.e. , allow s u s t o
express an y elemen t o f th e grou p usin g multiplication s an d takin g
the inverse ? I t turn s ou t tha t tw o element s ar e enough , an d {R,S},
where R i s the rotatio n throug h 360 ° /n an d S a n arbitrar y reflection ,
is a n exampl e o f suc h a set . I n fact , ever y rotatio n belongin g t o D n
can b e represente d a s R k, an d ever y reflectio n a s R k o S.
The firs t o f thes e tw o assertion s i s evident . T o prov e th e other ,
note that al l the movements R k oS fo r k = 0 , 1 , . . . , n— 1 are different .
Indeed, a n equalit y R k o S = rf o S , whe n multiplie d b y S o n th e
right, woul d impl y R k = R l, whic h i s a contradiction . No w observ e
that al l thes e movement s ar e improper , i.e . reflections , no t rotations .
Since th e tota l numbe r o f reflections i n the grou p D n i s n, w e deduc e
that eac h o f the m mus t appea r i n th e lis t 5 , R o 5, . . . , R n~1 o 5.
We hav e thu s prove d tha t th e pai r {R, S} i s a se t o f generator s
of th e grou p
n ?
Figure 9 . Th e grou p D n
Rl RloS
Rk Rk+i Rk+l oS
RkoS Rk~l oS Rk-i
Licensed to Penn St Univ, University Park. Prepared on Tue Mar 12 18:16:11 EDT 2019for download from IP 132.174.254.159.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
92 3. Transformatio n Group s
id R R2 Sa sb Sc
id id R R 2
Sa sb Sc
R R R 2
id sb Sc Sa
R2 R2 id R Sc Sa sb
Sa sa Sc sb id R2
R
sb sb Sa Sc R id R2
Sc sc sb Sa R2 R id
An importan t observatio n i s that th e complet e multiplicatio n ta -
ble o f th e grou p D n follow s fro m jus t thre e relation s betwee n th e
generating element s R an d S:
2 2
(25) 5 = id ; (Soj?) = id ; i T = id .
All othe r relation s betwee n R an d S ca n b e formall y deduce d fro m
these thre e usin g th e definitio n o f a group . A s a n example , le t u s
check thi s fo r th e relatio n S o Rk o S = R~ k tha t w e have use d whe n
working o n th e multiplicatio n table .
The secon d relatio n i n (25 ) ca n b e expande d a s
SoRoSoR = id
or, equivalently , a s
1
SoRoS = R- .
2
Taking int o accoun t tha t S — id , th e n-t h powe r o f the las t equalit y
gives
SoRkoS = R~ k.
It turn s ou t tha t relation s (25 ) constitut e a complete se t o f defin-
ing relations fo r th e grou p D n i n th e followin g sense : i f a grou p i s
generated b y tw o element s S an d R whic h satisf y th e relation s (25 )
and no other relation except for those that are formal consequences
Licensed to Penn St Univ, University Park. Prepared on Tue Mar 12 18:16:11 EDT 2019for download from IP 132.174.254.159.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
6. Generator s an d relation s 93
and do not satisfy any relations that do not follow from these three by
group axioms. Prove that the group generated by A and B is a cyclic
group of order 3.
Bk*AhBk2Al2 ...B km lm
A ,
Licensed to Penn St Univ, University Park. Prepared on Tue Mar 12 18:16:11 EDT 2019for download from IP 132.174.254.159.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
http://dx.doi.org/10.1090/stml/025/05
Chapter 4
Arbitrary Group s
Licensed to Penn St Univ, University Park. Prepared on Tue Mar 12 18:16:11 EDT 2019for download from IP 132.174.254.159. 97
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
98 4. Arbitrar y Group s
ae\ — e\a = ae 2 — e 2 a = a.
*1 P l
h-v^—f 1^—^/'T H P 1T v x T l
v^xTT
2*
3J
F
L
2
3
i^Sc—P 2 i*>^—P 2
1—"s^ i 2 i j 5 v T 2
1—^—P
nx n 2 n 3 n 4 n 5 n 6
F i g u r e 1 . 3-switche s
ni n2 n3 n4 n5 n6
III ni n2 n3 n4 n5 n6
n2 n2 n3 ni n6 n4 n5
n 3 n3 ni n2 n5 n6 n4
n4 n 4 n5 n6 ni n2 n3
n5 n 5 n6 n4 n3 ni n2
n6 n 6 n4 n5 n2 n3 ni
It turn s ou t that th e set of switches wit h thi s mul -
tiplication tabl e form s a group. Bu t ho w ca n on e prov e
this? Usin g the direct procedure of verifying al l the grou p
Licensed to Penn St Univ, University Park. Prepared on Tue Mar 12 18:16:11 EDT 2019for download from IP 132.174.254.159.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
104 4. Arbitrar y Group s
12 .. . n
hh .. . i n
/l2 3 \A 2 3 \ _ / l2 3 \
VI 3 2) ° \3 2 l) ~ \2 3 l) '
OO P
2. Isomorphis m
When workin g o n Proble m 34 , w e deduce d al l th e propertie s o f th e
concatenation fro m th e similar propertie s o f the compositio n o f trans-
formations, usin g th e fac t tha t bot h operation s hav e th e sam e inne r
structure. Th e precis e notio n suite d t o characteriz e suc h situation s i s
isomorphism.
F2(z) — ~z- Prove that the set of all functions that can be obtained
from F\ and F2 by superposition forms a group isomorphic to the
dihedral group D3 .
Fi <- • R, F 2 <- • Sa
F 3 <- > Sc , F 4 ^ id , F 5 ^ R 2, F 6 ^ S h.
F4 Fi F5 F2 F6 F3
F4 Fi Fx F5 F2 F6 Fs
Fi Fx F5 F4 F6 F3 F2
F5 F5 F4 Fx F3 F2 F6
F2 F2 F3 F6 F4 F5 Fx
F6 F6 F2 F3 Fx F4 F5
F3 F3 F6 F2 F5 Fx F4
which, a s on e ca n easil y check , i s th e correc t multiplica -
tion tabl e fo r G.
T h e isomorphis m i s thu s established . Ther e is , how -
ever, a mor e natura l wa y t o find a n isomorphis m be -
tween th e tw o group s i n question . Indeed , le t u s re -
call t h a t a functio n o f a comple x variabl e ca n b e viewe d
as a n analytica l representatio n o f plan e transformations .
In particular , th e functio n F\(z) = ez correspond s t o
the rotation s aroun d 0 throug h 1 20° , whil e t h e functio n
F2(z) = z , t o a reflectio n i n th e rea l axi s (axi s a i n Figur e
2).
If w e assig n t o ever y functio n obtaine d fro m F\ an d
F2 b y superposition s th e correspondin g plan e transfor -
mation, w e wil l obtai n a grou p isomorphism. 1
Note tha t th e term s 'superposition ' an d 'composition ' actuall y hav e th e sam e
meaning, onl y th e firs t on e i s use d i n analysi s fo r functions , whil e th e secon d on e i s
used i n geometr y fo r transformations .
Licensed to Penn St Univ, University Park. Prepared on Tue Mar 12 18:16:11 EDT 2019for download from IP 132.174.254.159.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
2. Isomorphis m 113
• Archie :
— I di d no t stea l th e bag .
— O n th e da y o f th e thef t I wa s no t i n th e
city.
— Wesle y stol e th e bag .
• Boss :
— Wesle y stol e th e bag .
— Eve n i f I stol e it , I woul d no t confess .
— I hav e lot s o f money .
• Wesley :
— I di d no t stea l th e bag .
— I'v e bee n lon g lookin g fo r a goo d bag .
— Archi e tol d th e trut h tha t h e wa s no t i n
the city .
During th e investigatio n i t wa s foun d tha t tw o dec -
larations o f eac h gangste r wer e tru e an d on e false .
Who stol e th e bag ?
F i g u r e 3 . Isomorphis m
Licensed to Penn St Univ, University Park. Prepared on Tue Mar 12 18:16:11 EDT 2019for download from IP 132.174.254.159.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
116 4. Arbitrar y Group s
3. Th e Lagrang e theore m
In thi s sectio n w e will state an d prov e th e ver y first theore m o f grou p
theory, which was found b y the French mathematician Lagrang e in the
late eighteenth century , eve n before th e notio n o f group was explicitl y
introduced i n mathematic s i n th e nineteent h centur y b y E . Galois .
Theorem 7 (Lagrange) . The order of a subgroup of a finite group
is always a divisor of the order of the whole group.
G = HUg^U-'-UgkH,
where eac h o f th e liste d subset s ha s m element s an d the y ar e al l
pairwise disjoint .
Therefore, th e numbe r n o f element s i n th e grou p i s divisibl e b y
the numbe r m o f element s i n th e subgroup . Th e theore m i s proved .
Let u s remark that , similarl y t o the lef t cose t decomposition , on e
can als o consider th e righ t cose t decomposition . I n general , thes e tw o
decompositions d o no t coincide , an d w e wil l discus s thi s questio n i n
the nex t chapter .
Figures 4 an d 5 show th e lef t cose t decomposition s o f th e grou p
Ds ove r a subgrou p o f orde r 3 and a subgrou p o f orde r 2 .
Licensed to Penn St Univ, University Park. Prepared on Tue Mar 12 18:16:11 EDT 2019for download from IP 132.174.254.159.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
120 4. Arbitrar y Group s
>sa >sb
>R
. , - 6 , - 3 , 0, 3, 6, . . . 3Z
-5, - 2 , 1 , 4 , 7 , . . . 3 Z + 1
- 4 , - 1 , 2 , 5 , 8 , .. . 3 Z+2
+ 0 T 2
0 0 T 2
T T 2 0
2 2 0 T
One ca n se e fro m thi s tabl e tha t th e residu e classe s modul o 3
form a cycli c grou p o f orde r 3 .
Exercise 92 . Prov e that the residue classes over an arbitrary numbe r
m for m a cyclic group of order m.
Can we also define the multiplication o f residue classes in a similar
way? Yes . Indeed , conside r tw o classe s /c , I. Th e produc t o f tw o
arbitrary representative s mx + k an d my + I o f thes e tw o classes ,
equal t o m{mxy + xl - f ky) + kl, ha s th e sam e remainde r i n divisio n
by m a s the number kl. Thi s remainder doe s not depen d o n the choic e
of th e representatives . Therefore , th e operatio n i s correctl y define d
in th e se t o f residu e classes .
Here i s the multiplicatio n tabl e o f residue classe s modul o 3 :
X 0 T 2
0 0 0 0
T 0 T 2
2 0 2 T
It i s evident tha t thi s multiplication doe s not satisf y al l the grou p
axioms, because it has one row and one column that entirel y consist of
zeroes, whereas in the multiplication tabl e o f a group no two element s
may coincide . However , th e smalle r tabl e tha t remain s afte r th e zer o
row an d colum n ar e deleted ,
X T 2
T T 2
2 2 T
Licensed to Penn St Univ, University Park. Prepared on Tue Mar 12 18:16:11 EDT 2019for download from IP 132.174.254.159.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
124 4. Arbitrar y Group s
Licensed to Penn St Univ, University Park. Prepared on Tue Mar 12 18:16:11 EDT 2019for download from IP 132.174.254.159.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
This page intentionally left blank
Licensed to Penn St Univ, University Park. Prepared on Tue Mar 12 18:16:11 EDT 2019for download from IP 132.174.254.159.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
http://dx.doi.org/10.1090/stml/025/06
Chapter 5
Orbits an d Ornament s
Topics that wil l be touched upo n in this chapter include group actions,
orbits, invariants , an d ornaments .
Transformation groups , b y thei r definition , act o n certai n sets .
Thus, the group of movements of the plane acts on (th e set of all points
of) th e plane. Th e permutation grou p 63 acts on the set {1 ,2,3} . Th e
ability t o transfor m th e set s i s s o inheren t i n th e notio n o f a grou p
that i t i s als o preserve d fo r arbitrar y abstrac t groups . T o giv e th e
exact definitio n o f th e grou p action , w e shal l nee d th e notio n o f a
homomorphism.
1. Homomorphis m
The notion of a homomorphism generalize s that o f an isomorphism. A
homomorphism i s defined b y the sam e operation-preserving property ,
only without th e requiremen t tha t i t mus t b e a one-to-one correspon -
dence.
Licensed to Penn St Univ, University Park. Prepared on Tue Mar 12 18:16:11 EDT 2019for download from IP 132.174.254.159. 127
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
128 5. Orbit s an d Ornament s
E x e r c i s e 9 8 . Fo r eac h o f th e 2 4 permutation s o f th e
letters a , fr,c, d, find th e expressio n o f th e doubl e ra -
tio afte r th e permutatio n i n term s o f its initia l valu e
x.
A diligen t reade r wh o ha s solve d thi s exercis e wil l
recall t h a t th e se t o f 6 function s obtaine d i s exactl y th e
group o f function s t h a t w e kno w a s $ . Denot e th e ra -
tional functio n t h a t correspond s t o th e p e r m u t a t i o n a
Licensed to Penn St Univ, University Park. Prepared on Tue Mar 12 18:16:11 EDT 2019for download from IP 132.174.254.159.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
130 5. Orbit s an d Ornament s
2. Quotien t grou p
Let u s loo k a t th e grou p o f residu e classe s Z m an d th e homomorphis m
Z— > Zm fro m a mor e genera l viewpoint . T h e grou p Z m consist s o f
the coset s o f t h e grou p Z modul o th e subgrou p m Z . Thi s fac t ca n
also b e state d a s iLirn IS
the quotient group of Z modulo raZ, whic h i s
written a s Z m = Z / r a Z .
Now le t G b e a n arbitrar y grou p an d H a subgroup o f G. Conside r
the se t o f coset s i n G modul o H an d t r y t o mak e i t int o a group , usin g
the constructio n o f Z m a s a n example . T h e firs t questio n t h a t arise s
is: wha t coset s shoul d w e use , lef t coset s eH, g\H, g2H, . . .o r righ t
cosets He, Hgi, Hg2, . . . ? Thi s questio n doe s no t aris e fo r th e grou p
Z,tosinc
Licensed Penn St e i tUniversity
Univ, i s commutative . 12 18:16:11 EDT 2019for download from IP 132.174.254.159.
Park. Prepared on Tue Mar
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
132 5. Orbit s an d Ornament s
However, for the subgroup G 3 = {id , R, R 2} bot h the left an d the right
coset decomposition s consis t o f th e sam e tw o classes : th e subgrou p
G3 itself an d it s complemen t D% \ G3 .
Definition 1 7 . A subgrou p H o f a grou p G i s calle d normal, i f fo r
any elemen t g G G th e tw o coset s gH an d Hg coincide .
ab c d\ ( a b e d
ab c d) \b a d c
ab c d\ ( a b e d
cd a b) ' \d c b a
a— c a —d
b—c b —d
The multiplicatio n tabl e fo r thes e fou r element s co -
incides, u p t o th e choic e o f notation , wit h th e multipli -
cation tabl e o f th e grou p D2. T h u s K = D2 , an d th e
homomorphism theore m i n ou r exampl e ca n b e writte n
as S A/D2 ^ D 3.
(a,b\ab=1 )
Fi F2 ^3 F4 F, F6
0 oo 1 0 1 OO 0
1 1 0 1 oo 0 oo
oo 0 oo oo 0 1 1
This tabl e define s a genuin e actio n o f th e grou p $
on th e se t R U oo. I t shows , i n particular , t h a t t h e thre e
points 0 , 1 an d o o for m on e orbit , an d t h a t th e actio n
of $ o n thi s orbi t define s th e isomorphis m o f<I > wit h th e
permutation grou p o n thre e symbol s S3 .
5. Enumeratio n o f orbit s
Consider on e mor e exampl e o f a grou p action .
Problem 46 . How many different ways are there to paint the disk
divided into p equal parts using n colours ? The number p is assumed
to be prime. Two colourings are considered to be the same, if one of
them goes into another by a rotation of the disk.
6. Invariant s
T h e proble m abou t necklace s ca n b e solve d b y a simpl e direc t argu -
ment, withou t referrin g t o grou p theor y an d Burnside' s formula . T h e
most natura l solutio n ca n b e state d a s follows .
Licensed to Penn St Univ, University Park. Prepared on Tue Mar 12 18:16:11 EDT 2019for download from IP 132.174.254.159.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
6. Invariant s 149
The thre e blac k bead s brea k th e circl e int o thre e parts , whic h
contain ra, n an d k white beads. Th e integers ra, n an d k ar e betwee n
0 an d 7 , inclusive , an d satisf y ra - f n + k = 7 . Not e tha t th e orde r i n
which thes e thre e number s appea r i s i n ou r cas e irrelevant , becaus e
rotations an d reflection s produc e an y o f the 6 possible permutations .
(For th e cas e o f 4 blac k bead s thi s observatio n woul d n o longe r b e
true!) Therefore , w e ca n assum e tha t ra < n < £; , an d th e proble m
is reduced t o th e enumeratio n o f al l triple s o f integers tha t satisf y al l
oo
the state d restrictions . Al l suc h triple s ca n b e foun d directly . Her e
they are , i n lexicographi c order : (0,0,7) , (0,1 ,6) , (0,2,5) , (0,3,4) ,
(1,1,5), (1 ,2,4) , (1 ,3,3) , (2,2,3) .
F i g u r e 7 . Invarian t o f a necklac e
7. Crystallographi c group s
We now have all the techniques necessary to revisit the question abou t
the symmetr y o f ornament s pose d i n th e introductio n (se e pag e 4) .
The symmetr y o f ornament s — plan e pattern s infinitel y repeate d i n
two or mor e differen t direction s — is described b y the so-calle d plane
crystallographic groups. A n exampl e o f suc h a grou p i s th e rollin g
group o f the equilateral triangl e studie d i n Problem 2 7 — it describe s
the symmetry of the ornament show n in Figure 4b in the Introduction .
Crystallographic group s ar e als o referre d t o a s wallpaper groups.
The exac t definitio n read s a s follows .
The term "crystallographic " ha s its origin in the fact tha t discret e
groups o f space movement s ar e use d t o describ e th e symmetr y o f
natural crystals . Ther e exist s a specia l universa l syste m o f notatio n
for th e crystallographi c groups , bot h plan e an d spatial . Fo r example ,
the rolling group of the equilateral triangl e i s traditionally denote d b y
p3ml. W e will giv e som e mor e example s o f crystallographi c group s
and correspondin g ornaments .
The simples t suc h group , denote d b y pi , i s th e grou p generate d
by two translations b y non-collinear vector s a and b . Figur e 8 a shows
the generator s o f th e grou p an d th e orbi t o f a point .
f
153
-» •
M
(§> / <$ > : (§ )
/ D / D •
D • D • J) •
(h • ( $ > ; (s>;
n = Ua*
forms a fundamental domai n fo r H. Th e domai n<I > i s called th e motif
of the ornament , an d th e domai n II , it s elementary cell. I n principle ,
$ an d gi ca n alway s b e chose n i n suc h a wa y tha t I I become s a
parallelogram, bu t sometime s i t i s mor e convenien t t o us e polygon s
of anothe r shape , notably , regula r hexagons , a s th e elementar y cell .
The rati o o f th e are a o f I I t o th e are a o f $ i s equa l t o th e inde x
of H i n G , i.e. , th e numbe r o f coset s i n G/H. Th e bigge r G/H, th e
smaller th e fundamenta l domai n $ i n II .
Problem 48 . Find the motif and the elementary cell of the ornament
that has symmetry group of type p3ml. Describe the cosets of G with
respect to its subgroup of translations H.
Solution.
•
Now, th e table . Fo r ever y group , th e tabl e o f plan e crystallo -
graphic group s include s (lef t t o right) :
Non-collinear
Pi translations I \ , T 2
TiT2 = T 2T1
6
Half turn s Ri , R 2, # 3
p2 R^ = R 2 = i? 3 := id,
!.M>>, 1
o
(RiR2R3)2 = i d
6
Reflections Si, S2 an d
!|
translation T
pm
SiT = TSuS 2T = TS 2,
iililj 5? = Si = id
Licensed to Penn St Univ, University Park. Prepared on Tue Mar 12 18:16:11 EDT 2019for download from IP 132.174.254.159.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
7. Crystallographi c group s 161
Parallel glid e
reflections C/i , C/2
Pg
Reflection 5
and glid e reflectio n U
cm
S2 = id , SU 2 = U 2S
Reflections i n th e side s
of a rectangle Si , 52 , S3,
pmm <p rt rt
Q2 _ o 2_ Q 2_ _ <? 2 _
D D
l— ° 2— 3~ ° 4—
6 (!) 6
id, (SiS 2 ) = (S 2 S 3 ) 2 =
2
(S3S4)2 = (S 4 Si) 2 = id
Reflection S an d centra l
O O O
1
1
1
1
1
1
symmetries R\, R2
1 ! 1
pmg 1i 1
=
11 1
0Q 0 D= R^ — -LI2 id )
R1SR1 = R2SR2
Perpendicular glid e
reflections C/i , C/2
(CW2) 2 (C/f1^)2 =
id
Reflections Si , S 2 an d
central symmetr y R
cmm S2 = S | = i? 2 = id ,
(S1S2)2 = (S 1 RS2R)2 =
id
Licensed to Penn St Univ, University Park. Prepared on Tue Mar 12 18:16:11 EDT 2019for download from IP 132.174.254.159.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
162 5. Orbits an d Ornament s
•
p4 <j> O <j >
90° rotatio n R 1
R? = R\ = (RiR) 4 = i d
<i> o - 6
i_ Reflections Si , 52 , S 3
^- < KX T in th e side s o f a n isosce -
les righ t triangl e
p4m ri / C 7f
[^j! ui —
(SlS2) =
-O o
2
=
(S2S3)
(SsSi)4 = i d
=
^ 3 -~ - 1 0- ,
4
=
P4g
pFj j i Reflection 5
and 90 ° rotatio n R
2
S2=R*=(R-iSRS) = id
<^::.J..!\<1.!...::^>
i? 3 throug h 1 20 °
p3
i?l = R1 R2R3 = i d
..A..^
Reflection 5 an d rota -
tion R throug h 1 20 °
p31m i\/ A \/ i RS = S 2 =
A. /X / \ A (R^SRS)3^ i d
Reflections Si , 52 , S 3
„' i V in the sides of an equilat -
eral triangl e S 2 = S f =
IN-* ^i
4^
p3ml
S | = id ,
(Si5 2 ) 3 = (S 2 S 3 ) 3 =
(S 3 Si) 3 = i d
Licensed to Penn St Univ, University Park. Prepared on Tue Mar 12 18:16:11 EDT 2019for download from IP 132.174.254.159.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
7. C r y s t a l l o g r a p h i c g r o u p s 163
p6
yy r<h Half tur n i ? an d
120° rotatio n R 1
og
AA
j6
^ 1 E2 = Rl = (flii*) 6 = i d
V
Reflections Si , S2 ,
S3 i n th e side s o f a
YXJ\': AJ^Y (30°,60°,90°) triangl e
p6m ^
*^l : = : *^ 2 == 3 ~ =
'
; =;\!%i
^4r' ^ (5!5 2 ) 2 = (S 2S3f =
(5 3 5x) 6 = i d
E x e r c i s e 1 2 9 . Fin d th e symmetr y group s o f th e ornament s show n
in Figur e 4 (pag e 4 ) and Figure 8d.
E x e r c i s e 1 3 0 . Determin e th e ornamental clas s of every grou p i n the
table, an d thus prov e Lemm a 3 (p. 1 55) .
E x e r c i s e 1 3 1 . Tr y to guess th e meaning o f the letters an d number s
used i n the notation o f crystallographic groups .
Licensed to Penn St Univ, University Park. Prepared on Tue Mar 12 18:16:11 EDT 2019for download from IP 132.174.254.159.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
This page intentionally left blank
Licensed to Penn St Univ, University Park. Prepared on Tue Mar 12 18:16:11 EDT 2019for download from IP 132.174.254.159.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
http://dx.doi.org/10.1090/stml/025/07
Chapter 6
Other Type s o f
Transfer mat ions
1. Affin e transformation s
Affine transformation s constitut e a n importan t clas s o f plan e trans -
formations whic h i s a natura l generalizatio n o f movements . I n fact ,
the grou p o f plan e movement s A4 i s a subgrou p o f th e affin e grou p
Aff(2,R). Th e transitio n fro m movement s t o affin e transformation s
is easil y achieve d i n coordinates .
Licensed to Penn St Univ, University Park. Prepared on Tue Mar 12 18:16:11 EDT 2019for download from IP 132.174.254.159. 165
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
166 6. Othe r Type s o f Transformation s
ax + by + XQ ,
(40)
cx + dy + y 0.
2. Projectiv e transformation s
T h e notio n o f projectiv e transformation s come s fro m dail y life .
I
H ->- ® I ^.-- \ aoaao/
SASAC = ^h-AC=^SA' SC si n Z AS C,
Now,
AC AD _ S^SAC . SASAD
BC BD S^SBC S&SBD
SA • SC si n ZASC • SB • SD si n ZBSD
SB-SCsinZBSC -SA-SD sinZASD
sin ZASC si n ZASD
Licensed to Penn St Univ, University Park. Prepared onsin ZBSC
Tue Mar ' EDTsi2019for
12 18:16:11 n ZBSD'
download from IP 132.174.254.159.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
172 6. Othe r Type s o f Transformation s
Solution. W e hav e
AC AD _ 2 3 _ 4
~BC : ~BD ~ 1 : 2 ~ 3 '
Denoting CD' b y x, w e hav e
A'C ^ A'D' _ 8 m x +8
Wc* : B'D' ~~ 2 :
x + 2'
and fro m th e equatio n
8Q + 2 ) _ 4
2(x + 8 ) " 3
we find tha t x = 1 .
Licensed to Penn St Univ, University Park. Prepared on Tue Mar 12 18:16:11 EDT 2019for download from IP 132.174.254.159.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
2. P r o j e c t i v e t r a n s f o r m a t i o n s 173
. mx - fn
px + q
• - = c o fo r an y a / 0 ,
^ m-o o + n = { j , ifp^O ,
p • o o -f q ) oo , i f p = 0 .
3. Similitude s
Definition 37 . A similitude i s a plan e transformatio n tha t change s
all distance s b y on e an d th e sam e positiv e factor .
F i g u r e 7 . Homothet y
A L M C
(44) z ^- > pz + a
Licensed to Penn St Univ, University Park. Prepared on Tue Mar 12 18:16:11 EDT 2019for download from IP 132.174.254.159.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
3. Similitude s 181
or
(45) z >— » pz + a,
4. Inversion s
P r o b l e m 5 4 . A circle S touches two circles S\ and S2 at the points A
and B. Prove that the line AB passes through the centre of similitude
of the circles S\ and S2 .
))
5. Circula r transformation s
The set o f all inversions in the plane is not a transformation group . I n
this section, we shall study the group generated b y all inversions. Thi s
group is called the group of circular transformations. I t consist s of two
halves: th e subgroup of orientation-preserving transformations , whic h
coincides with the complex projective group PGL(1, C) (se e page 173),
and a cose t consistin g o f orientation-reversin g transformations .
We start wit h a n illustrativ e problem .
Problem 56 . Fix a circle C with centre O. Let A he the midpoint of
its radius OB. Suppose that we are allowed to perform two transfor-
mations: inversion with respect to the circle C and half turn around
point A. What is the maximal number of different points that can be
obtained from a given point by successive applications of these trans-
formations ?
Solution. Le t u s writ e bot h transformation s a s func -
tions o f a comple x variable , assumin g tha t th e poin t O
has comple x coordinat e 0 an d poin t B comple x coordi -
nate 1 .
The point A correspond s t o the numbe r 1 /2 , an d th e
symmetry a t thi s poin t i s described b y th e functio n
h(z) = l-z.
To find th e formul a fo r th e secon d allowe d transfor -
mation, not e tha t point s z an d w tha t correspon d t o
each othe r unde r th e inversio n satisf y th e tw o relation s
Licensed to Penn St Univ, University Park. Prepared on Tue Mar 12 18:16:11 EDT 2019for download from IP 132.174.254.159.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
188 6. Othe r Type s o f Transformation s
6. Hyperboli c geometr y
Let u s chec k tha t transformation s (46 ) an d (47 ) ma p th e uppe r half -
plane y > 0 int o itself . I f z = x + iy, w = u + iv, the n a simpl e
calculation show s tha t th e comple x formul a (46 ) i s equivalent t o th e
pair o f rea l formula s
(ax + b) (ex + d) + acy 2
(ex + d) 2 + y 2
(ad — bc)y
(ex + d) 2 + y 2 '
and w e se e tha t v ha s th e sam e sig n a s y. Th e formul a (47 ) i s con -
sidered i n a simila r way .
Let L b e the grou p o f all transformations (46 ) an d (47 ) actin g o n
the uppe r half-plan e H = {(x,y)\y > 0} . Th e half-plan e H i s calle d
the hyperbolic plane, o r th e Lobachevsky plane, an d th e grou p L i s
called th e grou p o f hyperbolic movements o f H. Thi s terminolog y ha s
the followin g meaning .
As we know, the transformation s i n L tak e an y circl e into a circl e
(or a line , whic h w e vie w a s a particula r cas e o f th e circle) . I n th e
plane H, ther e i s a distinguishe d se t o f circle s whic h i s preserve d b y
the grou p L . Thes e ar e th e (half)-circle s an d (half)-line s perpendic -
ular t o th e lin e Ox (se e Figur e 1 7) . W e wil l cal l thes e circle s th e
L-lines, becaus e throug h an y tw o point s o f H ther e passe s on e an d
Licensed to Penn St Univ, University Park. Prepared on Tue Mar 12 18:16:11 EDT 2019for download from IP 132.174.254.159.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
192 6. Othe r Type s o f Transformation s
M
\M
Euclidean angl e betwee n th e tangen t line s (not e tha t wit h thi s defi -
nition o f th e angl e w e hav e th e propert y tha t L-movement s preserv e
L- angles).
Licensed to Penn St Univ, University Park. Prepared on Tue Mar 12 18:16:11 EDT 2019for download from IP 132.174.254.159.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
This page intentionally left blank
Licensed to Penn St Univ, University Park. Prepared on Tue Mar 12 18:16:11 EDT 2019for download from IP 132.174.254.159.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
http://dx.doi.org/10.1090/stml/025/08
Chapter 7
Symmetries o f
Differential Equation s
Licensed to Penn St Univ, University Park. Prepared on Tue Mar 12 18:16:11 EDT 2019for download from IP 132.174.254.159. 197
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
198 7. Symmetrie s o f Differentia l Equation s
for an y valu e o f x.
Since w e ar e intereste d i n th e wa y y depend s o n x , w e call x th e
independent an d y th e dependent variable . Equatio n (48 ) ca n als o
be writte n a s dy/dx = / ( x , y ) , wher e dy an d dx ar e differentials, i.e .
infinitesimal ("infinitel y small" ) increment s o f y an d x whos e rati o i s
by definitio n equa l t o th e derivativ e y f. 1
Here i s an exampl e o f a differentia l equation :
(49) y' = y-x.
As yo u ca n chec k b y a direc t substitution , eithe r o f th e function s
y = x + 1 and y = e x + x + lis& solutio n o f this equation .
The mai n theorem o f the theory o f ordinary differentia l equation s
implies that ever y differential equatio n ha s a one-parameter famil y o f
solutions tha t ca n b e describe d b y a formul a y — ^(x,c) containin g
a constan t c whos e valu e ma y b e arbitrary . Suc h a functio n ?/?(# , c)
is calle d th e general solution o f th e give n equation . Fo r example ,
equation (49 ) ha s the genera l solutio n y = ce x - f x +1 whic h give s th e
two particula r solution s quote d above , whe n c = 0 and c = 1 .
Note that th e famil y o f solutions o f a differential equatio n ^(x,c)
cannot b e a n arbitrar y one-paramete r famil y o f functions .
Exercise 1 59 . I s ther e a (firs t order ) differentia l equatio n tha t ha s
the followin g pai r o f particula r solutions : (a ) y = 0 an d y = 1
(constant functions) ? (b ) y — 1 and y — x!
The function f(x,y) i n the right-hand side of the differential equa -
tion (48 ) ca n b e fre e o f x, o f ?/ , o r o f both . Fo r example , w e ca n
consider th e followin g equations :
(50) y' = 2,
(52) y' = y 2.
Exercise 1 60 . Fin d th e genera l solutio n o f (50 ) an d (51 ) . Tr y t o
guess a particular solutio n o f (52) .
1
Prom th e moder n viewpoint , th e notio n o f differentia l i s formalize d usin g dif-
ferential forms, but , a s w e canno t touc h upo n tha t i n thi s book , w e ar e goin g t o
treat th e differential s i n th e abov e intuitiv e sense , followin g th e mathematician s o f th e
seventeenth
Licensed to Penn St Univ, an d eighteent
University h centuries
Park. Prepared .
on Tue Mar 12 18:16:11 EDT 2019for download from IP 132.174.254.159.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
1. Ordinar y differentia l equation s 199
(54) y = / f{x)dx,
" /
where th e right-han d sid e i s define d "u p t o a n additiv e constant" .
More exactly , i f F{x) i s a certai n primitive o f / ( # ) , i.e. , a functio n
such tha t F'(x) = f(x), the n th e genera l solutio n t o (53 ) ca n b e
written a s
(55) y = F(x) + C.
This formula , fo r arbitrar y value s o f th e constan t C , give s al l th e
solutions o f (53) . Th e graph s o f al l function s (55 ) d o no t intersec t
and fill all the plane (x, y). Fo r example, for (51 ) we obtain the pictur e
shown i n Figur e la .
\- \
\- \
-\
\- x -
\- Jr -
/ / /
/ / —
/
/
/ X -\ \
/ / SJ ^ \ \
// - | \ \ \
l
1— • * -t-4— • t I •• * *•
(58) f(x) dx
J g(y) J
(it i s understoo d tha t on e sid e o f thi s equalit y contain s a n arbitrar y
additive constan t C) . Thi s i s a n implici t formul a fo r th e genera l
solution o f (41 ) . I f y i s expressed i n terms o f x, w e will get a n explici t
general solution .
2. Chang e o f variable s
We now discuss o f the relatio n betwee n th e differentia l equation s an d
the mai n them e o f th e boo k — transformations o f th e plane .
It turn s ou t tha t i n variou s method s o f findin g solution s o f dif -
ferential equation s a crucia l rol e i s played b y changes of variables. I f
we pas s fro m variable s x, y t o ne w variable s it , v accordin g t o som e
formulas
U V
(60) { = ^ \
3. Th e Bernoull i equatio n
Historically, th e first perso n wh o successfully applie d transformation s
of variable s t o differentia l equation s wa s probabl y Johan n Bernoulli ,
who solve d th e equatio n (no w bearin g hi s name )
(62) y' = Ay + By n,
where A an d B ar e give n function s o f x. H e manage d t o reduc e thi s
equation t o a simple r (linear) equatio n
(63) y' = Py + Q,
where P an d Q ar e agai n function s o f x.
Let u s firs t explai n ho w th e linea r equatio n i s solved . Writ e th e
unknown functio n y a s a product y = uv, wher e u an d v ar e unknow n
Licensed to Penn St Univ, University Park. Prepared on Tue Mar 12 18:16:11 EDT 2019for download from IP 132.174.254.159.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
204 7. Symmetrie s o f Differentia l Equation s
kk
If k = 1 /( 1 — n) , th e secon d exponen t kn — k + 1 be -
comes 0 an d w e arriv e a t a linea r equation ! Therefore ,
the require d transformatio n i s y = -u 1 /( 1 -n ).
r^da
/-
Licensed to Penn St Univ, University Park. Prepared on Tue Mar 12 18:16:11 EDT 2019for download from IP 132.174.254.159.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
3. Th e Bernoull i equatio n 205
(65) xn+2v2
Licensed to Penn St Univ, University Park. Prepared on Tue Mar 12 18:16:11 EDT 2019for download from IP 132.174.254.159.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
206 7. Symmetrie s o f Differentia l Equation s
4. Poin t transformation s
So far , w e have onl y encountere d change s o f variable s o f th e for m
X u)
(66) { = * ',
i.e., wher e th e independen t variabl e x i s expresse d i n term s o f th e
new independen t variabl e only . I n thi s cas e i t i s eas y t o expres s th e
derivative dy/dx i n term s o f u, v an d dv/du usin g th e chai n rul e
dy/dx — dy/du • du/dx.
Licensed to Penn St Univ, University Park. Prepared on Tue Mar 12 18:16:11 EDT 2019for download from IP 132.174.254.159.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
208 7. Symmetrie s o f Differentia l Equation s
\vn
y
UK
/KU/
bf '
M
i i i
1 \1
F i g u r e 5 . Poin t transformatio n
coordinates o f the give n poin t an d p i s the slop e o f the lin e (th e tan -
gent o f th e angl e i t make s wit h th e horizonta l axis) . Th e se t o f al l
contact element s thu s form s a three-dimensiona l spac e — th e space
of contact elements. Som e o f it s element s ar e show n i n Figur e 6 .
y
v.
x'
7
F i g u r e 6 . Contac t element s
2xy (x 2 + {x 2 + y 2f) + (x 2 - y 2) (y 2 + (x 2 + y 2 2
))
u2 - f v 2'
u2 + u 2 '
2m ; (w 2 - i> 2)i>/ - -
—2uvv' + v 2—u2'
Substituting thes e expression s i n th e give n equation , w e
obtain, afte r simplifications ,
2
,u + l
5. One-paramete r group s
Definition 44 . A one-parameter group of plane transformations i s
an actio n o f th e additiv e grou p R o n th e plane .
xt = x + t,
yt = y,
Xt — e t x,
Vt = e*y .
o X
xt = x + 2t ,
Vt = y ,
which ha s th e sam e orbit s a s th e grou p o f translation s previousl y
discussed (show n i n Figur e 7a) .
E x e r c i s e 1 7 5 . Defin e a one-parameter grou p of rotations with a com-
mon centre , writ e it s coordinat e representation , an d dra w it s or -
bits.
E x e r c i s e 1 7 6 . Chec k tha t th e relation s
at
Xt = e (x cos bt — y sin bt),
at
yt = e (x sin bt -f y cos bt)
define a one-parameter group . Explai n it s geometric meanin g an d
draw it s orbits .
E x e r c i s e 1 7 7 . Le t xt an d yt b e th e root s o f th e quadrati c equatio n
for th e unknow n w
(w - x)(w - y) + t = 0 ,
chosen i n suc h a wa y tha t xt, yt continuousl y depen d o n t an d
x0 = x , y 0 = y.
The number s x t an d yt ar e function s o f thre e variable s x , y
and t. Prov e tha t thes e function s defin e a one-paramete r grou p
of transformations , an d dra w it s orbits .
and
Xt = X + 27T& ,
Vt = 2/ ,
Pt = P
map thi s surfac e int o itself .
There ar e tw o mai n problem s abou t th e interrelatio n o f differen -
tial equation s an d one-paramete r groups :
(1) Give n a differential equation , find al l (o r some ) group s of its
symmetries.
(2) Give n a one-parameter grou p o f plane transformations , find
all (o r some ) differentia l equation s preserve d b y thi s group ,
i.e., suc h tha t th e grou p consist s o f thei r symmetries .
For practica l need s (solvin g differentia l equations ) th e first ques -
tion i s mor e important . Bu t i t i s als o mor e difficult . Therefore , le t
us first discus s th e secon d question .
We start wit h tw o simple examples , wher e th e answe r i s obvious:
• Th e genera l equatio n preserve d b y th e grou p o f x-transla -
tions i s
(77) y' = f(y).
We have earlier considered a particular cas e of this, equatio n
(52).
• Th e genera l equatio n preserve d b y th e grou p o f ?/-transla -
tions i s
y' = fix).
We hav e encountere d equatio n (51 ) , belonging t o thi s class .
Let u s no w conside r mor e interestin g groups .
Problem 64 . Find the general form of a differential equation pre-
served by the group of rotations of the (x,y) plane centred at (0,0) .
xy' -y 2
= f(x +y2),
yy' + x
f bein g a n arbitrar y functio n o f its argument . Resolvin g
this with respect to y\ w e can write the answer as follows:
xf(x2 + y 2) + y
(78) y
x-yf(x2 + y 2)'
Licensed to Penn St Univ, University Park. Prepared on Tue Mar 12 18:16:11 EDT 2019for download from IP 132.174.254.159.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
7. Solvin g equation s b y symmetrie s 221
J \
\ v. — *•—
1
•—-
ft
-**- . — - •
- \
^v +42= Cu*l\
Expressing u an d v throug h x an d y , w e obtai n th e an -
swer:
32
y = 2(x-Cx8/5) x
Remark. Th e sam e procedur e solve s th e equatio n
y' = a(y 2 + x~ 2) fo r a n arbitrar y valu e o f a. Th e reaso n
why we only considere d a special cas e is that th e genera l
answer i s rather cumbersome .
2
Exercise 1 85 . Fin d th e genera l solution o f y' = (x + y )/(xy).
As th e las t example , w e conside r a n equatio n wher e i t i s impos -
sible t o separat e th e variable s b y a chang e o f th e for m x = <p(u),
y = ip(x,y).
it = ^ - x + ^ f - y ,
y1 - x 2
- 4
Licensed to Penn St Univ, University Park. Prepared on Tue Mar 12 18:16:11 EDT 2019for download from IP 132.174.254.159.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
This page intentionally left blank
Licensed to Penn St Univ, University Park. Prepared on Tue Mar 12 18:16:11 EDT 2019for download from IP 132.174.254.159.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
http://dx.doi.org/10.1090/stml/025/09
Answers, Hint s an d
Solutions t o Exercise s
Licensed to Penn St Univ, University Park. Prepared on Tue Mar 12 18:16:11 EDT 2019for download from IP 132.174.254.159. 229
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
230 Answers , Hint s an d Solution s t o Exercise s
Th RB &m uh
Ta Ta T
R%{*)
T
Sm(a) T
Sm(a)
pa pa n
U U
Tb(A) SM{A) U*(A)
Si S S S
Th(l) S
R%(1) Sm(l) u*(D
u? U
Th(l) U
K(D
U
Sm(l)
1 x-1 1 x
X
1-x X
1-X X x-1
1 x-1 1 X
X X
1-x X
1-x X x-1
1 1 x-1 1 X
X x-1 1-X
1-x 1-x X X
x-1 x-1 1 X 1
X X
X
1-x x-1
1-x X
X 1 x-1 1
1-x 1-x x-1 X
X X 1-x
1 1 X 1 x-1
X X
1-x x-1 1-x
X X
X X 1 x-1 1
x-1 x-1 x 1-x X 1-x X
Cx pi
£i pm, pg, cm
c2 P2
c3 P3
D3 p31ra, p3ml
c4 p4
DA p4m, p4g
C6 p6
D6 p6m
Licensed to Penn St Univ, University Park. Prepared on Tue Mar 12 18:16:11 EDT 2019for download from IP 132.174.254.159.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
Answers, Hint s an d Solution s t o Exercise s 24 1
166. y = e x2/4(fe-x2/2dx + Cy /2
.
167. y = tan(a x + C) .
1Ifift 1
y
z 2tan(l/x + C ) x
169. Fin d n suc h tha t - ( n + 3)/( n + 4 ) = - 4 .
Licensed to Penn St Univ, University Park. Prepared on Tue Mar 12 18:16:11 EDT 2019for download from IP 132.174.254.159.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
244 Answers, Hint s an d Solution s t o Exercise s
whence
- *_= ^ - *.
qk(n) + 2 n +2
171. Se e Proble m 67 .
172 ( a) — = (yy' + x)Vx2 + y2
dcj) xy' — y
(b) Th e solutio n i s given implicitl y b y
(x2+y2)(C-2arctan-) = 1 .
x
173. g togs= g t+s = g s +t = g s ° gt-
174. Yes . Assumin g that th e centre is 0, the correc t parametriza -
t
tion i s given b y g t{x,y) = (e 1x ety).
175. xt = x cost — ysint, y t = xsint + y cost.
176. Thes e formula s defin e th e grou p o f spira l homotheties . It s
orbits ar e logarithmi c spirals .
177. Th e orbit s ar e straigh t line s x + y — const . Th e grou p
property follow s fro m th e Viet a theorem .
178. y' = f(y/x)i wher e / i s a n arbitrar y function .
Licensed to Penn St Univ, University Park. Prepared on Tue Mar 12 18:16:11 EDT 2019for download from IP 132.174.254.159.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
Index
Action, 1 3 8 homogeneous, 22 3
transitive, 1 4 1 linear, 20 3
Affine
coordinates, 2 0 Euclid, 1
group,167 Euler, 89 , 1 25 , 1 7 8
transformation, 1 6 7 Extended line , 1 7 3
Alhambra, 3
Associativity, 1 1 , 7 0
Axial symmetry , 4 4 Fedorov, 4 , 1 5 8
Fermat, 1 2 5
Field o f directions , 20 0
Basis, 2 0 First homomorphis m theorem , 1 3 4
Bernoulli, 20 3 Fixed point , 1 3 9
Briggs, 1 1 6 Fundamental domain , 1 5 2
Burnside, 1 4 6
GCD, 8 9
Central symmetry , 5 0 General solution , 1 9 8
Centre o f gravity , 1 8 Generalized circle , 1 8 5
Change o f variables , 20 2 Generator, 8 6
Circular group , 1 9 0 Generators, 93 , 1 3 6
Classification Glide reflection , 6 1
of crystallographi c groups , 1 5 8 Group
of finit e plan e groups , 7 9 abstract, 1 0 8
of movements , 6 3 additive, 9 9
Commutativity, 1 1 affine, 1 6 7
Complex numbers , 3 0 arbitrary, 9 8
Complex structure , 5 0 axioms, 9 8
Composition, 5 5 commutative, 8 4
Conjugate, 8 1 cyclic, 78 , 1 0 2
C o n t a c t element , 21 0 dihedral, 7 9
Coordinates, 2 0 discrete, 1 5 1
Coset, 1 1 8 finite, 7 8
Crystallographic group , 1 5 1 finite cyclic , 8 7
free, 1 3 6
Defining relations , 93 , 1 3 6 infinite, 7 8
Determinant, 1 3 1 infinite cyclic , 8 7
Differential, 1 98 , 21 0 linear, 1 6 7
Differential equation , 1 9 7 multiplicative, 9 9
Licensed to Penn St Univ, University Park. Prepared on Tue Mar 12 18:16:11 EDT 2019for download from IP 132.174.254.159. 245
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
246 Index
Orbit, 1 3 8
Order
of a group , 7 8
of a n element , 87 , 1 0 2
Orientation, 6 6
O r n a m e n t a l class , 1 5 5
Parallel translation , 4 1
Pa rt i al derivative , 208 , 20 9
Permutation, 1 0 4
Point addition , 1 0
Point multiplication , 2 5
Point transformation , 20 8
Polar coordinates , 3 3
Pole, 1 0
Primitive, 1 9 9
Licensed to Penn St Univ, University Park. Prepared on Tue Mar 12 18:16:11 EDT 2019for download from IP 132.174.254.159.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
Licensed to Penn St Univ, University Park. Prepared on Tue Mar 12 18:16:11 EDT 2019for download from IP 132.174.254.159.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms