BEGIN:VCALENDAR
VERSION:2.0
PRODID:researchseminars.org
CALSCALE:GREGORIAN
X-WR-CALNAME:researchseminars.org
BEGIN:VEVENT
SUMMARY:Ross Willard (University of Waterloo)
DTSTART:20220201T200000Z
DTEND:20220201T210000Z
DTSTAMP:20260423T004758Z
UID:PALS/24
DESCRIPTION:Title: <a href="https://researchseminars.org/talk/PALS/24/">Ch
 aracterizing [alpha\,beta]=0 using Kiss terms</a>\nby Ross Willard (Univer
 sity of Waterloo) as part of PALS Panglobal Algebra and Logic Seminar\n\n\
 nAbstract\nMany years ago\, Kiss proved that the commutator relation [alph
 a\,beta]=0 can be characterized in congruence modular varieties by a simpl
 e condition involving a certain kind of 4-ary term\, which is now called a
  Kiss term.  Seven years ago\, Kearnes\, Szendrei and I claimed to extend 
 this characterization to varieties having a difference term\, and we used 
 this at a key step in proving our finite basis theorem for finite algebras
  in varieties having a difference term and having a finite residual bound.
 \nIt was recently brought to our attention that the published proof of our
  extension of Kiss’s result has a significant gap\, bringing into questi
 on the validity of our finite basis theorem.  In this talk I will sketch a
  new (correct) proof of this extension.   This is joint work with Keith Ke
 arnes and Agnes Szendrei.\n
LOCATION:https://researchseminars.org/talk/PALS/24/
END:VEVENT
END:VCALENDAR
