In mathematics, the plus construction is a method for simplifying the fundamental group of a space without changing its homology (mathematics) and Cohomology group (mathematics)s. It was introduced by Daniel Quillen. Given a perfect group normal subgroup of the fundamental group of a connected CW complex X, attach two-cells along loops in X whose images in the fundamental group generate the subgroup. This operation generally changes the homology of the space, but these changes can be reversed by the addition of three-cells. If the aforementioned subgroup is the entire fundamental group, this second step is unnecessary.
The most common application of the plus construction is in algebraic K-theory. If R is a
Unital ring (mathematics), we denote by GL_n(R) the group of inverse element n-by-n matrix (mathematics) with elements in R. GL_n(R) embeds in GL_{n+1}(R) by attaching a 1 along the diagonal and 0s elsewhere. The direct limit of these groups via these maps is denoted GL(R) and its classifying space is denoted BGL(R). The plus construction may then be applied to the perfect normal subgroup E(R) of GL(R) = pi_1(BGL(R)), generated by matrices which only differ from the identity matrix in one off-diagonal entry. For i>0, the nth homotopy group of the resulting space, BGL(R)^+ is the nth K-group of R, K_n(R).
