simple group theory property