I'm rather new to number theory and don't have any knowledge in group theory at all. How can I prove that the least positive integer $r$ such that $x^r=1 \ (mod \ N) $ satisfies $r \leq N$?
My thoughts on this problem:
In the definition of order modulo $N$ it is stated that $x<N$ and $gcd(x,N)=1$. This fact allows us (using $gcd$ representation theorem) to state that there exist integers $a,b$ such that $ax+bN=1$. I think I have to use this somehow, but I'm stuck on this step. Can I please get help?
UPD: Thanks to everybody who helped me, the proofs are really elegant and smart!
Yes, indeed you need that $\gcd(x,N)=1$, because otherwise the statement is not true. Look e.g. at $2^r\equiv 1\pmod 4$, which is only true for $r=0$ but not for any positive integer. So I will assume $\gcd(x,N)=1$ in the following.
Look at the list
$$x^0,x^1,x^2,...,x^{N-1},x^N$$
modulo $N$. This can give you at most $N$ different numbers, namely $0,...,N-1$. But the list has length $N+1$, so some number must ocure at least twice (pidgeonhole principle).
So, let's say $x^n\equiv x^m\pmod N$ with $n>m$. Maybe you already know that for $\gcd(x,N)=1$ there is a unique multiplicative inverse $x^{-1}$ so that $x\cdot x^{-1}\equiv 1\pmod N$. We multiply $x^{-m}:=(x^{-1})^m$ to both sides:
\begin{align} x^n&\equiv x^m\pmod N &|\cdot x^{-m} \\ x^n\cdot x^{-m}&\equiv x^m\cdot x^{-m}\pmod N \\ x^{n-m}&\equiv 1\pmod N \\ \end{align}
Since $n,m\le N$ and $n>m$ we have that $r:=n-m\le N$ (actually $r<N$).