"실 이차 수체의 유수와 기본 단위"의 두 판 사이의 차이

수학노트
둘러보기로 가기 검색하러 가기
 
(사용자 2명의 중간 판 37개는 보이지 않습니다)
1번째 줄: 1번째 줄:
<h5 style="margin: 0px; line-height: 3.428em; color: rgb(34, 61, 103); font-family: 'malgun gothic',dotum,gulim,sans-serif; font-size: 1.166em; background-position: 0px 100%;">이 항목의 스프링노트 원문주소</h5>
+
==개요==
  
* [[실 이차 수체(real quadratic field) 의 class number와 fundamental unit|실 이차수체(real quadratic field) 의 class number와 fundamental unit]]
+
* 복소이차수체의 경우 [[가우스의 class number one 문제]] 는 해결되었으나, 실 이차수체의 경우는 미해결
 
 
 
 
 
 
 
 
  
<h5 style="margin: 0px; line-height: 3.428em; color: rgb(34, 61, 103); font-family: 'malgun gothic',dotum,gulim,sans-serif; font-size: 1.166em; background-position: 0px 100%;">간단한 소개</h5>
+
  
* 복소이차수체의 경우 [[가우스의 class number one 문제]] 는 해결되었으나, 실 이차수체의 경우는 미해결
+
==기본 단위(fundamental unit)==
*  
+
* [[디리클레 단위 정리와 수체의 regulator|디리클레의 단위 정리]]에 의하면, 실이차수체의 단위 <math>\mathcal{O}_K^{\times}</math>들은 군을 이루며 유일한 원소 <math>\epsilon>1</math>가 존재하여  다음과 같은 구조를 가진다:<math>\mathcal{O}_K^{\times} \simeq \{\pm 1\}\times \{\epsilon^n | n\in\mathbb{Z}\}</math>
  
 
 
  
<h5 style="margin: 0px; line-height: 2em;">목록</h5>
+
===특수한 경우===
 +
* 소수 <math>p</math>가 <math>p=n^2+1(n > 2)</math> 꼴로 주어지는 경우, <math>K=\mathbb{Q}(\sqrt{p})</math> 의 기본 단위는 <math>\epsilon=n+\sqrt{n^2+1}</math> 로 주어진다
  
*  아래의 목록은 <math>K=\mathbb{Q}(\sqrt{n})</math>에 대하여 각각 <math>\sqrt{n}</math>,  d=수체의 판별식, h= class number, fundametal unit, fundamental unit의 norm 을 나타냄<br>
 
*  AlgebraicNumber[Sqrt[n],{a,b}] 은 <math>a+b\sqrt{n}</math> 을 의미함<br>
 
  
 
+
  
