$latex \mathbf{I.} $ $latex \mathbf{(\mathbb{C},+)} $ — абелева группа.
- Алгебраичность сложения;
- Ассоциативность:
$latex [(a,b)+(c,d)]+(e,f) $ $latex = $ $latex (a+c,b+d)+(e,f) $ $latex = $ $latex ((a+c)+e,(b+d)+f) $ $latex = $ $latex (a+(c+e),b+(d+f)) $ $latex = $ $latex (a,b)+(c+e,d+f) $ $latex = $ $latex (a,b)+[(c,d)+(e,f)] $;
- Коммутативность:
$latex (a,b)+(c,d)=(c,d)+(a,b) $;
$latex (0,0)+(a,b)=(a,b) $;
$latex \forall(a,b)~\epsilon~\mathbb{C} $ $latex \exists(-a,-b)~\epsilon~\mathbb{C} $
$latex (a,b)+(-a,-b)=(0,0) $;
$latex \mathbf{II.} $ $latex \mathbf{(\mathbb{C}^{*},\cdot)} $ — абелева группа.
- Алгебраичность умножения;
- Ассоциативность умножения;
- Коммутативность умножения;
- Единица: $latex e=(1,0) $
$latex \exists(x,y)~\epsilon~\mathbb{C} $, $latex \forall(a,b)~\epsilon~\mathbb{C} $
$latex (a,b)(x,y)=(a,b) $ $latex \Rightarrow (ax-by,ay+bx)=(a,b) $
$latex \begin{cases} ax-by=a & \\ ay+bx = b & \end{cases} $
Рассмотрим возможные решения системы:
1) $latex a\neq0,~b\neq0 $
$latex \begin{cases} a^2x-bay=a^2 & \\ b^2x+bay=b^2 & \end{cases} $
$latex (a^2+b^2)x=a^2+b^2 $ $latex \Rightarrow x=1,~y=0 $.
2) $latex a\neq0,~b=0 $
$latex \begin{cases} ax=1 & \\ ay=0 & \end{cases} $
$latex x=1,~y=0 $.
3) $latex a=0,~b\neq0 $ $latex \Rightarrow x=1,~y=0 $.
Следовательно, $latex e=(1,0) $.
$latex \forall a,b~\epsilon~\mathbb{C}^{*} $ $latex \exists(x,y)~\epsilon~\mathbb{C}^{*} $:
$latex (a,b)(x,y)=(1,0) $
$latex (ax-by,bx+ay)=(1,0) $
$latex \begin{cases} ax-by=1 & \\ ay+bx = 0 & \end{cases} $
Домножим первое уравнение системы на $latex a $, а второе — на $latex b $, $latex a\neq0,~b\neq0 $.
$latex \begin{cases} a^2x-bay=a & \\ b^2x+bay = 0 & \end{cases} $
$latex (a^2+b^2)x = a $ $latex \Rightarrow x=\frac{a}{a^2+b^2} $.
$latex \frac{a^2}{a^2+b^2}-by=1 $ $latex \Rightarrow \frac{a^2}{a^2+b^2}-1=by $ $latex \Rightarrow \frac{a^2-a^2-b^2}{a^2+b^2}=by $ $latex \Rightarrow y=\frac{-b}{a^2+b^2} $.
$latex (a,b)^{-1}=(\frac{a}{a^2+b^2},\frac{-b}{a^2+b^2}) $.
$latex \mathbf{III.} $ Дистрибутивность.
Проверим выполнение законов дистрибутивности. В самом деле,
$latex (a,b)[(c,d)+(e,f)] $ $latex = $ $latex (a,b)(c,d)+(a,b)(e,f)$.
$latex \blacksquare $
[свернуть]