1
$\begingroup$

I'm familiar with the notation $\mathrm{ord}_a(x)$, when $x$ is an integer. However, I'm reading a book where this notation is used with $x$ rational. I'm not sure how to interpret this?

  • 0
    In this situation, $x$ can be written as $\frac{m}{2}$. Then, for any odd prime $p$, only the numerator can contribute to the order, i.e. if $m=p^rm'$ where $m'$ is relatively prime to $p$, then, $ord_p(x)=r\geq 0$2010-11-16

2 Answers 2

2

The notation is defined and explained in some detail here: see pages 11-13.

  • 0
    Thanks! It confirms my understanding. I have used $\nu$ instead of $v$ because I see that notation many times.2010-11-16
5

For any rational number $x$ and any prime integer $p$, we can write $x=p^r\frac{m}{n}$ uniquely (where $r$ is an integer thanks to Yuval for clarifying that), where $m,n$ are integers relatively prime to $p$. Then, we write $ord_p(x)=r$

  • 0
    Just to clarify: $r$ is an integer that could be negative, e.g. $\mathrm{ord}_p(1/p) = -1$.2010-11-16