# subgroup

Definition:
Let $(G,*)$ be a group and let $K$ be subset of $G$. Then $K$ is a subgroup   of $G$ defined under the same operation  if $K$ is a group by itself (with respect to $*$), that is:

The subgroup is denoted likewise $(K,*)$. We denote $K$ being a subgroup of $G$ by writing $K\leq G$.

In addition the notion of a subgroup of a semigroup  can be defined in the following manner. Let $(S,*)$ be a semigroup and $H$ be a subset of $S$. Then $H$ is a subgroup of $S$ if $H$ is a subsemigroup of $S$ and $H$ is a group.

Properties:

There is a very useful theorem that allows proving a given subset is a subgroup.

Theorem:
If $K$ is a nonempty subset of the group $G$. Then $K$ is a subgroup of $G$ if and only if $s,t\in K$ implies that $st^{-1}\in K$.

Proof: First we need to show if $K$ is a subgroup of $G$ then $st^{-1}\in K$. Since $s,t\in K$ then $st^{-1}\in K$, because $K$ is a group by itself.
Now, suppose that if for any $s,t\in K\subseteq G$ we have $st^{-1}\in K$. We want to show that $K$ is a subgroup, which we will accomplish by proving it holds the group axioms.

Since $tt^{-1}\in K$ by hypothesis  , we conclude that the identity element is in $K$: $e\in K$. (Existence of identity)

Now that we know $e\in K$, for all $t$ in $K$ we have that $et^{-1}=t^{-1}\in K$ so the inverses of elements in $K$ are also in $K$. (Existence of inverses).

Let $s,t\in K$. Then we know that $t^{-1}\in K$ by last step. Applying hypothesis shows that

 $s(t^{-1})^{-1}=st\in K$

so $K$ is closed under the operation. $QED$

Example:

See also:

• Wikipedia, http://www.wikipedia.org/wiki/Subgroupsubgroup

 Title subgroup Canonical name Subgroup Date of creation 2013-03-22 12:02:10 Last modified on 2013-03-22 12:02:10 Owner Daume (40) Last modified by Daume (40) Numerical id 18 Author Daume (40) Entry type Definition Classification msc 20A05 Related topic Group Related topic Ring Related topic FreeGroup Related topic Cycle2 Related topic Subring Related topic GroupHomomorphism Related topic QuotientGroup Related topic ProperSubgroup Related topic SubmonoidSubsemigroup Related topic ProofThatGInGImpliesThatLangleGRangleLeG Related topic AbelianGroup2 Related topic EssentialSubgroup Related topic PGroup4 Defines trivial subgroup