Morphism of algebraic varietiesIn algebraic geometry, a morphism between algebraic varieties is a function between the varieties that is given locally by polynomials. It is also called a regular map. A morphism from an algebraic variety to the affine line is also called a regular function. A regular map whose inverse is also regular is called biregular, and the biregular maps are the isomorphisms of algebraic varieties.
Variété abélienneEn mathématiques, et en particulier, en géométrie algébrique et géométrie complexe, une variété abélienne A est une variété algébrique projective qui est un groupe algébrique. La condition de est l'équivalent de la compacité pour les variétés différentielles ou analytiques, et donne une certaine rigidité à la structure. C'est un objet central en géométrie arithmétique. Une variété abélienne sur un corps k est un groupe algébrique A sur k, dont la variété algébrique sous-jacente est projective, connexe et géométriquement réduite.
Orbitevignette|La Station spatiale internationale en orbite au-dessus de la Terre. En mécanique céleste et en mécanique spatiale, une orbite () est la courbe fermée représentant la trajectoire que dessine, dans l'espace, un objet céleste sous l'effet de la gravitation et de forces d'inertie. Une orbite est ainsi la courbe tracée par une trajectoire périodique. Dans le Système solaire, la Terre, les autres planètes, les astéroïdes et les comètes sont en orbite autour du Soleil.
Morphisme platEn géométrie algébrique, un morphisme de schémas peut être vu comme une famille de schémas paramétrée par les points de Y. La notion de platitude de f est une sorte de continuité de cette famille. Un morphisme est dit plat en un point x de X si l'homomorphisme d'anneaux induit par f est plat. On dit que f est un morphisme plat s'il est plat en tout point de X. On dit que f est fidèlement plat s'il est de plus surjectif. Si est un faisceau quasi-cohérent sur X.
Action de groupe (mathématiques)En mathématiques, une action d'un groupe sur un ensemble est une loi de composition externe du groupe sur l'ensemble, vérifiant des conditions supplémentaires. Plus précisément, c'est la donnée, pour chaque élément du groupe, d'une permutation de l'ensemble, de telle manière que toutes ces bijections se composent de façon compatible avec la loi du groupe. Étant donné un ensemble E et un groupe G, dont la loi est notée multiplicativement et dont l'élément neutre est noté e, une action (ou opération) de G sur E est une application : vérifiant chacune des 2 propriétés suivantes : On dit également que G opère (ou agit) sur l'ensemble E.
Siegel modular varietyIn mathematics, a Siegel modular variety or Siegel moduli space is an algebraic variety that parametrizes certain types of abelian varieties of a fixed dimension. More precisely, Siegel modular varieties are the moduli spaces of principally polarized abelian varieties of a fixed dimension. They are named after Carl Ludwig Siegel, the 20th-century German number theorist who introduced the varieties in 1943. Siegel modular varieties are the most basic examples of Shimura varieties.
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.
Étale morphismIn algebraic geometry, an étale morphism (etal) is a morphism of schemes that is formally étale and locally of finite presentation. This is an algebraic analogue of the notion of a local isomorphism in the complex analytic topology. They satisfy the hypotheses of the implicit function theorem, but because open sets in the Zariski topology are so large, they are not necessarily local isomorphisms. Despite this, étale maps retain many of the properties of local analytic isomorphisms, and are useful in defining the algebraic fundamental group and the étale topology.
Sous-groupeUn sous-groupe est un objet mathématique décrit par la théorie des groupes. Dans cet article, (G, ∗) désigne un groupe d'élément neutre e. Dans la pratique, on note la loi interne du sous-groupe avec le même symbole que celui de la loi interne du groupe, c'est-à-dire ∗. Si G est un groupe alors {e} (le groupe réduit à l'élément neutre) et G sont toujours des sous-groupes de G. Ce sont les sous-groupes triviaux de G. On les appelle également les sous-groupes impropres de G.
Sous-groupe normalEn théorie des groupes, un sous-groupe normal (également appelé sous-groupe distingué ou sous-groupe invariantLien web|langue=fr|titre=Introduction à la théorie des groupes et de leurs représentations|auteur=Jean-Bernard Zuber|url=) H d'un groupe G est un sous-groupe globalement stable par l'action de G sur lui-même par conjugaison. Les sous-groupes normaux interviennent naturellement dans la définition du quotient d'un groupe. Les sous-groupes normaux de G sont exactement les noyaux des morphismes définis sur G.
Variété de drapeaux généraliséeEn mathématiques, une variété de drapeaux généralisée ou tordue est un espace homogène d'un groupe (algébrique ou de Lie) qui généralise les espaces projectifs, les grassmanniennes, les quadriques projectives et l'espace de tous les drapeaux de signature donnée d'un espace vectoriel. La plupart des espaces homogènes de points ou de figures de la géométrie classique sont des variétés de drapeaux généralisées ou des espaces symétriques ou des variétés symétriques (analogues en géométrie algébrique des espaces symétriques), ou leur sont liés.
Morphism of schemesIn algebraic geometry, a morphism of schemes generalizes a morphism of algebraic varieties just as a scheme generalizes an algebraic variety. It is, by definition, a morphism in the category of schemes. A morphism of algebraic stacks generalizes a morphism of schemes. By definition, a morphism of schemes is just a morphism of locally ringed spaces. A scheme, by definition, has open affine charts and thus a morphism of schemes can also be described in terms of such charts (compare the definition of morphism of varieties).
Variété projectiveEn géométrie algébrique, les variétés projectives forment une classe importante de variétés. Elles vérifient des propriétés de compacité et des propriétés de finitude. C'est l'objet central de la géométrie algébrique globale. Sur un corps algébriquement clos, les points d'une variété projective sont les points d'un ensemble algébrique projectif. On fixe un corps (commutatif) k. Algèbre homogène. Soit B le quotient de par un idéal homogène ( idéal engendré par des polynômes homogènes).
Treillis des sous-groupesthumb|Diagramme de Hasse du treillis des sous-groupes du groupe diédral D. En mathématique, le treillis des sous-groupes d'un groupe G est le treillis constitué des sous-groupes de G, muni de l'inclusion comme relation d'ordre partielle. La borne supérieure de deux sous-groupes a et b est le sous-groupe engendré par l'union de a et b et leur borne inférieure est leur intersection. Le groupe diédral D des huit isométries du carré contient dix sous-groupes, y compris D lui-même et son sous-groupe trivial.
Orbite en fer à chevalvignette|droite| L'orbite en fer à cheval d'un objet céleste est la trajectoire apparente que semble décrire cet objet lorsqu'il est observé depuis un autre corps céleste avec lequel il coorbite. Soit deux objets secondaires B et C, en révolution autour d'un même objet primaire A, selon un mouvement coorbital. Lorsque C est situé à proximité du , ou du système A-B, l'orbite de C autour de A semble décrire, lorsqu'elle est observée depuis B, un fer à cheval.
Orbite de rebutNOTOC Une orbite de rebut, parfois appelée orbite-poubelle ou orbite cimetière dans le domaine de l'astronautique, est l'orbite sur laquelle est transféré un satellite en fin de vie active. Les termes correspondants en anglais sont graveyard orbit, et disposal orbit. Les satellites de télécommunication, en orbite géostationnaire, utilisent le reliquat du carburant destiné à les maintenir en poste pour rejoindre leur orbite de rebut qui est supérieure (de 230 kilomètres) à leur orbite nominale.
Groupe dérivéEn mathématiques, en algèbre dans un groupe G, le groupe dérivé, noté D(G) ou [G, G], est le plus petit sous-groupe normal pour lequel le groupe quotient G/[G, G] est abélien. Le groupe dérivé de G est trivial si et seulement si le groupe G est abélien. Le groupe quotient de G par son groupe dérivé est l'abélianisé de G. Le procédé d'abélianisation permet souvent de prouver que deux groupes ne sont pas isomorphes. Il intervient aussi en géométrie.
Variété rationnelleEn géométrie algébrique, une variété rationnelle est une variété algébrique (intègre) V sur un corps K qui est birationnelle à un espace projectif sur K, c'est-à-dire qu'un certain ouvert dense de V est isomorphe à un ouvert d'un espace projectif. De façon équivalente, cela signifie que son corps de fonctions est isomorphe au corps des fractions rationnelles à d indéterminées K(U, ... , U), l'entier d étant alors égal à la dimension de la variété. Soit V une variété algébrique affine de dimension d définie par un idéal premier ⟨f, .
Variété jacobienneEn géométrie algébrique, la jacobienne d'une courbe est une variété algébrique (en fait une variété abélienne) qui paramètrise les diviseurs de degré 0 sur . C'est un objet fondamental pour l'étude des courbes, et c'est aussi un exemple de variété abélienne qui sert de variété test. On fixe une courbe algébrique projective lisse de genre au moins 1 sur un corps . Dans une première approximation, on peut dire que sa jacobienne est une variété algébrique dont les points correspondent aux diviseurs de degré 0 sur modulo équivalence rationnelle.
Mécanique spatialeLa mécanique spatiale, aussi dénommée astrodynamique, est, dans le domaine de l'astronomie et de l'astronautique, la science qui a trait à l'étude des mouvements. C'est une branche particulière de la mécanique céleste qui a notamment pour but de prévoir les trajectoires des objets spatiaux tels que les fusées ou les engins spatiaux y compris les manœuvres orbitales, les changements de plan d'orbite et les transferts interplanétaires.
