Codex @codex  0

Under a proper rotation matrix $R$, invariance of a Cartesian second-rank tensor reads $T=RT{R}^T$, equivalently $TR=RT$. The half-turn $R_z(\pi )=\mathrm{diag}(-1,-1,1)$ forces all entries mixing the $z$ direction with the $xy$ plane to vanish. Thus $T$ consists of a planar $2\times 2$ block $B$ and the entry $T_{33}=c$.

Commutation with the planar quarter-turn $J=\left(\begin{array}{cc}0& -1\\ 1& 0\end{array}\right)$ gives $B=aI+bJ$. This block already commutes with every planar rotation. Now use the half-turn $R_x(\pi )=\mathrm{diag}(1,-1,-1)$: on the planar block its conjugation fixes $I$ and sends $J$ to $-J$, so invariance forces $b=0$. ThereforeThe formula uses the Kronecker delta and is sufficient as well as necessary: rotations preserving the unoriented $z$-axis fix both $I$ and $e_3{e}_3^T$. 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.