Sqrt[2], d=8,h=1,{AlgebraicNumber[Sqrt[2],{1,1}]}, Norm={-1}<br> Sqrt[3], d=12,h=1,{AlgebraicNumber[Sqrt[3],{2,1}]}, Norm={1}<br> Sqrt[5], d=5,h=1,{AlgebraicNumber[Sqrt[5],{1/2,1/2}]}, Norm={-1}<br> Sqrt[6], d=24,h=1,{AlgebraicNumber[Sqrt[6],{5,2}]}, Norm={1}<br> Sqrt[7], d=28,h=1,{AlgebraicNumber[Sqrt[7],{8,3}]}, Norm={1}<br> Sqrt[10], d=40,h=2,{AlgebraicNumber[Sqrt[10],{3,1}]}, Norm={-1}<br> Sqrt[11], d=44,h=1,{AlgebraicNumber[Sqrt[11],{10,3}]}, Norm={1}<br> Sqrt[13], d=13,h=1,{AlgebraicNumber[Sqrt[13],{3/2,1/2}]}, Norm={-1}<br> Sqrt[14], d=56,h=1,{AlgebraicNumber[Sqrt[14],{15,4}]}, Norm={1}<br> Sqrt[15], d=60,h=2,{AlgebraicNumber[Sqrt[15],{4,1}]}, Norm={1}<br> Sqrt[17], d=17,h=1,{AlgebraicNumber[Sqrt[17],{4,1}]}, Norm={-1}<br> Sqrt[19], d=76,h=1,{AlgebraicNumber[Sqrt[19],{170,39}]}, Norm={1}<br> Sqrt[21], d=21,h=1,{AlgebraicNumber[Sqrt[21],{5/2,1/2}]}, Norm={1}<br> Sqrt[22], d=88,h=1,{AlgebraicNumber[Sqrt[22],{197,42}]}, Norm={1}<br> Sqrt[23], d=92,h=1,{AlgebraicNumber[Sqrt[23],{24,5}]}, Norm={1}<br> Sqrt[26], d=104,h=2,{AlgebraicNumber[Sqrt[26],{5,1}]}, Norm={-1}<br> Sqrt[29], d=29,h=1,{AlgebraicNumber[Sqrt[29],{5/2,1/2}]}, Norm={-1}<br> Sqrt[30], d=120,h=2,{AlgebraicNumber[Sqrt[30],{11,2}]}, Norm={1}<br> Sqrt[31], d=124,h=1,{AlgebraicNumber[Sqrt[31],{1520,273}]}, Norm={1}<br> Sqrt[33], d=33,h=1,{AlgebraicNumber[Sqrt[33],{23,4}]}, Norm={1}<br> Sqrt[34], d=136,h=2,{AlgebraicNumber[Sqrt[34],{35,6}]}, Norm={1}<br> Sqrt[35], d=140,h=2,{AlgebraicNumber[Sqrt[35],{6,1}]}, Norm={1}<br> Sqrt[37], d=37,h=1,{AlgebraicNumber[Sqrt[37],{6,1}]}, Norm={-1}<br> Sqrt[38], d=152,h=1,{AlgebraicNumber[Sqrt[38],{37,6}]}, Norm={1}<br> Sqrt[39], d=156,h=2,{AlgebraicNumber[Sqrt[39],{25,4}]}, Norm={1}<br> Sqrt[41], d=41,h=1,{AlgebraicNumber[Sqrt[41],{32,5}]}, Norm={-1}<br> Sqrt[42], d=168,h=2,{AlgebraicNumber[Sqrt[42],{13,2}]}, Norm={1}<br> Sqrt[43], d=172,h=1,{AlgebraicNumber[Sqrt[43],{3482,531}]}, Norm={1}<br> Sqrt[46], d=184,h=1,{AlgebraicNumber[Sqrt[46],{24335,3588}]}, Norm={1}<br> Sqrt[47], d=188,h=1,{AlgebraicNumber[Sqrt[47],{48,7}]}, Norm={1}<br> Sqrt[51], d=204,h=2,{AlgebraicNumber[Sqrt[51],{50,7}]}, Norm={1}<br> Sqrt[53], d=53,h=1,{AlgebraicNumber[Sqrt[53],{7/2,1/2}]}, Norm={-1}<br> Sqrt[55], d=220,h=2,{AlgebraicNumber[Sqrt[55],{89,12}]}, Norm={1}<br> Sqrt[57], d=57,h=1,{AlgebraicNumber[Sqrt[57],{151,20}]}, Norm={1}<br> Sqrt[58], d=232,h=2,{AlgebraicNumber[Sqrt[58],{99,13}]}, Norm={-1}<br> Sqrt[59], d=236,h=1,{AlgebraicNumber[Sqrt[59],{530,69}]}, Norm={1}<br> Sqrt[61], d=61,h=1,{AlgebraicNumber[Sqrt[61],{39/2,5/2}]}, Norm={-1}<br> Sqrt[62], d=248,h=1,{AlgebraicNumber[Sqrt[62],{63,8}]}, Norm={1}<br> Sqrt[65], d=65,h=2,{AlgebraicNumber[Sqrt[65],{8,1}]}, Norm={-1}<br> Sqrt[66], d=264,h=2,{AlgebraicNumber[Sqrt[66],{65,8}]}, Norm={1}<br> Sqrt[67], d=268,h=1,{AlgebraicNumber[Sqrt[67],{48842,5967}]}, Norm={1}<br> Sqrt[69], d=69,h=1,{AlgebraicNumber[Sqrt[69],{25/2,3/2}]}, Norm={1}<br> Sqrt[70], d=280,h=2,{AlgebraicNumber[Sqrt[70],{251,30}]}, Norm={1}<br> Sqrt[71], d=284,h=1,{AlgebraicNumber[Sqrt[71],{3480,413}]}, Norm={1}<br> Sqrt[73], d=73,h=1,{AlgebraicNumber[Sqrt[73],{1068,125}]}, Norm={-1}<br> Sqrt[74], d=296,h=2,{AlgebraicNumber[Sqrt[74],{43,5}]}, Norm={-1}<br> Sqrt[77], d=77,h=1,{AlgebraicNumber[Sqrt[77],{9/2,1/2}]}, Norm={1}<br> Sqrt[78], d=312,h=2,{AlgebraicNumber[Sqrt[78],{53,6}]}, Norm={1}<br> Sqrt[79], d=316,h=3,{AlgebraicNumber[Sqrt[79],{80,9}]}, Norm={1}<br> Sqrt[82], d=328,h=4,{AlgebraicNumber[Sqrt[82],{9,1}]}, Norm={-1}<br> Sqrt[83], d=332,h=1,{AlgebraicNumber[Sqrt[83],{82,9}]}, Norm={1}<br> Sqrt[85], d=85,h=2,{AlgebraicNumber[Sqrt[85],{9/2,1/2}]}, Norm={-1}<br> Sqrt[86], d=344,h=1,{AlgebraicNumber[Sqrt[86],{10405,1122}]}, Norm={1}<br> Sqrt[87], d=348,h=2,{AlgebraicNumber[Sqrt[87],{28,3}]}, Norm={1}<br> Sqrt[89], d=89,h=1,{AlgebraicNumber[Sqrt[89],{500,53}]}, Norm={-1}<br> Sqrt[91], d=364,h=2,{AlgebraicNumber[Sqrt[91],{1574,165}]}, Norm={1}<br> Sqrt[93], d=93,h=1,{AlgebraicNumber[Sqrt[93],{29/2,3/2}]}, Norm={1}<br> Sqrt[94], d=376,h=1,{AlgebraicNumber[Sqrt[94],{2143295,221064}]}, Norm={1}<br> Sqrt[95], d=380,h=2,{AlgebraicNumber[Sqrt[95],{39,4}]}, Norm={1}<br> Sqrt[97], d=97,h=1,{AlgebraicNumber[Sqrt[97],{5604,569}]}, Norm={-1}<br> Sqrt[101], d=101,h=1,{AlgebraicNumber[Sqrt[101],{10,1}]}, Norm={-1}<br> Sqrt[102], d=408,h=2,{AlgebraicNumber[Sqrt[102],{101,10}]}, Norm={1}<br> Sqrt[103], d=412,h=1,{AlgebraicNumber[Sqrt[103],{227528,22419}]}, Norm={1}<br> Sqrt[105], d=105,h=2,{AlgebraicNumber[Sqrt[105],{41,4}]}, Norm={1}<br> Sqrt[106], d=424,h=2,{AlgebraicNumber[Sqrt[106],{4005,389}]}, Norm={-1}<br> Sqrt[107], d=428,h=1,{AlgebraicNumber[Sqrt[107],{962,93}]}, Norm={1}<br> Sqrt[109], d=109,h=1,{AlgebraicNumber[Sqrt[109],{261/2,25/2}]}, Norm={-1}<br> Sqrt[110], d=440,h=2,{AlgebraicNumber[Sqrt[110],{21,2}]}, Norm={1}<br> Sqrt[111], d=444,h=2,{AlgebraicNumber[Sqrt[111],{295,28}]}, Norm={1}<br> Sqrt[113], d=113,h=1,{AlgebraicNumber[Sqrt[113],{776,73}]}, Norm={-1}<br> Sqrt[114], d=456,h=2,{AlgebraicNumber[Sqrt[114],{1025,96}]}, Norm={1}<br> Sqrt[115], d=460,h=2,{AlgebraicNumber[Sqrt[115],{1126,105}]}, Norm={1}<br> Sqrt[118], d=472,h=1,{AlgebraicNumber[Sqrt[118],{306917,28254}]}, Norm={1}<br> Sqrt[119], d=476,h=2,{AlgebraicNumber[Sqrt[119],{120,11}]}, Norm={1}<br> Sqrt[122], d=488,h=2,{AlgebraicNumber[Sqrt[122],{11,1}]}, Norm={-1}<br> Sqrt[123], d=492,h=2,{AlgebraicNumber[Sqrt[123],{122,11}]}, Norm={1}<br> Sqrt[127], d=508,h=1,{AlgebraicNumber[Sqrt[127],{4730624,419775}]}, Norm={1}<br> Sqrt[129], d=129,h=1,{AlgebraicNumber[Sqrt[129],{16855,1484}]}, Norm={1}<br> Sqrt[130], d=520,h=4,{AlgebraicNumber[Sqrt[130],{57,5}]}, Norm={-1}<br> Sqrt[131], d=524,h=1,{AlgebraicNumber[Sqrt[131],{10610,927}]}, Norm={1}<br> Sqrt[133], d=133,h=1,{AlgebraicNumber[Sqrt[133],{173/2,15/2}]}, Norm={1}<br> Sqrt[134], d=536,h=1,{AlgebraicNumber[Sqrt[134],{145925,12606}]}, Norm={1}<br> Sqrt[137], d=137,h=1,{AlgebraicNumber[Sqrt[137],{1744,149}]}, Norm={-1}<br> Sqrt[138], d=552,h=2,{AlgebraicNumber[Sqrt[138],{47,4}]}, Norm={1}<br> Sqrt[139], d=556,h=1,{AlgebraicNumber[Sqrt[139],{77563250,6578829}]}, Norm={1}<br> Sqrt[141], d=141,h=1,{AlgebraicNumber[Sqrt[141],{95,8}]}, Norm={1}<br> Sqrt[142], d=568,h=3,{AlgebraicNumber[Sqrt[142],{143,12}]}, Norm={1}<br> Sqrt[143], d=572,h=2,{AlgebraicNumber[Sqrt[143],{12,1}]}, Norm={1}<br> Sqrt[145], d=145,h=4,{AlgebraicNumber[Sqrt[145],{12,1}]}, Norm={-1}<br> Sqrt[146], d=584,h=2,{AlgebraicNumber[Sqrt[146],{145,12}]}, Norm={1}<br> Sqrt[149], d=149,h=1,{AlgebraicNumber[Sqrt[149],{61/2,5/2}]}, Norm={-1}<br> Sqrt[151], d=604,h=1,{AlgebraicNumber[Sqrt[151],{1728148040,140634693}]}, Norm={1}<br> Sqrt[154], d=616,h=2,{AlgebraicNumber[Sqrt[154],{21295,1716}]}, Norm={1}<br> Sqrt[155], d=620,h=2,{AlgebraicNumber[Sqrt[155],{249,20}]}, Norm={1}<br> Sqrt[157], d=157,h=1,{AlgebraicNumber[Sqrt[157],{213/2,17/2}]}, Norm={-1}<br> Sqrt[158], d=632,h=1,{AlgebraicNumber[Sqrt[158],{7743,616}]}, Norm={1}<br> Sqrt[159], d=636,h=2,{AlgebraicNumber[Sqrt[159],{1324,105}]}, Norm={1}<br> Sqrt[161], d=161,h=1,{AlgebraicNumber[Sqrt[161],{11775,928}]}, Norm={1}<br> Sqrt[163], d=652,h=1,{AlgebraicNumber[Sqrt[163],{64080026,5019135}]}, Norm={1}<br> Sqrt[165], d=165,h=2,{AlgebraicNumber[Sqrt[165],{13/2,1/2}]}, Norm={1}<br> Sqrt[166], d=664,h=1,{AlgebraicNumber[Sqrt[166],{1700902565,132015642}]}, Norm={1}<br> Sqrt[167], d=668,h=1,{AlgebraicNumber[Sqrt[167],{168,13}]}, Norm={1}<br> Sqrt[170], d=680,h=4,{AlgebraicNumber[Sqrt[170],{13,1}]}, Norm={-1}<br> Sqrt[173], d=173,h=1,{AlgebraicNumber[Sqrt[173],{13/2,1/2}]}, Norm={-1}<br> Sqrt[174], d=696,h=2,{AlgebraicNumber[Sqrt[174],{1451,110}]}, Norm={1}<br> Sqrt[177], d=177,h=1,{AlgebraicNumber[Sqrt[177],{62423,4692}]}, Norm={1}<br> Sqrt[178], d=712,h=2,{AlgebraicNumber[Sqrt[178],{1601,120}]}, Norm={1}<br> Sqrt[179], d=716,h=1,{AlgebraicNumber[Sqrt[179],{4190210,313191}]}, Norm={1}<br> Sqrt[181], d=181,h=1,{AlgebraicNumber[Sqrt[181],{1305/2,97/2}]}, Norm={-1}<br> Sqrt[182], d=728,h=2,{AlgebraicNumber[Sqrt[182],{27,2}]}, Norm={1}<br> Sqrt[183], d=732,h=2,{AlgebraicNumber[Sqrt[183],{487,36}]}, Norm={1}<br> Sqrt[185], d=185,h=2,{AlgebraicNumber[Sqrt[185],{68,5}]}, Norm={-1}<br> Sqrt[186], d=744,h=2,{AlgebraicNumber[Sqrt[186],{7501,550}]}, Norm={1}<br> Sqrt[187], d=748,h=2,{AlgebraicNumber[Sqrt[187],{1682,123}]}, Norm={1}<br> Sqrt[190], d=760,h=2,{AlgebraicNumber[Sqrt[190],{52021,3774}]}, Norm={1}<br> Sqrt[191], d=764,h=1,{AlgebraicNumber[Sqrt[191],{8994000,650783}]}, Norm={1}<br> Sqrt[193], d=193,h=1,{AlgebraicNumber[Sqrt[193],{1764132,126985}]}, Norm={-1}<br> Sqrt[194], d=776,h=2,{AlgebraicNumber[Sqrt[194],{195,14}]}, Norm={1}<br> Sqrt[195], d=780,h=4,{AlgebraicNumber[Sqrt[195],{14,1}]}, Norm={1}<br> Sqrt[197], d=197,h=1,{AlgebraicNumber[Sqrt[197],{14,1}]}, Norm={-1}<br> Sqrt[199], d=796,h=1,{AlgebraicNumber[Sqrt[199],{16266196520,1153080099}]}, Norm={1}
+
==Ankeny-Artin-Chowla 의 정리와 추측==
  
 
+
;정리 (AAC)
  
 
+
소수 <math>p\equiv 1 \pmod 4</math>에 대하여, <math>K=\mathbb{Q}(\sqrt{p})</math>의 유수를 <math>h</math>, 기본 단위를 <math>\epsilon=\frac{t+u\sqrt{p}}{2}</math>라 두면, <math>\frac{uh}{t}\equiv B_{(p-1)/2} \pmod p</math> 이 성립한다.
 +
