We show that, for each finite group G, there exists an axiomatization of the class of abelian-by-G groups with a single sentence. In the proof, we use the definability of the subgroup, M-n in an abelian-by-finite group M, and the Auslander-Reiten sequences for modules over an Artin algebra.