Compact AC-operators
We prove that compact AC-operators have a representation as a combination of disjoint projections which mirrors that for compact normal operators. We also show that unlike arbitrary AC-operators, compact AC-operators admit a unique splitting into real and imaginary parts, and that these parts must necessarily be compact.