Consider the following sequence of natural numbers:

With certain constants a, c and m. Also known as the Linear Congruential (Random) Generator because it's used to generate pseudo-random numbers. For sake of simplicity assume =0.

Example with a=2, c=1, m=5: = 0,1,3,2,0,1,3,2,...etc

In this case the sequence has a period of 4. Obviously in any case the period is at most m.

I'm wondering for which numbers of m, there exist a>1 and c so that the maximum period m is actually obtained (with a=1 this is always possible for any m, the sequence then simply becomes 0,c,2c,3c,etc..).

The first possibility seems to be m=8, for example with a=5 and b=3: = 0,3,2,5,4,7,6,1,(0,3,etc)

The wiki link above suggests this ought to be possible foranym, as long as the following criteria are met:

- c and m are coprime
- a-1 is divisible by all prime factors of m
- a-1 is a multiple of 4 m is a multiple of 4

But in practice I found otherwise (for starters, there are no values a,c at all for m<8).

Does anyone know more about this? I do have some vague idea as to what criterium m should meet in order to have this "full modulo period" property. But I'm not sure yet and certainly unable to prove anything.