Gorenstein ringIn commutative algebra, a Gorenstein local ring is a commutative Noetherian local ring R with finite injective dimension as an R-module. There are many equivalent conditions, some of them listed below, often saying that a Gorenstein ring is self-dual in some sense. Gorenstein rings were introduced by Grothendieck in his 1961 seminar (published in ). The name comes from a duality property of singular plane curves studied by (who was fond of claiming that he did not understand the definition of a Gorenstein ring).
Center (ring theory)In algebra, the center of a ring R is the subring consisting of the elements x such that xy = yx for all elements y in R. It is a commutative ring and is denoted as ; "Z" stands for the German word Zentrum, meaning "center". If R is a ring, then R is an associative algebra over its center. Conversely, if R is an associative algebra over a commutative subring S, then S is a subring of the center of R, and if S happens to be the center of R, then the algebra R is called a central algebra.
Krull ringIn commutative algebra, a Krull ring, or Krull domain, is a commutative ring with a well behaved theory of prime factorization. They were introduced by Wolfgang Krull in 1931. They are a higher-dimensional generalization of Dedekind domains, which are exactly the Krull domains of dimension at most 1. In this article, a ring is commutative and has unity. Let be an integral domain and let be the set of all prime ideals of of height one, that is, the set of all prime ideals properly containing no nonzero prime ideal.
DivisibilitéEn arithmétique, on dit qu'un entier a est divisible par un entier b s'il existe un entier k tel que a = bk. On dit alors que a est un multiple de b, et que b divise a ou est un diviseur de a. La relation de divisibilité se note à l'aide d'une barre verticale : b divise a se note b|a et ne doit pas se confondre avec le résultat de la division de a par b noté a/b. La notion de divisibilité, c'est-à-dire la capacité d'être divisible, fonde l'étude de l'arithmétique, mais se généralise aussi à tout anneau commutatif.
Derived algebraic geometryDerived algebraic geometry is a branch of mathematics that generalizes algebraic geometry to a situation where commutative rings, which provide local charts, are replaced by either differential graded algebras (over ), simplicial commutative rings or -ring spectra from algebraic topology, whose higher homotopy groups account for the non-discreteness (e.g., Tor) of the structure sheaf. Grothendieck's scheme theory allows the structure sheaf to carry nilpotent elements.
Principal ideal ringIn mathematics, a principal right (left) ideal ring is a ring R in which every right (left) ideal is of the form xR (Rx) for some element x of R. (The right and left ideals of this form, generated by one element, are called principal ideals.) When this is satisfied for both left and right ideals, such as the case when R is a commutative ring, R can be called a principal ideal ring, or simply principal ring. If only the finitely generated right ideals of R are principal, then R is called a right Bézout ring.
Théorème de WedderburnEn mathématiques et plus précisément en algèbre, le théorème de Wedderburn affirme que tout corps qui est fini est nécessairement commutatif. Joseph Wedderburn l'a publié en 1905. vignette|Joseph Wedderburn. Théorème de Wedderburn. — Tout corps fini est commutatif. Remarque sur la terminologie : diverses sources, notamment sous l'influence de l'anglais où le mot field désigne un corps commutatif, posent la commutativité de la multiplication dans la définition d'un corps et en particulier pour les corps finis.
Opposite categoryIn , a branch of mathematics, the opposite category or dual category Cop of a given C is formed by reversing the morphisms, i.e. interchanging the source and target of each morphism. Doing the reversal twice yields the original category, so the opposite of an opposite category is the original category itself. In symbols, . An example comes from reversing the direction of inequalities in a partial order. So if X is a set and ≤ a partial order relation, we can define a new partial order relation ≤op by x ≤op y if and only if y ≤ x.
Monoïde (théorie des catégories)La notion de monoïde ou d’objet monoïdal en théorie des catégories généralise la notion algébrique du même nom ainsi que plusieurs autres structures algébriques courantes. Il s'agit formellement d'un objet d'une catégorie monoïdale vérifiant certaines propriétés réminiscentes de celles du monoïde algébrique. Soit une catégorie monoïdale. Un triplet où M est un objet de la catégorie C ; est un morphisme appelé « multiplication » ; est un morphisme appelé « unité » ; est appelé monoïde lorsque les diagrammes suivants commutent : avec l'associativité, l'identité à gauche et l'identité à droite de la catégorie monoïdale.
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.
