Recognition of division algebras

An algorithm to construct a maximal order Λ in a finite-dimensional semisimple rational algebra A is presented. The discriminants of the simple components of Λ allow one to read off the Wedderburn structure of A. If A has uniformly distributed invariants, which is the case for centralizer algebras of representations of finite groups, then it suffices to do the calculation over the rational integers.