값매김환: 두 판 사이의 차이
내용 삭제됨 내용 추가됨
Osteologia (토론 | 기여) 잔글 →예 |
Osteologia (토론 | 기여) 편집 요약 없음 |
||
53번째 줄:
== 예 ==
=== 유리형 함수 ===
=== 정수환의 국소화 ===
<math>p</math>가 임의의 [[소수 (수론)|소수]]라고 하자. 그렇다면 [[국소화 (환론)|국소화]] <math>\mathbb Z_{(p)}</math>는 [[이산 값매김환]]이며, 그 분수체는 [[유리수체]] <math>\mathbb Q</math>, 값매김군은 <math>\mathbb Z\cong\{p^n\colon n\in\mathbb Z\}</math>이다. 이 경우, 그 값매김은 <math>\nu(p^n(a/b))=n</math> (<math>a,b</math>는 <math>p</math>와 [[서로소]])가 된다. 이를 '''p진 값매김'''({{llang|en|''p''-adic valuation}})이라고 하며, 이는 [[대수적 수론]]에서 [[오스트롭스키 정리]]에 따라 [[유리수체]]의 유한 [[자리 (수론)|자리]]들을 구성한다.
=== p진 정수환 ===
|