Algebraic and information-theoretic conditions for operator quantum error correction