[일반] 핫숀책 실화냐 진짜 ㅋㅋㅋㅋ

[lp(yyi050324)]

할아버지 집 간 동안 할거 없어서 눈으로만 쭉 보는데 연습문제 계속 갔다 쓰고 있누 ㅋㅋㅋㅋㅋ

다른 책들은 눈으로만 봐도 적당히 되는데 이건 문제를 안 풀어보니까 답이 없네

수학얘기(?): flat module이란 이름이 붙은게 정의할 때 inverse image functor functor f^*가 exact이면 f를 flat morphism이라고 정의해서 그런 것 같은데 정말 그지같다

- dc official App

[Crime(thecrime)]

Torsion이 없어서 flat입니다 선생님

[lp(yyi050324)]

Z/6Z-module Z/2Z은 torsion-free가 아니지만 projective라 flat인디

[Crime(thecrime)]

Ann(2)가 image가 좀 크다보니 그런걸 torsion이라고 부르지 않아요

[lp(yyi050324)]

아 그건 그렇네여 ㅇㅇ 근데 일반적으로 torsion-free랑 flat은 다른거 아님? Prufer domain일때 동치라고 들었는데

[Crime(thecrime)]

Higher torsion, 그러니까 Tor module이 죽어야죠

[lp(yyi050324)]

그건 그렇죠 ㅇㅇ 글에서 쓴건 flat의 정의라기보단 이름이 왜 flat인지 궁금해서 쓴거였음 ㅋㅋ

[Crime(thecrime)]

Torsion과 higher torsion이 없으니 flat이라 부르는건 나름 잘 지은 용어 아닌가 싶습니다. 혹은 Flat family를 생각했을때 member, 즉 fiber들이 너무 급격히 변하지 않는다고 받아들여도 납득은 가는 네이밍 아닌가 싶구요.

[lp(yyi050324)]

여러가지 측면에서 봐도 그럴싸 하니 꽤 괜찮은것 같네요 ㅋㅋ

[익명(125.177)]

제일 대표적인 flat 모듈인 R^n 보면 평평함 플랫함 그 자체자나

[lp(yyi050324)]

그거야 그렇긴한데 projective/injective module같이 직관적인 이름은 아니자너