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.
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 …
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 …
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 …
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 …
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 …
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 …
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 …
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 …
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 …
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 …
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 …