数学記号の表
代数学の記号

| 記号 | 意味 | 解説 |
| --- | --- | --- |
|  + | 正符号 | x の反数（加法に関する逆元）を表すために負符号を用いて −x と記す。反数を与える演算を負符号で表すことに対応して、x 自身を与える恒等変換に正符号を用い、その結果を +x のように表すことがある。 |
|  - | 負符号 | x の反数（加法に関する逆元）を表すために負符号を用いて −x と記す。反数を与える演算を負符号で表すことに対応して、x 自身を与える恒等変換に正符号を用い、その結果を +x のように表すことがある。 |
|  + | 加法 | x + y は x と y の和を表す |
|  \textstyle \sum  | 総和 |   \textstyle \sum \limits _{k=1}^{n}a_{k}:=a_{1}+a_{2}+\dotsb +a_{n-1}+a_{n} と定義され、その極限として定まる無限和を  \textstyle \sum \limits _{k=1}^{\infty }a_{k}\equiv \lim \limits _{n\to \infty }\sum \limits _{k=1}^{n}a_{k} と書く。またある命題 P(x) があるとき、P(x) を満たすような各 k についての和を取ることを  \textstyle \sum \limits _{P(k)}\,a_{k} と書く。 |
|  - | 減法 | x − y は x と y の差を表す。通常、y の反数 −y を用いて x + (−y) と定義されている。 |
|  \pm  | 加法と減法 | x ± y は x と y の和と差を表す。 |
|  \times  | 乗法 | x × y は x と y の積を表す。中黒 (bullet operatorまたはdot operator) を使って x · y と書いたり、アスタリスクを使って x * y とも書く。特にアスタリスクは多くのプログラミング言語において乗法の演算子として用いられる。 |
|  \cdot  | 乗法 | x × y は x と y の積を表す。中黒 (bullet operatorまたはdot operator) を使って x · y と書いたり、アスタリスクを使って x * y とも書く。特にアスタリスクは多くのプログラミング言語において乗法の演算子として用いられる。 |
|  * | 乗法 | x × y は x と y の積を表す。中黒 (bullet operatorまたはdot operator) を使って x · y と書いたり、アスタリスクを使って x * y とも書く。特にアスタリスクは多くのプログラミング言語において乗法の演算子として用いられる。 |
|  \bullet ^{-1} | 乗法逆元 | x-1はある数xとの積が1となる数を表す。1/xと書かれることもある。 |
|  \textstyle \prod  | 総乗 |  \textstyle \sum  はたくさんの加法を一挙に表すものであったが、 \textstyle \prod  はたくさんの乗法を一挙に表すものである。  \textstyle \prod \limits _{k=1}^{n}a_{k}=a_{1}\times a_{2}\times \dots \times a_{n} 他の記法のバリエーションも  \textstyle \sum  に同じ。 |
|  \div  | 除法 | x ÷ y は x を y で割った商と剰余の組か、あるいは商を表す。x ÷ y の商はしばしば分数 x/y で表され、また斜線自体を商を与える演算子と見なすことがある。多くのプログラミング言語においては商を与える演算子として / が定義されている。 |
|  / | 除法 | x ÷ y は x を y で割った商と剰余の組か、あるいは商を表す。x ÷ y の商はしばしば分数 x/y で表され、また斜線自体を商を与える演算子と見なすことがある。多くのプログラミング言語においては商を与える演算子として / が定義されている。 |
|  !, \,\$ | (順に)階乗, 超階乗 | n! は n の階乗を表す。n$ は n の超階乗を表す。 |
|  \delta _{ij} | クロネッカーのデルタ | i = j のとき 1、i ≠ j のとき 0。 |
|  \lfloor \bullet \rfloor ,[\bullet ] | 床関数 |  \lfloor x\rfloor  は x 以下の最大整数を表す。 |
|  \lceil \bullet \rceil  | 天井関数 |  \lceil x\rceil  は x 以上の最小整数を表す。 |
|  {\binom {n}{k}},\,{}_{n}{\text{C}}_{k},\,C_{k}^{n} | 二項係数（組合せ） | 通常は括弧書きで表される。C を使った記法は様々なバリエーションがある。 |
| 記号 | 意味 | 解説 |
| --- | --- | --- |
|  \operatorname {mod} , \,\% | 剰余 | 「x mod y」は整数 x の属する法 y の剰余類や、x を y で割った余りを表す[要出典]。C言語やその影響を受けたプログラミング言語などでは整数の剰余を与える演算子として % が定義されている。Fortran のように mod を用いる言語も存在する。 |
|  | | 割り切る | x  | y は、x が y を割り切る、つまり x は y の約数であることを表す。 |
|  \not | |  | の否定（割り切れない） | x  \not | y は、x は y の約数ではないことを表す。 |
|  \bullet \equiv \bullet {\pmod {\bullet }} | 合同 | n ≡ m (mod d) は n と m が d を法として合同であることを示す。 |
|  \operatorname {ord} (\bullet ) | 位数 | ある群の元の個数を群の位数という。また群の元 x に対し、ord x は x の生成する巡回群の位数を表す。 |
|  (\bullet ,\bullet ) | 最大公約数 | (a, b) は a と b の最大公約数を表す。gcd は greatest common divisor の略である。プログラミング言語の数学ライブラリにおいて、最大公約数を与える関数（サブルーチン）が gcd としてしばしば定義される。 |
|  \gcd(\bullet ,\bullet ) | 最大公約数 | (a, b) は a と b の最大公約数を表す。gcd は greatest common divisor の略である。プログラミング言語の数学ライブラリにおいて、最大公約数を与える関数（サブルーチン）が gcd としてしばしば定義される。 |
|  \bullet ^{-1} | モジュラ逆数 | 整数 a と法 m について   ax\equiv 1{\pmod {m}} を満たす x をモジュラ逆数といい、a-1 で表す。 |
| 記号 | 意味 | 解説 |
| --- | --- | --- |
|  e | 冪等元 | 環の冪等元をしばしば e で表す。 |
|  p | プラスチック数 | p は x^{3}=x+1,\;という代数方程式の唯一の解。 |
| 記号 | 意味 | 解説 |
| --- | --- | --- |
|  |\bullet | | 絶対値 | |x| は x の絶対値である。 |
|  \operatorname {abs} (\bullet ) | 絶対値 | |x| は x の絶対値である。 |
|  \|\bullet \| | ノルム | ‖ x ‖ は x のノルムである。 |
|  \Re \bullet  | 実部 | 複素数 z に対し、Re(z) はその実部を、Im(z) はその虚部を表す。z = Re(z) + i Im(z) |
|  \operatorname {Re} \bullet  | 実部 | 複素数 z に対し、Re(z) はその実部を、Im(z) はその虚部を表す。z = Re(z) + i Im(z) |
|  \Im \bullet  | 虚部 | 複素数 z に対し、Re(z) はその実部を、Im(z) はその虚部を表す。z = Re(z) + i Im(z) |
|  \operatorname {Im} \bullet  | 虚部 | 複素数 z に対し、Re(z) はその実部を、Im(z) はその虚部を表す。z = Re(z) + i Im(z) |
|  {\overline {\bullet }} | 共役複素数 | 複素数 z に対し、 {\bar {z}} はその共役複素数を表す。 |
|  \operatorname {deg} \bullet  | 次数 | 多項式 f に対して、deg f はその次数を表す。 |
|  {\sqrt {\bullet }},{\sqrt[{\bullet }]{\bullet }} | 冪根、根基 | n√x は x の n乗根を表す。n が 2 であるときには単に √x と書くことが多い。イデアルの根基を表す。 |
|  \langle \bullet ,\bullet \rangle  | 内積 | <x, y> は x と y の内積を表す。 |
|  (\bullet ,\bullet ) | 内積 | <x, y> は x と y の内積を表す。 |
| 記号 | 意味 | 解説 |
| --- | --- | --- |
|  \dim _{\bullet }\bullet  | 次元 | ベクトル空間 V に対し、「dim V」は V の次元を表す。 |
|  |\bullet | | 行列式 | |X| は正方行列 X の行列式である。 |
|  \det(\bullet ) | 行列式 | |X| は正方行列 X の行列式である。 |
|  \operatorname {tr} (\bullet ) | 跡 | tr(X) は正方行列 X の跡である。 |
|  {}^{t}\bullet ,\bullet ^{t} | 転置 | tX は行列 X の転置行列である。 |
|  \operatorname {rank} \bullet  | 階数 | 線形写像 φ に対して、rank φ は dim Im(φ) を表す。また、行列 A に対して、rank A は A の階数を表す。 |
|  \operatorname {Ker} \bullet ,\ \ker \bullet  | 核、零空間 | 群や環の準同型、ベクトル空間の間の線形写像 φ に対して、Ker φ はその準同型の核を表す。 |
|  \operatorname {Im} \bullet ,\ \operatorname {im} \bullet  | 像 | 群や環の準同型、ベクトル空間の間の線形写像 φ に対して、Im φ はその準同型の像を表す。 |
|  \operatorname {Hom} _{\bullet }(\bullet ,\bullet ) | 準同型の集合 | HomK(F, G) は、作用域 K のある代数系 F, G の間の作用準同型 (homomorphism) 全体からなる集合を表す。 |
|  \operatorname {Aut} (\bullet ) | 自己同型群 | Aut(G) は、G のそれ自身に対する同型 (automorphism) 全体からなる群を表す。 |
|  \operatorname {Inn} (\bullet ) | 内部自己同型群 | Inn(G) は、G の内部自己同型 (inner automorphism) 全体からなる群を表す。 |
|  \operatorname {End} (\bullet ) | 自己準同型 | End(G) は、G のそれ自身に対する準同型 (endomorphism) 全体からなる集合（モノイド）を表す。 |
| 記号 | 意味 | 解説 |
| --- | --- | --- |
|  \langle \bullet \rangle  | 生成 | G を群とすると、G の部分集合 S に対し、⟨S⟩ は S の生成する部分群を表す。特に、S が一元集合 S = {x} であるときには ⟨x⟩ とも書く。これは x の生成する巡回群である。環やベクトル空間などについても同様の記法を使う。 |
|  (\bullet ) | 生成するイデアル | (a, ...) は a, ... の生成するイデアル |
|  K[\bullet ] | 多項式環、生成する環 | K を可換環とするとき、K[x, ...] は K と {x, ...} を含む最小の環。生成系が不定元のみからなれば多項式の環である。 |
|  K(\bullet ) | 有理関数環、生成する体 | K を可換体とするとき、K(x, ...) は K と {x, ...} を含む最小の体。生成系が不定元のみからなれば有理式の体である。 |
|  K\langle \bullet \rangle  | 非可換多項式環、生成する環 | K を非可換環とするとき、K⟨x, ...⟩ は K と {x, ...} を含む最小の環。 |