여기서 <math>B_n</math>은 [[베르누이 수]].
 +
===테이블===
 +
:<math>
 +
\begin{array}{c|c|c|c}
 +
p & h & \epsilon  & \frac{\frac{h u}{t}-B_{\frac{p-1}{2}}}{p} \\
 +
\hline
 +
5 & 1 & \frac{1}{2}+\frac{\sqrt{5}}{2} & 1 \\
 +
13 & 1 & \frac{3}{2}+\frac{\sqrt{13}}{2} & 1 \\
 +
17 & 1 & 4+\sqrt{17} & 1 \\
 +
29 & 1 & \frac{5}{2}+\frac{\sqrt{29}}{2} & -1 \\
 +
37 & 1 & 6+\sqrt{37} & -197 \\
 +
41 & 1 & 32+5 \sqrt{41} & 68161 \\
 +
53 & 1 & \frac{7}{2}+\frac{\sqrt{53}}{2} & -1129655 \\
 +
61 & 1 & \frac{39}{2}+\frac{5 \sqrt{61}}{2} & -612054298165 \\
 +
\end{array}
 +
</math>
  
<h5 style="margin: 0px; line-height: 2em;">사용된 매쓰매티카 명령어</h5>
+
;추측 (AAC)
  
P0 := {}<br> a[i_] := If[SquareFreeQ[i], P0 = Append[P0, i], P0]<br> Do[a[i], {i, 2, 200}]<br> Sqfr := P0<br> disc[n_] := NumberFieldDiscriminant[Sqrt[n]]<br> cl[n_] := NumberFieldClassNumber[Sqrt[n]]<br> fund[n_] := NumberFieldFundamentalUnits[Sqrt[n]]<br> an[n_] := AlgebraicNumberNorm[fund[n]]<br> Do[Print[Sqrt[n], ", d=", disc[n], ",", "h=", cl[n], ",", fund[n],<br>   ", Norm=", an[n]], {n, P0}]
+
소수 <math>p\equiv 1 \pmod 4</math>에 대하여,, <math>K=\mathbb{Q}(\sqrt{p})</math>의 기본 단위 <math>\epsilon=\frac{t+u\sqrt{p}}{2}</math> <math>u \not \equiv 0 \pmod p</math>를 만족시킨다
 +
===테이블===
 +
:<math>
 +
\begin{array}{c|c|c|c}
 +
p & \epsilon  & u & u \pmod p \\
 +
\hline
 +
5 & \frac{1}{2}+\frac{\sqrt{5}}{2} & 1 & 1 \\
 +
13 & \frac{3}{2}+\frac{\sqrt{13}}{2} & 1 & 1 \\
 +
17 & 4+\sqrt{17} & 2 & 2 \\
 +
29 & \frac{5}{2}+\frac{\sqrt{29}}{2} & 1 & 1 \\
 +
37 & 6+\sqrt{37} & 2 & 2 \\
 +
41 & 32+5 \sqrt{41} & 10 & 10 \\
 +
53 & \frac{7}{2}+\frac{\sqrt{53}}{2} & 1 & 1 \\
 +
61 & \frac{39}{2}+\frac{5 \sqrt{61}}{2} & 5 & 5 \\
 +
73 & 1068+125 \sqrt{73} & 250 & 31 \\
 +
89 & 500+53 \sqrt{89} & 106 & 17 \\
 +
97 & 5604+569 \sqrt{97} & 1138 & 71 \\
 +
101 & 10+\sqrt{101} & 2 & 2 \\
 +
109 & \frac{261}{2}+\frac{25 \sqrt{109}}{2} & 25 & 25 \\
 +
113 & 776+73 \sqrt{113} & 146 & 33 \\
 +
\end{array}
 +
</math>
 +
* [[정규소수 (regular prime)]]에 대해서는 AAC 추측이 참이다
  
 
 
  
<h5>재미있는 사실</h5>
+
==목록==
  
 
+
*  아래의 목록은 <math>K=\mathbb{Q}(\sqrt{n})</math>에 대하여 각각 <math>\sqrt{n}</math>,  d는 수체의 판별식, h는 유수, 기본 단위, 기본 단위의 norm 을 나타냄
 +
*  AlgebraicNumber[Sqrt[n],{a,b}] 은 <math>a+b\sqrt{n}</math> 을 의미함
  
