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

residual_size [2010/08/20 19:55] (current)
jipsen created
Line 1: Line 1:
 +The \emph{residual size} of a class of algebraic structures is the supremum of the cardinalities of the
 +[[subdirectly irreducible]] members of the class. If there is no bound on the size of the subdirectly irreducible
 +members, the residual size is said to be \emph{unbounded}. In this case the class is said to be \emph{residually large},
 +otherwise it is \emph{residually small}. If all subdirectly irreducible members are finite, the class is \emph{residually finite}.