Hi,
I'm not sure if you can help me with this, but I'm currently looking for an upper bound on the real part of the roots of a polynomial with real coefficients. In other words, I have a polynomial
$a_n x^n + a_{n - 1} x^{n - 1} + ... + a_1 x + a_0 = 0$
where $a_0, a_1, \dots, a_{n}$ are real ...
@Jakobian Actually, as you can see here, such tag was created long time ago. But since it was used only on a single question, it was eventually removed by the tag-pruning script.
Each semi-ring $R$ comes equipped with a canonical preorder $r\leq r^\prime \Leftrightarrow \exists w: r + w = r^\prime$. If $R$ is a ring this order collapses. However, if $R$ is the positive part of a ring, it should usually be a lattice. More precisely, the only reason it could fail is if, in ...
I should add a warning that on meta.MO quite often nobody responds to questions about tags. (I'd say the situation here is a bit worse than on Mathematics Meta.)
I think you have better chances that somebody notices your question if you post a new question.
Some tag suggestions were posted here: Help improve tagging! - but based on the description of the question (and on the existing answers), it seems to be mainly about renaming and synonyms.
I've noticed that while there are tags ordered-groups and ordered-fields, there is no tag ordered-rings. The issue is that there was a little amount of questions with this tag. So it got deleted.
I propose the following solutions:
Rename ordered-groups to ordered-groups-and-rings, or rename order...
Single-use tags automatically expire after a few months. This is arguably the right thing when the tag is a misspelling (though I'd prefer some way of reviewing the process — but this post is not about that). However, if the tag was clearly deliberate, the default should be not to delete it. I pr...
Let $X$ be a complex minimal surface of general type, id est $K_X$ is big and nef. It is well-known that $\displaystyle\int_X3c_2(X)-c_1(X)^2\geq0$, and the equality holds if and only if $X$ is uniformized by $\mathbb{B}\subset\mathbb{C}^2$ (the open ball). Ever in this case: $X$ does not contain...
The corners theorem of Ajtai and Szemerédi states that if $A\subseteq[N]^2$ is corner-free, i.e. there are no $x,y,h\in\mathbb{N}$ with all of $(x,y),(x+h,y),(x,y+h)$ in $A$, then $|A|=o(N^2)$. The standard proof of this theorem is to apply the triangle removal lemma that follows from Szemerédi's...