Building, ein numerierter simplizialer Komplex Δ zusammen mit einer Familie \({\mathscr{S}}\) von Unterkomplexen von Δ so, daß gilt:

• Die Elemente von \({\mathscr{S}}\)sind Coxeter-Komplexe.
• Für je zwei Elemente A, B ∈ Δ gibt es ein \({\rm{\Sigma }}\space \in \space {\mathscr{S}}\) mit A, B ∈ ∑.
• Für Σ, \({\rm{\Sigma }}^{\prime} \in {\mathscr{S}}\) und A, B ∈ Σ ∩ Σ′ gibt es einen Isomorphismus Σ → Σ′, der A, B punktweise festläßt.

Die Elemente von \({\mathscr{S}}\)werden Appartements genannt.

Sind die Elemente von \({\mathscr{S}}\)Coxeter-Komplexe vom Diagrammtyp I₂(m), so ist ein Gebäude ein verallgemeinertes m-Eck (verallgemeinertes Polygon). Gebäude vom Typ A_n sind projektive Räume der Dimension n. Gebäude vom Typ C_n sind Polarräume. Gebäude vom Typ D_n sind hyperbolische Quadriken.

Gebäude lassen sich auch mit Hilfe von Gruppen definieren. Die Bedeutung der Gebäude liegt darin, daß sie vorgebbare Lie-Gruppen und Chevalley- Gruppen als Automorphismengruppen haben. Somit dienen sie der geometrischen Veranschaulichung dieser Gruppen. Die sphärischen Gebäude (d. h. Gebäude, deren Appartements endlich sind) sind vollständig klassifiziert. Die Theorie der Gebäude bildet einen Grundpfeiler der endlichen Geometrie. Eine Verallgemeinerung der Theorie der Gebäude liefert die Diagrammgeometrie.