$G,G^\prime$を群とする。 写像$f:G\rightarrow G^\prime$が任意の$x,y\in G$に対して、
$
f(xy)=f(x)f(y)
$
を満たすとき、$f$を準同型写像、あるいは準同型という。
$G,G^\prime$を群、写像$f:G\rightarrow G^\prime$を準同型とする。 $f$が全単射のとき、$f$を同型写像、あるいは同型という。 群$G,G^\prime$の間に同型写像が存在するとき、$G\cong G^\prime$と書く。
$G,G^\prime$を群、$x\in G$、写像$f:G\rightarrow G^\prime$を準同型とする。 (1)$f(e)=e^\prime$ (2)$f(g^{-1})=f(g)^{-1}$ が成り立つ。
$G,G^\prime$を群とする。 $f:G\rightarrow G^\prime, g:G^\prime\rightarrow G^{\prime\prime}$を準同型とする。 合成写像$g\circ f:G\rightarrow G^{\prime\prime}$も準同型写像である。
任意に$x,y\in G$を取る。
$
g\circ f(xy)=g(f(x)f(y))=g(f(x))g(f(y))=g\circ f(x)g\circ f(y)
$
よって$g\circ f$は準同型である。
$G,G^\prime$を群、写像$f:G\rightarrow G^\prime$を準同型とする。
$
Ker(f)=\{g\in G|f(g)=e^\prime\}
$
と定義する。 Ker(f)を$f$の核という。
$G,G^\prime$を群、写像$f:G\rightarrow G^\prime$を準同型とする。
$
Im(f)=\{f(g)\in G^\prime| g\in G\}
$
と定義する。 Im(f)を$f$の像という。
$G$を群とする。 $f:G\rightarrow G^\prime$を準同型とする。
$
fが単射\Leftrightarrow Ker(f)=\{e\}
$
($\Rightarrow$) $f$は単射なので、$x,y\in G$が$f(x)=e^\prime, f(y)=e^\prime$を満たすならば、$x=y$が成り立つ。 $f(e)=e^\prime$なので、$Ker(f)=\{e\}$が成り立つ。 ($\Leftarrow$) $x,y\in G$が$f(x)=f(y)$を満たすとする。
$
e^\prime=f(e)=f(xx^{-1})=f(y)f(x^{-1})=f(yx^{-1})
$
が成り立つので、$x=y$となり、$f$は単射である。
$G,G^\prime$を群、写像$f:G\rightarrow G^\prime$を準同型とする。 $Ker(f)$は$G$の正規部分群である。
$g\in G,k\in Ker(f)$を任意に取る。
$
f(gkg^{-1})=f(g)f(k)f(g)^{-1}=e^\prime
$
より、$gkg^{-1}\in Ker(f)$なので、$Ker(f)$は$G$の正規部分群である。
$G$を群、$N$を正規部分群とする。 写像$\pi:G\ni g\mapsto gN\in G/N$は全射準同型である。 また、$Ker(\pi)=N$である。 $\pi$を自然な準同型という。
$\pi$が全射であることは明らかなので、準同型であることを示す。 任意の$x,y\in G$に対して、
$
\pi(xy)=xyN=xNyN=\pi(x)\pi(y)
$
よって$\pi$は準同型。 また、
$
Ker(\pi)=\{x\in G|\pi(x)=N\}=\{x\in G|x\in N\}=N
$
である。
$G.G^\prime$を群、$\phi:G\rightarrow G^\prime$を準同型とする。 $\pi:G\rightarrow G/Ker(\phi)$を自然な準同型とする。 準同型$\psi:G/Ker(\phi)\rightarrow G^\prime$で、$\psi\circ\pi=\phi$を満たし同型$G/Ker(\phi)\rightarrow Im(\phi)$を定めるものが一意に存在する。
$Ker(\phi)=K$とおく。 写像$\psi:G/K\rightarrow G^\prime$を$g\in G$に対して、
$
\psi(gK)=\phi(g)
$
と定める。 $\psi$がwell-definedであることを示す。 $k\in K$を任意に取ると、
$
\psi(gkK)=\phi(gk)=\phi(g)\phi(k)=\phi(g)
$
よって、$\psi(gK)$の値は代表元の取り方に依らずに定まる。 次に、$\psi$が準同型であることを示す。 任意の$x,y\in G$に対して、
$
\psi(xKyK)=\psi(xyK)=\phi(xy)=\phi(x)\phi(y)=\psi(xK)\psi(yK)
$
より、$\psi$は準同型である。 $\pi$は全射なので$\psi\circ\pi=\phi$は明らか。 また
$
Ker(\psi)=\{gK\in G/K|\psi(gK)=e^\prime\}=\{gk\in G/K|\phi(g)=e^\prime\}=\{gK\in G/K|g\in K\}=\{K\}
$
より$\psi$は単射。 よって$\psi$は同型$G/Ker(\phi)\rightarrow Im(\phi)$を定める。 最後に$\psi$の一意性を示す。 ある準同型$\psi^\prime$が存在して$\psi^\prime\circ\pi=\phi$を満たすとすると、任意の$g\in G$に対して
$
\psi^\prime(gK)=\psi^\prime\circ\pi(g)=\phi(g)=\psi(gK)
$
が成り立つので$\psi^\prime=\psi$となる。 よって$\psi$は一意である。
$G$を群、$N,H$を$G$の部分群、$N\triangleleft G$とする。以下が成り立つ。 (1)$HN$は$G$の部分群で$HN=NH$である。 (2)$H\cap N\triangleleft H$で$H/H\cap N\cong HN/N$
$
(h_1n_1)^{-1}=h_1^{-1}(h_1n_1^{-1}h_1^{-1})\in HN
$
より、$HN$は$G$の部分群である。また、同様にして$NH$も$G$の部分群である。 $N,H\subset HN$なので$NH\subset HN$で、同様に$HN\subset NH$なので、$HN=NH$。 (2) $H$から$HN/N$への自然な全射準同型を$\phi$とすると、$Ker(\phi)=H\cap N$なので、$H\cap N\triangleleft H$ よって準同型定理より、
$
H/H\cap N\cong HN/N
$
$G$を群、$N\subset N^\prime$を$G$の正規部分群とする。
$
(G/N)(N^\prime/N)\cong G/N^\prime
$
が成り立つ。
写像$\phi:G/N\rightarrow G/N^\prime$を$\phi(xN)=xN^\prime$と定める。 $\phi$がwell-definedな準同型であることを示す。 $n\in N\subset N^\prime$を任意に取る。
$
\phi(xnN)=xnN^\prime=xN^\prime
$
より$\phi$はwell-definedである。 任意の$x,y\in G$に対して、
$
\phi(xNyN)=\phi(xyN)=xyN^\prime=xN^\prime yN^\prime=\phi(x)\phi(y)
$
より、$\phi$は準同型。
$
Ker(\phi)=\{xN\in G/N|/phi(xN)=N^\prime\}=\{xN\in G/N|/x\in N^\prime\}=N^\prime/N
$
より準同型定理を適用すると、
$
(G/N)(N^\prime/N)\cong G/N^\prime
$
が得られる。
$G$を群とする。 同型写像$G\rightarrow G$を$G$の自己同型という。 $G$の自己同型全体は写像の合成を積として$Aut(G)$の部分群になる。 この群を自己同型群と呼び、$Aut(G)$と書く。
$G$を群とする。 $a\in G$に対して、
$
I_a:G\ni g\rightarrow aga^{-1}\in G
$
によって定めるとこれは自己同型になる。この自己同型を内部自己同型という。 内部自己同型全体は写像の合成を積として群になり、$Inn(G)$と書く。
$\mathbb{Z}$を加法を演算として群とみなす。 $Aut(\mathbb{Z})$は位数2の巡回群に同型である。
任意に$f\in Aut(\mathbb{Z})$を取る。
$
\mathbb{Z}=f(\mathbb{Z})=f(1)\mathbb{Z}
$
よって、$f(1)=1$または$-1$である。 $f(1)=1$ならばこれは$\mathbb{Z}$の恒等写像$id_{\mathbb{Z}}$である。 $f(1)=-1$ならば、$f^2=id_{\mathbb{Z}}$である。 以上より、$Aut(\mathbb{Z})$は位数2の巡回群に同型。
$G$を群とする。
$
Aut(G)\triangleright Inn(G)
$
が成り立つ。
$I_a,\in Inn(G),f\in Aut(G)$を任意に取る。 任意の$g\in G$に対して、
$
(fI_af^{-1})(g)=f(I_a(f^{-1}(g)))=f(af^{-1}(g)a^{-1})=f(a)gf(a)^{-1}=I_{f(a)}(g)
$
が成り立つので、
$
Aut(G)\triangleright Inn(G)
$
$G$を群とする。
$
Z(G)=\{z\in G|zg=gz( ^\forall g\in G)\}
$
によって定めると、
$
G/Z(G)\cong Inn(G)
$
が成り立つ。 $Z(G)$を$G$の中心という。
写像$\phi:G\rightarrow Inn(G)$を$\phi(a)=I_a$によって定めると$\phi$は全射準同型である。
$
Ker(\phi)=\{a\in G|\phi(a)=id_G\}=\{a\in G|I_a=id_G\}=\{a\in G|aga^{-1}=g( ^\forall g\in G)\}=Z(G)
$
よって、準同型定理より
$
G/Z(G)\cong Inn(G)
$
$G$を群、$H,K,N$を部分群、$N\triangleleft K\triangleleft G$とする。
$
(H\cap K)/(H\cap N)\cong(H\cap K)N/N
$
が成り立つ。
第2同型定理より、
$
(H\cap K)N/N\cong(H\cap K)/(H\cap K\cap N)=(H\cap K)/(H\cap N)
$
$G$を群、$H,H^\prime,K,K^\prime$を部分群、$H^\prime\triangleleft H,K^\prime\triangleleft K$とする。
$
(H\cap K)H^\prime/(H\cap K^\prime)H^\prime\cong(H\cap K)K^\prime/(H^\prime\cap K)K^\prime
$
が成り立つ。
第2同型定理より、
$
(H\cap K)H^\prime/(H\cap K^\prime)H^\prime
$
$ =(H\cap K)(H\cap K^\prime)H^\prime/(H\cap K^\prime)H^\prime $
$ =(H\cap K)/(H\cap K^\prime)H^\prime\cap(H\cap K) $
$ =(H\cap K)/(H\cap K^\prime)(H^\prime\cap H\cap K) $
$ =(H\cap K)/(H\cap K^\prime)(H^\prime\cap K) $
$ =(H\cap K)/(H^\prime\cap K)(H\cap K^\prime) $
$ =(H\cap K)/(H^\prime\cap K)(K^\prime\cap H\cap K) $
$ =(H\cap K)/(H^\prime\cap K)K^\prime\cap(H\cap K) $
$ =(H\cap K)(H^\prime\cap K)K^\prime/(H^\prime\cap K)K^\prime $
$ =(H\cap K)K^\prime/(H^\prime\cap K)K^\prime $