Automorphisme intérieurUn automorphisme intérieur est une notion mathématique utilisée en théorie des groupes. Soient G un groupe et g un élément de G. On appelle automorphisme intérieur associé à g, noté ιg, l'automorphisme de G défini par : Pour un groupe abélien, les automorphismes intérieurs sont triviaux. Plus généralement, l'ensemble des automorphismes intérieurs de G forme un sous-groupe normal du groupe des automorphismes de G, et ce sous-groupe est isomorphe au groupe quotient de G par son centre.
Outer automorphism groupIn mathematics, the outer automorphism group of a group, G, is the quotient, Aut(G) / Inn(G), where Aut(G) is the automorphism group of G and Inn(G) is the subgroup consisting of inner automorphisms. The outer automorphism group is usually denoted Out(G). If Out(G) is trivial and G has a trivial center, then G is said to be complete. An automorphism of a group that is not inner is called an outer automorphism. The cosets of Inn(G) with respect to outer automorphisms are then the elements of Out(G); this is an instance of the fact that quotients of groups are not, in general, (isomorphic to) subgroups.
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.
Courbe algébriqueEn mathématiques, et plus précisément en géométrie algébrique, une courbe algébrique est une variété algébrique (ou un schéma de type fini) sur un corps, dont les composantes irréductibles sont de dimension 1. Cette définition est la généralisation moderne de celle des courbes algébriques classiques, telles que les coniques, définies, dans le cas des courbes planes, comme l'ensemble des points solutions d'une équation polynomiale. Sous sa forme la plus générale, une courbe algébrique sur un corps est une variété algébrique de dimension 1 sur , séparée pour éviter des pathologies.
Moduli of algebraic curvesIn algebraic geometry, a moduli space of (algebraic) curves is a geometric space (typically a scheme or an algebraic stack) whose points represent isomorphism classes of algebraic curves. It is thus a special case of a moduli space. Depending on the restrictions applied to the classes of algebraic curves considered, the corresponding moduli problem and the moduli space is different. One also distinguishes between fine and coarse moduli spaces for the same moduli problem.
Automorphism groupIn mathematics, the automorphism group of an object X is the group consisting of automorphisms of X under composition of morphisms. For example, if X is a finite-dimensional vector space, then the automorphism group of X is the group of invertible linear transformations from X to itself (the general linear group of X). If instead X is a group, then its automorphism group is the group consisting of all group automorphisms of X. Especially in geometric contexts, an automorphism group is also called a symmetry group.
CourbeEn mathématiques, plus précisément en géométrie, une courbe, ou ligne courbe, est un objet du plan ou de l'espace usuel, similaire à une droite mais non nécessairement linéaire. Par exemple, les cercles, les droites, les segments et les lignes polygonales sont des courbes. La notion générale de courbe se décline en plusieurs objets mathématiques ayant des définitions assez proches : arcs paramétrés, lignes de niveau, sous-variétés de .
Automorphisms of the symmetric and alternating groupsIn group theory, a branch of mathematics, the automorphisms and outer automorphisms of the symmetric groups and alternating groups are both standard examples of these automorphisms, and objects of study in their own right, particularly the exceptional outer automorphism of S6, the symmetric group on 6 elements. , and thus . Formally, is complete and the natural map is an isomorphism. , and the outer automorphism is conjugation by an odd permutation. Indeed, the natural maps are isomorphisms.
Hurwitz's automorphisms theoremIn mathematics, Hurwitz's automorphisms theorem bounds the order of the group of automorphisms, via orientation-preserving conformal mappings, of a compact Riemann surface of genus g > 1, stating that the number of such automorphisms cannot exceed 84(g − 1). A group for which the maximum is achieved is called a Hurwitz group, and the corresponding Riemann surface a Hurwitz surface. Because compact Riemann surfaces are synonymous with non-singular complex projective algebraic curves, a Hurwitz surface can also be called a Hurwitz curve.
Surface de RiemannEn géométrie différentielle et géométrie analytique complexe, une surface de Riemann est une variété complexe de dimension 1. Cette notion a été introduite par Bernhard Riemann pour prendre en compte les singularités et les complications topologiques qui accompagnent certains prolongements analytiques de fonctions holomorphes. Par oubli de structure, une surface de Riemann se présente comme une variété différentielle réelle de dimension 2, d'où le nom surface. Elles ont été nommées en hommage au mathématicien allemand Bernhard Riemann.
Courbe planevignette|droite|Courbe hyperbolique. En mathématiques, plus précisément en géométrie, une courbe plane est une courbe qui est entièrement contenue dans un (unique) plan, et qui est identifiable à une fonction continue : où est un intervalle de l'ensemble des nombres réels. L' d'une courbe est aussi appelée support de la courbe. Parfois, on utilise aussi l'expression courbe pour indiquer le support d'une courbe. Une courbe sur un espace euclidien de dimension supérieure à 2 est dite plane si son support est contenu dans un plan lui-même contenu dans l'espace euclidien dans lequel elle est définie.
Variété algébriqueUne variété algébrique est, de manière informelle, l'ensemble des racines communes d'un nombre fini de polynômes en plusieurs indéterminées. C'est l'objet d'étude de la géométrie algébrique. Les schémas sont des généralisations des variétés algébriques. Il y a deux points de vue (essentiellement équivalents) sur les variétés algébriques : elles peuvent être définies comme des schémas de type fini sur un corps (langage de Grothendieck), ou bien comme la restriction d'un tel schéma au sous-ensemble des points fermés.
Courbe hyperelliptiquedroite|vignette|Une courbe hyperelliptique, d'équation En géométrie algébrique, une courbe hyperelliptique est un cas particulier de courbe algébrique de genre g > 1 donnée par une équation de la forme : où f(x) est un polynôme de degré n = 2g + 1 > 4 ou avec n = 2g + 2 > 4 racines distinctes et h(x) est un polynôme de degré strictement inférieur à g + 2 (si la caractéristique du corps commutatif n'est pas 2, on peut prendre h(x) = 0).
Automorphisme de graphevignette|On peut définir deux automorphismes sur le graphe maison : l'identité et la permutation qui échange les deux « murs » de la « maison ». En mathématiques et en particulier en théorie des graphes, un automorphisme de graphe est une bijection de l'ensemble des sommets vers lui-même qui préserve l'ensemble des arêtes. On peut voir l'automorphisme de graphes comme un isomorphisme de graphes du graphe dans lui-même. On peut en général s'arranger pour mettre en évidence visuellement les automorphismes de graphes sous forme de symétries dans le tracé du graphe.
Courbe elliptiqueEn mathématiques, une courbe elliptique est un cas particulier de courbe algébrique, munie entre autres propriétés d'une addition géométrique sur ses points. Les courbes elliptiques ont de nombreuses applications dans des domaines très différents des mathématiques : elles interviennent ainsi en mécanique classique dans la description du mouvement des toupies, en théorie des nombres dans la démonstration du dernier théorème de Fermat, en cryptologie dans le problème de la factorisation des entiers ou pour fabriquer des codes performants.
Courbe de BézierLes courbes de Bézier sont des courbes polynomiales paramétriques développées pour concevoir des pièces de carrosserie d'automobiles. Elles ont été conçues par Paul de Casteljau en 1959 pour Citroën et, indépendamment, par Pierre Bézier en 1962 pour Renault (les travaux de Paul de Casteljau étant confidentiels, c'est le nom de Bézier qui est passé à la postérité). Elles ont de nombreuses applications dans la et le rendu de polices de caractères. Elles ont donné naissance à de nombreux autres objets mathématiques.
Groupe classiqueEn mathématiques, les groupes classiques sont différentes familles de groupes de transformations liées à l'algèbre linéaire, principalement les groupes linéaires, orthogonaux, symplectiques et unitaires. Ces groupes peuvent aussi être présentés comme groupes de matrices inversibles, et des quotients de ceux-ci. Les groupes matrices carrées d'ordre n (GL(n, R)), GL(n, C)), le groupe des matrices orthogonales d'ordre n (O(n)) et le groupe des matrices unitaires d'ordre n (U(n)) sont des exemples explicites de groupes classiques.
Application semi-linéaireEn algèbre linéaire, en particulier en géométrie projective, une application semi-linéaire entre les espaces vectoriels V et W sur un corps K est une fonction qui est une application linéaire « à torsion près », donc semi -linéaire, où « torsion » signifie « automorphisme de corps de K ». Explicitement, c'est une application telle que : est additive par rapport à l'addition vectorielle : pour tous et de ; il existe un automorphisme de corps θ de K tel que , où est l'image du scalaire par l'automorphisme .
Couple (mathématiques)En mathématiques, un couple de deux objets est la donnée de ces deux objets dans un ordre déterminé. Le couple des deux objets et est noté . Si et sont distincts, le couple est distinct du couple ; en cela, la notion de couple se distingue de la notion de paire où l'ordre des éléments est indifférent. Pour désigner un couple, les anglophones emploient d'ailleurs ordered pair, c’est-à-dire paire ordonnée. Les objets a et b sont appelés respectivement première composante et deuxième composante du couple (a, b).
Holomorphic vector bundleIn mathematics, a holomorphic vector bundle is a complex vector bundle over a complex manifold X such that the total space E is a complex manifold and the projection map π : E → X is holomorphic. Fundamental examples are the holomorphic tangent bundle of a complex manifold, and its dual, the holomorphic cotangent bundle. A holomorphic line bundle is a rank one holomorphic vector bundle. By Serre's GAGA, the category of holomorphic vector bundles on a smooth complex projective variety X (viewed as a complex manifold) is equivalent to the category of algebraic vector bundles (i.
