The dynamical method in commutative algebra [2 ETCS Mat/01]


Supervisor
Ihsen Yengui - University of Sfax (Tunisia)

Date and time
Monday, August 24, 2020

Contact person
Peter Michael Schuster

Publication date
September 11, 2020

Department
Computer Science  

Summary

Transfinite methods, typically in the form of a variant of Zorn’s Lemma, are frequently invoked during proofs in commutative algebra. Dynamical methods have proved practicable to still render constructive proofs of that kind. Roughly speaking, ideal objects such as prime ideals are approximated by paths in finite trees which are grown as the proofs in question demand and carry the information required for the desired computation.

The minicourse “The dynamical method in commutative algebra” has been videoregistered in August 2020. Members of the University of Verona who wish to follow the course but are not authorised to access this link are kindly asked to contact Giulio Fellin. Students who want to obtain credits for this course also in the future should contact prof. Peter Schuster.


© 2002 - 2022  Verona University
Via dell'Artigliere 8, 37129 Verona  |  P. I.V.A. 01541040232  |  C. FISCALE 93009870234