Skip to main content
texified the text.
Source Link
Joël
  • 26k
  • 2
  • 96
  • 193

Let k$k$ be a field, and let A$A$ be a local, noetherian, complete k-algebra with residue field k$k$. Suppose that there are elements t_1,....t_n$t_1,\dots,t_n$ in the maximal ideal of A$A$ such that the map k[[X_1,....X_n]]---->A that$k[[X_1,\dots,X_n]] \rightarrow A$ that sends X_i$X_i$ to t_i$t_i$ for all i$i$ is injective. Is the dimension of A$A$ greater or equal than n$n$ ?

Let k be a field, and let A be a local, noetherian, complete k-algebra with residue field k. Suppose that there are elements t_1,....t_n in the maximal ideal of A such that the map k[[X_1,....X_n]]---->A that sends X_i to t_i for all i is injective. Is the dimension of A greater or equal than n ?

Let $k$ be a field, and let $A$ be a local, noetherian, complete k-algebra with residue field $k$. Suppose that there are elements $t_1,\dots,t_n$ in the maximal ideal of $A$ such that the map $k[[X_1,\dots,X_n]] \rightarrow A$ that sends $X_i$ to $t_i$ for all $i$ is injective. Is the dimension of $A$ greater or equal than $n$ ?

typo in title
Link
Nate Eldredge
  • 29.7k
  • 4
  • 101
  • 150

About the DdmensionDimension of a complete local ring

Source Link
Antoine Ducros
  • 1.6k
  • 10
  • 13

About the Ddmension of a complete local ring

Let k be a field, and let A be a local, noetherian, complete k-algebra with residue field k. Suppose that there are elements t_1,....t_n in the maximal ideal of A such that the map k[[X_1,....X_n]]---->A that sends X_i to t_i for all i is injective. Is the dimension of A greater or equal than n ?