Voir la structure.
Sans la connaître
à l’avance.

Une dynamique étudie des transformations successives. Les constructions de Frobenius tordu explorées par le projet modifient une action algébrique dans un cadre précis. Cette synthèse ne présente pas une construction générale achevée.

Un quotient identifie des objets selon une relation d’équivalence. Un invariant conserve une propriété malgré certains changements de description. Le travail consiste à préciser cette équivalence et les observations qu’elle préserve.

Deux états sont distinguables lorsqu’une évolution future permet de les séparer par l’observation définie dans le modèle. Compter ces classes de futurs donne une borne sur le nombre d’états nécessaires.