* 네이버 지식인 http://kin.search.naver.com/search.naver?where=kin_qna&query=
+
  
 
+
Sqrt[2], d=8,h=1,{AlgebraicNumber[Sqrt[2],{1,1}]}, Norm={-1} Sqrt[3], d=12,h=1,{AlgebraicNumber[Sqrt[3],{2,1}]}, Norm={1} Sqrt[5], d=5,h=1,{AlgebraicNumber[Sqrt[5],{1/2,1/2}]}, Norm={-1} Sqrt[6], d=24,h=1,{AlgebraicNumber[Sqrt[6],{5,2}]}, Norm={1} Sqrt[7], d=28,h=1,{AlgebraicNumber[Sqrt[7],{8,3}]}, Norm={1} Sqrt[10], d=40,h=2,{AlgebraicNumber[Sqrt[10],{3,1}]}, Norm={-1} Sqrt[11], d=44,h=1,{AlgebraicNumber[Sqrt[11],{10,3}]}, Norm={1} Sqrt[13], d=13,h=1,{AlgebraicNumber[Sqrt[13],{3/2,1/2}]}, Norm={-1} Sqrt[14], d=56,h=1,{AlgebraicNumber[Sqrt[14],{15,4}]}, Norm={1} Sqrt[15], d=60,h=2,{AlgebraicNumber[Sqrt[15],{4,1}]}, Norm={1} Sqrt[17], d=17,h=1,{AlgebraicNumber[Sqrt[17],{4,1}]}, Norm={-1} Sqrt[19], d=76,h=1,{AlgebraicNumber[Sqrt[19],{170,39}]}, Norm={1} Sqrt[21], d=21,h=1,{AlgebraicNumber[Sqrt[21],{5/2,1/2}]}, Norm={1} Sqrt[22], d=88,h=1,{AlgebraicNumber[Sqrt[22],{197,42}]}, Norm={1} Sqrt[23], d=92,h=1,{AlgebraicNumber[Sqrt[23],{24,5}]}, Norm={1} Sqrt[26], d=104,h=2,{AlgebraicNumber[Sqrt[26],{5,1}]}, Norm={-1} Sqrt[29], d=29,h=1,{AlgebraicNumber[Sqrt[29],{5/2,1/2}]}, Norm={-1} Sqrt[30], d=120,h=2,{AlgebraicNumber[Sqrt[30],{11,2}]}, Norm={1} Sqrt[31], d=124,h=1,{AlgebraicNumber[Sqrt[31],{1520,273}]}, Norm={1} Sqrt[33], d=33,h=1,{AlgebraicNumber[Sqrt[33],{23,4}]}, Norm={1} Sqrt[34], d=136,h=2,{AlgebraicNumber[Sqrt[34],{35,6}]}, Norm={1} Sqrt[35], d=140,h=2,{AlgebraicNumber[Sqrt[35],{6,1}]}, Norm={1} Sqrt[37], d=37,h=1,{AlgebraicNumber[Sqrt[37],{6,1}]}, Norm={-1} Sqrt[38], d=152,h=1,{AlgebraicNumber[Sqrt[38],{37,6}]}, Norm={1} Sqrt[39], d=156,h=2,{AlgebraicNumber[Sqrt[39],{25,4}]}, Norm={1} Sqrt[41], d=41,h=1,{AlgebraicNumber[Sqrt[41],{32,5}]}, Norm={-1} Sqrt[42], d=168,h=2,{AlgebraicNumber[Sqrt[42],{13,2}]}, Norm={1} Sqrt[43], d=172,h=1,{AlgebraicNumber[Sqrt[43],{3482,531}]}, Norm={1} Sqrt[46], d=184,h=1,{AlgebraicNumber[Sqrt[46],{24335,3588}]}, Norm={1} Sqrt[47], d=188,h=1,{AlgebraicNumber[Sqrt[47],{48,7}]}, Norm={1} Sqrt[51], d=204,h=2,{AlgebraicNumber[Sqrt[51],{50,7}]}, Norm={1} Sqrt[53], d=53,h=1,{AlgebraicNumber[Sqrt[53],{7/2,1/2}]}, Norm={-1} Sqrt[55], d=220,h=2,{AlgebraicNumber[Sqrt[55],{89,12}]}, Norm={1} Sqrt[57], d=57,h=1,{AlgebraicNumber[Sqrt[57],{151,20}]}, Norm={1} Sqrt[58], d=232,h=2,{AlgebraicNumber[Sqrt[58],{99,13}]}, Norm={-1} Sqrt[59], d=236,h=1,{AlgebraicNumber[Sqrt[59],{530,69}]}, Norm={1} Sqrt[61], d=61,h=1,{AlgebraicNumber[Sqrt[61],{39/2,5/2}]}, Norm={-1} Sqrt[62], d=248,h=1,{AlgebraicNumber[Sqrt[62],{63,8}]}, Norm={1} Sqrt[65], d=65,h=2,{AlgebraicNumber[Sqrt[65],{8,1}]}, Norm={-1} Sqrt[66], d=264,h=2,{AlgebraicNumber[Sqrt[66],{65,8}]}, Norm={1} Sqrt[67], d=268,h=1,{AlgebraicNumber[Sqrt[67],{48842,5967}]}, Norm={1} Sqrt[69], d=69,h=1,{AlgebraicNumber[Sqrt[69],{25/2,3/2}]}, Norm={1} Sqrt[70], d=280,h=2,{AlgebraicNumber[Sqrt[70],{251,30}]}, Norm={1} Sqrt[71], d=284,h=1,{AlgebraicNumber[Sqrt[71],{3480,413}]}, Norm={1} Sqrt[73], d=73,h=1,{AlgebraicNumber[Sqrt[73],{1068,125}]}, Norm={-1} Sqrt[74], d=296,h=2,{AlgebraicNumber[Sqrt[74],{43,5}]}, Norm={-1} Sqrt[77], d=77,h=1,{AlgebraicNumber[Sqrt[77],{9/2,1/2}]}, Norm={1} Sqrt[78], d=312,h=2,{AlgebraicNumber[Sqrt[78],{53,6}]}, Norm={1} Sqrt[79], d=316,h=3,{AlgebraicNumber[Sqrt[79],{80,9}]}, Norm={1} Sqrt[82], d=328,h=4,{AlgebraicNumber[Sqrt[82],{9,1}]}, Norm={-1} Sqrt[83], d=332,h=1,{AlgebraicNumber[Sqrt[83],{82,9}]}, Norm={1} Sqrt[85], d=85,h=2,{AlgebraicNumber[Sqrt[85],{9/2,1/2}]}, Norm={-1} Sqrt[86], d=344,h=1,{AlgebraicNumber[Sqrt[86],{10405,1122}]}, Norm={1} Sqrt[87], d=348,h=2,{AlgebraicNumber[Sqrt[87],{28,3}]}, Norm={1} Sqrt[89], d=89,h=1,{AlgebraicNumber[Sqrt[89],{500,53}]}, Norm={-1} Sqrt[91], d=364,h=2,{AlgebraicNumber[Sqrt[91],{1574,165}]}, Norm={1} Sqrt[93], d=93,h=1,{AlgebraicNumber[Sqrt[93],{29/2,3/2}]}, Norm={1} Sqrt[94], d=376,h=1,{AlgebraicNumber[Sqrt[94],{2143295,221064}]}, Norm={1} Sqrt[95], d=380,h=2,{AlgebraicNumber[Sqrt[95],{39,4}]}, Norm={1} Sqrt[97], d=97,h=1,{AlgebraicNumber[Sqrt[97],{5604,569}]}, Norm={-1} Sqrt[101], d=101,h=1,{AlgebraicNumber[Sqrt[101],{10,1}]}, Norm={-1} Sqrt[102], d=408,h=2,{AlgebraicNumber[Sqrt[102],{101,10}]}, Norm={1} Sqrt[103], d=412,h=1,{AlgebraicNumber[Sqrt[103],{227528,22419}]}, Norm={1} Sqrt[105], d=105,h=2,{AlgebraicNumber[Sqrt[105],{41,4}]}, Norm={1} Sqrt[106], d=424,h=2,{AlgebraicNumber[Sqrt[106],{4005,389}]}, Norm={-1} Sqrt[107], d=428,h=1,{AlgebraicNumber[Sqrt[107],{962,93}]}, Norm={1} Sqrt[109], d=109,h=1,{AlgebraicNumber[Sqrt[109],{261/2,25/2}]}, Norm={-1} Sqrt[110], d=440,h=2,{AlgebraicNumber[Sqrt[110],{21,2}]}, Norm={1} Sqrt[111], d=444,h=2,{AlgebraicNumber[Sqrt[111],{295,28}]}, Norm={1} Sqrt[113], d=113,h=1,{AlgebraicNumber[Sqrt[113],{776,73}]}, Norm={-1} Sqrt[114], d=456,h=2,{AlgebraicNumber[Sqrt[114],{1025,96}]}, Norm={1} Sqrt[115], d=460,h=2,{AlgebraicNumber[Sqrt[115],{1126,105}]}, Norm={1} Sqrt[118], d=472,h=1,{AlgebraicNumber[Sqrt[118],{306917,28254}]}, Norm={1} Sqrt[119], d=476,h=2,{AlgebraicNumber[Sqrt[119],{120,11}]}, Norm={1} Sqrt[122], d=488,h=2,{AlgebraicNumber[Sqrt[122],{11,1}]}, Norm={-1} Sqrt[123], d=492,h=2,{AlgebraicNumber[Sqrt[123],{122,11}]}, Norm={1} Sqrt[127], d=508,h=1,{AlgebraicNumber[Sqrt[127],{4730624,419775}]}, Norm={1} Sqrt[129], d=129,h=1,{AlgebraicNumber[Sqrt[129],{16855,1484}]}, Norm={1} Sqrt[130], d=520,h=4,{AlgebraicNumber[Sqrt[130],{57,5}]}, Norm={-1} Sqrt[131], d=524,h=1,{AlgebraicNumber[Sqrt[131],{10610,927}]}, Norm={1} Sqrt[133], d=133,h=1,{AlgebraicNumber[Sqrt[133],{173/2,15/2}]}, Norm={1} Sqrt[134], d=536,h=1,{AlgebraicNumber[Sqrt[134],{145925,12606}]}, Norm={1} Sqrt[137], d=137,h=1,{AlgebraicNumber[Sqrt[137],{1744,149}]}, Norm={-1} Sqrt[138], d=552,h=2,{AlgebraicNumber[Sqrt[138],{47,4}]}, Norm={1} Sqrt[139], d=556,h=1,{AlgebraicNumber[Sqrt[139],{77563250,6578829}]}, Norm={1} Sqrt[141], d=141,h=1,{AlgebraicNumber[Sqrt[141],{95,8}]}, Norm={1} Sqrt[142], d=568,h=3,{AlgebraicNumber[Sqrt[142],{143,12}]}, Norm={1} Sqrt[143], d=572,h=2,{AlgebraicNumber[Sqrt[143],{12,1}]}, Norm={1} Sqrt[145], d=145,h=4,{AlgebraicNumber[Sqrt[145],{12,1}]}, Norm={-1} Sqrt[146], d=584,h=2,{AlgebraicNumber[Sqrt[146],{145,12}]}, Norm={1} Sqrt[149], d=149,h=1,{AlgebraicNumber[Sqrt[149],{61/2,5/2}]}, Norm={-1} Sqrt[151], d=604,h=1,{AlgebraicNumber[Sqrt[151],{1728148040,140634693}]}, Norm={1} Sqrt[154], d=616,h=2,{AlgebraicNumber[Sqrt[154],{21295,1716}]}, Norm={1} Sqrt[155], d=620,h=2,{AlgebraicNumber[Sqrt[155],{249,20}]}, Norm={1} Sqrt[157], d=157,h=1,{AlgebraicNumber[Sqrt[157],{213/2,17/2}]}, Norm={-1} Sqrt[158], d=632,h=1,{AlgebraicNumber[Sqrt[158],{7743,616}]}, Norm={1} Sqrt[159], d=636,h=2,{AlgebraicNumber[Sqrt[159],{1324,105}]}, Norm={1} Sqrt[161], d=161,h=1,{AlgebraicNumber[Sqrt[161],{11775,928}]}, Norm={1} Sqrt[163], d=652,h=1,{AlgebraicNumber[Sqrt[163],{64080026,5019135}]}, Norm={1} Sqrt[165], d=165,h=2,{AlgebraicNumber[Sqrt[165],{13/2,1/2}]}, Norm={1} Sqrt[166], d=664,h=1,{AlgebraicNumber[Sqrt[166],{1700902565,132015642}]}, Norm={1} Sqrt[167], d=668,h=1,{AlgebraicNumber[Sqrt[167],{168,13}]}, Norm={1} Sqrt[170], d=680,h=4,{AlgebraicNumber[Sqrt[170],{13,1}]}, Norm={-1} Sqrt[173], d=173,h=1,{AlgebraicNumber[Sqrt[173],{13/2,1/2}]}, Norm={-1} Sqrt[174], d=696,h=2,{AlgebraicNumber[Sqrt[174],{1451,110}]}, Norm={1} Sqrt[177], d=177,h=1,{AlgebraicNumber[Sqrt[177],{62423,4692}]}, Norm={1} Sqrt[178], d=712,h=2,{AlgebraicNumber[Sqrt[178],{1601,120}]}, Norm={1} Sqrt[179], d=716,h=1,{AlgebraicNumber[Sqrt[179],{4190210,313191}]}, Norm={1} Sqrt[181], d=181,h=1,{AlgebraicNumber[Sqrt[181],{1305/2,97/2}]}, Norm={-1} Sqrt[182], d=728,h=2,{AlgebraicNumber[Sqrt[182],{27,2}]}, Norm={1} Sqrt[183], d=732,h=2,{AlgebraicNumber[Sqrt[183],{487,36}]}, Norm={1} Sqrt[185], d=185,h=2,{AlgebraicNumber[Sqrt[185],{68,5}]}, Norm={-1} Sqrt[186], d=744,h=2,{AlgebraicNumber[Sqrt[186],{7501,550}]}, Norm={1} Sqrt[187], d=748,h=2,{AlgebraicNumber[Sqrt[187],{1682,123}]}, Norm={1} Sqrt[190], d=760,h=2,{AlgebraicNumber[Sqrt[190],{52021,3774}]}, Norm={1} Sqrt[191], d=764,h=1,{AlgebraicNumber[Sqrt[191],{8994000,650783}]}, Norm={1} Sqrt[193], d=193,h=1,{AlgebraicNumber[Sqrt[193],{1764132,126985}]}, Norm={-1} Sqrt[194], d=776,h=2,{AlgebraicNumber[Sqrt[194],{195,14}]}, Norm={1} Sqrt[195], d=780,h=4,{AlgebraicNumber[Sqrt[195],{14,1}]}, Norm={1} Sqrt[197], d=197,h=1,{AlgebraicNumber[Sqrt[197],{14,1}]}, Norm={-1} Sqrt[199], d=796,h=1,{AlgebraicNumber[Sqrt[199],{16266196520,1153080099}]}, Norm={1}
  
 
+
  
