Group Properties of Polar Codes for Automorphism Ensemble Decoding