基本数学符号

基本数学符号

从

...导出

命题逻辑, 谓词逻辑

?正则子群

N?G表示N是G的正则子群. Z(G) ?G 是...的正则

子群

群论

/ 商群

G/H表示G模其子群H的商群.

{0, a, 2a, b, b+a, b+2a} / {0, b}

= {{0, b}, {a, b+a}, {2a, b+2a}} 模

群论

≈同构

G≈ H表示G同构于H

Q/ {1, ?1} ≈ V,

其中Q是四元数群V是克莱因四

群.