20/12/23 19:54:40.15 fACOGH5o.net
■定義5.3
Gを群、Xを集合とする。
次の条件1）、2）を満たす写像
μ:G×X→Xが与えられたとき、
群Gは集合Xに（左から）作用するという
g∈G、x∈Xに対して、μ(g,x)=g.xと書くことにする。
1)1.xが任意のx∈Xについて成り立つ
ここで1はGの単位元である
2)g.(g'x)=(gg').xが、任意のg,g'∈G、および任意のx∈Xについて成り立つ
補題5.4は写像
SL2(Z)×H→H、(g,τ)=gτ
が、群SL2(Z)の集合Hへの作用を定めることを示している
☆補題5.5
群Gが集合Xに作用しているとする
Xの元x,yに対して、Gの元gが作用して、y=g.xとなるとき
x≣yと書くことにする。
このとき、≣はXにおける同値関係となる