Why ($\operatorname{Con}_{FI}(A))$ is closed under arbitrary intersection?
My question is why the set of fully invariant congruence of a set A is closed under arbitrary intersection?
1
$\begingroup$
universal-algebra
-
0@You'r welcome,Mohammad. :) – 2012-12-15
1 Answers
2
It’s very much like the proof that an arbitrary intersection of subgroups of a group is again a subgroup. Let $\Theta$ be any family of fully invariant congruences on $A$, and let $\theta=\bigcap\Theta$. Let $\sigma$ be any endomorphism of $A$, and let $a,b\in A$. Suppose that $a\,\theta\,b$. Then $a\,\rho\,b$ for all $\rho\in\Theta$, so $\sigma(a)\,\rho\,\sigma(b)$ for all $\rho\in\Theta$, and therefore $\sigma(a)\,\theta\,\sigma(b)$.
-
0@Mohammad: You’re welcome. – 2012-12-15