Search Results
Search type | Search syntax |
---|---|
Tags | [tag] |
Exact | "words here" |
Author |
user:1234 user:me (yours) |
Score |
score:3 (3+) score:0 (none) |
Answers |
answers:3 (3+) answers:0 (none) isaccepted:yes hasaccepted:no inquestion:1234 |
Views | views:250 |
Code | code:"if (foo != bar)" |
Sections |
title:apples body:"apples oranges" |
URL | url:"*.example.com" |
Saves | in:saves |
Status |
closed:yes duplicate:no migrated:no wiki:no |
Types |
is:question is:answer |
Exclude |
-[tag] -apples |
For more details on advanced search visit our help page |
Commutative rings, modules, ideals, homological algebra, computational aspects, invariant theory, connections to algebraic geometry and combinatorics.
57
votes
Accepted
$R$ is isomorphic to $R[X,Y]$, but not to $R[X]$
The answer to this quite beautiful question is that there does exist a commutative ring $R$ with $R\cong R[X,Y]$ but $R\not\cong R[X]$.
Let $F$ be a field, and take
$$
R=F[x_i,y_i,r_i\ (i\geq 0)]
$$
…
28
votes
2
answers
849
views
$A^2$ is isomorphic to $A^{(\omega)}$, but not $A$
Is there an abelian group $A$ with $A\not\cong A\oplus A\cong A\oplus A\oplus A\oplus\cdots$ (a direct sum of countably many copies of $A$)?
Edited to add: As no answers are forthcoming, does anyone …
19
votes
Accepted
Is the hierarchy of relative geometric constructibility by straightedge and compass a dense ...
There are three answers. Throughout let $qcl(F)$ be the quadratic closure of a field $F$ inside $\mathbb{C}$.
Part 1: Yes there is a quadratically closed field strictly between $qcl(\mathbb{Q})$ and …
16
votes
Using a known result without a specific reference
My general rule of thumb is to ask myself the following questions:
(1) If I pretend that my paper was written by someone else, and I hadn't seen it before, and I want to verify its accuracy, would …
13
votes
Uncountable counterexamples in algebra
In rings: Let $R$ be a ring where idempotents lift modulo the Jacobson radical $J(R)$. Any countable set of orthogonal idempotents in $R/J(R)$ lifts to an orthogonal set of idempotents; but this fai …
10
votes
An example of a commutative ring with infinitely many maximal ideals
Let $R$ be the subring of $\prod_{i=1}^{\infty}\mathbb{Q}$ of sequences which are eventually constant. This ring has the "obvious" maximal ideals $M_i$ of sequences which are zero in the $i$th coordi …
10
votes
Accepted
If a quotient ring is a projective module then the ideal is principal
Let $\pi:R\to R/I$ be the natural projection map. This is an $R$-module homomorphism (as well as a ring homomorphism). If $R/I$ is projective, then this map splits. Call such a splitting $\varphi:R …
9
votes
1
answer
695
views
Hensel's lemma, Bezout's identity, and the integers
Factorization in the ring $\mathbb{Z}[x]/(x^2+1)\mathbb{Z}[x]\cong \mathbb{Z}[i]$ is well known. For instance, $5$ and $13$ (and any prime $\equiv 1\pmod{4}$) are no longer prime.
The factorization o …
7
votes
Irreducible/prime/indivisible elements
On question 1: Let $A=\mathbb{F}_2[a,b,d\ :\ a^2=b^2,ad=a,bd=b]$. The element $a$ is not prime since $A/(a)$ has a nonzero nilpotent element $\overline{b}$. The element $a$ also is not irreducible s …
7
votes
Undecidability of irreducibility of infinite families of integer polynomials?
(This is only a comment.) If you instead look at the family $\{x^d-x+n\}$, then it is known that there are infinitely many irreducible elements (for each positive $n$). It suffices to show that $f(x …
7
votes
3
answers
2k
views
Does a "composite field" always exist?
Suppose $F$ is a field, and $F_1, F_2$ are two extension fields of $F$. Is it always the case that there is a field $L$, containing three subfields $F, K_1, K_2$ and two ring isomorphisms $\varphi_{i …
6
votes
Is the hierarchy of relative geometric constructibility by straightedge and compass a dense ...
I've figured out how to do the finite graph case, in the negative. The ordering of quadratically closed fields is not dense in that case either. Throughout let $qcl(F)$ denote the quadratic closure …
6
votes
Example of a projective module which is not a direct sum of f.g. submodules?
Pete, here is another nice example (shown to me by Bergman many years ago) answering question 1 in another way.
Let $F$ be a field, let $R=F[x]$, and let $M=F[[x]]$ (which is an $R$-module in the obv …
5
votes
Can we prove that the ring of formal power series over a noetherian ring is noetherian witho...
I believe that the answer is yes.
Let $A$ be a commutative ring with $1$, such that any non-empty set of ideals has a maximal element. For each ideal $I\leq A[[x]]$, and each $n\in \mathbb{N}$, defi …
5
votes
Accepted
Irreducibility of a polynomial
I believe that the answer is yes. Put $c:=g(x_1,\ldots, x_n)$, which is irreducible in the UFD $R:=k[x_1,\ldots, x_n]$. Assume $f$ is irreducible, but also assume by way of contradiction that $f(c)= …