The tag has no wiki summary.

learn more… | top users | synonyms

2
votes
0answers
65 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
166 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
123 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
212 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 ...
6
votes
3answers
437 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
105 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
535 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
122 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
203 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
116 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 ...
2
votes
1answer
169 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
2answers
346 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
69 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
414 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
150 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
359 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
115 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
75 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
201 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
97 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
163 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
440 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
55 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
280 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
493 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 ...
27
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
229 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
318 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
380 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
272 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
328 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
394 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
205 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
83 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
297 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
467 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
474 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 ...
2
votes
1answer
144 views

Whether the result that an ultraproduct which satisfies ACCP is automatically a field generalizes to ultrafilters on larger indexing sets

Let $F$ be an ultrafilter on some set $X$, $R$ an integral domain and $R_F$ the resulting ultraproduct ring. For an element $(a)$ in the product ring of $R$ indexed by $X$, denote its equivalence ...
1
vote
0answers
227 views

separability of commutative rings

Before discussing on the main Question I should recall two notions in the area of commutative rings. By $Max(R)$, we mean the set of all maximal ideals of the commutative unitary ring $R$. ...
1
vote
1answer
258 views

The set of Upper semi-continuous functions as a ring.

I should recall that the surgenfery topology on the real numbers is denoted by $\mathbb{R}_l$, and has the set {$[a , b): a,b \in \mathbb{R} $} as it's base. If $X$ is a topological space, an upper ...
1
vote
1answer
364 views

Lifting identities of formal power series

I am looking for a possibly general class of algebraic structures (maybe special topological rings) in which one can deduce identities of concrete power series from formal ones. This class should ...
6
votes
3answers
979 views

functional subrings

I should recall the notion of maximal subring of a commutative unitary ring $R$. Def: A commutative ring $S$ is called a maximal subring of $R$ if $S \subset R$ and if $T \subset R$ constitute a ...
1
vote
0answers
217 views

Sums of Strongly z-ideals

In the rings of continuous functions,i.e.$(C(X))$ an ideal $I$ is called strongly $z$-ideal if it is an intersection of some maximal ideals of $C(X)$. i.e. $$I=\cap_{\alpha \in A} ...
7
votes
4answers
636 views

Quotient rings of $C(X)$

Let $X$ be a Tychonoff topological space. Consider the ring $C(X)$ of all continuous real valued functions on $X$. For what conditions on an ideal $I$ of $C(X)$, we could deduce that the quotient ring ...
5
votes
0answers
562 views

Maximal ideals of the rings of Baire- One Functions

A real function $f:X\rightarrow \mathbb{R}$ Is called Baire-one function, if there is a sequence $(f_n)_{n=1} ^\infty$ of continuous functions $f_n:X\rightarrow \mathbb{R}$ on $X$ so that for all ...