<h5>역사</h5>
+
  
* [[수학사연표 (역사)|수학사연표]]
+
==역사==
  
 
+
* [[수학사 연표]]
  
 
+
  
<h5>메모</h5>
+
  
 
+
==메모==
 +
* http://iml.univ-mrs.fr/editions/biblio/files/louboutin-CanJMath44%281992%29.pdf
 +
* http://pages.cpsc.ucalgary.ca/~jacobs/PDF/mthesis.pdf
 +
* http://www.emis.de/journals/HOA/IJMMS/27/9565.pdf
  
 
+
==관련된 항목들==
 
 
<h5>관련된 항목들</h5>
 
  
 
* [[펠 방정식(Pell's equation)|펠 방정식]]
 
* [[펠 방정식(Pell's equation)|펠 방정식]]
 +
* [[원분체 (cyclotomic field)]]
  
 
+
 
 
<h5 style="margin: 0px; line-height: 3.428em; color: rgb(34, 61, 103); font-family: 'malgun gothic',dotum,gulim,sans-serif; font-size: 1.166em; background-position: 0px 100%;">수학용어번역</h5>
 
 
 
* http://www.google.com/dictionary?langpair=en|ko&q=
 
* [http://mathnet.kaist.ac.kr/mathnet/math_list.php?mode=list&ftype=&fstr= 대한수학회 수학 학술 용어집]<br>
 
** http://mathnet.kaist.ac.kr/mathnet/math_list.php?mode=list&ftype=eng_term&fstr=
 
* [http://kms.or.kr/home/kor/board/bulletin_list_subject.asp?bulletinid=%7BD6048897-56F9-43D7-8BB6-50B362D1243A%7D&boardname=%BC%F6%C7%D0%BF%EB%BE%EE%C5%E4%B7%D0%B9%E6&globalmenu=7&localmenu=4 대한수학회 수학용어한글화 게시판]
 
 
 
 
 
 
 
 
 
 
 
<h5>사전 형태의 자료</h5>
 
 
 
* http://ko.wikipedia.org/wiki/
 
* [http://en.wikipedia.org/wiki/Fundamental_unit_%28number_theory%29 http://en.wikipedia.org/wiki/Fundamental_unit_(number_theory)]
 
* http://en.wikipedia.org/wiki/
 
* http://www.wolframalpha.com/input/?i=
 
* [http://dlmf.nist.gov/ NIST Digital Library of Mathematical Functions]
 
* [http://www.research.att.com/%7Enjas/sequences/index.html The On-Line Encyclopedia of Integer Sequences]<br>
 
** http://www.research.att.com/~njas/sequences/?q=
 
 
 
 
 
 
 
 
 
 
 
<h5>관련논문</h5>
 
  
* [http://www.emis.de/journals/EM/expmath/volumes/12/12.1/pp99_113.pdf New Computations Concerning the Cohen-Lenstra Heuristics]<br>
+
** te Riele, Herman; Williams, Hugh (2003),  Experimental Mathematics 12 (1): 99–113
 
** http://www.jstor.org/action/doBasicSearch?Query=
 
* http://dx.doi.org/
 
  
 
+
  
 
+
==매스매티카 파일 및 계산 리소스==
  
<h5>관련도서 및 추천도서</h5>
+
* https://docs.google.com/leaf?id=0B8XXo8Tve1cxNTdmZWE1NmItODA1Yy00NGQ5LWIwMjEtMTRlNGVlOTRiZGJl&sort=name&layout=list&num=50
  
*  A Course in Computational Algebraic Number Theory<br>
 
** Cohen, Henri (1993)
 
*  도서내검색<br>
 
** http://books.google.com/books?q=
 
** http://book.daum.net/search/contentSearch.do?query=
 
*  도서검색<br>
 
** http://books.google.com/books?q=
 
** http://www.amazon.com/s/ref=nb_ss_gw?url=search-alias%3Dstripbooks&field-keywords=
 
** http://book.daum.net/search/mainSearch.do?query=
 
  
 
+
==사전 형태의 자료==
 +
* http://en.wikipedia.org/wiki/Fundamental_unit_(number_theory)
 +
* http://en.wikipedia.org/wiki/Ankeny–Artin–Chowla_congruence
  
 
 
  
<h5>관련기사</h5>
+
==리뷰, 에세이, 강의노트==
 +
* Slavut\cydotskiĭ, I. Sh. “A Real Quadratic Field and the Ankeny-Artin-Chowla Conjecture.” Rossi\uı Skaya Akademiya Nauk. Sankt-Peterburgskoe Otdelenie. Matematicheski\uı\ Institut Im. V. A. Steklova. Zapiski Nauchnykh Seminarov (POMI) 286, no. Anal. Teor. Chisel i Teor. Funkts. 18 (2002): 159–68, 230–31. doi:10.1023/B:JOTH.0000035243.24060.83.
  
* 네이버 뉴스 검색 (키워드 수정)<br>
+
   
** http://news.search.naver.com/search.naver?where=news&x=0&y=0&sm=tab_hty&query=
 
** http://news.search.naver.com/search.naver?where=news&x=0&y=0&sm=tab_hty&query=
 
** http://news.search.naver.com/search.naver?where=news&x=0&y=0&sm=tab_hty&query=
 
  
 
+
==관련논문==
 +
* Alexander Dahl, Youness Lamzouri, The distribution of class numbers in a special family of real quadratic fields, http://arxiv.org/abs/1603.00889v1
 +
* Biró, András, and Kostadinka Lapkova. “The Class Number One Problem for the Real Quadratic Fields <math>\mathbb{Q}\left(\sqrt{(an)^2+4a}\right)</math>.” arXiv:1508.05644 [math], August 23, 2015. http://arxiv.org/abs/1508.05644.
 +
* Hashimoto, Yasufumi. ‘Asymptotic Formulas for Class Number Sums of Indefinite Binary Quadratic Forms in Arithmetic Progressions’. arXiv:1003.3716 [math], 19 March 2010. http://arxiv.org/abs/1003.3716.
 +
* Darmon, Henri, and Samit Dasgupta. “Elliptic Units for Real Quadratic Fields.” Annals of Mathematics, Second Series, 163, no. 1 (January 1, 2006): 301–46.
 +
* Riele, Herman te, and Hugh Williams. “New Computations Concerning the Cohen-Lenstra Heuristics.” Experimental Mathematics 12, no. 1 (2003): 99–113. http://www.emis.de/journals/EM/expmath/volumes/12/12.1/pp99_113.pdf
 +
* Van der Poorten, A. J., H. J. J. te Riele, and H. C. Williams. “Computer Verification of the Ankeny-Artin-Chowla Conjecture for All Primes Less than <math>100\,000\,000\,000</math>.” Mathematics of Computation 70, no. 235 (2001): 1311–28. doi:10.1090/S0025-5718-00-01234-5.
 +
* Ankeny, N. C., E. Artin, and S. Chowla. “The Class-Number of Real Quadratic Number Fields.” Annals of Mathematics. Second Series 56 (1952): 479–93.
  
 
+
==관련도서==
  
<h5>블로그</h5>
+
* Cohen, Henri (1993), A Course in Computational Algebraic Number Theory
  
* 구글 블로그 검색 http://blogsearch.google.com/blogsearch?q=
+
==메타데이터==
* [http://navercast.naver.com/science/list 네이버 오늘의과학]
+
===위키데이터===
* [http://math.dongascience.com/ 수학동아]
+
* ID :  [https://www.wikidata.org/wiki/Q810225 Q810225]
* [http://www.ams.org/mathmoments/ Mathematical Moments from the AMS]
+
===Spacy 패턴 목록===
 +
* [{'LOWER': 'fundamental'}, {'LEMMA': 'unit'}]
 +
* [{'LOWER': 'base'}, {'LEMMA': 'unit'}]
 +
* [{'LOWER': 'dimension'}, {'LOWER': 'of'}, {'LOWER': 'a'}, {'LEMMA': 'quantity'}]
 +
* [{'LOWER': 'base'}, {'LEMMA': 'unit'}]

2021년 2월 17일 (수) 04:51 기준 최신판

개요


기본 단위(fundamental unit)

  • 디리클레의 단위 정리에 의하면, 실이차수체의 단위 \(\mathcal{O}_K^{\times}\)들은 군을 이루며 유일한 원소 \(\epsilon>1\)가 존재하여 다음과 같은 구조를 가진다\[\mathcal{O}_K^{\times} \simeq \{\pm 1\}\times \{\epsilon^n | n\in\mathbb{Z}\}\]


특수한 경우

  • 소수 \(p\)가 \(p=n^2+1(n > 2)\) 꼴로 주어지는 경우, \(K=\mathbb{Q}(\sqrt{p})\) 의 기본 단위는 \(\epsilon=n+\sqrt{n^2+1}\) 로 주어진다



Ankeny-Artin-Chowla 의 정리와 추측

정리 (AAC)

소수 \(p\equiv 1 \pmod 4\)에 대하여, \(K=\mathbb{Q}(\sqrt{p})\)의 유수를 \(h\), 기본 단위를 \(\epsilon=\frac{t+u\sqrt{p}}{2}\)라 두면, \(\frac{uh}{t}\equiv B_{(p-1)/2} \pmod p\) 이 성립한다. 여기서 \(B_n\)은 베르누이 수.

테이블

\[ \begin{array}{c|c|c|c} p & h & \epsilon & \frac{\frac{h u}{t}-B_{\frac{p-1}{2}}}{p} \\ \hline 5 & 1 & \frac{1}{2}+\frac{\sqrt{5}}{2} & 1 \\ 13 & 1 & \frac{3}{2}+\frac{\sqrt{13}}{2} & 1 \\ 17 & 1 & 4+\sqrt{17} & 1 \\ 29 & 1 & \frac{5}{2}+\frac{\sqrt{29}}{2} & -1 \\ 37 & 1 & 6+\sqrt{37} & -197 \\ 41 & 1 & 32+5 \sqrt{41} & 68161 \\ 53 & 1 & \frac{7}{2}+\frac{\sqrt{53}}{2} & -1129655 \\ 61 & 1 & \frac{39}{2}+\frac{5 \sqrt{61}}{2} & -612054298165 \\ \end{array} \]

추측 (AAC)

소수 \(p\equiv 1 \pmod 4\)에 대하여,, \(K=\mathbb{Q}(\sqrt{p})\)의 기본 단위 \(\epsilon=\frac{t+u\sqrt{p}}{2}\) 은 \(u \not \equiv 0 \pmod p\)를 만족시킨다

테이블

\[ \begin{array}{c|c|c|c} p & \epsilon & u & u \pmod p \\ \hline 5 & \frac{1}{2}+\frac{\sqrt{5}}{2} & 1 & 1 \\ 13 & \frac{3}{2}+\frac{\sqrt{13}}{2} & 1 & 1 \\ 17 & 4+\sqrt{17} & 2 & 2 \\ 29 & \frac{5}{2}+\frac{\sqrt{29}}{2} & 1 & 1 \\ 37 & 6+\sqrt{37} & 2 & 2 \\ 41 & 32+5 \sqrt{41} & 10 & 10 \\ 53 & \frac{7}{2}+\frac{\sqrt{53}}{2} & 1 & 1 \\ 61 & \frac{39}{2}+\frac{5 \sqrt{61}}{2} & 5 & 5 \\ 73 & 1068+125 \sqrt{73} & 250 & 31 \\ 89 & 500+53 \sqrt{89} & 106 & 17 \\ 97 & 5604+569 \sqrt{97} & 1138 & 71 \\ 101 & 10+\sqrt{101} & 2 & 2 \\ 109 & \frac{261}{2}+\frac{25 \sqrt{109}}{2} & 25 & 25 \\ 113 & 776+73 \sqrt{113} & 146 & 33 \\ \end{array} \]


목록

  • 아래의 목록은 \(K=\mathbb{Q}(\sqrt{n})\)에 대하여 각각 \(\sqrt{n}\), d는 수체의 판별식, h는 유수, 기본 단위, 기본 단위의 norm 을 나타냄
  • AlgebraicNumber[Sqrt[n],{a,b}] 은 \(a+b\sqrt{n}\) 을 의미함


Sqrt[2], d=8,h=1,{AlgebraicNumber[Sqrt[2],{1,1}]}, Norm={-1} Sqrt[3], d=12,h=1,{AlgebraicNumber[Sqrt[3],{2,1}]}, Norm={1} Sqrt[5], d=5,h=1,{AlgebraicNumber[Sqrt[5],{1/2,1/2}]}, Norm={-1} Sqrt[6], d=24,h=1,{AlgebraicNumber[Sqrt[6],{5,2}]}, Norm={1} Sqrt[7], d=28,h=1,{AlgebraicNumber[Sqrt[7],{8,3}]}, Norm={1} Sqrt[10], d=40,h=2,{AlgebraicNumber[Sqrt[10],{3,1}]}, Norm={-1} Sqrt[11], d=44,h=1,{AlgebraicNumber[Sqrt[11],{10,3}]}, Norm={1} Sqrt[13], d=13,h=1,{AlgebraicNumber[Sqrt[13],{3/2,1/2}]}, Norm={-1} Sqrt[14], d=56,h=1,{AlgebraicNumber[Sqrt[14],{15,4}]}, Norm={1} Sqrt[15], d=60,h=2,{AlgebraicNumber[Sqrt[15],{4,1}]}, Norm={1} Sqrt[17], d=17,h=1,{AlgebraicNumber[Sqrt[17],{4,1}]}, Norm={-1} Sqrt[19], d=76,h=1,{AlgebraicNumber[Sqrt[19],{170,39}]}, Norm={1} Sqrt[21], d=21,h=1,{AlgebraicNumber[Sqrt[21],{5/2,1/2}]}, Norm={1} Sqrt[22], d=88,h=1,{AlgebraicNumber[Sqrt[22],{197,42}]}, Norm={1} Sqrt[23], d=92,h=1,{AlgebraicNumber[Sqrt[23],{24,5}]}, Norm={1} Sqrt[26], d=104,h=2,{AlgebraicNumber[Sqrt[26],{5,1}]}, Norm={-1} Sqrt[29], d=29,h=1,{AlgebraicNumber[Sqrt[29],{5/2,1/2}]}, Norm={-1} Sqrt[30], d=120,h=2,{AlgebraicNumber[Sqrt[30],{11,2}]}, Norm={1} Sqrt[31], d=124,h=1,{AlgebraicNumber[Sqrt[31],{1520,273}]}, Norm={1} Sqrt[33], d=33,h=1,{AlgebraicNumber[Sqrt[33],{23,4}]}, Norm={1} Sqrt[34], d=136,h=2,{AlgebraicNumber[Sqrt[34],{35,6}]}, Norm={1} Sqrt[35], d=140,h=2,{AlgebraicNumber[Sqrt[35],{6,1}]}, Norm={1} Sqrt[37], d=37,h=1,{AlgebraicNumber[Sqrt[37],{6,1}]}, Norm={-1} Sqrt[38], d=152,h=1,{AlgebraicNumber[Sqrt[38],{37,6}]}, Norm={1} Sqrt[39], d=156,h=2,{AlgebraicNumber[Sqrt[39],{25,4}]}, Norm={1} Sqrt[41], d=41,h=1,{AlgebraicNumber[Sqrt[41],{32,5}]}, Norm={-1} Sqrt[42], d=168,h=2,{AlgebraicNumber[Sqrt[42],{13,2}]}, Norm={1} Sqrt[43], d=172,h=1,{AlgebraicNumber[Sqrt[43],{3482,531}]}, Norm={1} Sqrt[46], d=184,h=1,{AlgebraicNumber[Sqrt[46],{24335,3588}]}, Norm={1} Sqrt[47], d=188,h=1,{AlgebraicNumber[Sqrt[47],{48,7}]}, Norm={1} Sqrt[51], d=204,h=2,{AlgebraicNumber[Sqrt[51],{50,7}]}, Norm={1} Sqrt[53], d=53,h=1,{AlgebraicNumber[Sqrt[53],{7/2,1/2}]}, Norm={-1} Sqrt[55], d=220,h=2,{AlgebraicNumber[Sqrt[55],{89,12}]}, Norm={1} Sqrt[57], d=57,h=1,{AlgebraicNumber[Sqrt[57],{151,20}]}, Norm={1} Sqrt[58], d=232,h=2,{AlgebraicNumber[Sqrt[58],{99,13}]}, Norm={-1} Sqrt[59], d=236,h=1,{AlgebraicNumber[Sqrt[59],{530,69}]}, Norm={1} Sqrt[61], d=61,h=1,{AlgebraicNumber[Sqrt[61],{39/2,5/2}]}, Norm={-1} Sqrt[62], d=248,h=1,{AlgebraicNumber[Sqrt[62],{63,8}]}, Norm={1} Sqrt[65], d=65,h=2,{AlgebraicNumber[Sqrt[65],{8,1}]}, Norm={-1} Sqrt[66], d=264,h=2,{AlgebraicNumber[Sqrt[66],{65,8}]}, Norm={1} Sqrt[67], d=268,h=1,{AlgebraicNumber[Sqrt[67],{48842,5967}]}, Norm={1} Sqrt[69], d=69,h=1,{AlgebraicNumber[Sqrt[69],{25/2,3/2}]}, Norm={1} Sqrt[70], d=280,h=2,{AlgebraicNumber[Sqrt[70],{251,30}]}, Norm={1} Sqrt[71], d=284,h=1,{AlgebraicNumber[Sqrt[71],{3480,413}]}, Norm={1} Sqrt[73], d=73,h=1,{AlgebraicNumber[Sqrt[73],{1068,125}]}, Norm={-1} Sqrt[74], d=296,h=2,{AlgebraicNumber[Sqrt[74],{43,5}]}, Norm={-1} Sqrt[77], d=77,h=1,{AlgebraicNumber[Sqrt[77],{9/2,1/2}]}, Norm={1} Sqrt[78], d=312,h=2,{AlgebraicNumber[Sqrt[78],{53,6}]}, Norm={1} Sqrt[79], d=316,h=3,{AlgebraicNumber[Sqrt[79],{80,9}]}, Norm={1} Sqrt[82], d=328,h=4,{AlgebraicNumber[Sqrt[82],{9,1}]}, Norm={-1} Sqrt[83], d=332,h=1,{AlgebraicNumber[Sqrt[83],{82,9}]}, Norm={1} Sqrt[85], d=85,h=2,{AlgebraicNumber[Sqrt[85],{9/2,1/2}]}, Norm={-1} Sqrt[86], d=344,h=1,{AlgebraicNumber[Sqrt[86],{10405,1122}]}, Norm={1} Sqrt[87], d=348,h=2,{AlgebraicNumber[Sqrt[87],{28,3}]}, Norm={1} Sqrt[89], d=89,h=1,{AlgebraicNumber[Sqrt[89],{500,53}]}, Norm={-1} Sqrt[91], d=364,h=2,{AlgebraicNumber[Sqrt[91],{1574,165}]}, Norm={1} Sqrt[93], d=93,h=1,{AlgebraicNumber[Sqrt[93],{29/2,3/2}]}, Norm={1} Sqrt[94], d=376,h=1,{AlgebraicNumber[Sqrt[94],{2143295,221064}]}, Norm={1} Sqrt[95], d=380,h=2,{AlgebraicNumber[Sqrt[95],{39,4}]}, Norm={1} Sqrt[97], d=97,h=1,{AlgebraicNumber[Sqrt[97],{5604,569}]}, Norm={-1} Sqrt[101], d=101,h=1,{AlgebraicNumber[Sqrt[101],{10,1}]}, Norm={-1} Sqrt[102], d=408,h=2,{AlgebraicNumber[Sqrt[102],{101,10}]}, Norm={1} Sqrt[103], d=412,h=1,{AlgebraicNumber[Sqrt[103],{227528,22419}]}, Norm={1} Sqrt[105], d=105,h=2,{AlgebraicNumber[Sqrt[105],{41,4}]}, Norm={1} Sqrt[106], d=424,h=2,{AlgebraicNumber[Sqrt[106],{4005,389}]}, Norm={-1} Sqrt[107], d=428,h=1,{AlgebraicNumber[Sqrt[107],{962,93}]}, Norm={1} Sqrt[109], d=109,h=1,{AlgebraicNumber[Sqrt[109],{261/2,25/2}]}, Norm={-1} Sqrt[110], d=440,h=2,{AlgebraicNumber[Sqrt[110],{21,2}]}, Norm={1} Sqrt[111], d=444,h=2,{AlgebraicNumber[Sqrt[111],{295,28}]}, Norm={1} Sqrt[113], d=113,h=1,{AlgebraicNumber[Sqrt[113],{776,73}]}, Norm={-1} Sqrt[114], d=456,h=2,{AlgebraicNumber[Sqrt[114],{1025,96}]}, Norm={1} Sqrt[115], d=460,h=2,{AlgebraicNumber[Sqrt[115],{1126,105}]}, Norm={1} Sqrt[118], d=472,h=1,{AlgebraicNumber[Sqrt[118],{306917,28254}]}, Norm={1} Sqrt[119], d=476,h=2,{AlgebraicNumber[Sqrt[119],{120,11}]}, Norm={1} Sqrt[122], d=488,h=2,{AlgebraicNumber[Sqrt[122],{11,1}]}, Norm={-1} Sqrt[123], d=492,h=2,{AlgebraicNumber[Sqrt[123],{122,11}]}, Norm={1} Sqrt[127], d=508,h=1,{AlgebraicNumber[Sqrt[127],{4730624,419775}]}, Norm={1} Sqrt[129], d=129,h=1,{AlgebraicNumber[Sqrt[129],{16855,1484}]}, Norm={1} Sqrt[130], d=520,h=4,{AlgebraicNumber[Sqrt[130],{57,5}]}, Norm={-1} Sqrt[131], d=524,h=1,{AlgebraicNumber[Sqrt[131],{10610,927}]}, Norm={1} Sqrt[133], d=133,h=1,{AlgebraicNumber[Sqrt[133],{173/2,15/2}]}, Norm={1} Sqrt[134], d=536,h=1,{AlgebraicNumber[Sqrt[134],{145925,12606}]}, Norm={1} Sqrt[137], d=137,h=1,{AlgebraicNumber[Sqrt[137],{1744,149}]}, Norm={-1} Sqrt[138], d=552,h=2,{AlgebraicNumber[Sqrt[138],{47,4}]}, Norm={1} Sqrt[139], d=556,h=1,{AlgebraicNumber[Sqrt[139],{77563250,6578829}]}, Norm={1} Sqrt[141], d=141,h=1,{AlgebraicNumber[Sqrt[141],{95,8}]}, Norm={1} Sqrt[142], d=568,h=3,{AlgebraicNumber[Sqrt[142],{143,12}]}, Norm={1} Sqrt[143], d=572,h=2,{AlgebraicNumber[Sqrt[143],{12,1}]}, Norm={1} Sqrt[145], d=145,h=4,{AlgebraicNumber[Sqrt[145],{12,1}]}, Norm={-1} Sqrt[146], d=584,h=2,{AlgebraicNumber[Sqrt[146],{145,12}]}, Norm={1} Sqrt[149], d=149,h=1,{AlgebraicNumber[Sqrt[149],{61/2,5/2}]}, Norm={-1} Sqrt[151], d=604,h=1,{AlgebraicNumber[Sqrt[151],{1728148040,140634693}]}, Norm={1} Sqrt[154], d=616,h=2,{AlgebraicNumber[Sqrt[154],{21295,1716}]}, Norm={1} Sqrt[155], d=620,h=2,{AlgebraicNumber[Sqrt[155],{249,20}]}, Norm={1} Sqrt[157], d=157,h=1,{AlgebraicNumber[Sqrt[157],{213/2,17/2}]}, Norm={-1} Sqrt[158], d=632,h=1,{AlgebraicNumber[Sqrt[158],{7743,616}]}, Norm={1} Sqrt[159], d=636,h=2,{AlgebraicNumber[Sqrt[159],{1324,105}]}, Norm={1} Sqrt[161], d=161,h=1,{AlgebraicNumber[Sqrt[161],{11775,928}]}, Norm={1} Sqrt[163], d=652,h=1,{AlgebraicNumber[Sqrt[163],{64080026,5019135}]}, Norm={1} Sqrt[165], d=165,h=2,{AlgebraicNumber[Sqrt[165],{13/2,1/2}]}, Norm={1} Sqrt[166], d=664,h=1,{AlgebraicNumber[Sqrt[166],{1700902565,132015642}]}, Norm={1} Sqrt[167], d=668,h=1,{AlgebraicNumber[Sqrt[167],{168,13}]}, Norm={1} Sqrt[170], d=680,h=4,{AlgebraicNumber[Sqrt[170],{13,1}]}, Norm={-1} Sqrt[173], d=173,h=1,{AlgebraicNumber[Sqrt[173],{13/2,1/2}]}, Norm={-1} Sqrt[174], d=696,h=2,{AlgebraicNumber[Sqrt[174],{1451,110}]}, Norm={1} Sqrt[177], d=177,h=1,{AlgebraicNumber[Sqrt[177],{62423,4692}]}, Norm={1} Sqrt[178], d=712,h=2,{AlgebraicNumber[Sqrt[178],{1601,120}]}, Norm={1} Sqrt[179], d=716,h=1,{AlgebraicNumber[Sqrt[179],{4190210,313191}]}, Norm={1} Sqrt[181], d=181,h=1,{AlgebraicNumber[Sqrt[181],{1305/2,97/2}]}, Norm={-1} Sqrt[182], d=728,h=2,{AlgebraicNumber[Sqrt[182],{27,2}]}, Norm={1} Sqrt[183], d=732,h=2,{AlgebraicNumber[Sqrt[183],{487,36}]}, Norm={1} Sqrt[185], d=185,h=2,{AlgebraicNumber[Sqrt[185],{68,5}]}, Norm={-1} Sqrt[186], d=744,h=2,{AlgebraicNumber[Sqrt[186],{7501,550}]}, Norm={1} Sqrt[187], d=748,h=2,{AlgebraicNumber[Sqrt[187],{1682,123}]}, Norm={1} Sqrt[190], d=760,h=2,{AlgebraicNumber[Sqrt[190],{52021,3774}]}, Norm={1} Sqrt[191], d=764,h=1,{AlgebraicNumber[Sqrt[191],{8994000,650783}]}, Norm={1} Sqrt[193], d=193,h=1,{AlgebraicNumber[Sqrt[193],{1764132,126985}]}, Norm={-1} Sqrt[194], d=776,h=2,{AlgebraicNumber[Sqrt[194],{195,14}]}, Norm={1} Sqrt[195], d=780,h=4,{AlgebraicNumber[Sqrt[195],{14,1}]}, Norm={1} Sqrt[197], d=197,h=1,{AlgebraicNumber[Sqrt[197],{14,1}]}, Norm={-1} Sqrt[199], d=796,h=1,{AlgebraicNumber[Sqrt[199],{16266196520,1153080099}]}, Norm={1}



역사



메모

관련된 항목들




매스매티카 파일 및 계산 리소스


사전 형태의 자료


리뷰, 에세이, 강의노트

  • Slavut\cydotskiĭ, I. Sh. “A Real Quadratic Field and the Ankeny-Artin-Chowla Conjecture.” Rossi\uı Skaya Akademiya Nauk. Sankt-Peterburgskoe Otdelenie. Matematicheski\uı\ Institut Im. V. A. Steklova. Zapiski Nauchnykh Seminarov (POMI) 286, no. Anal. Teor. Chisel i Teor. Funkts. 18 (2002): 159–68, 230–31. doi:10.1023/B:JOTH.0000035243.24060.83.


관련논문

  • Alexander Dahl, Youness Lamzouri, The distribution of class numbers in a special family of real quadratic fields, http://arxiv.org/abs/1603.00889v1
  • Biró, András, and Kostadinka Lapkova. “The Class Number One Problem for the Real Quadratic Fields \(\mathbb{Q}\left(\sqrt{(an)^2+4a}\right)\).” arXiv:1508.05644 [math], August 23, 2015. http://arxiv.org/abs/1508.05644.
  • Hashimoto, Yasufumi. ‘Asymptotic Formulas for Class Number Sums of Indefinite Binary Quadratic Forms in Arithmetic Progressions’. arXiv:1003.3716 [math], 19 March 2010. http://arxiv.org/abs/1003.3716.
  • Darmon, Henri, and Samit Dasgupta. “Elliptic Units for Real Quadratic Fields.” Annals of Mathematics, Second Series, 163, no. 1 (January 1, 2006): 301–46.
  • Riele, Herman te, and Hugh Williams. “New Computations Concerning the Cohen-Lenstra Heuristics.” Experimental Mathematics 12, no. 1 (2003): 99–113. http://www.emis.de/journals/EM/expmath/volumes/12/12.1/pp99_113.pdf
  • Van der Poorten, A. J., H. J. J. te Riele, and H. C. Williams. “Computer Verification of the Ankeny-Artin-Chowla Conjecture for All Primes Less than \(100\,000\,000\,000\).” Mathematics of Computation 70, no. 235 (2001): 1311–28. doi:10.1090/S0025-5718-00-01234-5.
  • Ankeny, N. C., E. Artin, and S. Chowla. “The Class-Number of Real Quadratic Number Fields.” Annals of Mathematics. Second Series 56 (1952): 479–93.

관련도서

  • Cohen, Henri (1993), A Course in Computational Algebraic Number Theory

메타데이터

위키데이터

Spacy 패턴 목록

  • [{'LOWER': 'fundamental'}, {'LEMMA': 'unit'}]
  • [{'LOWER': 'base'}, {'LEMMA': 'unit'}]
  • [{'LOWER': 'dimension'}, {'LOWER': 'of'}, {'LOWER': 'a'}, {'LEMMA': 'quantity'}]
  • [{'LOWER': 'base'}, {'LEMMA': 'unit'}]