All Questions
Tagged with flatness ac.commutative-algebra
58 questions
1
vote
1
answer
264
views
Flat and algebraic (non-integral) local rings extension $R \subseteq S$ with $m_RS=m_S$
Let $R \subseteq S$ be two Noetherian local rings, not necessarily regular, which are integral domains,
with $m_RS=m_S$, namely, the ideal in $S$ generated by $m_R$ (= the maximal ideal of $R$) is $...
- 2,837
1
vote
0
answers
365
views
Flatness over a local noetherian ring
Let $(R,\mathfrak m)$ be a local noetherian ring, and $M$ an arbitrary $R$-module. Suppose that $\mathrm{Tor}_1(M,R/\mathfrak m)=0$. Does it follow that $M$ is flat?
The answer is positive when $M$ ...
- 1,313
1
vote
0
answers
65
views
Non-minimal Krull associated primes of a PF-ring
A commutative ring $R$ is said to be a PF-ring if every principal ideal of $R$ is a flat $R$-module. Also, a prime ideal $P$ of $R$ to be a Krull associated prime of $R$ if
for every element $x\in P$ ,...
- 51
0
votes
1
answer
208
views
Separable non-flat simple ring extension
Let $R \subseteq S$ be two commutative $\mathbb{C}$-algebras such that:
(1) $R$ and $S$ are integral domains.
(2) $Q(R)=Q(S)$, namely, their fields of fractions are equal.
(3) $S=R[w]$, for some $w \...
- 2,837
0
votes
1
answer
429
views
Separability of $\mathbb{C}[x]$ over its $\mathbb{C}$-subalgebras
For commutative rings $R \subseteq S$,
recall that $S$ is separable over $R$, if $S$ is a projective $S \otimes_R S$-module, via $f: S \otimes_R S \to S$ given by: $f(s_1 \otimes_R s_2)=s_1s_2$.
...
- 2,837
0
votes
0
answers
191
views
When $K[X_1,X_2,...,X_n] \to K[Y_1,Y_2,...,Y_m]$ is a flat morphism
Let $K$ be a field and $\varphi: K[X_1,X_2,...,X_n] \to K[Y_1,Y_2,...,Y_m]$ a polynomial $K$-algebra morphism. Assume $n, m \ge 2$. By definition $\varphi$ endows $K[Y_1,Y_2,...,Y_m]$ with a $K[X_1,...
- 6,038
0
votes
0
answers
176
views
Flatness of a simple ring extension
Assume $A \subseteq B=A[b]$ are integral domains, $b \in B$ is algebraic over $A$ (but not necessarily integral over $A$), and $A$ and $B$ have the same field of fractions.
(Notice that $b=u/v$ for ...
- 2,837
-1
votes
1
answer
209
views
Flatness of certain quotient rings
Let $p,q \in \mathbb{C}[x,y]$ be two polynomials such that $p_xp_yq_xq_y \neq 0$
(namely, each partial derivative is non-zero).
Assume that the following four conditions are satisfied:
(1) $\frac{\...
- 2,837