New answers tagged ac.commutative-algebra
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 ...
2
votes
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 ...
4
votes
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 ...
4
votes
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$ ...
3
votes
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 ...
0
votes
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, ...
Community wiki
4
votes
Accepted
A confusion about power series and p-adic measures
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) ...
0
votes
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 ...
Community wiki
2
votes
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 ...
12
votes
Is the ring of power series with coefficients in a field free as a module over the polynomials subring?
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 ...
5
votes
Accepted
Is $\mathbb{Z}[i,\varphi]$ a Euclidean domain?
It turns out that $K=\mathbb{Q}[i,\varphi]$ is norm-Euclidean. The proof of this fact appears as Appendix A in https://arxiv.org/abs/2205.03007. I'll explain the heft of the argument here.
Let $R=\...
1
vote
Completion reducing to localization on Noetherian rings
No. If $A$ is a complete noetherian local ring, then $A$ is complete for the adic topology defined by any other prime ideal.
1
vote
Cellular and primary binomial ideals
Consider the ideal $I=\left\langle x_{1}^{3} x_{3}-x_{1}^{3}, x_{1}^{4}, x_{1}^{2} x_{2} x_{4}-x_{1}^{2} x_{2}, x_{2}^{2}, x_{4}^{3}-1\right\rangle \subseteq \mathbb{k}\left[x_{1}, x_{2}, x_{3}, x_{4}\...
Top 50 recent answers are included
Related Tags
ac.commutative-algebra × 4785ag.algebraic-geometry × 1821
ra.rings-and-algebras × 578
homological-algebra × 340
reference-request × 339
nt.number-theory × 315
polynomials × 307
modules × 226
linear-algebra × 156
local-rings × 139
fields × 133
ct.category-theory × 128
rt.representation-theory × 115
co.combinatorics × 113
algebraic-number-theory × 111
gr.group-theory × 108
ideals × 67
prime-ideals × 66
noncommutative-algebra × 65
at.algebraic-topology × 64
schemes × 63
arithmetic-geometry × 59
power-series × 59
computer-algebra × 58
projective-modules × 58