BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//CERN//INDICO//EN
BEGIN:VEVENT
SUMMARY:Topological closure of ideals of commutative formal power series a
nd applications
DTSTART:20240606T090000Z
DTEND:20240606T093000Z
DTSTAMP:20240806T193600Z
UID:indico-event-12171@indico.math.cnrs.fr
DESCRIPTION:Speakers: Adya Musson-Leymarie\n\nMotivated by applications to
the new theory of topological rewriting and especially in the context of
rewriting on formal power series\, one is bound to ask themselves about th
e topological properties of the objects involved\; for instance\, algebrai
c ideals in the ring of the formal power series. From a general result of
Zariski and Samuel\, it is known that ideals of commutative formal power s
eries are topologically closed for the I-adic topology induced by the idea
l generated by the indeterminates. By means of rewriting methods using sta
ndard bases (analogous to GrÃ¶bner bases)\, we present in that talk a cons
tructive proof of this property. Finally\, we mention the implications thi
s result has in the equivalence of different confluence properties and in
the characterisations of standard bases.\n\nhttps://indico.math.cnrs.fr/ev
ent/12171/
LOCATION:XR 203 (XLIM)
URL:https://indico.math.cnrs.fr/event/12171/
END:VEVENT
END:VCALENDAR