Semigroup actionIn algebra and theoretical computer science, an action or act of a semigroup on a set is a rule which associates to each element of the semigroup a transformation of the set in such a way that the product of two elements of the semigroup (using the semigroup operation) is associated with the composite of the two corresponding transformations. The terminology conveys the idea that the elements of the semigroup are acting as transformations of the set.
Variété différentielleEn mathématiques, les variétés différentielles ou variétés différentiables sont les objets de base de la topologie différentielle et de la géométrie différentielle. Il s'agit de variétés, « espaces courbes » localement modelés sur l'espace euclidien de dimension n, sur lesquelles il est possible de généraliser une bonne part des opérations du calcul différentiel et intégral. Une variété différentielle se définit donc d'abord par la donnée d'une variété topologique, espace topologique localement homéomorphe à l'espace R.
Grand cercleEn géométrie, un grand cercle est un cercle tracé à la surface d'une sphère qui a le même diamètre qu'elle. De manière équivalente, on peut définir un grand cercle comme un cercle tracé sur la sphère ayant le même centre que la sphère ; ou encore, comme l'intersection entre une sphère et un plan passant par le centre de cette sphère ; ou comme un cercle tracé sur la sphère de longueur maximale. Par exemple, que l'on modélise le globe terrestre par une sphère ou que l'on considère l'ellipsoïde, dans ces deux cas l'équateur est un grand cercle.
Cercle d'EulerEn géométrie, le cercle d'Euler d'un triangle (aussi appelé cercle des neuf points, cercle de Feuerbach, cercle de Terquem, cercle médian) est l'unique cercle passant par les neuf points remarquables suivants : Les trois milieux des trois côtés du triangle ; Le pied de chacune des trois hauteurs du triangle ; Le milieu de chacun des trois segments reliant l'orthocentre H à un sommet du triangle. Dans son mémoire E325 présenté en 1763, Euler a considéré séparément les deux cercles circonscrits aux triangles et sans noter leur coïncidence .
Outil à mainUn outil à main est un outil qui est actionné à la main plutôt qu' à l'aide d'un moteur. Catégories d'outils à main comprennent des clés, pinces, cutter, outils de frappe, ciseaux, tournevis, étaux, serre-joint, cisailles, scies, perceuses et couteaux. Les outils d'extérieur tels que les fourches, les sécateurs et les râteaux sont aussi des outils à main. Les outils électroportatifs ne sont pas considérés comme des outils à main. Les outils à main sont utilisés par les humains depuis l'âge de pierre, où les pierres étaient utilisées pour couper et frapper.
Groupe profiniEn théorie des groupes, un groupe profini est un groupe topologique obtenu comme limite projective de groupes finis discrets. La notion de groupe profini est particulièrement utile en théorie de Galois, pour pouvoir travailler avec des extensions infinies. Comme plus généralement en théorie des catégories, cette limite projective est uniquement définie à unique isomorphisme près. Elle peut être interprétée comme objet final d'une bonne catégorie.
Prépublication (édition scientifique)Dans le domaine de la publication scientifique, une prépublication (également appelée manuscrit auteur, et très fréquemment préprint ou preprint) est une version d'un article scientifique qui précède son acceptation par le comité de rédaction d'une revue scientifique. Elle ne comprend donc pas les modifications réalisées par l'auteur ou les auteurs à la demande du comité de lecture lors du processus d'évaluation par les pairs, ni les corrections et la mise en page réalisés par l'éditeur.
HoméomorphismeEn topologie, un homéomorphisme est une application bijective continue, d'un espace topologique dans un autre, dont la bijection réciproque est continue. Dans ce cas, les deux espaces topologiques sont dits homéomorphes. La notion d'homéomorphisme est la bonne notion pour dire que deux espaces topologiques sont « le même » vu différemment. C'est la raison pour laquelle les homéomorphismes sont les isomorphismes de la catégorie des espaces topologiques. Soit et des espaces topologiques, une application bijective de sur .
Groupe divisibleEn mathématiques, et plus particulièrement en théorie des groupes, un groupe abélien divisible est un groupe abélien G tel que, pour tout nombre naturel n ≥ 1, on ait (en notation additive) G = nG. Ceci revient à dire que pour tout élément x de G et tout nombre naturel n ≥ 1, il existe au moins un élément y de G tel que x = ny. On peut étendre cette définition aux groupes non abéliens, un groupe divisible étant un groupe dans lequel (en notation multiplicative) tout élément est n-ième puissance, quel que soit l'entier naturel n ≥ 1.
Nombre constructibleUn nombre constructible (sous-entendu à la règle et au compas) est la mesure d'une longueur associée à deux points constructibles à la règle (non graduée) et au compas. Ainsi, est un nombre constructible, mais ni ni π ne le sont. C'est effectivement en termes de longueurs que pensaient les mathématiciens grecs et ceux qui, à leur suite, ont cherché à déterminer quels étaient les points et les nombres constructibles de cette façon.
Examples of groupsSome elementary examples of groups in mathematics are given on Group (mathematics). Further examples are listed here. Dihedral group of order 6 Consider three colored blocks (red, green, and blue), initially placed in the order RGB. Let a be the operation "swap the first block and the second block", and b be the operation "swap the second block and the third block". We can write xy for the operation "first do y, then do x"; so that ab is the operation RGB → RBG → BRG, which could be described as "move the first two blocks one position to the right and put the third block into the first position".
Groupe topologiqueEn mathématiques, un groupe topologique est un groupe muni d'une topologie compatible avec la structure de groupe, c'est-à-dire telle que la loi de composition interne du groupe et le passage à l'inverse sont deux applications continues. L'étude des groupes topologiques mêle donc des raisonnements d'algèbre et de topologie. La structure de groupe topologique est une notion essentielle en topologie algébrique. Les deux axiomes de la définition peuvent être remplacés par un seul : Un morphisme de groupes topologiques est un morphisme de groupes continu.
