Welcome to MathOverflow

Question

2

What would you do if you see a notion which you used to work with has two names and the same name you use for this notion is used for another notion too. For example, after the work of J.B. Bost, A. Connes, (Hecke algebras, type III factors and phase transition with spontaneous symmetry breaking in number theory. Selecta Math. (New Series) Vol.1, no.3, 411-456, (1995)), in operator algebras community people call a subgroup $H$ of a group $G$ almost normal if every double coset of $H$, like $HgH$ is the union of finitely left cosets. It is equivalent to say that $H$ is almost normal if it is commensurable with its conjugates. Therefore in group theory people call such a subgroup conjugate commensurable. In stead, in group theory people call a subgroup $H$ of a group $G$ almost normal if its normalizer is of finite index in $G$. Now if I use the word conjugate commensurable for the above notion it is confusing in operator algebras community and if I use almost normal it can be confused with group theorists' notion of almost normal subgroups. What is the best way to deal with these sort of problems.

edited May 28 at 2:33

asked May 27 at 14:38

Vahid Shirbisheh
501●1●1●7

Chris Godsil · Accepted Answer · 2012-05-27 15:01:12Z UTC

4

To start with the obvious, in a given work you should conform to the usage that the majority of your readers expect. A second principle is that you should work out some reasonable system for your own work and follow that consistently. In cases where you expect readers from both camps, you will need to frequently draw your readers' attention to the meaning of your notation.

This is not a problem you can solve, you just have to find a solution you can live with. And whatever you find, your referees will disagree with you (and possibly with each other).

answered May 27 at 15:01

Chris Godsil
5,674●1●8●22

@Chris: Actually that is what I had to do in my last work. I explained the situation in the footnote. – Vahid Shirbisheh May 27 at 15:07

Why not giving it some space in your introduction about notation etc.? – Martin Brandenburg May 27 at 19:38

I don't think that a scholarly article is the wrong place to make a brief case for intelligently standardizing mathematical terminology or notation. It's actually a bit odd that mathematics has never evolved a standards bureau, say, as the organic chemists have. – David Feldman May 27 at 19:47

2

@David Feldman: I think having a standards bureau for notation is a fabulous idea. Perhaps one might argue that Bourbaki started one decades ago, but it didn't ever get updated and now need serious updating? Could the nLab fulfil this role I wonder? – Kevin Buzzard May 27 at 20:27

3

In practice, when a standards association attempts to deal with two competing systems of the notation, the usual outcome is a third competing system. See xkcd.com/927 – Chris Godsil May 27 at 22:03

show 2 more comments

Yves Cornulier · Answer 2 · 2012-05-27 23:05:03Z UTC

2

About your example, "almost something" is often a bad choice of terminology, and as ambiguous as possible. When a terminology is ambiguous and some other better terminology is available (in your example, "commensurated subgroup" is used, see for instance this paper by Conner and Mihalik and the references therein).

PS: It seems to me that these types of questions are preferably ticked as Community Wiki.

answered May 27 at 23:05

Yves Cornulier

community wiki

3

Why is an answer to a question considered preferably ticked as Community Wiki not ticked as such? ;) – quid May 27 at 23:22

@Yves: I think I have to stick to the terminology used by the majority of operator algebraists. \\ It's getting more interesting and involved yet. Now, we have one more name for the same notion. The funny thing is a pair $(G,H)$ is called a Hecke pair if $H$ is an almost normal (or conjugate commensurable or commensurated ) subgroup of $G$. So, somehow we have four different terminology for this notion. \\ By the way the paper you cited is interesting, thanks. – Vahid Shirbisheh May 28 at 2:52

@quid: the main feature I'm aware of community wiki is that there is no chosen "correct" answer (this is the only thing I had in mind). I'll read more about mathOF to have an idea what an answer as community wiki is useful to :) – Yves Cornulier May 28 at 9:28

@Yves Cornulier: Technically, and also sometimes in practise, also CW question can have accepted answers. To me, and this is compatible with what some (though be no means all) others expressed on occassion on meta the main point of having a question in CW is that all answers are CW and thus people will vote more freely and/or votes will have a slightly different meaning (more I agree/disagree than this is correct/incorrect). In that sense IMO having a question in CW is mainly useful to get the answers to be CW. – quid May 28 at 17:57

When a name is used for two different notions!

Remember to vote up questions/answers you find interesting or helpful (requires 15 reputation points)

2 Answers

You can accept an answer to one of your own questions by clicking the check mark next to it. This awards 15 reputation points to the person who answered and 2 reputation points to you.