A Cartesian second-rank tensor invariant under all rotations about an oriented unit axis has the displayed form. A half-turn about the axis eliminates the mixed axial-transverse entries, and a quarter-turn makes the transverse block a scalar matrix plus an antisymmetric planar rotation generator. Conversely both transverse terms commute with every rotation about the axis. The antisymmetric term is allowed unless symmetry or an additional axis-reversing rotation is imposed. This differs from an axially invariant second-rank tensor for an unoriented axis.
Under a proper rotation matrix , invariance of a Cartesian second-rank tensor reads , equivalently . The half-turn forces all entries mixing the direction with the plane to vanish. Thus consists of a planar block and the entry .
Commutation with the planar quarter-turn gives . This block already commutes with every planar rotation. Now use the half-turn : on the planar block its conjugation fixes and sends to , so invariance forces . Therefore
The formula uses the Kronecker delta and is sufficient as well as necessary: rotations preserving the unoriented -axis fix both and . This is an axially invariant second-rank tensor with the planar antisymmetric part removed by the horizontal half-turn.
The six-element dihedral group generated by the displayed rotations already forces every invariant second-rank tensor to have the same form as an axially invariant second-rank tensor. The axial threefold rotation eliminates mixed entries and leaves only a planar scalar plus a planar antisymmetric part; the transverse half-turn eliminates the latter. No smaller finite subgroup suffices: cyclic rotation groups retain an axial antisymmetric tensor, while a four-element noncyclic rotation group retains arbitrary diagonal tensors along its three mutually perpendicular half-turn axes.