UNIQUENESS OF PRIME FACTORIZATIONS OF LINEAR-OPERATORS IN QUANTUM-MECHANICS

We prove a recent conjecture of Healey's - that every non-null project ion operator in a tenser-product Hilbert space has a unique factorizat ion into prime projection operators - by deriving it from a more gener al uniqueness result that we show to hold for factorizations of arbitr ary linear operators.