Espace affineEn géométrie, la notion d'espace affine généralise la notion d'espace issue de la géométrie euclidienne en omettant les notions d'angle et de distance. Dans un espace affine, on peut parler d'alignement, de parallélisme, de barycentre. Sous la forme qui utilise des rapports de mesures algébriques, qui est une notion affine, le théorème de Thalès et le théorème de Ceva sont des exemples de théorèmes de géométrie affine plane réelle (c'est-à-dire n'utilisant que la structure d'espace affine du plan réel).
Spectre d'anneauEn mathématiques, le spectre premier d'un anneau commutatif unitaire A désigne l'ensemble des idéaux premiers de A. Cet ensemble est muni d'une topologie (de Zariski) et d'un faisceau d'anneaux commutatifs unitaires qui en font un espace topologique annelé en anneaux locaux. Cet espace est alors appelé un schéma affine et il sert d'espace de base pour la construction des schémas en géométrie algébrique. Le spectre d'un anneau commutatif A est l'ensemble de ses idéaux premiers. On le note Spec A.
Théorie des anneauxEn mathématiques, la théorie des anneaux porte sur l'étude de structures algébriques qui imitent et étendent les entiers relatifs, appelées anneaux. Cette étude s'intéresse notamment à la classification de ces structures, leurs représentations, et leurs propriétés. Développée à partir de la fin du siècle, notamment sous l'impulsion de David Hilbert et Emmy Noether, la théorie des anneaux s'est trouvée être fondamentale pour le développement des mathématiques au siècle, au travers de la géométrie algébrique et de la théorie des nombres notamment, et continue de jouer un rôle central en mathématiques, mais aussi en cryptographie et en physique.
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 }.
Algèbre sur un corpsEn mathématiques, et plus précisément en algèbre générale, une algèbre sur un corps commutatif K, ou simplement une K-algèbre, est une structure algébrique (A, +, ·, ×) telle que : (A, +, ·) est un espace vectoriel sur K ; la loi × est définie de A × A dans A (loi de composition interne) ; la loi × est bilinéaire.
Faisceau (mathématiques)En mathématiques, un faisceau est un outil permettant de suivre systématiquement des données définies localement et rattachées aux ouverts d'un espace topologique. Les données peuvent être restreintes à des ouverts plus petits, et les données correspondantes à un ouvert sont équivalentes à l'ensemble des données compatibles correspondantes aux ouverts plus petits couvrant l'ouvert d'origine. Par exemple, de telles données peuvent consister en des anneaux de fonctions réelles continues ou lisses définies sur chaque ouvert.
Idéal maximalUn idéal maximal est un concept associé à la théorie des anneaux en mathématiques et plus précisément en algèbre. Un idéal d'un anneau commutatif est dit maximal lorsqu’il est contenu dans exactement deux idéaux, lui-même et l'anneau tout entier. L'existence d'idéaux maximaux est assurée par le théorème de Krull. Cette définition permet de généraliser la notion d’élément irréductible à des anneaux différents de celui des entiers relatifs. Certains de ces anneaux ont un rôle important en théorie algébrique des nombres et en géométrie algébrique.
Transcendental extensionIn mathematics, a transcendental extension is a field extension such that there exists an element in the field that is transcendental over the field ; that is, an element that is not a root of any univariate polynomial with coefficients in . In other words, a transcendental extension is a field extension that is not algebraic. For example, are both transcendental extensions of A transcendence basis of a field extension (or a transcendence basis of over ) is a maximal algebraically independent subset of over Transcendence bases share many properties with bases of vector spaces.
Algèbre de type finiEn algèbre commutative, la notion d'algèbre de type fini est une première généralisation des anneaux de polynômes à un nombre fini d'indéterminées. Ces algèbres possèdent de bonnes propriétés relatives à l'anneau de base, et de bonnes propriétés absolues lorsque l'anneau de base est un corps. Les algèbres de type fini sur un corps sont les objets algébriques de base des variétés algébriques. Sur un corps k, attention à ne pas confondre une algèbre de type fini avec une extension de type fini qui n'est jamais de type fini en tant que k-algèbre sauf si c'est une extension finie.
Zariski's lemmaIn algebra, Zariski's lemma, proved by , states that, if a field K is finitely generated as an associative algebra over another field k, then K is a finite field extension of k (that is, it is also finitely generated as a vector space). An important application of the lemma is a proof of the weak form of Hilbert's Nullstellensatz: if I is a proper ideal of (k algebraically closed field), then I has a zero; i.e., there is a point x in such that for all f in I. (Proof: replacing I by a maximal ideal , we can assume is maximal.
