Algebraic Structures in Quantum Theory