## Not signed in

Want to take part in these discussions? Sign in if you have an account, or apply for one below

## Site Tag Cloud

Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.

• CommentRowNumber1.
• CommentAuthorDavidRoberts
• CommentTimeFeb 27th 2018

Created Henselian pair and linked to it from Henselian ring and Hensel’s lemma. Probably the definition could be given in more generality for topological rings. The existing definition seems to implicitly assume the discrete topology, since in that case, restricted formal power series are just polynomials, and that’s what appears in the definition I copied over from the Stacks Project.

• CommentRowNumber2.
• CommentAuthorzskoda
• CommentTimeMar 5th 2018

So, what will be the recommendation on the capitalization question ? So far the entry has “henselian pair” but also “Henselization”.

• CommentRowNumber3.
• CommentAuthorMike Shulman
• CommentTimeMar 5th 2018

Is there a consensus among mathematicians who write about such things?

• CommentRowNumber4.
• CommentAuthorDavidRoberts
• CommentTimeMar 5th 2018
• (edited Mar 5th 2018)

My mistake on the capitalisation, I’m not sure if there is a consensus. I would personally copy what the Stacks Project does (lowercase), if people don’t mind, but there may be a reasonably standard reference (EGA?, Hartshorne?) that has a different stance. Wikipedia sticks with uppercase.

• CommentRowNumber5.
• CommentAuthorTodd_Trimble
• CommentTimeMar 5th 2018

Does Wikipedia have a style guide? I’m thinking that they probably write ’abelian’ in many articles, but also ’Noetherian’ in others. Which is hard to justify on any principled basis.

Roughly speaking, I’d say that adjectives named after authors tend to retain capitals at least for a while (e.g., ’Pynchonesque’, ’Shakespearean’), but by the time we get to verb forms it changes to uncaps (’bowdlerize’, ’boycott’). Thus I’d be inclined to go with ’Henselian’ and ’henselization’. Of course, my language is American English; it seems to me that on the European Continent there is more and more a tendency to use lower case, even for the name itself. (I haven’t done statistics or n-grams on this.)

• CommentRowNumber6.
• CommentAuthorMike Shulman
• CommentTimeMar 6th 2018

In mathematics my experience is that a given person’s name is usually capitalized, but a few people are honored by non-capitalization, regardless of part of speech. E.g. we say both “abelian” and “abelianize”, and category theorists say “cartesian” (although other mathematicians often still capitalize it), but we also have for instance “De Morgan algebra” and “De Morganization”.

Anyway, I just added a characterization of Henselian rings that I recently learned from Akhil Mathew, which implies that the property of $(R,I)$ being Henselian depends only on the ideal $I$, viewed as a non-unital ring (except for the basic requirement that $I$ is contained in the Jacobson radical of $R$).