<?xml version="1.0" encoding='utf-8'?>
<!DOCTYPE wml PUBLIC "-//WAPFORUM//DTD WML 1.1//EN" "http://www.wapforum.org/DTD/wml_1.1.xml">
<wml>
<card id="card1" title="Normal subgroup - Page 7 - Wikipedia">
<p>
<a accesskey="1" href="page.php?w=normal_subgroup&amp;p=6">1.Previous</a><br />
<a accesskey="3" href="page.php?w=normal_subgroup&amp;p=8">3.Next</a>
</p>
<p>.<br/>
* For all  and  the <a href="page.php?w=commutator">commutator</a>  is in <br/>
* Any two elements commute modulo the normal subgroup membership relation.  That is, for all   if and only if </p>

<p><big> Examples </big></p>
<p>For any group  the trivial subgroup  consisting of just the identity element of  is always a normal subgroup of   Likewise,  itself is always a normal subgroup of  (If these are the only normal subgroups, then  is said to be <a href="page.php?w=Simple_group">simple</a>.)  Other named normal subgroups of an arbitrary group</p><p>
<a accesskey="1" href="page.php?w=normal_subgroup&amp;p=6">1.Previous</a><br />
<a accesskey="3" href="page.php?w=normal_subgroup&amp;p=8">3.Next</a>
</p>

<do type="prev" label="Search">
        <go href="search.wml"/>
</do>

</card>
</wml>
