Groups whose nonlinear irreducible characters separate element orders or conjugacy class sizes

A class function φ on a finite group G is said to be an order separator if, for every x and y in G \ {1}, φ(x) = φ(y) is equivalent to x and y being of the same order. Similarly, φ is said to be a class-size separator if, for every x and y in G\ {1}, φ(x) = φ(y) is equivalent to |C _G (x)| = |C _G (y)|. In this paper, finite groups whose nonlinear irreducible complex characters are all order separators (respectively, class-size separators) are classified. In fact, a more general setting is studied, from which these classifications follow. This analysis has some connections with the study of finite groups such that every two elements lying in distinct conjugacy classes have distinct orders, or, respectively, in which disctinct conjugacy classes have distinct sizes. Received: 10 April 2007