[일반] 누가 헝거포드 노테이션 이상하다던데

[ㄴㅇㄹ(210.57)]

진짜임? 이번에 대수 교재던데 노테이션 스탠다드하지 않은거에 알레르기 있는데

[익명(118.235)]

좀 병적인 면이 있던듯 ring with unity라던지..

[익명(123.108)]

프렐라이 먼저보고 봐서 그런지 갈루아군 노테이션 너무 불편했음

[익명(39.7)]

나도 갈루아파트 너무 꼴받았음 정의랑 증명 다 순서가 반대라

[ㄴㅇㄹ(210.57)]

랭도 뭐 entire ring같은 이상한 용어 쓴다던데 노테이션 깔쌈한 책 없나

[익명(59.15)]

노테이션도 그런데 난 ∈ 이거 대신 ε 로 쓰는거 ㄹㅇ 개꼴받음

[익명(182.227)]

다른곳은 고만고만한데 갈루아쪽 노테이션을 좀 독특하게 씀. 보통 Galois group 쓸 때 Gal(F/K)처럼 쓰는게 일반적인데 여기는 Aut(F/K)라는 표현을 고집함. 또 Galois extension 아닐때도 Aut(F/K)라는 표현을 쓰고. Field 순서도 다른 책이랑 조금 다른데 다른 책들은 F가 E의 extension이 되게 쓰는 반면

[익명(182.227)]

헝거포드는 E가 F의 extension이 되게 씀. FTGT 증명 순서도 다른 책이랑 다른게 다른 책은 Galois extension을 separable and normal로 정의하는 반면 헝거포드는 Galois group이 자기 자신이 되는 extension으로 정의하고 sep and normal을 정리로 증명함. 두번째 댓이랑 답글이 지적한게 이부분임

[익명(182.227)]

(수정) 책 찾아보니까 Aut(F/K)도 아니고 Aut_K(F)로 쓰네. 아무튼 갈루아 노테이션을 굉장히 독특하게 씀. fixed field로 E^H처럼 쓰는게 아니라 H'로 prime notation을 씀

[익명(125.177)]

hom set of k-algebras F and G 를 Hom_k(F,G)라고 표준적으로 표기하고 F위의 자기동형맵은 Hom_k(F,F)의 부분으로서 Aut_k(F)으로 표기하는데 Gal(F/k) 는 Aut_k(F)와 같은거라서 표기를 따로 써야할 이유가 별로 없음 갈루아이론 특별히 소개하는 용도아니면 Aut_k(F)으로 쓴 경우가 오히려 많을듯

[익명(182.227)]

functor쪽으로 생각해본 적 없었는데 듣고보니 참 그럴싸한 노테이션이었네. 알려줘서 ㄱㅅㄱㅅ