# Tag Info

1 vote

### Relation between free resolutions and minimal free resolutions

The proof is based on the following observation: If $A \in \mathrm{M}_{n,m}(R)$ is an $n \times m$ matrix with coefficients $a_{ij}$ such that there exists indices $i,j$ where $a_{ij}$ is a unit, then ...
Accepted

### Faithful module cancellation with maximal ideal

Consider first the case where $\mathfrak{a}\subseteq \mathfrak{m}^2$. In this case we have $\mathfrak{a}\cdot M\subseteq \mathfrak{m}^2\cdot M\subseteq \mathfrak{m}\cdot M=\mathfrak{a}\cdot M$. In ...
Accepted

### Rational even polynomials maximally tangent to the unit circle

Denote $\varepsilon=\frac1{2m-1}$ (I guess it should be minus in the denominator, not plus, please recheck). We want to find a polynomial $h_{m-1}(t)$ of degree $m-1$ and a polynomial $p_m(t)$ of ...
Accepted

### Is this a true weakening of the quasi-coherence property?

Any submodule of a quasicoherent $O_X$-module satisfies (#): this is clear via reduction to principal open sets, and the fact that localization is exact. More generally, as Neil observes, if $F$ ...
Accepted

### On the Artin-Rees Lemma for non-commutative rings

There is some discussion of this in Rowen's "Ring Theory", volume I, Section 3.5, with additional references therein. Exercise 19 on p. 462 in op. cit. states that a polycentral ideal $I$ of ...

### An exercise in fuzzy logics built from a t-norm

My teacher has provided a solution: Take a $[0, 1]_*$-interpretation with $I(\phi \rightarrow \phi * \phi ) = 1$, and say $a:=I(\phi)$. Define the function \begin{align*} h: [0, 1] & \rightarrow [...
1 vote
Accepted

### Prove that $\overline{a}_{11}$ is a prime element in $R$

Now that I have thought about this further, I realize that you need much less than the Samuel Conjecture to solve this problem. By a dimension count, the ring $R$ is a complete intersection ring, ...
Accepted

You are asking about substitution of one power series into another. This can be interpreted in two ways, which ultimately amount to the same thing (like two different ways of thinking about anything) ...

### Cohen-Macaulyness of Milnor algebra

I am just posting my comment as one answer. Using the local flatness criterion, the ring $R/\langle \partial_1(f),\dots,\partial_n(f)\rangle$ is Cohen-Macaulay if and only if it is flat as a module ...
Accepted

### On presentations of universal rings of deformations

Doesn't this kind of prove itself? Pick some elements $\alpha_1, \dots, \alpha_n \in \mathfrak{m}$ which represent $\mathfrak{m} / (p, \mathfrak{m}^2)$. Clearly sending $t_i$ to $\alpha_i$ defines a ...
No. Take some element $f$ of $K[x]$ which is not in the ideal $(x)$ and is not invertible. Then $$K[[x]] \otimes_{K[x]} K[x]/(f) \cong K[[x]]/(f) = 0$$ where the latter follows from the fact that ...