I don't think that this is an ideal way to handle this particular question - I expect it to be quickly closed on Math.SE and MO will be left with the migration stub (for some time).
Probably the question could be turned into a reasonable question for math.SE - but at least some context would be needed. (Where does the problem come from? What exactly is the goal of the derivation where this is taken from? And so on.)
Anyway, we'll see what happens with the question.
I have at least linked to some basic info on MathJax - so let's hope that when this user post their next question, they choose the correct site and they also formulate the question better than this one.
@MartinSleziak That's pretty much it. People are a bit worried because the rules about pronouns do not translate well at all in Italian, but I doubt it's going to have a big impact
I am thinking the following statement is true:
Direct summand of an injective module is injective
Given $0\to A\to A'$ and $A\to C$, we compose the canonical injection to obtain $A\to C\oplus C'$ which is injective, thus extends to $A'\to C\oplus C'$. We then descend this to $A'\to C$, whic...
@DenisNardin It seems that on MO most people have the view that there's nothing which would cause immediate worries. (Despite the whole situation being rather weird.)
@MartinSleziak I agree with the assessment. The troubling bit is the implication for SE's attitude towards the volonteers, rather than the CoC or the FAQ (that have been revamped to a point that I don't believe they are problematic anymore)
In any case, it is much less likely that SE would remove a moderator on MO than on other sites - since MO is a separate entity. And historically it seems that SE preferred to threat lightly when dealing with MathOverflow.
Of course, they might remove diamond from somebody after consulting this first with the MO moderator team - I know only about one case when that happened. (And even in that situation it was mostly precaution.)
I am thinking the following statement is true:
Direct summand of an injective module is injective
Given $0\to A\to A'$ and $A\to C$, we compose the canonical injection to obtain $A\to C\oplus C'$ which is injective, thus extends to $A'\to C\oplus C'$. We then descend this to $A'\to C$, whic...
