A generalization of Eichler's trace formula.
Eichler's trace formula for traces of the Brandt-Eichler matrices is proved for arbitrary totally definite orders in central simple algebras of prime index over global fields. A formula for type numbers of such orders is proved as an application.