Friday, October 11, 2013 2:30 pm
-
2:30 pm
EDT (GMT -04:00)
Alexander Wires, Department of Pure Mathematics, University of Waterloo
"Taylor Algebras from Digraphs Should Have Better Identities"
We
provide
a
characterization
for
finitely
generated
Taylor
varieties similar
to
that
given
for
congruence
meet-semidistributive
varieties
established
by
Ross
Willard.
Originally
intended
as
a
way
of
analyzing
the
combinatorics
of
principal
congruences
in
such
algebras,
it
yields
simplified
proofs
of
two
well-known
results
concerning
the
closure
of
digraphs
under
Taylor
operations.