A characterization of invertible algebras linear over a group by second-order formulas