1페이지
중간에 영어문법 좀 삑사리난 건 애교로 봐줘잉
열심히 타이핑하느라 이틀 걸림
혹시 빼먹은 내용이 있다면 알려주시면 매우ㄱㅅㄱㅅ 적극 추가 예정입니다
+ 그리고 제가 올린 노트를 적극적으로 지적해주시면 ㄱㅅㄱㅅㄱㅅ
예시) basis로 줄여부르겠다는 말을 굳이 remark로 박네ㅉㅉ 저런건 원래 remark안붙여요 이 사람아
이런 식으로 이상한 점 보이면 적극 지적 부탁드림...
요즘 취미로 가환대수 정리노트 작성중인데
지금 문제점을 알아야 앞으로 정리노트 쓸때 같은 실수를 피할 수 있어요
1.1은 이런거 정의를 원소에 대해 먼저 정의하고 그걸 가지고 큰 대상에 대해 말하는게 일반적임. 지금건 i.e.로 transcendental인 원소가 존재하면 그렇다는 식으로 살을 붙이면 순서가 적절해짐
1.10은 아마 정리에 이름이 있을거 같은데 basis exchange thm같은 그걸 옆에 괄호치고 이름 적어주는게 좋을듯
관심있으면 dependence relation 쓰는거 찾아봐도 좋은데 요즘은 이거 언어를 매트로이드로 써놔서 좀 그렇네
오ㄱㅅㄱㅅ
Algebraic independence를 stacks project에서처럼 먼저 정의하고 dependence를 정의하는게 더 깔끔한듯? 일단 1.2에서 a_i in A가 아니라 S 오타인 것 같고 저 n이 정해진 건지 아니면 유한한 개수 아무거나를 뽑아와도 되는건지가 명확하지가 않음. 1.6에도 오타난 것 같고
그리고 Zorn’s Lemma 쓸때 조건 만족시키는 것도 적어주는게 좋은듯
노트에서는 alg. dependent를 아예 안다루려는 모양 같은데 지금대로도 괜찮지않음?
n이 정해지지 않았다는 걸 부각하려면 "if there exist n>0, distinct elements a_1,..." 요런 식으로 n>0를 추가하면 될까요?
1.2 뒤에 A가 아니라 S 1.3 f 뒤에 =0 빠짐 1.6 K랑 H가 같은거임? 1.7 T 혼용.. 한 맥락 내에선 다른 의미는 무조건 다른 기호로 쓰는게 좋음 T 대신 T_max 처럼 그리고 alg. over T가 아니라 alg. over F(T) 1.9 l = min poly for alpha, E(B) 가 아니라 F(B) 전반적으로 좋음 의도한건진 모르겠지만 논리 약간씩 스킵한게 좀 보임(zorn's lemma에서 maximal 등) 근데 그게 일반적이라 나중에 신경쓰고 우선 기호 설정만 가독성 있게 하면 될듯 (1.7, 1.10) 1.3, 1.10 같은건 다이어그램으로 그리면 아주 간단해지니까 한번 써먹어보셈
앗 오타 생각보다 많네... ㄱㅅㄱㅅ 글고 혼용은 피해야겠네요 K랑 H랑 같은거 맞음...오타났네요ㅠ
내가 아는게 ㅈ도없긴하구나 바로 막히네
공부하면 금방 익숙해질거에여