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.

4 votes
0 answers
109 views

Adjoining new factors for primes in UFDs

It is well-known that if we pass from a UFD to a new ring where we have factored one of the primes, it does not need to stay a UFD. The classic example is passing from $\mathbb{Z}$ to $\mathbb{Z}[\sq …
3 votes
0 answers
72 views

Fast checking that a system of polynomial equations is satisfiable over $\mathbb{F}_2$

I have a (fairly large) system of polynomial equations, of the form $$ c_1d_1=0,\ c_1d_2+c_2d_1=0,\ldots $$ (In case it is relevant, all the polynomials are homogeneous of degree 2, except for exactly …
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 …
4 votes

Ideals whose quotient rings have a certain property

"Is there a property of an ideal $I$ that guarantees that $R/I$ is a principal ideal domain? A Bézout domain? Euclidean?" First, a clarification. Notice that the condition for an ideal $p$ to be prim …
Pace Nielsen's user avatar
  • 18.7k
1 vote

$R$ is a UFD iff $R_{\frak{m}}$ is a UFD?

The following are just some partial thoughts about the new question which are too long for comments. Throughout, assume that $R_{\mathfrak{m}}$ is a UFD, $R_0$ is a field, etc... First, let $x\in \ma …
Pace Nielsen's user avatar
  • 18.7k
5 votes

$R$ is a UFD iff $R_{\frak{m}}$ is a UFD?

(Note: The original question had an incorrect premise. The ideal generated by elements of positive degree in an arbitrary graded ring is not generally maximal.) Here is the solution to the original p …
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
2 votes
Accepted

Explicit Bézout cofactors

The answer to the question posed by Aaron Meyerowitz to darij grinberg in the comments is unfortunately negative, even in the integers, by taking $a=c=u=v=w=0$ but $b=d=1$. However, it has a positive …
LSpice's user avatar
  • 12.9k
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
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
5 votes

Is it true that the structure of a commutative ordered semiring is unique on a commutative o...

The answer is no. Consider the set $\mathbb{N}^{<\omega}$, consisting of $\omega$-tuples with only finitely many nonzero entries. This set is totally ordered under the relation $\prec$, where $(a_0,a …
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 …
1 vote

Using equational Jacobson condition to prove element lies in radical of ideal

Fix $I_2=\langle x^2\rangle \vartriangleleft \mathbb Z[x]$. Let $f=x$. For each polynomial $g\in \mathbb{Z}[x]$ we have $h(1-gf)\in 1+I$ when taking $h=1+gf$. Your question: "Which polynomials $g\in …
Pace Nielsen's user avatar
  • 18.7k
3 votes
Accepted

The existence of two maximal ideals with the same set of idempotents

Sketch: First, if $e$ is an idempotent in $A$, show that $B$ can be replaced with $B+Re$, and the hypotheses still holds. Use this to reduce to the case that $A$ and $B$ contain the same idempotents …
Pace Nielsen's user avatar
  • 18.7k
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 …
Pace Nielsen's user avatar
  • 18.7k

15 30 50 per page