added order_automorphism_group invariant