Skip to main content
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
Results tagged with
Search options not deleted user 3199

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)] $$ …
Pace Nielsen's user avatar
  • 18.7k
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 …
Pace Nielsen's user avatar
  • 18.7k
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 …
Pace Nielsen's user avatar
  • 18.7k
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 …
Pace Nielsen's user avatar
  • 18.7k
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 …
Pace Nielsen's user avatar
  • 18.7k
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 …
Pace Nielsen's user avatar
  • 18.7k
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 …
Pace Nielsen's user avatar
  • 18.7k
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 …
Pace Nielsen's user avatar
  • 18.7k
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 …
Pace Nielsen's user avatar
  • 18.7k
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 …
Pace Nielsen's user avatar
  • 18.7k
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 …
Pace Nielsen's user avatar
  • 18.7k
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 …
Pace Nielsen's user avatar
  • 18.7k
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)= …
Pace Nielsen's user avatar
  • 18.7k

15 30 50 per page