OMath!
Group (1) - Printable Version

+- OMath! (http://math.elinkage.net)
+-- Forum: Math Forums (/forumdisplay.php?fid=4)
+--- Forum: Algebra (/forumdisplay.php?fid=5)
+--- Thread: Group (1) (/showthread.php?tid=96)



Group (1) - elim - 09-14-2010 01:15 PM

(1) Group $G$ is abelian if $\forall a \in G \quad (a^2 = e)$
(2) Let $(G, \cdot)$ be a semigroup. Show that
\(\quad\) (i) $G$ is a group iff $\forall a,b \in G \; \exists x,y \in G \quad(a\cdot x = b,\; y \cdot a = b)$
\(\quad\) (ii) If $|G| < \infty$, then $G$ is a group iff $(xa = xb \Rightarrow a=b) \wedge (ay=by \Rightarrow a=b)$ (cancellation laws)
(3) If $G$ is a group and $A,B \subset G,\; A\nsubseteq B,\; B\nsubseteq A$, then $A\cup B$ is not a group