A new algorithm for the Quillen-Suslin theorem.
Le groupe est le plus petit groupe pour lequel existent des modules stablement libres non libres. On montre que toutes les classes d’isomorphisme de tels modules peuvent être représentées une infinité de fois par des anneaux d’entiers. On applique un travail de classification de Swan, pour cela on doit construire explicitement des bases normales d’entiers d’extensions à groupe ; cela se fait en liant un critère de Martinet avec une construction de Witt.
Let be the unique noncommutative and noncocommutative eight dimensional semi-simple Hopf algebra. We first construct a weak Hopf algebra based on , then we investigate the structure of the representation ring of . Finally, we prove that the automorphism group of is just isomorphic to , where is the dihedral group with order 12.