Noether's theorem (quantum)

The equivalence of three statements: (i) $\hat{U}$ is a symmetry, (ii) $[\hat{H}, \hat{G}] = 0$, (iii) $\langle\hat{G}\rangle$ is conserved.