Die vorliegende Arbeit hat mehrere Ergebnisse. Zunächst geben wir eine neue, algebraische Charakterisierung von Stabilisatorkodes an und zeigen, dass die Wahl von Erzeugern einer Stabilisatoralgebra der Wahl einer Darstellung von endlich vielen Rademacherfunktionen in einer Matrixalgebra entspricht. Der zweite Teil dieser Arbeit entwickelt eine Quantenkodierungstheorie als quantenmechanische Entsprechung der klassischen Kodierungstheorie. Wir gehen diese Frage an, indem wir einen systematischen Zugang zur Quantenwahrscheinlichkeitstheorie von Kümmerer [1] verwenden. Wir folgen diesem Ansatz und entwickeln analog eine Quantenkodierungstheorie durch Algebraisierung. Die Hauptunterschiede zu bisherigen Ansätzen liegt darin, dass wir nicht nur reine, sondern beliebige Zustände sowie unendlich viele gekoppelte Qubits zulassen. Wir konnten die üblichen Beispiele für Quantenkodes in unsere Theorie integrieren. Das dritte Ergebnis ist, dass die meisten Quantenalgorithmen, einschließlich der Stabilisator- kodes und des Shoralgorithmus, in einem gewissen Sinne kommutativ und somit klassisch sind. Dies nachzuweisen war möglich, da Quantenalgorithmen unter die Definition von Quantenmessprozessen fallen und wir so zeigen konnten, dass sie als Kopplung an einen klassischen Bernoulliprozesses dargestellt werden können. [1] B. Kümmerer, Markov Dilations on W*-Algebras, Journal Functional Analysis, 63:139-177, 1985.