[일반] 대수 어렵다..

[고무졸직(uyau391bq71x)]

Sn 에서 하나 고정시킨 애들 모은 sub group 이랑 Sn-1이랑 iso 하다는걸 보여야 할때

당욘히 같다는 생각만 들고 어케 보여야할진 감도 안잡힘

copy...?  restrict..?

- dc official App

[TQFT(lemonkx)]

그냥 bijection 만들고 isomorphism인거 보이는게 가장 편하지 않을까?

[고무졸직(uyau391bq71x)]

그 bijection을 명시적으로 못만들겠어.. 느낌은 있는데 - dc App

[TQFT(lemonkx)]

f:S_(n-1)->S_n를 정의하고 f의 range의 모든 element가 {1,2,...,n}에서 n을 항상 고정함을 보여봅시다

[고무졸직(uyau391bq71x)]

와 님 존경....... 해볼게요 - dc App

[익명(116.36)]

일반성을 잃지 않고 S_n에서 고정된 원소가 n이라고 하면 n을 고정시키는 permutation을 모아놓은건 group을 구성하고, S_(n-1)에서 이 group으로 가는 함수f 를 정의해서 f(σ)가 a가 n이 아닐때 f(σ)(a)=σ(a), a=n일때 f(σ)(a)=a 가 되도록 하면 이 함수 f는 isomorphism이 됨