The Stacks project

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. $L/K$ is a field extension,

20. $L/K$ 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 $L/K$ is algebraic, and $\Omega /K$ an extension with $\Omega$ algebraically closed, then there exists a ring map $L \to \Omega$ 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 subset 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$ an 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.

You can type your comment here, use the preview option to see what it will look like. If your comment is on a lemma, please leave your comment on the page of the lemma. Same with remarks, propositions, theorems, etc.

​