Groupe de GrigorchukEn mathématiques et notamment en théorie des groupes, le groupe de Grigorchuk, aussi appelé le premier groupe de Grigorchuk, est un groupe finiment engendré construit par Rostislav Grigorchuk et qui fournit le premier exemple d'un groupe finiment engendré de croissance intermédiaire, c'est-à-dire plus rapide qu'un polynôme et plus lent qu'une exponentielle. Le groupe de Grigorchuk est aussi le premier exemple d'un groupe moyennable qui n’est pas élémentairement moyennable, ce qui répond à une question de Mahlon Day posée en 1957.
AutomorphismeUn automorphisme est un isomorphisme d'un objet mathématique X dans lui-même. Le plus souvent, c'est une bijection de X dans X qui préserve la « structure » de X. On peut le voir comme une symétrie de X. Les automorphismes de X forment un groupe. La définition abstraite d'un automorphisme est la suivante : c'est un endomorphisme qui est en même temps un isomorphisme. Autrement dit, c'est un morphisme d'un objet X d'une catégorie donnée dans lui-même, qui est également un isomorphisme.
Classe d'EulerEn topologie algébrique, la classe d’Euler est une classe caractéristique d'un fibré vectoriel réel orienté. Elle mesure l’obstruction à trouver une section d’un fibré qui ne s’annule pas. Cette notion trouve son origine dans la théorie de l'homologie. Soit ξ un fibré vectoriel réel orienté de rang sur une variété compacte orientée de dimension . Une section générique de ξ est transverse à la section nulle. Par conséquent, le lieu de ses zéros est une sous-variété compacte sans bord orientée de dimension -, elle possède une classe d’homologie [] qui ne dépend pas du choix de la section.
Schéma d'axiomes de remplacementLe schéma d'axiomes de remplacement, ou schéma d'axiomes de substitution, est un schéma d'axiomes de la théorie des ensembles introduit en 1922 indépendamment par Abraham Adolf Fraenkel et Thoralf Skolem. Il assure l'existence d'ensembles qui ne pouvaient être obtenus dans la théorie des ensembles de Ernst Zermelo, et offre ainsi un cadre axiomatique plus fidèle à la théorie des ensembles de Georg Cantor. En ajoutant à la théorie de Zermelo le schéma d'axiomes de remplacement, on obtient la théorie de Zermelo-Fraenkel, notée ZFC ou ZF suivant que l'on comprend ou non l'axiome du choix.
Coordonnées grassmanniennesLes coordonnées grassmanniennes sont une généralisation des coordonnées plückeriennes qui permettent de paramétrer les sous espaces de dimension de l'espace vectoriel par un élément de l'espace projectif de l'espace vectoriel des produits extérieurs des familles de vecteurs de . Le plongement plückerien est un plongement naturel de la variété grassmannienne dans l'espace projectif : Ce plongement est défini comme suit.
