5:08 AM
linked-questions Can every Lie group be realized as the full isometry group of a Riemannian manifold? links to What kind group can be realized as a Isometry group of some space?
A temporary comment in order to get the linked questions updated: What kind group can be realized as a Isometry group of some space? — Martin Sleziak 57 secs ago
2 hours later…
6:57 AM
For recently created tags, it might be useful to have also links to the post and the revision history: main, meta.
7:59 AM
Here are some guidelines for the next few removals of abstract-algebra, which can be of course amended or discussed.
mathoverflow.net/questions/257748 : add gr.group-theory, finite-groups, universal-algebra. Formatting edit: "Semigroup"->"semigroup" in title; End -> operatorname{End} in text.
mathoverflow.net/questions/254566 : replace mathematical-software with computer-algebra. Edits "Take Alternating" -> "take the alternating"; add spacings before opening parentheses; erase "Any hints".
specific-question In connection with Generalizing a codistributive property of sufficiently disjoint normal subgroups to protomodular categories, I'll just mention that the tags protomodular-categories and normal-subgroups exist on MO, they might be worth considering.
@MartinSleziak protomodular-categories is specific and hence would be useful. I think the tag normal-subgroup is totally useless (normal subgroups are somewhat everywhere in groups, and the tag is used only a tiny number of times: 26, while there are 6000 group theory questions, and 400 questions and 1000 posts contain "normal subgroup". It should even be erased, I think)
8:18 AM
specific-tag I agree that it is questionable whether the tag normal-subgroup is useful. (I think that it could be useful if it was used consistently.) One think which can help to make people aware of this tag is to use it when some questions where it fits is added (or bumped) - that's the reason why I mentioned it.
mathoverflow.net/questions/249495 add fields, ac.commutative-algebra; clean up the post (blank lines, new paragraph starting without capital, paragraph ending without period, Gal -> operatorname{Gal}, sin,cos with backslash, remove "!!!"...)
It seems that the protomodular-categories tag was created in 2016, and the questions in this tag come from the same user. The tag normal-subgroups exists at least since 2014, if not longer.
SEDE: data.stackexchange.com/mathoverflow/query/927958/… data.stackexchange.com/mathoverflow/query/883845/…
Queries which show also editors who added/removed the tag: data.stackexchange.com/mathoverflow/query/1105163/… data.stackexchange.com/mathoverflow/query/1038474/…
SEDE: data.stackexchange.com/mathoverflow/query/927958/… data.stackexchange.com/mathoverflow/query/883845/…
Queries which show also editors who added/removed the tag: data.stackexchange.com/mathoverflow/query/1105163/… data.stackexchange.com/mathoverflow/query/1038474/…
mathoverflow.net/questions/232468 : add gr.group-theory, finite-groups, change C, C, G to $C$, $C$, $G$
mathoverflow.net/questions/230143 : remove ct-category-theory. Fix the title "Order-Perserving Bijection" ->"Order-preserving bijection". Add ref info; 2nd link S. Huczynska, N. Ruškuc, Well quasi-order in combinatorics: embeddings and homomorphisms. Surveys in combinatorics 2015, 261–293, LMS LNSer 424, Cambridge Univ. Press 2015; change 3rd link to arxiv.org/abs/1107.5070v2
8:42 AM
@MartinSleziak there are 12 questions with "protomodular", by some other users. The tag looks fine and at worst harmless. I still think that "normal subgroup" doesn't fit for a tag, for the same reason "subgroups" would be a poor tag. Since 2014 there's 3500 questions tagged gr.group-theory and only 21 were tagged normal-subgroups. So expecting a consistent use sounds hopeless unless triggered by a intensive retagging by editors (which I wouldn't find worthwhile).
3 hours later…
11:29 AM
specific-question I think both cayley-graphs and planar-graphs might be suitable for "Transposition Cayley graphs are planar". I have added at least one of them - however, all five spote are already taken. (I guess this is somewhat similar to the above discussion - both tags in question are relatively small, it's unclear whether they are going to be useful.)
1
Consider the Cayley graph $G$ with vertex set the elements of the symmetric group $S_n$ and generating set the set of minimal transposition generators of the group $S_n$, that is the set $S=\{(12),(13),\ldots, (1n)\}$. Then, will the graph be always planar? The graph is easily seen to be biparti...
Re: there are 12 questions with "protomodular", by some other users. I am only getting 9 questions. However, the number of questions is not the most important factor when deciding whether a tag might be useful.
Also I don't have anything against protomodular-categories. (In case that wasn't clear from my message.)
5 hours later…
4:46 PM
specific-question This question does not have any top-level tag (although real-analysis is rather big): Do infinitely nested radicals have any applications? Would ca.classical-analysis-and-odes fit? Should sequences-and-series be added?
1
There is a simple necessary and sufficient condition for a continued radical of the form $\sqrt{a_1 + \sqrt{a_2 + \dotsc}}$ to converge (where all terms $a_1, a_2$ etc. are nonnegative). Namely, that the sequence $n \mapsto a_n^{2^{-n}}$ should be bounded. This is known as Herschfeld's Convergen...
« first day (2441 days earlier) ← previous day next day → last day (1474 days later) »
Transcript for
Apr27
Apr '2028
Apr29
MO editors' lounge
Talk related to editing, tagging and related matters for the s...