DEA 01/02        

DEA  6/11/01

Résumé: cours du 6/11/01


cours précédent ........ cours suivant..........tous les cours    
Contenu du cours: Le treillis des réductions (standard).
Forme normale de tête. Similitude de fnt. Radical de tête. Forme normale de tête minimale.
Exercices.
  • Existe-t-il un terme dont le treillis des réductions est (isomorphe à $N$, $N2$ (lequel?), $Z$?
  • Est-ce que tout terme afnt tnormalise des termes arbitrairement grands?
  • Montrer que pour tout terme $T$, il existe un terme clos $T'$ qui est afnt ssi $T$ l'est.
  • Est-ce que tout terme partageant un réduit avec un terme afnt est afnt?


    cours précédent ........ cours suivant..........tous les cours    
       
    Andre.HIRSCHOWITZ
    Last modified:  Nov 8