The tag has no wiki summary.

learn more… | top users | synonyms

24
votes
3answers
1k 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)$. ...
18
votes
3answers
1k views

Invariance of $Z[x]$ under a self-equivalence of the category of commutative rings with 1.

Let $\mbox{Rings}$ be the category of commutative rings with $1$. Is there an equivalence of categories $F: \mbox{Rings} \to \mbox{Rings}$ s.t. $$F(\mathbb{Z}[x])\not\cong \mathbb{Z}[x]?$$
8
votes
5answers
2k views

Axiomatic definition of integers

The real numbers can be axiomatically defined (up to isomorphism) as a Dedekind-complete ordered field. What is a similar standard axiomatic definition of the integer numbers? A commutative ordered ...
10
votes
2answers
376 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 ...
4
votes
2answers
431 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 ...
2
votes
2answers
292 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 ...
1
vote
1answer
155 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 ...
0
votes
1answer
280 views

Recursive Non-standard Models of Modular Arithmetic? [closed]

Any algebraically closed field (ACF) is a model of Modular arithmetic (MA). (MA) has the same axioms as first order Peano arithmetic (PA) except $\forall x(Sx \neq 0)$ is replaced with $\exists ...
5
votes
2answers
398 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 ...
5
votes
0answers
779 views

Are local, Noetherian rings with principal maximal ideal PIR?

A question asked by a friend. I believe it's false, but lack a decisive counterexample. This question shows that it is true for valuation rings, but I know too little about them. In the wider ...
2
votes
1answer
420 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. It's well ...