Groupe réductifEn mathématiques, un groupe réductif est un groupe algébrique G sur un corps algébriquement clos tel que le radical unipotent de G (c'est-à-dire le sous-groupe des éléments unipotents de ) soit trivial. Tout est réductif, de même que tout tore algébrique et tout groupe général linéaire. Plus généralement, sur un corps k non nécessairement algébriquement clos, un groupe réductif est un groupe algébrique affine lisse G tel que le radical unipotent de G sur la clôture algébrique de k soit trivial.
Linear algebraic groupIn mathematics, a linear algebraic group is a subgroup of the group of invertible matrices (under matrix multiplication) that is defined by polynomial equations. An example is the orthogonal group, defined by the relation where is the transpose of . Many Lie groups can be viewed as linear algebraic groups over the field of real or complex numbers. (For example, every compact Lie group can be regarded as a linear algebraic group over R (necessarily R-anisotropic and reductive), as can many noncompact groups such as the simple Lie group SL(n,R).
Groupe algébriqueEn géométrie algébrique, la notion de groupe algébrique est un équivalent des groupes de Lie en géométrie différentielle ou complexe. Un groupe algébrique est une variété algébrique munie d'une loi de groupe compatible avec sa structure de variété algébrique. Un groupe algébrique sur un corps (commutatif) K est une variété algébrique sur munie : d'un morphisme de K-variétés algébriques (appelé aussi multiplication) .
Projective linear groupIn mathematics, especially in the group theoretic area of algebra, the projective linear group (also known as the projective general linear group or PGL) is the induced action of the general linear group of a vector space V on the associated projective space P(V). Explicitly, the projective linear group is the quotient group PGL(V) = GL(V)/Z(V) where GL(V) is the general linear group of V and Z(V) is the subgroup of all nonzero scalar transformations of V; these are quotiented out because they act trivially on the projective space and they form the kernel of the action, and the notation "Z" reflects that the scalar transformations form the center of the general linear group.
Groupe de type de LieEn mathématiques, un groupe de type de Lie G(k) est un groupe (non nécessairement fini) de points rationnels d'un groupe algébrique linéaire réductif G à valeur dans le corps commutatif k. La classification des groupes simples finis montre que les groupes de types de Lie finis forment l'essentiel des groupes finis simples. Des cas particuliers incluent les groupes classiques, les groupes de Chevalley, les groupes de Steinberg et les groupes de Suzuki-Ree.
Relation d'équivalenceEn mathématiques, une relation d'équivalence permet, dans un ensemble, de mettre en relation des éléments qui sont similaires par une certaine propriété. On pourra ainsi regrouper ces éléments par « paquets » d'éléments qui se ressemblent, définissant ainsi la notion de classe d'équivalence, pour enfin construire de nouveaux ensembles en « assimilant » les éléments similaires à un seul et même élément. On aboutit alors à la notion d'ensemble quotient. vignette|upright=1.5|Sur cet ensemble de huit exemplaires de livres, la relation « .
Equivalence classIn mathematics, when the elements of some set have a notion of equivalence (formalized as an equivalence relation), then one may naturally split the set into equivalence classes. These equivalence classes are constructed so that elements and belong to the same equivalence class if, and only if, they are equivalent. Formally, given a set and an equivalence relation on the of an element in denoted by is the set of elements which are equivalent to It may be proven, from the defining properties of equivalence relations, that the equivalence classes form a partition of This partition—the set of equivalence classes—is sometimes called the quotient set or the quotient space of by and is denoted by .
UnipotentEn mathématiques, un élément unipotent r d'un anneau unitaire R est un tel que r − 1 est un élément nilpotent ; en d'autres termes, (r − 1)n vaut zéro pour n assez grand. En particulier, une matrice carrée M est une matrice unipotente si et seulement si son polynôme caractéristique P(t) est une puissance de t − 1. Ainsi, toutes les valeurs propres d'une matrice unipotente valent 1. Le terme quasi-unipotent signifie qu'une certaine puissance de l'élément est unipotente.
Anneau quotientEn mathématiques, un anneau quotient est un anneau qu'on construit sur l'ensemble quotient d'un anneau par un de ses idéaux bilatères. Soit A un anneau. L'addition et la multiplication de A sont compatibles avec une relation d'équivalence sur A si (et seulement si) celle-ci est de la forme : x ~ y ⇔ x – y ∈ I, pour un certain idéal bilatère I de A. On peut alors munir l'ensemble quotient A/I de l'addition et de la multiplication quotients de celles de A : Ceci munit A/I d'une structure d'anneau, appelé l'anneau quotient de A par I (son groupe additif est le groupe quotient de (A, +) par I).
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.
Orbite elliptiqueEn mécanique céleste et en mécanique spatiale, une orbite elliptique est une orbite dont l'excentricité est inférieure à 1 et non nulle. L'astronome andalou et musulman Al-Zarqali du suggère et affirme déjà que les orbites planétaires sont des ellipses. L'ellipticité des orbites héliocentriques de la Terre et des autres planètes du Système solaire a été découverte par l'astronome allemand et protestant Johannes Kepler (1571-1630), à partir des observations de l'orbite de la planète Mars.
QuotientEn mathématiques, un quotient est le résultat d'une division. Le quotient existe ou pas selon l'ensemble de nombres considéré. Dans les entiers naturels, le quotient de par n'existe que si est un multiple de . On parle alors de quotient euclidien, puisqu'il résulte d'une division euclidienne. Le mot quotient s'emploie parfois pour fraction.
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.
Geometric invariant theoryIn mathematics, geometric invariant theory (or GIT) is a method for constructing quotients by group actions in algebraic geometry, used to construct moduli spaces. It was developed by David Mumford in 1965, using ideas from the paper in classical invariant theory. Geometric invariant theory studies an action of a group G on an algebraic variety (or scheme) X and provides techniques for forming the 'quotient' of X by G as a scheme with reasonable properties.
Vitesse orbitalethumb|Comparaisons de vitesses orbitales de différents satellites de la Terre. La vitesse orbitale d'un objet céleste, le plus souvent une planète, un satellite naturel, un satellite artificiel ou une étoile binaire, est la vitesse à laquelle il orbite autour du barycentre d'un système à deux corps, soit donc le plus souvent autour d'un corps plus massif. L'expression peut être employée pour désigner la vitesse orbitale moyenne du corps le long de son orbite ou la vitesse orbitale instantanée, en un point précis.
Orbital elementsOrbital elements are the parameters required to uniquely identify a specific orbit. In celestial mechanics these elements are considered in two-body systems using a Kepler orbit. There are many different ways to mathematically describe the same orbit, but certain schemes, each consisting of a set of six parameters, are commonly used in astronomy and orbital mechanics. A real orbit and its elements change over time due to gravitational perturbations by other objects and the effects of general relativity.
Topologie quotientEn mathématiques, la topologie quotient consiste intuitivement à créer une topologie en collant certains points d'un espace donné sur d'autres, par le biais d'une relation d'équivalence bien choisie. Cela est souvent fait dans le but de construire de nouveaux espaces à partir d'anciens. On parle alors d'espace topologique quotient. Beaucoup d'espaces intéressants, le cercle, les tores, le ruban de Möbius, les espaces projectifs sont définis comme des quotients.
Espace vectoriel quotientEn algèbre linéaire, l'espace vectoriel quotient E/F d'un espace vectoriel E par un sous-espace vectoriel F est la structure naturelle d'espace vectoriel sur l'ensemble quotient de E par la relation d'équivalence définie de la manière suivante : v est en relation avec w si et seulement si v – w appartient à F. C'est donc l'ensemble des classes [v] = v + F, où v parcourt E, muni des lois suivantes : somme vectorielle : [v] + [w] = [v + w] ; multiplication par un scalaire : λ [v] = [λ v].
