The tag has no wiki summary.

learn more… | top users | synonyms

1
vote
1answer
200 views

chain of prime ideals in polynomial ring $S=\Bbb{R}[x_1,x_2,…,x_n,…]$

Consider the polynomial ring of countable variables with coefficients in the real numbers, i.e, $S=\Bbb{R}[x_1,x_2,x_3,...,x_n,...]$. Is the following question true? Question: Is there any maximal ...
8
votes
0answers
176 views

Is the generation of rings by their units a question in K-theory?

Susan's question When can number rings be spanned (as $\mathbb{Z}$-modules) by units? smells like an algebraic K-theory question in disguise. I'll reformulate the question first: Given an integral ...
2
votes
0answers
63 views

Hilbert Regularity in relation to degree of generators

Suppose we look at the $\mathbb {C}$ module $\mathbb{C}[x_1,\dots,x_n]=\oplus{S_i}$ where $S_i$ are the polynomials of degree $i$. Then we look at a subring $R$ (also a $\mathbb {C} $ module) ...
10
votes
2answers
383 views

Are these rings of functions isomorphic?

Let $R$ be the ring of all functions $f : \Bbb{R}\longrightarrow \Bbb{R}$ which are continuous outside $(-1,1)$ and let $S$ be the ring of all functions $f : \Bbb{R}\longrightarrow \Bbb{R}$ which are ...
0
votes
1answer
189 views

Number of Minimal left ideals in the full matrix ring over a finite commutative local ring

Inspired with another QUESTION I would like to know the number of minimal left ideals of $M_n(R)$ in terms of $n$ and $R$ where $R$ is a finite local commutative ring with identity ?
5
votes
1answer
371 views

Is an ideal generated by multilinear, irreducible, homogeneous polynomials of different degrees always radical?

I asked this question on math.se and someone even put a bounty on it, yet there was no answer. Hence, I am asking here. Assume $\Bbbk$ to be a field of characteristic zero. Definition. A ...
2
votes
0answers
52 views

lift isomorphic in a sufficiently thick fiber

