The k-dimensional generalized Euler function ϕ k (n) is defined to be the number of ordered k-tuples (a1, a2, . . . , a k ) ∈ N k with 1 ≤ a1, a2, . . . , a k ≤ n such that both the product a1a2 • • • a k and the sum a1This identity can also be viewed as a generalization of Menon's identity. In this article, we generalize this identity to the ring of algebraic integers involving arithmetical functions and Dirichlet characters.