Théorème des facteurs invariantsEn mathématiques, le théorème des facteurs invariants porte sur les modules de type fini sur les anneaux principaux. Les facteurs invariants non inversibles sont des obstructions à l'inversibilité des matrices qui n'apparaissent pas dans la théorie des espaces vectoriels. Leur calcul a de nombreuses applications : par exemple trouver la classe d'isomorphie d'un groupe abélien de type fini à partir d'une présentation de celui-ci. Dans un cadre précis, le théorème des facteurs invariants se particularise en théorèmes de réduction d'endomorphisme.
Idéal principalEn mathématiques, plus particulièrement dans la théorie des anneaux, un idéal principal est un idéal engendré par un seul élément. Soit A un anneau. Un idéal à droite I est dit principal à droite s'il est égal à l'idéal à droite engendré par un élément a, c'est-à-dire si I = aA := { ax | x ∈ A }. Un idéal à gauche I est dit principal à gauche s'il est égal à l'idéal à gauche engendré par un élément a, c'est-à-dire si I = Aa := { xa | x ∈ A }.
Mars roverA Mars rover is a motor vehicle designed to travel on the surface of Mars. Rovers have several advantages over stationary landers: they examine more territory, they can be directed to interesting features, they can place themselves in sunny positions to weather winter months, and they can advance the knowledge of how to perform very remote robotic vehicle control. They serve a different purpose than orbital spacecraft like Mars Reconnaissance Orbiter. A more recent development is the Mars helicopter.
Mars 3Mars 3 est une sonde spatiale soviétique lancée le , jumelle de Mars 2 (lancée quelques jours plus tôt, le , dont l'atterrisseur s'est écrasé à la surface de la planète).Mars 3 comporte un orbiteur et un atterrisseur destinés à explorer la planète Mars. L'orbiteur ayant réussi son centrage autour de Mars, il libère l'atterrisseur qui, le 2 décembre de la même année, arrive intact sur le sol martien près de Sirenum Fossae grâce à un parachute et des rétrofusées.
Mars (planète)Mars () est la quatrième planète du Système solaire par ordre croissant de la distance au Soleil et la deuxième par ordre croissant de la taille et de la masse. Son éloignement au Soleil est compris entre (206,6 à de kilomètres), avec une période orbitale de martiens ( ou terrestre). C’est une planète tellurique, comme le sont Mercure, Vénus et la Terre, environ dix fois moins massive que la Terre mais dix fois plus massive que la Lune.
Entier quadratiqueEn mathématiques, un entier quadratique est un nombre complexe, racine d'un polynôme unitaire du second degré à coefficients entiers. La notion de nombre algébrique de degré inférieur ou égal à 2 est plus générale : elle correspond à un nombre complexe, racine d'un polynôme du second degré à coefficients seulement rationnels. Ces nombres particuliers disposent de propriétés algébriques.
Mars 2NOTOC Mars 2 (comme sa jumelle Mars 3), était une sonde lancée le par l'URSS vers la planète Mars, constituée d'un orbiteur et d'un atterrisseur. Le , l'atterrisseur de Mars 2, bien qu'il s'écrasât, fut le premier objet de fabrication humaine à avoir touché Mars. Masse au lancement (en incluant combustible) : combiné : ; orbiteur : ; atterrisseur : . Dimensions : de haut, de large ( avec les panneaux solaires déployés). Mars 2 renvoya un énorme volume de données, de à , après 362 orbites autour de Mars.
Idéal fractionnairevignette|Richard Dedekind donne en 1876 la définition d'idéal fractionnaire. En mathématiques, et plus précisément en théorie des anneaux, un idéal fractionnaire est une généralisation de la définition d'un idéal. Ce concept doit son origine à la théorie algébrique des nombres. Pour résoudre certaines équations diophantiennes, cette théorie utilise des anneaux d'entiers généralisant celui des entiers relatifs.
Module sur un anneauEn mathématiques, et plus précisément en algèbre générale, au sein des structures algébriques, : pour un espace vectoriel, l'ensemble des scalaires forme un corps tandis que pour un module, cet ensemble est seulement muni d'une structure d'anneau (unitaire, mais non nécessairement commutatif). Une partie des travaux en théorie des modules consiste à retrouver les résultats de la théorie des espaces vectoriels, quitte pour cela à travailler avec des anneaux plus maniables, comme les anneaux principaux.
Mars 2020 (mission spatiale)vignette|upright=1.4|Test de la phase de séparation de l'étage de descente (Sky Crane) et de l'astromobile Perseverance. est une mission spatiale qui consiste à déployer l'astromobile (rover) Perseverance sur le sol martien pour étudier sa surface et collecter des échantillons du sol. Cette mission d'exploration de la planète Mars est développée par le JPL, établissement de la NASA, l'agence spatiale américaine. Elle constitue la première d'une série de trois missions dont l'objectif final est de ramener ces échantillons sur Terre pour permettre leur analyse.
Critère d'EisensteinEn mathématiques, le « critère d'Eisenstein », publié auparavant par Theodor Schönemann, donne des conditions suffisantes pour qu'un polynôme à coefficients entiers soit irréductible sur le corps des nombres rationnels. Considérons un polynôme P(X) à coefficients entiers, que l'on note Supposons qu'il existe un nombre premier p tel que : p divise ; p ne divise pas a ; p ne divise pas a. Alors P(X) est irréductible dans l'anneau des polynômes à coefficients rationnels.
Anneau à PGCDEn algèbre commutative, un anneau à PGCD, ou plus rarement anneau de Gauss, est un anneau commutatif unitaire dans lequel tout couple d'éléments non nuls possède un plus grand diviseur commun. Dans un anneau quelconque, l'existence d'un tel PGCD n'est pas toujours acquise. Les anneaux intègres à PGCD représentent une classe d'anneaux aux propriétés arithmétiques intéressantes à tel point qu'il est fréquent que les anneaux à PGCD ne soient étudiés que dans les anneaux intègres.
Ascending chain condition on principal idealsIn abstract algebra, the ascending chain condition can be applied to the posets of principal left, principal right, or principal two-sided ideals of a ring, partially ordered by inclusion. The ascending chain condition on principal ideals (abbreviated to ACCP) is satisfied if there is no infinite strictly ascending chain of principal ideals of the given type (left/right/two-sided) in the ring, or said another way, every ascending chain is eventually constant.
Groupe des classes d'idéauxEn mathématiques, et plus précisément en algèbre, la théorie des corps de nombres – les extensions finies du corps Q des rationnels – fait apparaître un groupe abélien fini construit à partir de chacun de ces corps : son groupe des classes d'idéaux. Les premiers groupes de classes rencontrés en algèbre furent des groupes de classes de formes quadratiques : dans le cas des formes quadratiques binaires, dont l'étude a été faite par Gauss, une loi de composition est définie sur certaines classes d'équivalence de formes.
Anneau de BézoutEn algèbre commutative, un anneau quasi-bézoutien est un anneau où la propriété de Bézout est vérifiée ; plus formellement, c'est un anneau dans lequel tout idéal de type fini est principal. Un anneau de Bézout, ou anneau bézoutien, est un anneau quasi-bézoutien intègre. Un idéal de type fini est un idéal engendré par un nombre fini d'éléments. Un idéal engendré par un élément a est dit idéal principal et se note aA. Un idéal engendré par deux éléments a et b se note aA + bA, il est constitué des éléments de A pouvant s'écrire sous la forme au + bv avec u et v éléments de A.
Entier de Gaussthumb|Carl Friedrich Gauss. En mathématiques, et plus précisément, en théorie algébrique des nombres, un entier de Gauss est un nombre complexe dont la partie réelle et la partie imaginaire sont des entiers relatifs. Il s'agit formellement d'un élément de l'anneau des entiers quadratiques de l'extension quadratique des rationnels de Gauss L'ensemble des entiers de Gauss possède une structure forte. Comme tous les ensembles d'entiers algébriques, muni de l'addition et de la multiplication ordinaire des nombres complexes, il forme un anneau intègre, généralement noté , désignant ici l'unité imaginaire.
Minimal idealIn the branch of abstract algebra known as ring theory, a minimal right ideal of a ring R is a non-zero right ideal which contains no other non-zero right ideal. Likewise, a minimal left ideal is a non-zero left ideal of R containing no other non-zero left ideals of R, and a minimal ideal of R is a non-zero ideal containing no other non-zero two-sided ideal of R . In other words, minimal right ideals are minimal elements of the partially ordered set (poset) of non-zero right ideals of R ordered by inclusion.
Torsion (algèbre)En algèbre, dans un groupe, un élément est dit de torsion s'il est d'ordre fini, c'est-à-dire si l'une de ses puissances non nulle est l'élément neutre. La torsion d'un groupe est l'ensemble de ses éléments de torsion. Un groupe est dit sans torsion si sa torsion ne contient que le neutre, c'est-à-dire si tout élément différent du neutre est d'ordre infini. Si le groupe est abélien, sa torsion est un sous-groupe. Par exemple, le sous-groupe de torsion du groupe abélien est .
Module simpleUn module M sur un anneau A est dit simple ou irréductible si M n'est pas le module nul et il n'existe pas de sous-modules de M en dehors de {0} et M. Les Z-modules simples sont les groupes abéliens simples, c'est-à-dire les groupes cycliques d'ordre premier. Les espaces vectoriels simples (sur un corps non nécessairement commutatif) sont les droites vectorielles. Étant donné un anneau A et I un idéal à gauche non nul de A, I est un A-module simple si et seulement si I est un idéal minimal à gauche.
Décomposition primaireLa décomposition primaire est une généralisation de la décomposition d'un nombre entier en facteurs premiers. Cette dernière décomposition, connue depuis Gauss (1832) sous le nom de théorème fondamental de l'arithmétiqueGauss 1832., s'étend naturellement au cas d'un élément d'un anneau principal. Une décomposition plus générale est celle d'un idéal d'un anneau de Dedekind en produit d'idéaux premiers; elle a été obtenue en 1847 par Kummer (dans le formalisme encore peu maniable des « nombres idéaux ») à l'occasion de ses recherches sur le dernier théorème de FermatKummer 1847.
