（書き途中ー

定義

演算

二項演算

写像$f:A \times A \rightarrow A$を二項演算という。
$f(a,b)$を$a+b$, $ab$などと書き、前者のように書いたものを加法、後者を乗法という。
$A$と$f$の組$(A,f)$をマグマ、亜群という。

結合法則

任意の$a,b,c \in A$に対して$(ab)c = a(bc)$をみたすとき、この演算は結合法則を満たすという。

交換法則

$a,b \in A$に対して、$ab=ba$のとき、$a,b$は可換であるという。
任意の$a,b \in A$が可換のとき、この演算は交換法則を満たすという。

分配法則

二つの二項演算$ \cdot, +$に対して、$(a+b)c=ac+bc$, $c(a+b) = ca+cb$が成立するとき、これは分配法則を満たすという。

単位元

ある$e \in A$が存在して、任意の$a \in A$に対して、$ea = a$が成り立つとき、この$e$を左単位元という。同様にして、右単位元も定義する。
ある$e$が左単位元でも右単位元でもあるとき、これを単位元という。

逆元

$a \in A$に対して、$b \in A$が存在して$ab = e$となるとき、$a$は右可逆であるといい、$b$は$a$の右逆元という。上と同様に左可逆、左逆元、可逆、逆元も定義する。$a$の逆元を$a^{-1}$とかく。

群

(G1) 結合法則
(G2) 単位元の存在
(G3) 任意の元に対する逆元の存在
(G4) 交換法則

二項演算で書いた通り、集合と、その中で閉じた二項演算の組を亜群という。
亜群で、(G1)が満たされるものを半群という。
半群で、(G2)が満たされるものをモノイドという。
モノイドで、(G3)が満たされるものを群という。
群で、(G4)が満たされるものを可換群とかアーベル群という。

部分群

$H$は群$G$の空でない部分集合。

(B1) $a,b \in H \rightarrow ab \in H$
(B2) $a \in H \rightarrow a^{-1} \in H$

(B1),(B2)がともに満たされるとき、$H$は$G$の部分群であるという。

$A,B$は群$G$の部分集合。

$AB := \{ ab | a \in A, b \in B \} $
$A^{-1} := \{ a^{-1} | a \in A \} $

$S$は群$G$の部分集合。

$H = \{ \prod_{i}^{r} {a_i}^{n_i} | a_i \in S, n_i \in \mathbb{Z}, r \in \mathbb{N} \}$

とすると、$H$は部分群をなす。この$H$を$\langle S \rangle$とかく。
特に$S={a}$のとき、$\langle S \rangle = \langle a \rangle$を$a$による巡回群といい、$a$をその生成元という。$| \langle a \rangle |$を$a$の位数という。

剰余類

群$G$とその部分群$H$をとる。

$G$上の関係$\sim$を、$a \sim b \Leftrightarrow aH = bH$で定める。
$aH$を左剰余類といい、$\{aH | a \in G\}$を$G / H$とかく。右剰余類も同様に定める。

$H$に対し、任意の$a \in G$に対し、$aH = Ha$が成立するとき、$H$は正規部分群であるという。

剰余群

群$G$とその正規部分群$N$をとる。

$G/N$上の演算$(aN)(bN)=(ab)N$を定義すると、$G/N$はこの演算で群をなす。この群を$G$の$N$による剰余群といい、$G/N$とかく。

環・体

加法と乗法が与えられた集合$R$がある。

(R1) $R$が加法に関してアーベル群をなす。
(R2) $R$が乗法に関して半群をなす。
(R3) 分配法則
(R4) 乗法の単位元の存在
(R5) 乗法の交換法則

(R1-3)が成立するとき、環をなすという。
(R1-3),(R4)が成立するとき、単位元を持つ環をなすという。
(R1-3),(R5)が成立するとき、可換環をなすという。

加法の単位元を零元といい、$0$とかく。
乗法の単位元を$1$とかく。

単位元を持つ環$R$で、加法の単位元以外が乗法で可逆のとき、$R$は斜体であるという。
可換な斜体を体という。

環$R$がある。
ある$0 \neq b \in R$があって、$0 \neq a \in R$で、$ab = 0$となったとき、$a$を左零因子であるという。右零因子、零因子も同様。

単位元を持つ可換環$R$で、零因子が存在しないとき、$R$を整域という。

部分環

$R$は環。$S$は$R$の部分集合。

$a,b \in S \rightarrow a - b \in S$
$a,b \in S \rightarrow ab \in S$

以上が成立するとき、$S$は$R$の部分環であるという。

$R$の部分集合$I$が部分加群であるとき、$I$をイデアルといい、$R/I$を$R$の$I$による剰余環という。