1/ Is the order of an element in an integer between m : , or , or , or ?

is the additive group of integers mod n. So the element 1 has order n (that's the number of times you must add 1 to itself in order to get a multiple of n). Also, the order of 0 is 1. So the first of those four choices is the correct one.

Originally Posted by Moo

2/ How to prove that if , there is a unique (or <n, depending on the answer of the first question :P) such that ?

That is not true. Euler's theorem tells you that . But this number is not unique. For example, if n=10 and a=3 then , but also .

is the additive group of integers mod n. So the element 1 has order n (that's the number of times you must add 1 to itself in order to get a multiple of n). Also, the order of 0 is 1. So the first of those four choices is the correct one.

Hmmm ok !
And what if it is the multiplicative group ?

That is not true. Euler's theorem tells you that . But this number is not unique. For example, if n=10 and a=3 then , but also .

Oh, right

I never heard of Carmichael's indicator (nor did Google, as far as I can tell).

Uuuh I don't know... The paper was talking about
If I see this friend again, I'll ask again =)

Well, is not a group under multiplication mod n (0 doesn't have an inverse, nor does any number that is not coprime to n). However, the set of all elements in that are coprime to n does form a group under multiplication mod n. That group has order .

Carmichael function is the smallest integer such that, for every with , . This property is satisfied by Euler's totient function, but it is not always the smallest solution.

In other words, Carmichael function is the lowest common multiple of the orders of the elements of . While Euler's totient function is the cardinality of this group. So that . They're equal if is prime.

For this and more, I suggest you to have a look at the "Cours d'algèbre" by Michel Demazure, edition Cassini. You'll find it in any university library (in France), it is really well written, with plenty of nice properties and proofs (It is somewhat oriented towards algorithmic applications: primality testing, coding theory).