ポスト
ちなみに作用R*→Aut(R); a ↦ (x↦ax) に関する半直積を考えれば, Aff(1,R) ≅ R⋊R* (x↦b+ax) ↦ (b,a) (σ: x↦1+x) ↦ (1,1) (τ: x↦2x) ↦ (0,2) であり, 部分群<σ, τ>⊂Aff(1,R)は2つ目の例 <σ, τ | τστ^{-1}=σ^2> と同型.
メニューを開くちなみに作用R*→Aut(R); a ↦ (x↦ax) に関する半直積を考えれば, Aff(1,R) ≅ R⋊R* (x↦b+ax) ↦ (b,a) (σ: x↦1+x) ↦ (1,1) (τ: x↦2x) ↦ (0,2) であり, 部分群<σ, τ>⊂Aff(1,R)は2つ目の例 <σ, τ | τστ^{-1}=σ^2> と同型.
メニューを開く