- 414 名前：Kummer ◆g2BU0D6YN2 [2007/05/31(木) 15:59:34 ]
- >>413 の続き。
>>139 より R の任意の単数は ±E^m, m ∈ Z と書ける。
ここで E は R の基本単数である。
よって R^* は群として Z × {±1} と同型である。
ここで Z は有理整数環の加法群である。
N(E) = 1 なら R^* = (R^*)+ である。
N(E) = -1 なら (R^*)+ の任意の元は ±(E^2)^m, m ∈ Z と書ける。
この場合も (R^*)+ は群として Z × {±1} と同型である。
|
 |
