samuel.shokry12's blog

By samuel.shokry12, history, 5 years ago, In English

Hi, I have been reading this article Discrete log, I believe it relies on trying all the possible answers a^x mod m, where x belongs to [0, m[, but that requires that a^x mod m is cyclic somehow, where a^x mod with x >= m is equal to some a^j mod m, where j < m. I have tried some manual examples, and it seems that's the case. I guess it can be proven when m is prime using Fermat's Little Theorem, but don't know how to prove it for composite m. any suggestion?

| Write comment?
»
5 years ago, # |
Rev. 2   Vote: I like it 0 Vote: I do not like it

if $$$a$$$ and $$$m$$$ are coprime $$$a^x \equiv a^{x \bmod \phi (m)} \bmod m $$$ holds

Euler's theorem