在數學上,歐拉函數的定義如下
此函數得名由萊昂哈德·歐拉。歐拉函數是典型的q級數及模形式函數,也是描述组合数学及複分析之間關係的典型範例。
歐拉函數的的倒數 1 / ϕ ( q ) {\displaystyle 1/\phi (q)} 展開成形式幂級數,其對應的係數 p ( k ) {\displaystyle p(k)} 恰好是k的分割函數,亦即
其中 p ( k ) {\displaystyle p(k)} 為k的分割函數。
五邊形數定理是一個有關歐拉函數的恆等式,其定理如下:
其中 ( 3 n 2 − n ) / 2 {\displaystyle (3n^{2}-n)/2} 為廣義五邊形數。
依拉馬努金恆等式(Ramanujan identity),歐拉函數和戴德金η函數有以下的關係:
其中 q = e 2 π i τ {\displaystyle q=e^{2\pi i\tau }} 是nome(英语:nome (mathematics))的平方。
上述二個函數都有模群(英语:modular group)下的對稱性。