The Stacks project

\begin{equation*} \DeclareMathOperator\Coim{Coim} \DeclareMathOperator\Coker{Coker} \DeclareMathOperator\Ext{Ext} \DeclareMathOperator\Hom{Hom} \DeclareMathOperator\Im{Im} \DeclareMathOperator\Ker{Ker} \DeclareMathOperator\Mor{Mor} \DeclareMathOperator\Ob{Ob} \DeclareMathOperator\Sh{Sh} \DeclareMathOperator\SheafExt{\mathcal{E}\mathit{xt}} \DeclareMathOperator\SheafHom{\mathcal{H}\mathit{om}} \DeclareMathOperator\Spec{Spec} \newcommand\colim{\mathop{\mathrm{colim}}\nolimits} \newcommand\lim{\mathop{\mathrm{lim}}\nolimits} \newcommand\Qcoh{\mathit{Qcoh}} \newcommand\Sch{\mathit{Sch}} \newcommand\QCohstack{\mathcal{QC}\!\mathit{oh}} \newcommand\Cohstack{\mathcal{C}\!\mathit{oh}} \newcommand\Spacesstack{\mathcal{S}\!\mathit{paces}} \newcommand\Quotfunctor{\mathrm{Quot}} \newcommand\Hilbfunctor{\mathrm{Hilb}} \newcommand\Curvesstack{\mathcal{C}\!\mathit{urves}} \newcommand\Polarizedstack{\mathcal{P}\!\mathit{olarized}} \newcommand\Complexesstack{\mathcal{C}\!\mathit{omplexes}} \newcommand\Pic{\mathop{\mathrm{Pic}}\nolimits} \newcommand\Picardstack{\mathcal{P}\!\mathit{ic}} \newcommand\Picardfunctor{\mathrm{Pic}} \newcommand\Deformationcategory{\mathcal{D}\!\mathit{ef}} \end{equation*}

10.3 Basic notions

