- 399 名前：Kummer ◆g2BU0D6YN2 [2006/12/29(金) 01:18:21 ]
- 定義
X と Y を G-集合 (>>388) とする。
X から Y への写像 f : X → Y があり、
f(σx) = σ(f(x)) が任意の σ ∈ G と任意の x ∈ X に対して
成り立つとき f を G-集合としての射という。
さらに G-集合としての射 g : Y → X があり
gf = 1 かつ fg = 1 となるとき f は同型射と呼ぶ。
このとき X と Y は G-集合として同型であるという。
