The n-sphere S^n has singular homology H_k(S^n) = Z for k = 0 and k = n, and H_k(S^n) = 0 otherwise. This computation, established via the Mayer-Vietoris sequence or the long exact sequence of the pair (D^n, S^{n-1}), is one of the most important results in algebraic topology. It provides the foundation for degree theory, the Brouwer fixed point theorem, and the classification of maps between spheres, and it reveals that each sphere has exactly one nontrivial "hole" in its own dimension.
The computation of the homology of spheres is a cornerstone of algebraic topology: nearly every major theorem and application refers back to H_*(S^n). The result is clean and beautiful: H_k(S^n) is Z when k = 0 or k = n, and zero otherwise. The 0-dimensional homology H_0(S^n) = Z reflects that S^n is connected (for n >= 1; S^0 consists of two points, giving H_0(S^0) = Z^2). The n-dimensional homology H_n(S^n) = Z detects the single "n-dimensional hole" — the cavity enclosed by the sphere. All intermediate homology vanishes: S^n has no holes of any dimension other than 0 and n.
The Mayer-Vietoris induction is the most elegant computation method. Decompose S^n into two open hemispheres U and V, each contractible (they deformation retract to a point). Their intersection U intersect V deformation retracts to the equatorial (n-1)-sphere S^{n-1}. The Mayer-Vietoris long exact sequence reads: ... -> H_k(U) direct sum H_k(V) -> H_k(S^n) -> H_{k-1}(S^{n-1}) -> H_{k-1}(U) direct sum H_{k-1}(V) -> ... Since U and V are contractible, H_k(U) = H_k(V) = 0 for k > 0, and the sequence collapses to isomorphisms H_k(S^n) = H_{k-1}(S^{n-1}) for k >= 2. Starting from S^0 (two points with H_0 = Z^2, all higher homology zero), we get: H_1(S^1) = H_0(S^0)/corrections = Z, H_2(S^2) = H_1(S^1) = Z, and inductively H_n(S^n) = Z.
An alternative approach uses the long exact sequence of the pair (D^n, S^{n-1}). Since the disk D^n is contractible, H_k(D^n) = 0 for k > 0. The long exact sequence ... -> H_k(D^n) -> H_k(D^n, S^{n-1}) -> H_{k-1}(S^{n-1}) -> H_{k-1}(D^n) -> ... gives isomorphisms H_k(D^n, S^{n-1}) = H_{k-1}(S^{n-1}) for k >= 2. The relative homology H_k(D^n, S^{n-1}) is isomorphic to the reduced homology of the quotient D^n/S^{n-1} = S^n (by excision-type arguments), giving the same inductive formula. Both methods reduce to the same recursion and yield the same answer.
The fundamental class [S^n], the generator of H_n(S^n), is the homological incarnation of the sphere's orientation. For any triangulation of S^n, the fundamental class is represented by the sum of all n-simplices with orientations consistent with the global orientation. The fact that H_n(S^n) = Z means that every n-cycle on S^n is a multiple of the fundamental class — it wraps around the sphere some integer number of times. This integer is the foundation of degree theory: for a continuous map f : S^n -> S^n, the induced map f_* : H_n(S^n) -> H_n(S^n) is multiplication by an integer deg(f), the degree of f. The degree is the single most important homotopy invariant of such maps and connects to winding numbers, Brouwer's theorem, and the Borsuk-Ulam theorem.
The homology of spheres also reveals a key limitation of the fundamental group and motivates the study of higher-dimensional invariants. The sphere S^n for n >= 2 has trivial fundamental group (every loop can be contracted to a point), yet its homology is nontrivial in dimension n. The fundamental group is blind to these higher-dimensional holes. This is precisely why homology (and later, higher homotopy groups and cohomology) are essential: they detect topological features that no single algebraic invariant can capture alone. The spheres, as the simplest spaces with holes of each dimension, serve as the calibration targets for all these invariants.