Difference between revisions of "Group"

Revision as of 09:28, 11 March 2015 (view source) Alec (Talk | contribs) (Created page with "==Definition== A group is a set {{M|G}} and an operation <math>*:G\times G\rightarrow G</math>, denoted <math>(G,*:G\times G\rightarrow G)</math> but Mathematicians are lazy...") Newer edit →

(No difference)

---

Revision as of 09:28, 11 March 2015

Definition

A group is a set $G$ and an operation

$$*:G\times G\rightarrow G$$ , denoted $$(G,*:G\times G\rightarrow G)$$ but mathematicians are lazy so we just write $$(G,*)$$

Such that the following axioms hold:

Axioms

Words	Formal
$$\forall a,b,c\in G:[(a*b)*c=a*(b*c)]$$	$*$ is associative, because of this we may write $$a*b*c$$ unambiguously.
$$\exists e\in G\forall g\in G[e*g=g*e=g]$$	$*$ has an identity element
$$\forall g\in G\exists x\in G[xg=gx=e]$$	All elements of $G$ have an inverse element under $*$, that is