A symbol to denote the set of prime numbers ? - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-24T06:24:52Z http://mathoverflow.net/feeds/question/70036 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/70036/a-symbol-to-denote-the-set-of-prime-numbers A symbol to denote the set of prime numbers ? Qfwfq 2011-07-11T18:08:17Z 2011-07-12T02:10:59Z <p>It strikes me that there is no widely accepted symbol to denote the set of usual prime numbers in $\mathbb{N}$.</p> <p>Look: </p> <p>$$\zeta(s)=\prod_{p\in \mathrm{?}}\frac{1}{(1-p^{-s})}$$</p> <p>Wouldn't it be nicer to have a standard symbol to put in place of the "$\mathrm{?}$" instead of writing just $\Pi_p$ and specifying by words "where $p$ ranges in the set of prime numbers"?</p> <blockquote> <p>Is there a reason for this lack of standard notation? Perhaps because primes do not form a sufficiently nice algebraic structure?</p> </blockquote> <hr> <blockquote> <p>Have you seen expressive instances in the literature to define such a symbol?</p> </blockquote> http://mathoverflow.net/questions/70036/a-symbol-to-denote-the-set-of-prime-numbers/70038#70038 Answer by Martin Brandenburg for A symbol to denote the set of prime numbers ? Martin Brandenburg 2011-07-11T18:10:20Z 2011-07-11T18:10:20Z <p>I've read $\mathbb{P}$ many times and also use it.</p> http://mathoverflow.net/questions/70036/a-symbol-to-denote-the-set-of-prime-numbers/70041#70041 Answer by David Speyer for A symbol to denote the set of prime numbers ? David Speyer 2011-07-11T18:29:20Z 2011-07-11T18:29:20Z <p>To answer the actual question, I don't know any standard symbol; I've seen $P$, $\mathbb{P}$ and $\mathtt{PRIMES}$. (The last seems more common in the CS-literature, such as <a href="http://www.cse.iitk.ac.in/users/manindra/algebra/primality_v6.pdf" rel="nofollow">this</a> famous paper.)</p> <p>I would like to use this as an opportunity to make my standard plea for using multi-letter symbols; and to argue in this case for $\mathtt{PRIMES}$. There are more important concepts than can be represented by upper and lower case letters, even allowing multiple fonts and Greek letters. Moreover, multi-letter symbols are far more self-explanatory than single character ones; I can open up a paper, see $\mathtt{PRIMES}$ in the middle of a page and have a very good guess what it represents; not so with $\mathbb{P}$.</p> <p>Moreover, if you tie down the simple one letter symbols for major objects, you'll won't have them available for little dummy roles like the $p$ and $s$ in your formula. For example, suppose you needed the partial product <code>$$\prod_{\substack{ p \in \mathtt{PRIMES}\\ p &lt; P }} \frac{1}{1-p^{-s}}$$</code> and needed to work with expressions like $O(\min(P^{-1} \log P, 10))$ for how things depended on your bound. (Open up pretty much any analytic number theory paper to see examples like this.) Wouldn't you be glad you hadn't wasted $P$ on a set, which is unlikely to appear in any complicated algebraic manipulations?</p> <p>PS: Of course, in many cases, spelling things out in words is the best solution. There is certainly nothing wrong with "<code>$\prod_p \ \left( \textrm{such-and-such} \right)$</code>, where $p$ runs through the primes".</p> http://mathoverflow.net/questions/70036/a-symbol-to-denote-the-set-of-prime-numbers/70042#70042 Answer by Qiaochu Yuan for A symbol to denote the set of prime numbers ? Qiaochu Yuan 2011-07-11T18:35:53Z 2011-07-11T18:35:53Z <p>I just write $\displaystyle \prod_{p \text{ prime}}$. </p> http://mathoverflow.net/questions/70036/a-symbol-to-denote-the-set-of-prime-numbers/70049#70049 Answer by paul garrett for A symbol to denote the set of prime numbers ? paul garrett 2011-07-11T19:47:10Z 2011-07-11T19:47:10Z <p>As in other answers and comments: <em>context</em> usually suffices to explain that $p$ is a prime, whether in the rational integers or whatever. That is, when possible, no notation at all is clearer (and less bulky and visually noisy) than any possible notation. </p> <p>Similarly, as I was slow to learn, objects' notations need not make explicit reference to every parameter upon which they depend: context should make most of it clear, and, if context is failing to do so, then it may be as much a complaint about the author's setting of context as anything else.</p> <p>Also, as in other comments and answers, committing succinct single-letter labels for global variables is often wasteful.</p> <p>Also, as computer programming teaches us, the fewer global variables the better, and, if one <em>has</em> such, their names should be self-explanatory, not cryptic, regardless of the illusion of "saving".</p> <p>Even in situations where clarification is essential, in-lined expressions can be almost entirely prose, rather than symbolic, and displayed expressions can have a small verbal comment, as in $$\zeta(s)\;=\;\prod_p \frac{1}{1-p^{-s}}\hskip30pt\hbox{(product over primes p)}$$</p> http://mathoverflow.net/questions/70036/a-symbol-to-denote-the-set-of-prime-numbers/70063#70063 Answer by Moosbrugger for A symbol to denote the set of prime numbers ? Moosbrugger 2011-07-11T21:58:59Z 2011-07-11T22:09:03Z <p>For a scheme $X$, people sometimes use $|X|$ to denote the set of closed points of $X$. So the set of primes is $|\operatorname{Spec}(\mathbb{Z})|$ and you have:$$\zeta(s)=\prod_{p\in|\operatorname{Spec}(\mathbb{Z})|}\frac{1}{1-p^{-s}}.$$</p> <p>This formula of course generalizes to give the $\zeta$-function of any scheme $X$ of finite type over $\mathbb{Z}$ (e.g., a variety of finite type over a finite field): $$\zeta_X(s)=\prod_{x\in|X|}\frac{1}{1-|\kappa(x)|^{-s}}$$ where $\kappa(x)$ is the residue field at $x$ and $|\kappa(x)|$ is its order.</p> http://mathoverflow.net/questions/70036/a-symbol-to-denote-the-set-of-prime-numbers/70076#70076 Answer by quid for A symbol to denote the set of prime numbers ? quid 2011-07-12T02:10:59Z 2011-07-12T02:10:59Z <p>Since I commented so much, let me also try an answer. I find this question somehow difficult, since 'standard' seems so vague to me. [In some sense it is a very long comment, the main message is as in Martin Brandenburg's answer.]</p> <p>If one asks for a true standard, then, no there is none. But, I think this is a bit much to ask for.</p> <p>$\mathbb{N}$ is used in the question without explanation so a some sort of standard.</p> <p>But, is it? Actually, to me there is less of a <em>standard</em> notation for the nonnegative and the positive integers than for the prime numbers (as cryptical expressed in a now deleted comment). Some people use $\mathbb{N}$ to mean the nonnegative integers others to denote the positve integers. (The respective other being denoted by $\mathbb{N}^{\ast}$ and <code>$\mathbb{N}_0$</code> or something along these lines.) So, basically, one has to define the notation if one wishes to be sure that there is no misunderstanding; or, one uses both nonnegative and positive sufficiently frequently, because each of the pairs then makes clear which is which. [And, indeed, I spent once considerable time to figure out whether in some paper now $\mathbb{N}$ included zero or not; as I needed the result specifically for $0$...at least it did.]</p> <p>To wit, Henri Cohen in his recent two volume book on number theory refuses to use $\mathbb{N}$ for this reasons and uses appropriate 'decorations' of $\mathbb{Z}$ instead.</p> <p>And, then there is also the question of $\mathbb{N}$ vs. $\mathbf{N}$ (and rarely, but I just saw it in the paper mentioned by David Speyer, $\mathcal{N}$). Even for the integers there is not a true standard, as the fonts vary in the same way; same for reals, complex, rationals (at least for bf vs bb). </p> <p>So, why should there be a truer standard for the primes?</p> <p>And if one ask for something essentially as standard as the above, then I would say yes there is: a capital P in some 'special font' blackboard bold, caligraphic, or boldface. Depending on ones choice regarding the font for, say, the integers with the exception of the concern raised by Seva or the mentioned 'notation-clashes', so that then caligraphic is not at all unusual. </p> <hr> <p>Now, whether or not one should use such a symbol for the primes or not seems to me is a bit of an orthogonal discussion. I'd say it depends on the field, even on the specific paper, and the personal style. In some of my papers I do use it, in some not; depends if it seems useful. </p> <p>It is true that one is much less likely to use the prime numbers as a 'building block' in some constrcut and thus needs a symbol, while say $\mathbb{Z}^n$, $\mathbb{Z}/n\mathbb{Z}$, and plenty of other things are used often.</p> <p>But, then why $\mathbb{N}$ (assuming it does not contain $0$)? This could also be avoided<br> most of the time, or similar arguments could be made. </p> <hr> <p>So, there is not a unique standard, but several standard notations (virtually all some variation on P, namely in blackboardbold, caligraphic, or boldface), which in those fields that need the notation are used frequently; to quote something recent, e.g., Iwaniec&amp;Kowalski have $\mathbb{P}$ as a notation, just like $\mathbb{Z},\mathbb{Q},...$</p>