Let $P$ and $P'$ two polynomials in $k[[\pi]][t]$ for an algebraically closed field $k$ and let $A=k[[\pi]]$. We consider $ X'=Spec (A[t]/(P'))$ and $X=Spec (A[t]/(P)$. Let $d=val(\Delta(P))$ where ...
2
votes
1answer
86 views

on smoothness of morphisms on an artinian base

Let $A$, $B$ two smooth $R$-algebras of finite type for a artinian local ring $R$. Let $I$ an ideal such that $I^{2}=0$ and $\bar{R}=R/I$. We assume that the map $Spec B/IB\rightarrow Spec A/IA$ is ...
2
votes
0answers
67 views

What is known about the krull dimension of an ultrapower ring?

Let $R$ be a ring, $F$ a free ultrafilter on a set $X$ which is not countably complete, and $R_F$ the ultrapower of $R$ with $R \not\cong R_F$. The following two results are from a masters thesis ...
1
vote
1answer
168 views

elementary question on a completion of a ring

Let $k$ a field, and $k[\epsilon]=k[X]/(X^{2})$ , what is the completion of the ring $k[\epsilon][t]$ with respect to the ideal $(t^{2}+\epsilon)$?
2
votes
1answer
127 views

A class of rings related to rings with IBN property [closed]

A ring $R$ (with 1) has IBN property if free $R$-modules have unique rank (e.g., commutative rings). In the same fashion, lets call $R$ a good ring if in every free $R$-module any independent set can ...
5
votes
2answers
408 views

Isomorphic rings of functions

Let $X$ and $Y$ be two topological spaces with $C(X) \cong C(Y)$ (where $C(X)$ is the ring of all continuous real valued functions on $X$). I know that we can not conclude that $X$ and $Y$ are ...
2
votes
1answer
215 views

Symmetric algebra of an ideal and syzygies

Let $(R,\mathfrak{m})$ be a Cohen Macaulay local ring and $I=(a_1,\ldots,a_g,a_{g+1})$ an almost complete intersection ideal of codimension $g.$ Let $R^k\longrightarrow R^{g+1}\longrightarrow ...
7
votes
3answers
489 views

Idempotent polynomials

Let $R$ be a commutative ring with identity and let $f \in R[x]$. There are well known characterizations for $f$ to be a nilpotent element of $R[x]$ or to have a multiplicative inverse in $R[x]$. Is ...
4
votes
1answer
108 views

Algorithm to detect if an element of a (commutative) ring is in a subring?

For rings finitely-generated over a field, the theory of Groebner bases gives us quite an efficient algorithm for determining whether an element of the ring is in a given ideal of the ring. Is there ...
4
votes
2answers
563 views

Example of a reduced ring whose completion is not reduced

Let $(R,\mathfrak{m})$ be a local Noetherian ring. Give an example such that R is reduced but $\mathfrak{m}$-adic completion of R is not reduced.
1
vote
1answer
123 views

Finding reducible polynomials with restricted factors

Given $f(x),g(x) \in \mathbb{Z}[x]$, two irreducible polynomials, is there a polynomial $h(x) \in \mathbb{Z}[x]$ coprime to $f(x)$ such that $f(x) + g(x)h(x)$ is reducible over $\mathbb{Z}[x]$ with ...
1
vote
2answers
205 views

Decomposition of a quotient module

Let $R=k[v,x,y,z]/I$, with $I=\langle v^2,z^2,xy,vx+xz,vy+yz,vx+y^2,vy-x^2\rangle$,and let $f:R^2 \rightarrow R^2$ denote the map given by the matrix $$M=\begin{pmatrix} v & y \\ x & z ...
0
votes
0answers
120 views

Ring algebraically closed in its completion.

First I would like to be clear about the definition, which I am having trouble finding. What does: The local ring $A$ is algebraically closed in $B\supset A$. (e.g. for $B:=\hat{A}$, the completion ...
3
votes
1answer
179 views

for which truth-operations f can f-membership in a prime ideal be represented by a polynomial?

Nota bene: all rings are supposed commutative with $1$ and all ring homomorphism should be unital. Let $B$ be the set of truth values {True, False}. For a formula $\phi$ denote by $[\phi]\in B$ it's ...
3
votes
1answer
374 views

Surjectivity of the natural map of injective module to its localization

Hello all, The lemma 3.3 page 214 in Hartshorne Algebraic Geometry book states:" If $I$ is an injective module over a Noetherian ring $A$. Then for any $f\in A$, the natural map of $I$ to its ...
0
votes
0answers
70 views

Example of a ring whose minimals are annihilators of idempotents?

I'm looking for examples† of rings with the property that for each $P={\rm Ann}_R(a)\in{\rm Min}(R)$ then $a\in R$ is idempotent (ie $a^2=a$) † other than domains!
6
votes
1answer
422 views

Are roots of transcendental elements transcendental?

This looks extremely easy, but then again it's late at night... Let $k$ be a commutative ring with unity. An element $a$ of a $k$-algebra $A$ is said to be transcendental over $k$ if and only if ...
0
votes
1answer
158 views

Relation between $H^i_I(-)$ and $H^i_J(-)$ when $I\subset J$

What is the relation between $H^i_I(-)$ and $H^i_J(-)$ (cohomological functors) when $I\subset J$ are ideals of a (local) noetherian ring?
4
votes
2answers
361 views

Homological characterization of smooth maps

Let $A \to B$ be a finitely generated homomorphism between two commutative noetherian rings. As far as I understand, in various generalizations of this situation, such a map is called smooth if $B$ ...
1
vote
1answer
117 views

An example of a ring $R$ with the property that for each $P=Ann_R(r)\in {\rm Min}(R)$ we have $Ann_R(P)=Rr$.

I'm looking for an example of a commutative (preferably local) ring $R$ such that ${\rm dim}R>0$ and $R$ has the property that for each $P=Ann_R(r)\in {\rm Min}(R)$ we have $Ann_R(P)=Rr$. This ...
0
votes
1answer
76 views

Explicit representation of $R[\frac{x}{y}]$ where $x, y\in R$ for non-Euclidean PIDs $R$?

It's a fact proven by Pendleton, Gilmer, and Ohm (as an obvious corollary of their work, anyways) that PIDs are QR-domains, meaning every overring (ring between the domain and the quotient field) is a ...
2
votes
3answers
206 views

When does “second annihilator” of a (principal) ideal equal the ideal itself , ie $Ann_R(Ann_R(r))=Rr$?

Suppose that $R$ is a (local) ring and $r\in R$. When do the equations $Ann_R(Ann_R(r))=Rr$ or $\sqrt{Ann_R(Ann_R(r))}=\sqrt{Rr}$ hold? I already know that it holds for Artinian Gorenstein rings (due ...
2
votes
0answers
104 views

Number of generators of colon and intersection ideals of two finitely generated ideals in a Prufer domain

Hi! I'm wanting to see why the following is true: Given 2 finitely generated ideals $B$ and $C$ in a Prufer domain $D$ with bases of $n$ and $m$ generators respectively, $B\cap C$ has a basis of ...
3
votes
1answer
167 views

Example of an overring of an integral domain which is not a ring of quotients?

Hi! I'm trying to make headway on a question for my undergraduate honors thesis, specifically the question of which rings of integer-valued polynomials if any satisfy the QR-property; that is, the ...
4
votes
2answers
441 views

When does End(M) consist entirely of zero, zero divisors, and units?

Let $R$ be a commutative ring (with $1$) such that every non-zero divisor in $R$ is a unit (see Rings in which every non-unit is a zero divisor for various stabs at what these are called). Let $M$ be ...
0
votes
0answers
56 views

Algorithm for computing basis of zero dimensional ring?

If given a zero dimensional ring over a field, for example, a polynomial ring $A=k[x_1,\ldots,x_n]/(f_1,\ldots,f_n)$ such that $A$ is 0-dimensional, is there an algorithm to compute a monomial basis ...
2
votes
3answers
2k views

Why Does Induction Prove Multiplication is Commutative?

Andrew Boucher's General Arithmetic (GA2) is a weak sub-theory of second order Peano Axioms (PA2). GA has second order induction and a single successor axiom: $$\forall x \forall y \forall ...
0
votes
0answers
283 views

Definitions for Oddness

In the thread Even Xor Odd Infinities I defined odd models of Modular Arithmetic (MA) as models satisfying the axioms of MA and two first order statements. Even XOR Odd Infinities? $O1) \forall x(x=0 ...
0
votes
1answer
155 views

lattice of subalgebras of a finite commutative algebra

(I) Suppose A is a finite commutative local algebra. Must every lattice of local subalgebras of A be a distributive lattice ? By a subalgebra of A we mean an algebra contained in A that shares the ...
0
votes
1answer
494 views

“thematic” algebras

I scoured what I could in the literature but I have yet to find the information that should be out there. Consider the property (P1) Every local subalgebra can be embedded in a local ideal ...
28
votes
3answers
2k views

Even XOR Odd Infinities?

Modular Arithmetic (MA) has the same axioms as first order Peano Arithmetic (PA) except $\forall x (Sx \ne 0)$ is replaced with $\exists x(Sx = 0)$. ...
0
votes
1answer
247 views

The equivalence of Artinian and Noetherinan for the modules of a semisimple ring

We know in a semisimple ring R, for every R-module, Noetherian is equivalent to Artinian, my question is: If for every R-module M Noetherian is equivalent to Artinian, can we prove R is a semisimple ...
5
votes
0answers
323 views

Does existence of an isolated solution imply the Jacobian determinant is non-zero?

Let $f_1,\dots,f_n$ be formal power series in $\mathbb{C}[[x_1,\dots,x_n]]$ whose constant terms are all zero (i.e. $f_1,\dots f_n$ are not units in the ring). Suppose further that the radical of the ...
2
votes
1answer
382 views

Localization of a pure-injective module is pure-injective?

Hi, is there some work on localization of pure-injective modules? Is a localization of a pure-injective module pure-injective? By localization I mean the standard localization defined for any ...
2
votes
0answers
274 views

Orthogonality (wrt. Ext, Tor) in commutative noetherian rings

Hi, it is a folklore, that: let $p$, $q$ be two primes of a commutative Gorenstein ring $R$. $$ \operatorname{Tor}^k(E(R/p), E(R/q)) \neq 0 \iff p = q\mbox{ and }k = \operatorname{height} p. $$ ...
1
vote
2answers
333 views

A Question About Free Resolutions

I would warmly appreciate it if someone could tell me whether the following question has an affirmative answer. I am new to the field of commutative algebra, so I am simply trying to fill in some ...
1
vote
1answer
427 views

Intersection of maximal ideals contains an ideal

Let $R$ be a commutative unitary ring and $M_{I}$ be the intesection of all maximal ideals contains $I$. Question: When for any two ideals $I$ and $J$ of $R$ there exists an ideal $K$ of $R$ such that ...
1
vote
0answers
210 views

when is a sum of idempotents idempotent in commutative ring theory?

As this question demonstrates that the sum of idempotents is idempotent iff every pairwise product is zero, for finite matrices with complex entries. What additional restrictions do we need to put ...
1
vote
1answer
126 views

Surjective and injective criteria via Hilbert polynomials

Let $X$ be a projective complex manifold. Is it true that any coherent sheaf $\mathcal{E}$ on $X$ whose Hilbert polynomial is a constant has a surjective morphsim $\mathcal{O}_X\rightarrow ...
1
vote
1answer
119 views

R is regular local rings of Krull dimension 2.Can we find any ideal of height 2 different from m? [closed]

Maybe it is too easy but I want to know that: If $R$ is regular local ring of Krull dimension $2$ and $m$ is the maximal ideal of $R$. (It means that height $m$ is $2$). Can we find any ideal of ...
3
votes
0answers
84 views

which automorphisms of a subring extend to those of a ring

(Probably a silly question, but..) Consider the ring $R=k[[x_1,\dots,x_n]]/I$, (e.g. char(k)=0), and its subring, $R_1$, generated by some of $x_i$'s. In general, an automorphism of $R_1$ does not ...
2
votes
1answer
299 views

Stalks of rings of sections of the Zariski sheaf

Let $A$ be a commutative ring and let $U$ be an open subset of $Spec(A)$. Let $B$ be the ring of sections above $U$ of the affine scheme $Spec(A)$. Pick a prime ideal $p\in U$. Then the natural map ...
2
votes
1answer
498 views

Infinite power of in ideal in a Noetherian ring

Let $A$ be Noetherian ring that is an integral domain and let $\frak a$ be a proper ideal. I would like to know if it can happen that $\cap_{1}^{\infty}{\frak a}^n\ne 0$ and at the same time the ...
7
votes
4answers
495 views

$\lambda$-ring structure defined for a graded ring in Fulton-Lang's book

Given a commutative ring $A$ with unity, Grothendieck used universal polynomials to define a special $\lambda$-ring structure on $\Lambda(A):=1+t\:A[[t]]$. Suppose $A$ is graded, say ...