유체론: 두 판 사이의 차이

내용 삭제됨 내용 추가됨
편집 요약 없음
38번째 줄:
구체적으로, 이 전단사 함수는 다음과 같다. 임의의 유한 아벨 확대 <math>L</math>에 대하여,
:<math>L\leftrightarrow\operatorname{Gal}(L/K)\subset\operatorname{Gal}(K^\text{ab}/K)\leftrightarrow\operatorname N_{L/K}(C_L)\subset C_K</math>
여기서 <math>N_{L/K}</math>는 [[체 노름]]이다. 이 경우, <math>L</math>을 노름 군 <math>C_L/\operatornameN_operatorname N_{L/K}(C_K)</math>의 '''유체'''(類體, {{llang|en|class field}})라고 한다. 또한,이 대응 아래 다음과 같은 [[위상군]]의 [[동형]]이 존재한다.
:<math>\operatorname{Gal}(L/K)\cong C_K/(\operatornameN_operatorname N_{L/K}C_L)</math>
이 사실을 '''[[아르틴 상호 법칙]]'''이라고 한다.