在這種情況下，豎線是什麼意思？
我正在做一些關於 Schnorr 辨識方案的練習。我的練習是這樣開始的，定義了以下值：
讓 $ p = 311 $ 和 $ r = 31\ |\ (p - 1) $ . 讓 $ g = 169 $ , 有順序 $ r $ .
我真的無法弄清楚豎線在這裡的含義是什麼？
有時在離散數學中，豎線表示絕對值，有時它們兩個是基數？程式會暗示這意味著邏輯或？
我在一個地方看到了一些東西，表明它可能是異或，但我真的不知道。
那的意思 $ \ \vert\ $ 在這種情況下是除數（如均勻除數，或者是 的除數），這是該符號的標準用法。引文應讀作：
讓 $ p=311 $ 和 $ r=31 $ , 這除 $ (p-1) $ . 讓 $ g=169 $ …
換句話說： $ r $ 是一個除數 $ p-1 $ . 或者，存在整數 $ q $ 和 $ r\times q=p-1 $ . 或者， $ ((p-1)\bmod r)=0 $ ，也可寫為 $ p-1\bmod r=0 $ 或者 $ p-1\equiv0\pmod r $ 或者 $ p\equiv1\pmod r $ . 在許多常見的程式語言中，
(p-1)%r == 0. 那是因為 $ 31 $ （均勻地）劃分 $ 311-1 $ ， 自從 $ 31\times10=310 $ .Aman Grewal 在評論中正確猜到了這一點，但如前所述，與分配的接近使符號混亂。我會盡量避免隱含的省略*。*
句子的結尾說“讓 $ g=169 $ , 有順序 $ r $ »。這是否意味著 $ g $ 真的
169%31嗎？不。術語順序在群論中的含義中使用。在這種情況下，這意味著當我們反复乘 $ 1 $ 經過 $ g $ , 減少模 $ p $ 每次乘法後，我們首先回到 $ 1 $ 表演後 $ r $ 乘法。這與 $ r,\vert,(p-1) $ ，因為有限群中任何元素的階數是群階數的除數，也就是群中元素的個數。這裡的群是乘法群模 $ p $ ， 著名的 $ \mathbb Z_p^* $ 或者 $ (\mathbb Z/p\mathbb Z)^\times $ ， 其中有 $ p-1 $ 以來的元素 $ p $ 是素數。的權力 $ g $ 形成秩序的子群 $ r $ ，稱為Schnorr 組。