La définition doit quand même venir beaucoup plus tôt. J'ai même vu ça avant l'université ! Forcément, quand on voir les espaces de nombres classiques et les opérations arithmétique : beaucoup forment un groupe.
De plus, les groupes sont à la base de beaucoup des structures mathématiques (pas toutes mais beaucoup quand même).
Ou alors c'est qu'en quarante ans les cours de math se sont sacrément dégradés !!!!
-----