# Differences

This shows you the differences between two versions of the page.

varieties [2010/08/20 10:08] jipsen |
varieties [2010/08/20 10:08] (current) jipsen |
||
---|---|---|---|

Line 16: | Line 16: | ||

Equivalently, $\mathcal K$ is a variety iff $\mathcal K=HSP\mathcal K$. | Equivalently, $\mathcal K$ is a variety iff $\mathcal K=HSP\mathcal K$. | ||

- | In particular, given any class $\mathcal K$ of algebras, $\V\mathcal K=HSP\mathcal K$ is the smallest variety that contains $\mathcal K$, and is called the \emph{variety generated by $\mathcal K$}. | + | In particular, given any class $\mathcal K$ of algebras, $V\mathcal K=HSP\mathcal K$ is the smallest variety that contains $\mathcal K$, and is called the \emph{variety generated by $\mathcal K$}. |

See [[http://www.thoralf.uwaterloo.ca/htdocs/ualg.html| Stanley N. Burris and H.P. Sankappanavar, A Course in Universal Algebra]] for | See [[http://www.thoralf.uwaterloo.ca/htdocs/ualg.html| Stanley N. Burris and H.P. Sankappanavar, A Course in Universal Algebra]] for |

Trace: