<?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="Direct product of groups - Page 11 - Wikipedia">
<p>
<a accesskey="1" href="page.php?w=Direct_product_of_groups&amp;p=10">1.Previous</a><br />
<a accesskey="3" href="page.php?w=Direct_product_of_groups&amp;p=12">3.Next</a>
</p>
<p>vice versa).  In the case where  is a <a href="page.php?w=finite_group">finite group</a>, it follows that the <a href="page.php?w=composition_factor">composition factor</a>s of  are precisely the <a href="page.php?w=union_%28set_theory%29">union</a> of the composition factors of  and the composition factors of .</p>

<p><big>Further properties</big></p>
<p><big>Universal property</big></p>
<p>The direct product  can be characterized by the following <a href="page.php?w=universal_property">universal property</a>.  Let  and  be the projection homomorphisms.  Then</p><p>
<a accesskey="1" href="page.php?w=Direct_product_of_groups&amp;p=10">1.Previous</a><br />
<a accesskey="3" href="page.php?w=Direct_product_of_groups&amp;p=12">3.Next</a>
</p>

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

</card>
</wml>
