Sign up ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

Is there any results about the Euler's totient function for ideals?

More precisely, for any number field $k,$ if we define $\phi(\mathfrak{a})$ as the number of residue classes $\bar{\mathfrak{a}}\in\mathfrak{o}_k/\mathfrak{a}$ such that gcd$(\bar{\mathfrak{a}},\mathfrak{a})=\mathfrak o_k$. Then is the fuction $\phi(\mathfrak{a})$ sharing the basic properties that the usual Euler 's totient function has?

For example, for all $\alpha\in\mathfrak{o}_k$ prime to $\mathfrak{a}$ we have $$\alpha^{\phi(\mathfrak{a})}\equiv1\mod\mathfrak{a};$$ for any prime ideal $\mathfrak{p}$ and for any $\alpha\in\mathfrak{o}_k$ $$\alpha^{\phi(\mathfrak{p})}\equiv\alpha\mod\mathfrak{p}$$ and $$\phi(\mathfrak{a})=N(\mathfrak{a})\prod_{\mathfrak{p}|\mathfrak{a}}\left(1-\frac{1}{N\mathfrak{p}}\right).$$

Any comment will be acknowledged!

share|cite|improve this question
You're letting $\phi(\mathfrak a)$ be the size $(\mathfrak o_k/\mathfrak a)^*$. The first two properties are then basic facts about groups, right? – Dylan Moreland Jun 13 '12 at 12:38
Yes, I see it, @Dylan, then the last one is obvious. – Qiang Zhang Jun 13 '12 at 12:50

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Browse other questions tagged or ask your own question.