<?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="Variety (universal algebra) - Page 2 - Wikipedia">
<p>
<a accesskey="1" href="page.php?w=variety_(universal_algebra)&amp;p=1">1.Previous</a><br />
<a accesskey="3" href="page.php?w=variety_%28universal_algebra%29&amp;p=3">3.Next</a>
</p>
<p>the <a href="page.php?w=Ring_%28mathematics%29">rings</a>, the <a href="page.php?w=monoid">monoid</a>s etc. According to Birkhoff's theorem, a class of algebraic structures of the same signature is a variety if and only if it is closed under the taking of <a href="page.php?w=homomorphism">homomorphic</a> images, <a href="page.php?w=subalgebra">subalgebra</a>s, and <a href="page.php?w=Direct_product">(direct) products</a>. In the context of <a href="page.php?w=category_theory">category theory</a>, a variety of algebras, together with its homomorphisms,</p><p>
<a accesskey="1" href="page.php?w=variety_(universal_algebra)&amp;p=1">1.Previous</a><br />
<a accesskey="3" href="page.php?w=variety_%28universal_algebra%29&amp;p=3">3.Next</a>
</p>

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

</card>
</wml>
