In Chapter 1 we saw that open quantum systems could interact with an environment and that this coupling could turn pure states into mixed states. This process will detrimentally impact any quantum computation, because it can lessen or destroy the interference effects that are vital to distinguishing a quantum computer from a classical computer. The problem of overcoming this effect is called the decoherence problem. Historically, the problem of overcoming decoherence was thought to be a major obstacle towards building a quantum computer. However, it was discovered that, under suitable conditions, the decoherence problem could be overcome. The main idea behind how this can be achieved is through the theory of quantum error correction (QEC). In this chapter we give an introduction into the way in which the decoherence problem can be overcome via the method of QEC. It is important to note that the scope of the introduction is not comprehensive, and focuses only on the basics of QEC without reference to the notion of fault-tolerant quantum computation, which is covered in Chapter 5. Quantum error correction should be thought of as a (major) tool in this larger theory of fault-tolerant quantum computing.