The tag has no wiki summary.

learn more… | top users | synonyms

0
votes
1answer
156 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
271 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
332 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
392 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
278 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
337 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
457 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
229 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
128 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
121 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
89 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
300 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
525 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
513 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
149 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
283 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
382 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
988 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
221 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
643 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
565 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 ...
1
vote
0answers
283 views

Completion of commutative rings.

Assume that $(R,\mathfrak{m})$ is a commutative local ring of equal characteristic zero. So $R$ contains the field of rationals. The well known $\mathfrak{m}$-adic completion of $R$ provides a ...
5
votes
1answer
435 views

Divisibility and factorization in rings that are not integral domains

In my course notes for an undergraduate course "Algebra I", I wrote at the point when I'm introducing the notion of divisibility in rings (in a section on unique factorization): We want to study ...
0
votes
1answer
99 views

Uniqueness of Hensel factors of a polynomial (invariant to change of “basepoint”)?

An important component of algorithms for factoring multivariate polynomials over a commutative ring $R$ is Hensel lifting. Here's a brief, concrete example to set the stage for my question: Let $f ...
2
votes
1answer
283 views

Frobenius base change of etale maps

Let $A$ be a characteristic $p>0$ commutative ring. Let $B$ be a finitely presented etale $A$ algebra i.e. $$ B=A[x_1,\ldots,x_n]/(f_1,\ldots,f_n), $$ with $det(\frac{\partial f_i}{\partial ...
2
votes
2answers
451 views

Infinite domain with finite number of prime ideals(elements)

While trying to prove one property of commutative rings with units I can't prove one fact without assuming existence of infinitely many different prime ideals or elements. I tried to test if it was ...
5
votes
0answers
243 views

Testing isomorphism of finitely generated algebras

Let $A=\mathbf{Q}[x_1,\ldots,x_n]$ be the polynomial ring in $n$ variables over the rational numbers. Let $B=\mathbf{Q}[f_1,\ldots,f_r]$ and $C=\mathbf{Q}[g_1,\ldots,g_s]$ be two finitely generated ...
8
votes
1answer
2k views

Maximal ideals of Z[x,y]

we know that the maximal ideals of ${\mathbb Z}[x]$ are of the form $(p, f(x))$ where $p$ is a prime number and $f(x)$ is a polynomial in ${\mathbb Z}[x]$ which is irreducible modulo $p$. Is it true ...
1
vote
1answer
209 views

semilocal total quotient ring whose J(R) is not zero

I am interested in rings in which every non-unit is a zero divisor. Can you give me an example of such a ring that also has FINITELY many maximal ideals (semilocal), and whose Jacobson radical is not ...
1
vote
0answers
209 views

level of rings and stable range of rings

The level $s(A)$ of a ring $A$ with unity $1$ is the smallest natural number $s$ such that $-1$ is a sum of $s$ squares in $A$. (If $-1$ is not a sum of squares in $A$, we say that $s(A) =\infty$.). ...
1
vote
1answer
162 views

relation between Min(R) and Min(R^)

Let $\hat{R}$ is $m$-adic completion of a local ring $(R,m)$.What is the relation between $Min R$ and $Min \hat{R}$. we know that $\hat{R}$ is faithfully flat $R$-module. $Min R$=set of all minimal ...
10
votes
1answer
806 views

Lengths over a local ring

Let $A$ be a noetherian domain, $\mathfrak{m}$ а maximal ideal, $s$ a non-zero element of $\mathfrak{m}$, $d= \dim A_\mathfrak{m}$. Is the following claim true? Claim: For any $\epsilon>0$, there ...
2
votes
1answer
489 views

relation between Ass Ext(M,N) and Ass M ,Ass N

Let $R$ be a noetherian ring and $M$ , $N$ be finitely generated $R$-modules. Then what is the relation between $Ass\ Ext^i_R(M,N)$ and $Ass\ M, Ass\ N$? $Ass$ means set of associated prime ideals. ...
1
vote
0answers
80 views

Explicit expression for multivariable meromorphic series

Let $K$ be a field. For $m>1$, elements in the ring of power series in $m$ variables over $K$, i.e., $K[[X_1, \cdots, X_m]]$ look like - $$ \displaystyle\sum_{(i_1, \cdots, i_m)\in (\mathbb ...
3
votes
2answers
726 views

lim Ext(a^n/b^n,R)=0

Is it true that: Let $R$ be a local ring and $\dim R= d$. If $b\subset a$ be two proper ideals of $R$ then for $ n\in {\Bbb N}$, $\varinjlim Ext^d_R(a^n/b^n,R)=0$
3
votes
1answer
733 views

Serre condition $(S_n)$

We know that a finitely generated $R$-module $M$ satisfies the $(S_n)$ condition if $$\operatorname{depth} M_p \geq \min(n,\dim M_p)$$ for every $p\in \operatorname{Spec}R$. It's well known that ...
0
votes
1answer
446 views

associated prime ideal [duplicate]

Possible Duplicate: minimal prime devisor(MinAss R) Hello All,is This conclusion true? $(R,m)$ be a local ring.if every associated prime ideal of $R$ be minimal then every associated prime ...
2
votes
1answer
458 views

Minimal prime divisors (MinAss R)

Hello All,is This conclusion true? If $(R,m)$ is a local ring and $ Min Ass R=Ass R$ then can we conclude that $Min Ass \hat{R}=Ass \hat{R}$? ($\hat{R}$ is $m$-adic completion of $R$) ...
1
vote
1answer
230 views

Chain of ideals in a complex algebra

Suppose $\mathfrak{A}$ is an unital algebra over complex numbers and $\mathfrak{J}$ is chain of left-ideals in $\mathfrak{A}$ ordered by inclusion such that none of its elements is countably ...
10
votes
1answer
829 views

Affine scheme on spec(A) of a ring A as the sheafification of a pre-sheave on spec(A)?

It is obvious that there is a parallel between the definition of structure sheaf of $\operatorname{Spec}(A)$ versus the sheafification of a pre-sheaf. The definition of the sheaf $\mathscr F^+$ ...
2
votes
1answer
290 views

Finiteness of normalization of Noetherian normal domain

I have the following question: Let $A$ be an integrally closed Noetherian domain, $K$ its field of fractions. let $L$ be a finite extension of $K$, and $B$ the integral closure of $A$ inside $L$. Is ...
0
votes
1answer
219 views

Embedding commutative associative rings in non associative rings [closed]

Let $R$ be a commutative and associative ring with unit. Can $R$ be embedded in a ring $\hat{R}$ wich is both non commutative and non associative ? Thanks guys !
1
vote
2answers
302 views

quotient of integral polynomials not being integral

So let $R$ be an integral domain and $K$ its fraction field. Let $f,g,h\in K[x]$ be 3 monic polynomials such that $f=gh$. So I would like to have a simple example of a ring $R$ for which one has that ...
10
votes
1answer
458 views

Are there non-reflexive modules isomorphic to their bi-dual?

Let $M$ be an $R$-module. We say that $M$ is reflexive if the natural map $M\rightarrow M^{**}$ is an isomorphism. I'd like to know if there exists a module isomorphic to its bi-dual but not ...
6
votes
2answers
2k views

Periodic matrices

A square matrix $M$ such that $M^{k+1}=M$, for some positive integer $k$, is called a periodic matrix. Can we characterize the periodic matrices in $\mathcal{M}_n(\mathbb{Z})$? If we replace ...
2
votes
2answers
279 views

Can normalisations of curves over a perfect field change residue fields?

Does anyone know an example of a curve $X$ over a perfect field $k$ such that if $\tilde{X}$ is its noramlisation, there exists a point $x \in X$ and a point $y \in \tilde{X}$ over $x$ such that $k(y) ...
8
votes
2answers
563 views

Is the support of an Artinian module finite?

Let $R$ be a commutative Noetherian ring, $M$ is an Artinian $R$-module. Is the set $Supp_R(M)$ finite? Thanks.