1.1
集合 G の元 a,b の各対に対して G の第三の元（これを ab で表す)を対応させる演算が定義され, それが
結合律
をみたすとき, この演算は結合的であるといい, また G は（この演算について）半群 であるという.
演算が結合的のときは上記の式の両辺は括弧を省略して単に abcと表してもよい. さらにこの演算が
可換律
をみたすとき, この演算, または半群 G は可換であるという.
1.2
半群 G の元 e で G のすべての元 a に対して
ae=ea=a となるものをこの演算, または G の単位元という.
e と e' が共に単位元ならば e=ee'=e'であるから, 単位元は存在すればただ一つである.
単位元の定義 ae=ea=a にて a=e' を代入して
e'e=ee'=e'
e' も単位元であるから ae'=e'a=a
これに a=e を代入して
ee'=e'e=e
以上2式より e' = e'e = ee' = e すなわち e=e' 
単位元 e を持つ半群 G において, G の元 a に対して ab=ba=e
となるような元 b が存在すればこれを a の逆元という.
このとき a はまた b の逆元となる.
b と b' が共に a の逆元のとき
b=b(ab')=(ba)b'=b'
なんとなればab'=e, ba=e
であるから a の逆元は存在すればただ一つである. 
半群 G が単位元を持ち, また G のすべての元が逆元を持つとき G は群であるという.
群の公理に要請する条件としては ae=a かつ aa^{-1}=e で十分である．
ae を aa^{-1}=e の a に代入して, ae(ae)^{-1}=e; 
ae = a より
aea^{-1}=e;
a(ea^{-1})=e;
これと aa^{-1}=e の辺々を比べて ea^{-1}=a^{-1} すなわち ea=a と単位元の公式の残り半分が導出される．また，aa^{-1}=e を ae=a に代入して  aa^{-1}e = e; a を右からかけて aa^{-1}ea = ea; 先に導出した ea =
 a より a(a^{-1}a)=a; これと ae=a の辺々を比べて a^{-1}a=e と逆元の公式の残り半分が導出される．
群の演算が可換であるとき G は可換群, またはアーベル群という.
1.3
一般に G が演算を持つ集合で X がその部分集合のとき,
X のすべての元 a, b について ab\in X ならば,
X はこの演算について閉じているという.
特に G が半群のとき X は G の部分半群という.
G が群, X がその空でない部分集合で, X が G の演算で閉じ, 
また X の各元の逆元もまた X に入っているとき(したがって G の単位元 e もXに入る
ab=e, a\in X, b\in X において、 X が G の演算で閉じているのだから ab=e\in G
),
X は G の部分群という. 部分群はそれ自身ももとと同じ演算で群となっている.
1.4
例えば実数の集合 R はその上の加法という演算について可換群である。
有理数の集合 Q, 整数の集合Z はその部分群, Z はまた Q の部分群でもある.
R は乗法については半群ではあるが群ではない. 
0 を含むと 0 の乗法についての単位元は存在せず、乗法に関する単位元を仮に 1 としても乗法に関して 0 の逆元は存在しない．これはすぐに後述される．
しかしR から 0 を除いた R-\left\{0\right\} は乗法について群となる。
正の実数の集合 R^+はその部分群である。Q-\left\{0\right\} および Q^+=Q\cup R^+
「Q^+を正の有理数の集合」としてもよいが，すでに定義しているR^+ を使用して定義したまでのこと． 
は乗法についてまた R-\left\{0\right\} の部分群である．Z^+=Z\cup R^+ は R の部分半群であるが部分群ではない
逆元が整数に収まらない．．
可換でない半群の例として n 次の正方行列全体の集合がある．
行列 A の行列式が 0 であれば，A は逆行列を持たずしたがって逆元は持ちえない．
行列式が 0 でない n 次の正方行列全体の集合はその部分半群であるが，また群をつくる．
行列式が 1 である n 次の行列全体の集合，n 次の直行行列全体の集合はまたその部分群となる．
1.5
一つの集合 G とその上の一つの演算を考察しているときには
G の二元 a, b からその演算で定まる元を単に ab で表せばよいが，
R 上の加法と乗法のように一つまたはいくつかの集合の上で多くの演算を同時に取り扱うときには，
それから定まる元は区別して表さなければならない．
このため演算を表す記号を適当に，例えば *, \bot などと定め，慣習的にそれを二元の間において，
例えば二元 a, b から演算 \bot で定まる元は a\bot b というように表すことにする．
次に一つの集合 K の上に二つの演算 + と \centerdot とが与えられている場合を考える．もし
左分配律
が成り立つとき演算 \centerdot は + に左から分配的であるといい，同様に
右分配律
\blacktriangle 以下慣例に従って\centerdot は + に優先して読み (a\centerdot b) などの () は省略する．
が成り立つとき演算 \centerdot は + に右から分配的であるという．\centerdot が + に同時に
左右から分配的のとき，\centerdot は + に（単に）分配的であるという．
1.6
二つの演算 + と \centerdot とを持つ集合 K において，三つの条件
1^\circ\quad\   K は + について可換群である
2^\circ\quad\   K は \centerdot について半群である
3^\circ\quad\   \centerdot は + に分配的である
が満たされているとき K は環であるといい，さらに演算 \centerdot が可換のときには K は可換環であるという．
1.7
二つ以上の元を持つ環 K が \centerdot についても群となることはできない．
それは + についての単位元を 0\  ，\centerdot についての単位元を
1 で表せば，分配律から a=a\centerdot(0+1)=a\centerdot 0+a で，
すべての a\in K について a\centerdot 0=0 となり，0 の逆元が存在できないからである．
しかしこの 0 を除けば残りの集合が \centerdot について群となることは可能で，
もし環 K がさらに
4^\circ\quad\   K-\left\{0\right\} は \centerdot について群となる．
をみたすとき，K は体であるという．
整数の集合 Z，有理数の集合 Q，実数の集合 R は通常の加法 + と乗法 \centerdot
について環であり，特に Q と R は体でもある．
1.8
再び一つの演算を持った集合に帰り，L は可換な半群とする．
もしさらに L が条件
ベキ等律
を満たすとき，L は半束であるという．
集合 L 上に二つの演算 \land, \lor があり，L はどちらの演算についても半束で，さらに
吸収律
が満たされるとき，L は束 であるという．さらに \land が \lor に分配的，
\lor が \land に分配的のとき，L は分配束であるという．
集合 X の部分集合の全体の集合を \mathfrak{P}(X) で表し，これを X のベキ集合という．
\mathfrak{P}(X) は集合論的演算 \cap（合併）と \cup （共通部分）とで閉じているが，
この二つの演算について分配束となっている．
一般的な集合演算を指している．集合演算の結果としてとりうる値（集合)をすべて集めてベキ集合と考える．
1.4 の R, Q, Z はどれも二数 a, b について
a\lor b=max(a, b), a\land b=min(a, b) とすればやはり分配束となる（max(a, b), min(a, b) は
それぞれ a, b, の大きいほう，小さいほうを表す）．