Группа \( G \) — множество с бинарной операцией на элементах \( \;\cdot:\; G \times G \to G \), обладающее свойствами:
- Для \( \forall a,b,c \in G \) выполняется \( a(bc)=(ab)c \),
- \( \exists e \in G \) такой, что \( ae=a \) для \( \forall a \in G \),
- Для \( \forall a \in G \) \( \;\exists \left( a^{-1} \right) \in G \) такой, что \( a\left( a^{-1} \right)=e \).
Доказать, что
- \( ea=a \); \( \;\not\exists e_1\neq e \) такой, что \( \;ae_1=a \);
- \( \left( a^{-1} \right)a=e \); \( \;\not\exists \left( a^{-1} \right)_1\neq \left( a^{-1} \right) \) такой, что \( \;a\left( a^{-1} \right)_1=e \).
