It is true that if $T:H \to H$ is a compact operator ($H$ Hilbert space) then $T^\ast T$ is algo compact and indeed self-adjoint.
Conversely, is it true that every compact and self-adjoint operator $S$ can be decomposed like $S=A^\ast A$ with $A$ compact?
Thanks!