Résumé : I am going to talk about very popular combinatorial connection between ordinary and exponential generating functions which is called cycle index function. I am going to define the combinatorial species according to the book "Theory of Species" by Bergeron, Labelle, Leroux, and present their beautiful proof of the cycle index composition theorem. The proof relies on the theory of symmetric functions in infinitely many variables. This proof is a beautiful example of Grothendieck's concept: in order to prove something particular, one should make a more general statement and prove it.
Dernière modification : lundi 12 février 2018 | Contact : Cyril.Banderier at lipn.univ-paris13.fr |