INVESTIGADORES
SANCHEZ TERRAF Pedro Octavio
congresos y reuniones científicas
Título:
Varieties with Definable Factor Congruences
Autor/es:
PEDRO SÁNCHEZ TERRAF
Lugar:
Szeged, Hungría
Reunión:
Conferencia; Conference on UNIVERSAL ALGEBRA AND LATTICE THEORY; 2005
Institución organizadora:
Instituto Bolyai (Universdad de Szeged)
Resumen:
A variety V has Definable Factor Congruences (DFC) if for all A, B in V the kernel of the canonical projection A × B ---> A can be first-order defined in terms of the central elements associated to that congruence. We give an explicit definition and prove that for every variety where proper subalgebras are always nontrivial, DFC is indeed equivalent to Boolean Factor Congruences.
