On the utility of Robinson–Amitsur ultrafilters

An embedding theorem for algebraic systems is presented, basing on a certain old ultrafilter construction. As an application, we outline alternative proofs of some results from the theory of PI algebras, and establish some properties of Tarskiʼs monsters.