The following is a list of basic notions in commutative algebra. Some of these notions are discussed in more detail in the text that follows and some are defined in the list, but others are considered basic and will not be defined. If you are not familiar with most of the italicized concepts, then we suggest looking at an introductory text on algebra before continuing.

  1. $R$ is a ring,

  2. $x\in R$ is nilpotent,

  3. $x\in R$ is a zerodivisor,

  4. $x\in R$ is a unit,

  5. $e \in R$ is an idempotent,

  6. an idempotent $e \in R$ is called trivial if $e = 1$ or $e = 0$,

  7. $\varphi : R_1 \to R_2$ is a ring homomorphism,

  8. $\varphi : R_1 \to R_2$ is of finite presentation, or $R_2$ is a finitely presented $R_1$-algebra, see Definition 10.6.1,

  9. $\varphi : R_1 \to R_2$ is of finite type, or $R_2$ is a finite type $R_1$-algebra, see Definition 10.6.1,

  10. $\varphi : R_1 \to R_2$ is finite, or $R_2$ is a finite $R_1$-algebra,

  11. $R$ is a (integral) domain,

  12. $R$ is reduced,

  13. $R$ is Noetherian,

  14. $R$ is a principal ideal domain or a PID,

  15. $R$ is a Euclidean domain,

  16. $R$ is a unique factorization domain or a UFD,

  17. $R$ is a discrete valuation ring or a dvr,

  18. $K$ is a field,

  19. $K \subset L$ is a field extension,

  20. $K \subset L$ is an algebraic field extension,

  21. $\{ t_ i\} _{i\in I}$ is a transcendence basis for $L$ over $K$,

  22. the transcendence degree $\text{trdeg}(L/K)$ of $L$ over $K$,

  23. the field $k$ is algebraically closed,

  24. if $K \subset L$ is algebraic, and $K \subset k$ an extension with $k$ algebraically closed, then there exists a ring map $L \to k$ extending the map on $K$,

  25. $I \subset R$ is an ideal,

  26. $I \subset R$ is radical,

  27. if $I$ is an ideal then we have its radical $\sqrt{I}$,

  28. $I \subset R$ is nilpotent means that $I^ n = 0$ for some $n \in \mathbf{N}$,

  29. $I \subset R$ is locally nilpotent means that every element of $I$ is nilpotent,

  30. $\mathfrak p \subset R$ is a prime ideal,

  31. if $\mathfrak p \subset R$ is prime and if $I, J \subset R$ are ideal, and if $IJ\subset \mathfrak p$, then $I \subset \mathfrak p$ or $J \subset \mathfrak p$.

  32. $\mathfrak m \subset R$ is a maximal ideal,

  33. any nonzero ring has a maximal ideal,

  34. the Jacobson radical of $R$ is $\text{rad}(R) = \bigcap _{\mathfrak m \subset R} \mathfrak m$ the intersection of all the maximal ideals of $R$,

  35. the ideal $(T)$ generated by a subset $T \subset R$,

  36. the quotient ring $R/I$,

  37. an ideal $I$ in the ring $R$ is prime if and only if $R/I$ is a domain,

  38. an ideal $I$ in the ring $R$ is maximal if and only if the ring $R/I$ is a field,

  39. if $\varphi : R_1 \to R_2$ is a ring homomorphism, and if $I \subset R_2$ is an ideal, then $\varphi ^{-1}(I)$ is an ideal of $R_1$,

  40. if $\varphi : R_1 \to R_2$ is a ring homomorphism, and if $I \subset R_1$ is an ideal, then $\varphi (I) \cdot R_2$ (sometimes denoted $I \cdot R_2$, or $IR_2$) is the ideal of $R_2$ generated by $\varphi (I)$,

  41. if $\varphi : R_1 \to R_2$ is a ring homomorphism, and if $\mathfrak p \subset R_2$ is a prime ideal, then $\varphi ^{-1}(\mathfrak p)$ is a prime ideal of $R_1$,

  42. $M$ is an $R$-module,

  43. for $m \in M$ the annihilator $I = \{ f \in R \mid fm = 0\} $ of $m$ in $R$,

  44. $N \subset M$ is an $R$-submodule,

  45. $M$ is an Noetherian $R$-module,

  46. $M$ is a finite $R$-module,

  47. $M$ is a finitely generated $R$-module,

  48. $M$ is a finitely presented $R$-module,

  49. $M$ is a free $R$-module,

  50. if $0 \to K \to L \to M \to 0$ is a short exact sequence of $R$-modules and $K$, $M$ are free, then $L$ is free,

  51. if $N \subset M \subset L$ are $R$-modules, then $L/M = (L/N)/(M/N)$,

  52. $S$ is a multiplicative subset of $R$,

  53. the localization $R \to S^{-1}R$ of $R$,

  54. if $R$ is a ring and $S$ is a multiplicative subset of $R$ then $S^{-1}R$ is the zero ring if and only if $S$ contains $0$,

  55. if $R$ is a ring and if the multiplicative subset $S$ consists completely of nonzerodivisors, then $R \to S^{-1}R$ is injective,

  56. if $\varphi : R_1 \to R_2$ is a ring homomorphism, and $S$ is a multiplicative subsets of $R_1$, then $\varphi (S)$ is a multiplicative subset of $R_2$,

  57. if $S$, $S'$ are multiplicative subsets of $R$, and if $SS'$ denotes the set of products $SS' = \{ r \in R \mid \exists s\in S, \exists s' \in S', r = ss'\} $ then $SS'$ is a multiplicative subset of $R$,

  58. if $S$, $S'$ are multiplicative subsets of $R$, and if $\overline{S}$ denotes the image of $S$ in $(S')^{-1}R$, then $(SS')^{-1}R = \overline{S}^{-1}((S')^{-1}R)$,

  59. the localization $S^{-1}M$ of the $R$-module $M$,

  60. the functor $M \mapsto S^{-1}M$ preserves injective maps, surjective maps, and exactness,

  61. if $S$, $S'$ are multiplicative subsets of $R$, and if $M$ is an $R$-module, then $(SS')^{-1}M = S^{-1}((S')^{-1}M)$,

  62. if $R$ is a ring, $I$ and ideal of $R$ and $S$ a multiplicative subset of $R$, then $S^{-1}I$ is an ideal of $S^{-1}R$, and we have $S^{-1}R/S^{-1}I = \overline{S}^{-1}(R/I)$, where $\overline{S}$ is the image of $S$ in $R/I$,

  63. if $R$ is a ring, and $S$ a multiplicative subset of $R$, then any ideal $I'$ of $S^{-1}R$ is of the form $S^{-1}I$, where one can take $I$ to be the inverse image of $I'$ in $R$,

  64. if $R$ is a ring, $M$ an $R$-module, and $S$ a multiplicative subset of $R$, then any submodule $N'$ of $S^{-1}M$ is of the form $S^{-1}N$ for some submodule $N \subset M$, where one can take $N$ to be the inverse image of $N'$ in $M$,

  65. if $S = \{ 1, f, f^2, \ldots \} $ then $R_ f = S^{-1}R$ and $M_ f = S^{-1}M$,

  66. if $S = R \setminus \mathfrak p = \{ x\in R \mid x\not\in \mathfrak p\} $ for some prime ideal $\mathfrak p$, then it is customary to denote $R_{\mathfrak p} = S^{-1}R$ and $M_{\mathfrak p} = S^{-1}M$,

  67. a local ring is a ring with exactly one maximal ideal,

  68. a semi-local ring is a ring with finitely many maximal ideals,

  69. if $\mathfrak p$ is a prime in $R$, then $R_{\mathfrak p}$ is a local ring with maximal ideal $\mathfrak p R_{\mathfrak p}$,

  70. the residue field, denoted $\kappa (\mathfrak p)$, of the prime $\mathfrak p$ in the ring $R$ is the field of fractions of the domain $R/\mathfrak p$; it is equal to $R_\mathfrak p/\mathfrak pR_\mathfrak p = (R \setminus \mathfrak p)^{-1}R/\mathfrak p$,

  71. given $R$ and $M_1$, $M_2$ the tensor product $M_1 \otimes _ R M_2$,

  72. given matrices $A$ and $B$ in a ring $R$ of sizes $m \times n$ and $n \times m$ we have $\det (AB) = \sum \det (A_ S)\det ({}_ SB)$ in $R$ where the sum is over subsets $S \subset \{ 1, \ldots , n\} $ of size $m$ and $A_ S$ is the $m \times m$ submatrix of $A$ with columns corresponding to $S$ and ${}_ SB$ is the $m \times m$ submatrix of $B$ with rows corresponding to $S$,

  73. etc.


Comments (4)

Comment #245 by y on

Sorry for the trivial remark but maybe in item (24) should k be algebraically closed? Well, it doesn't say that the extended map is ring map, although that is inferred.

Comment #442 by Michele Serra on

this is also a trivial remark: (9) should be is {\it of finite type}, or is {\it a finite type -algebra}instead of "finitely type"

Comment #445 by on

This somehow got fixed. Let me see... here. Thanks!


Post a comment

Your email address will not be published. Required fields are marked.

In your comment you can use Markdown and LaTeX style mathematics (enclose it like $\pi$). A preview option is available if you wish to see how it works out (just click on the eye in the toolbar).

Unfortunately JavaScript is disabled in your browser, so the comment preview function will not work.

All contributions are licensed under the GNU Free Documentation License.




In order to prevent bots from posting comments, we would like you to prove that you are human. You can do this by filling in the name of the current tag in the following input field. As a reminder, this is tag 00AR. Beware of the difference between the letter 'O' and the digit '0'.