希爾伯特符號
希爾伯特符號常用於類域論中。對於域\(q_v\),\(v\)為素數或無窮(令\(q_\infty = r\)),它的定義如下:
\[(a, b)_v = \begin
1 & 如果ax^2 + by^2 = 1在q_v^*上有解\\
-1 & 如果ax^2 + by^2 = 1在q_v^*上無解
\end\]
乙個等價的說法是\((a,b) = 1\)當且僅當\(b\)為域擴張\(q_v[\sqrt]/q_v\)中某個元素的範數。換句話說,存在\(\alpha + \beta \sqrt \in q_v[\sqrt]\)滿足\(b= n(\alpha + \beta \sqrt) = \alpha^2 - \beta^2 a\)。這樣一來,
希爾伯特符號有以下性質:
\[(a, b) = (b, a)
\]\[(a, c^2) = 1
\]\[(a, -a) = 1
\]\[(a, 1-a) = 1
\]\[(a, b_1b_2) = (a, b_1)(a, b_2)
\]希爾伯特符號的計算公式
\(r\)上的希爾伯特符號比較簡單,有
\[(a,b)_\infty = \begin
1 & a > 0或b > 0\\
-1 & a < 0且b < 0
\end\]
要討論\(q_p\)上的希爾伯特符號,我們先定義兩個函式
\[\epsilon(x) = \frac(\mod 2)
\]\[\omega(x) = \frac(\mod 2)
\]則\(a = p^\alpha u, b = p^\beta v\)的希爾伯特符號計算如下:
\[(a,b)_p = \begin
(-1)^ & p = 2\\
(-1)^\left(\frac\right)^\beta\left(\frac\right)^\alpha &p\neq 2
\end\]
希爾伯特符號的積
作為計算公式的乙個應用,我們令\(v\)為所有的素數以及無窮組成的集合,則
\[\prod_(a, b)_v = 1
\]換句話說,滿足\((a, b)_v = -1\)的\(v\)如果有限必定是偶數個。
根據上文中希爾伯特符號的性質,我們只需用希爾伯特符號的計算公式計算\(a,b\)是\(-1\)或是不同素數的情形。令\(p, q\)是奇素數,
\[(-1, p)_2 = (-1, p)_p = (-1)^
\]\[(2, p)_2 = (-1)^
\]\[(2, p)_p = \left(\frac\right) = (-1)^
\]\[(p,q)_2 = (-1)^
\]\[(p,q)_p = \left(\frac\right),(p,q)_q = \left(\frac\right)
\]由二次互反律
\[\left(\frac\right) \left(\frac\right) = (-1)^
\]得到積必定為\(1\)。
Git教程筆記(3) 遠端倉庫
遠端倉庫 關聯github遠端倉庫 第1步 建立ssh key。在使用者主目錄下,看看有沒有.ssh目錄,如果有,再看看這個目錄下有沒有id rsa和id rsa.pub這兩個檔案,如果已經有了,可直接跳到下一步。如果沒有,開啟shell windows下開啟git bash 建立ssh key s...
簡明Python教程學習筆記3
7 函式 1 定義 略 2 函式形參 略 3 區域性變數 如果你想要為乙個定義在函式外的變數賦值,那麼你就得告訴python這個變數名不是區域性的,而是 全域性 的。使用global語句完成這一功能。沒有global語句,是不可能為定義在函式外的變數賦值的。1 coding utf 823 4def...
python3基礎教程筆記
問題 unicode和utf 8和assci之間的關係 列表元素拼接 join lst 列表方法 增 lst.insert 3,n 插入 刪lst.clear 清空 lst.pop 末尾刪 lst.remove a 刪除第乙個指定元素 複製 b lst.copy 數數 lst.count n 擴充套...