Differences

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

congruence_e-regular [2010/08/20 20:41]
jipsen created
congruence_e-regular [2010/08/20 20:42] (current)
jipsen
Line 3: Line 3:
An algebra with a constant term $e$ is \emph{congruence $e$-regular} if each congruence relation of the algebra is An algebra with a constant term $e$ is \emph{congruence $e$-regular} if each congruence relation of the algebra is
determined by its $e$-congruence class, i.e., for all congruences $\theta$, $\psi$ of the algebra determined by its $e$-congruence class, i.e., for all congruences $\theta$, $\psi$ of the algebra
-$[e]_{\theta}=[e]_{\psi}\implies+$[e]_{\theta}=[e]_{\psi}\Longrightarrow
\theta =\psi$. \theta =\psi$.