|
|
| (One intermediate revision by one other user not shown) |
| Line 1: |
Line 1: |
| In [[mathematics]], a '''building''' (also '''Tits building''', '''Bruhat–Tits building''', named after [[François Bruhat]] and [[Jacques Tits]]) is a combinatorial and geometric structure which simultaneously generalizes certain aspects of [[flag manifold]]s, finite [[projective plane]]s, and [[Riemannian symmetric space]]s. Initially introduced by Jacques Tits as a means to understand the structure of [[group of Lie type|exceptional groups of Lie type]], the theory has also been used to study the geometry and topology of [[homogeneous space]]s of [[p-adic Lie group]]s and their discrete subgroups of symmetries, in the same way that [[tree (mathematics)|trees]] have been used to study [[free group]]s.
| | That this person who wrote the [http://www.reddit.com/r/howto/search?q=actual+article actual article] is called Leland but it's not some of the most masucline name on the internet. Managing people is very much where his primary financial comes from. His wife and him live from Massachusetts and he is bound to have everything that he needs and wants there. Base jumping is something that bigger been doing for many. He might be running and maintaining one specific blog here: http://prometeu.net<br><br>Feel free to visit my website [http://prometeu.net hack Clash of clans jailbreak] |
| | |
| ==Overview==
| |
| The notion of a building was invented by [[Jacques Tits]] as a means of describing [[group of Lie type|simple algebraic groups]] over an arbitrary [[field (mathematics)|field]]. Tits demonstrated how to every such [[group (mathematics)|group]] ''G'' one can associate a [[simplicial complex]] Δ = Δ(''G'') with an [[group action|action]] of ''G'', called the '''spherical building''' of ''G''. The group ''G'' imposes very strong combinatorial regularity conditions on the complexes Δ that can arise in this fashion. By treating these conditions as axioms for a class of simplicial complexes, Tits arrived at his first definition of a building. A part of the data defining a building Δ is a [[Coxeter group]] ''W'', which determines a highly symmetrical simplicial complex ''Σ'' = ''Σ''(''W'',''S''), called the ''Coxeter complex''. A building Δ is glued together from multiple copies of Σ, called its ''apartments'', in a certain regular fashion. When ''W'' is a finite Coxeter group, the Coxeter complex is a topological sphere, and the corresponding buildings are said to be of '''spherical type'''. When ''W'' is an [[affine Weyl group]], the Coxeter complex is a subdivision of the affine plane and one speaks of '''affine''', or '''Euclidean''', buildings. An affine building of type <math>{\scriptstyle\tilde{A}_1}</math> is the same as an infinite [[tree (graph theory)|tree]] without terminal vertices.
| |
| | |
| Although the theory of semisimple algebraic groups provided the initial motivation for the notion of a building, not all buildings arise from a group. In particular, projective planes and [[generalized quadrangle]]s form two classes of graphs studied in [[incidence geometry]] which satisfy the axioms of a building, but may not be connected with any group. This phenomenon turns out to be related to the low rank of the corresponding Coxeter system (namely, two). Tits proved a remarkable theorem: all spherical buildings of rank at least three are connected with a group; moreover, if a building of rank at least two is connected with a group then the group is essentially determined by the building.
| |
| | |
| Iwahori–Matsumoto, Borel–Tits and Bruhat–Tits demonstrated that in analogy with Tits' construction of spherical buildings, affine buildings can also be constructed from certain groups, namely, reductive algebraic groups over a [[local field|local non-Archimedean field]]. Furthermore, if the split rank of the group is at least three, it is essentially determined by its building. Tits later reworked the foundational aspects of the theory of buildings using the notion of a '''chamber system''', encoding the building solely in terms of adjacency properties of simplices of maximal dimension; this leads to simplifications in both spherical and affine cases. He proved that, in analogy with the spherical case, every building of affine type and rank at least four arises from a group.
| |
| | |
| ==Definition==
| |
| An ''n''-dimensional '''building''' ''X'' is an [[abstract simplicial complex]] which is a union of subcomplexes ''A'' called '''apartments''' such that
| |
| | |
| * every ''k''-simplex of ''X'' is within at least three ''n''-simplices if ''k'' < ''n'';
| |
| * any (''n'' – 1 )-simplex in an apartment ''A'' lies in exactly two ''adjacent'' ''n''-simplices of ''A'' and the [[graph theory|graph]] of adjacent ''n''-simplices is connected;
| |
| * any two simplices in ''X'' lie in some common apartment ''A'';
| |
| * if two simplices both lie in apartments ''A'' and ''A'' ', then there is a simplicial isomorphism of ''A'' onto ''A'' ' fixing the vertices of the two simplices.
| |
| | |
| An ''n''-simplex in ''A'' is called a '''chamber''' (originally ''chambre'', i.e. ''room'' in [[French language|French]]).
| |
| | |
| The '''rank''' of the building is defined to be ''n'' + 1.
| |
| | |
| ==Elementary properties==
| |
| Every apartment ''A'' in a building is a '''[[Coxeter complex]]'''. In fact, for every two ''n''-simplices intersecting in an (''n'' – 1)-simplex or ''panel'', there is a unique period two simplicial automorphism of ''A'', called a ''reflection'', carrying one ''n''-simplex onto the other and fixing their common points. These reflections generate a [[Coxeter group]] ''W'', called the [[Weyl group]] of ''A'', and the simplicial complex ''A'' corresponds to the standard geometric realization of ''W''. Standard generators of the Coxeter group are given by the reflections in the walls of a fixed chamber in ''A''. Since
| |
| the apartment ''A'' is determined up to isomorphism by the building, the same is true of any two simplices in ''X'' lie in some common apartment ''A''. When ''W'' is finite, the building is said to be '''spherical'''. When it is an [[affine Weyl group]], the building is said to be '''affine''' or '''euclidean'''.
| |
| | |
| The '''chamber system''' is given by the adjacency graph formed by the chambers; each pair of adjacent chambers can in addition be labelled by one of the standard
| |
| generators of the Coxeter group (see {{harvnb|Tits|1981}}).
| |
| | |
| Every building has a canonical [[intrinsic metric|length metric]] inherited from the geometric realisation obtained by identifying the vertices with an [[orthonormal basis]] of a [[Hilbert space]]. For affine buildings, this metric satisfies the [[CAT(k) space|CAT(0)]] comparison inequality of [[Aleksandr Danilovich Aleksandrov|Alexandrov]], known in this setting as the Bruhat-Tits ''non-positive curvature condition'' for geodesic triangles: the distance from a vertex to the midpoint of the opposite side is no greater than the distance in the corresponding Euclidean triangle with the same side-lengths (see {{harvnb|Bruhat|Tits|1972}}).
| |
| | |
| ==Connection with BN pairs==
| |
| If a group ''G'' acts simplicially on a building ''X'', transitively on pairs of chambers ''C'' and apartments ''A'' containing them, then the stabilisers of such a pair define a [[BN pair]] or [[Tits system]]. In fact the pair of subgroups
| |
| | |
| :''B'' = ''G''<sub>''C''</sub> and ''N'' = ''G''<sub>''A''</sub>
| |
| | |
| satisfies the axioms of a BN pair and the Weyl group can identified with ''N'' / ''N'' <math> \cap </math> ''B''.
| |
| Conversely the building can be recovered from the BN pair, so that every BN pair canonically defines a building.
| |
| In fact, using the terminology of BN pairs and calling any conjugate of ''B'' a [[Borel subgroup]] and any group containing a Borel subgroup a [[parabolic subgroup]],
| |
| | |
| * the vertices of the building ''X'' correspond to maximal parabolic subgroups;
| |
| * ''k'' + 1 vertices form a ''k''-simplex whenever the intersection of the corresponding maximal parabolic subgroups is also parabolic;
| |
| * apartments are conjugates under ''G'' of the simplicial subcomplex with vertices given by conjugates under ''N'' of maximal parabolics containing ''B''.
| |
| | |
| The same building can often be described by different BN pairs. Moreover not every building comes from a BN pair: this corresponds to the failure of classification results in low rank and dimension (see below).
| |
| | |
| ==Spherical and affine buildings for SL<sub>n</sub>==
| |
| The simplicial structure of the affine and spherical buildings associated to ''SL''<sub>''n''</sub>('''Q'''<sub>''p''</sub>), as well as their interconnections, are easy to explain directly using only concepts from elementary [[algebra]] and [[geometry]] (see {{harvnb|Garrett|1997}}). In this case there are three different buildings, two spherical and one affine. Each is a union of ''apartments'', themselves simplicial complexes. For the affine group, an apartment is just the simplicial complex obtained from the standard [[tessellation]] of Euclidean space '''E'''<sup>''n''-1</sup> by equilateral ''(n-1)''-simplices; while for a spherical building it is the finite simplicial complex
| |
| formed by all ''(n-1)''! simplices with a given common vertex in the analogous tessellation in '''E'''<sup>''n''-2</sup>.
| |
| | |
| Each building is a simplicial complex ''X'' which has to satisfy the following axioms:
| |
| | |
| :* ''X'' is a union of apartments.
| |
| :* Any two simplices in ''X'' are contained in a common apartment.
| |
| :* If a simplex is contained in two apartments, there is a simplicial isomorphism of one onto the other fixing all common points.
| |
| | |
| ===Spherical building=== | |
| Let ''F'' be a [[field (mathematics)|field]] and let ''X'' be the simplicial complex with vertices the non-trivial vector subspaces of ''V''=''F''<sup>''n''</sup>. Two subspaces ''U''<sub>1</sub> and ''U''<sub>2</sub> are connected if one of them is a subset of the other. The ''k''-simplices of ''X'' are formed by sets of ''k'' + 1
| |
| mutually connected subspaces. Maximal connectivity is obtained by taking ''n'' - 1 subspaces and the corresponding (''n''-2)-simplex corresponds to a ''[[Flag (linear algebra)|complete flag]]''
| |
| | |
| : (0) <math>\subset</math> ''U''<sub>1</sub> <math>\subset</math> ··· <math>\subset</math> ''U''<sub>''n'' – 1 </sub> <math>\subset</math> ''V''
| |
| | |
| Lower dimensional simplices correspond to partial flags with fewer intermediary subspaces ''U''<sub>''i''</sub>.
| |
| | |
| To define the apartments in ''X'', it is convenient to define a ''frame'' in ''V'' as a basis (''v''<sub>''i''</sub>) determined up to scalar multiplication of each of its vectors ''v''<sub>''i''</sub>; in other words a frame is a set of one-dimensional subspaces ''L''<sub>''i''</sub> = ''F''·''v''<sub>''i''</sub> such that any ''k'' of them generate a ''k''-dimensional subspace. Now an ordered frame ''L''<sub>1</sub>, ..., ''L''<sub>''n''</sub> defines a complete flag via
| |
| | |
| : ''U''<sub>''i''</sub> = ''L''<sub>1</sub> <math> \oplus</math> ··· <math> \oplus</math> ''L''<sub>''i''</sub>
| |
| | |
| Since reorderings of the ''L''<sub>''i''</sub>'s also give a frame, it is straightforward to see that the subspaces, obtained as sums of the ''L''<sub>''i''</sub>'s,
| |
| form a simplicial complex of the type required for an apartment of a spherical building. The axioms for a building can easily be verified using the classical [[Schreier refinement theorem|Schreier refinement argument]] used to prove the uniqueness of the [[Jordan-Hölder decomposition]].
| |
| | |
| ===Affine building===
| |
| Let ''K'' be a field lying between '''Q''' and its [[p-adic number|p-adic completion]] '''Q'''<sub>''p''</sub> with respect to the usual [[Archimedean property|non-Archimedean]] [[p-adic norm]]
| |
| ||''x''||<sub>''p''</sub> on '''Q''' for some prime ''p''. Let ''R'' be the [[subring]] of ''K'' defined by
| |
| | |
| :<math> R = \{x: \| x\|_p\le 1\}.</math>
| |
| | |
| When ''K'' = '''Q''', ''R'' is the [[Localization of a ring|localization]] of '''Z''' at ''p'' and, when ''K'' = '''Q'''<sub>''p''</sub>, ''R'' = '''Z'''<sub>''p''</sub>, the [[p-adic integer]]s, i.e. the closure of '''Z''' in '''Q'''<sub>''p''</sub>.
| |
| | |
| The vertices of the building ''X'' are the ''R''-lattices in ''V'' = ''K''<sup>''n''</sup>, i.e. ''R''-[[submodules]] of the form
| |
| | |
| :''L'' = ''R''·''v''<sub>1</sub> <math>\oplus</math> ···<math>\oplus</math> ''R''·''v''<sub>''n''</sub>
| |
| | |
| where (''v''<sub>''i''</sub>) is a basis of ''V'' over ''K''. Two lattices are said to be ''equivalent'' if one is a scalar multiple of the other by an element of | |
| the multiplicative group ''K''* of ''K'' (in fact only integer powers of ''p'' need be used). Two lattice ''L''<sub>1</sub> and ''L''<sub>2</sub> are said to be ''adjacent'' if some lattice equivalent to ''L''<sub>2</sub> lies between ''L''<sub>1</sub> and its sublattice ''p''·''L''<sub>1</sub>: this relation is symmetric. The ''k''-simplices of ''X'' are equivalence classes of ''k'' + 1 mutually adjacent lattices, The (''n'' - 1)- simplices correspond, after relabelling, to chains
| |
| | |
| :''p''·''L''<sub>''n''</sub> <math>\subset</math> ''L''<sub>1</sub> <math>\subset</math> ''L''<sub>2</sub> <math>\subset</math> ··· <math> \subset</math> ''L''<sub>''n'' – 1 </sub> <math> \subset</math> ''L''<sub>''n''</sub>
| |
| | |
| where each successive quotient has order ''p''. Apartments are defined by fixing a basis (''v''<sub>''i''</sub>) of ''V'' and taking all lattices with basis
| |
| (''p''<sup>''a''<sub>''i''</sub></sup> ''v''<sub>''i''</sub>) where (''a''<sub>''i''</sub>) lies in '''Z'''<sup>''n''</sup> and is uniquely determined up to addition
| |
| of the same integer to each entry.
| |
| | |
| By definition each apartment has the required form and their union is the whole of ''X''. The second axiom follows by a variant of the Schreier refinement argument. The last
| |
| axiom follows by a simple counting argument based on the orders of finite Abelian groups of the form
| |
| | |
| :''L'' + ''p''<sup>''k''</sup> ·''L''<sub>''i''</sub> / ''p''<sup>''k''</sup> ·''L''<sub>''i''</sub> .
| |
| | |
| A standard compactness argument shows that ''X'' is in fact independent of the choice of ''K''. In particular taking ''K'' = '''Q''', it follows that ''X'' is countable. On the other hand taking ''K'' = '''Q'''<sub>''p''</sub>, the definition shows that ''GL''<sub>''n''</sub>('''Q'''<sub>''p''</sub>) admits a natural simplicial action on the building.
| |
| | |
| The building comes equipped with a ''labelling'' of its vertices with values in '''Z''' / ''n'' '''Z'''. Indeed, fixing a reference lattice ''L'', the label of ''M'' is given by
| |
| | |
| :label (''M'') = log<sub>''p''</sub> |''M''/ ''p''<sup>''k''</sup> ''L''| modulo ''n''
| |
| | |
| for ''k'' sufficiently large. The vertices of any (''n'' – 1)-simplex in ''X'' have distinct labels, running through the whole of '''Z''' / ''n'' '''Z'''. Any simplicial automorphism φ of ''X'' defines a permutation π of '''Z''' / ''n'' '''Z''' such that label (φ(''M'')) = π(label (''M'')). In particular for ''g'' in ''GL''<sub>''n''</sub> ('''Q'''<sub>''p''</sub>), | |
| | |
| :label (''g''·''M'') = label (''M'') + log<sub>''p''</sub> || det ''g'' ||<sub>''p''</sub> modulo ''n''. | |
| | |
| Thus ''g'' preserves labels if ''g'' lies in ''SL''<sub>''n''</sub>('''Q'''<sub>''p''</sub>).
| |
| | |
| ===Automorphisms===
| |
| Tits proved that any label-preserving [[automorphism]] of the affine building arises from an element of ''SL''<sub>''n''</sub>('''Q'''<sub>''p''</sub>). Since automorphisms of the building permute the labels, there is a natural homomorphism
| |
| | |
| :Aut ''X'' <math>\rightarrow</math> ''S''<sub>''n''</sub>. | |
| | |
| The action of ''GL''<sub>''n''</sub>('''Q'''<sub>''p''</sub>) gives rise to an [[cycle (mathematics)|n-cycle]] τ. Other automorphisms of the building arise from [[outer automorphism]]s of ''SL''<sub>''n''</sub>('''Q'''<sub>''p''</sub>) associated with automorphisms of the [[Dynkin diagram]]. Taking the standard
| |
| symmetric bilinear form with orthonormal basis ''v''<sub>''i''</sub>, the map sending a lattice to its dual lattice gives an automorphism with square the identity, giving the permutation σ that sends each label to its negative modulo ''n''. The image of the above homomorphism is generated by σ and τ and is isomorphic to the [[dihedral group]] ''D''<sub>''n''</sub> of order ''2n''; when ''n'' = 3, it gives the whole of ''S''<sub>3</sub>.
| |
| | |
| If ''E'' is a finite [[Galois extension]] of '''Q'''<sub>''p''</sub> and the building is constructed from ''SL''<sub>''n''</sub>(''E'') instead of ''SL''<sub>''n''</sub>('''Q'''<sub>''p''</sub>), the [[Galois group]] Gal (''E''/'''Q'''<sub>''p''</sub>) will also act by automorphisms on the building.
| |
| | |
| ===Geometric relations===
| |
| Spherical buildings arise in two quite different ways in connection with the affine building ''X'' for ''SL''<sub>''n''</sub>('''Q'''<sub>''p''</sub>):
| |
|
| |
| * The [[link (geometry)|link]] of each vertex ''L'' in the affine building corresponds to submodules of ''L''/''p''·''L'' under the finite field ''F'' = ''R''/''p''·''R'' = '''Z'''/(''p''). This is just the spherical building for ''SL''<sub>''n''</sub>(''F'').
| |
| * The building ''X'' can be ''[[compactification (mathematics)|compactified]]'' by adding the spherical building for ''SL''<sub>''n''</sub>('''Q'''<sub>''p''</sub>) as boundary "at infinity" (see {{harvnb|Garrett|1997}} or {{harvnb|Brown|1989}}).
| |
| | |
| ==Classification==
| |
| Tits proved that all irreducible spherical buildings (i.e. with finite [[Weyl group]]) of rank greater than 2 are associated to simple algebraic or classical groups.
| |
| A similar result holds for irreducible affine buildings of dimension greater than two (their buildings "at infinity" are spherical of rank greater than two). In lower rank or dimension, there is no such classification. Indeed each [[incidence structure]] gives a spherical building of rank 2 (see {{harvnb|Pott|1995}}); and Ballmann and Brin proved that every 2-dimensional simplicial complex in which the links of vertices are isomorphic to the [[flag complex]] of a finite projective plane has the structure of a building, not necessarily classical. Many 2-dimensional affine buildings have been constructed using hyperbolic [[reflection group]]s or other more exotic constructions connected with [[orbifold]]s.
| |
| | |
| Tits also proved that every time a building is described by a BN pair in a group, then in almost all cases the automorphisms of the building correspond to automorphisms of the group (see {{harvnb|Tits|1974}}).
| |
| | |
| ==Applications==
| |
| | |
| The theory of buildings has important applications in several rather disparate fields. Besides the already mentioned connections with the structure of reductive algebraic groups over general and local fields, buildings are used to study their [[group representation|representations]]. The results of Tits on determination of a group by its building have deep connections with [[Mostow rigidity theorem|rigidity theorems]] of [[George Mostow]] and [[Grigory Margulis]], and with [[Margulis arithmeticity]].
| |
| | |
| Special types of buildings are studied in discrete mathematics, and the idea of a geometric approach to characterizing simple groups proved very fruitful in the [[classification of finite simple groups]]. The theory of buildings of type more general than spherical or affine is still relatively undeveloped, but these generalized buildings have already found applications to construction of [[Kac-Moody algebra|Kac-Moody groups]] in algebra, and to nonpositively curved manifolds and [[hyperbolic group]]s in topology and [[geometric group theory]].
| |
| | |
| == See also ==
| |
| <div style="-moz-column-count:2; column-count:2;">
| |
| * [[Buekenhout geometry]]
| |
| * [[Coxeter group]]
| |
| * [[BN pair]]
| |
| * [[Affine Hecke algebra]]
| |
| * [[Bruhat decomposition]]
| |
| * [[Generalized polygon]]
| |
| * [[Tits geometry]]
| |
| * [[Twin building]]
| |
| * [[Hyperbolic building]]
| |
| * [[Tits simplicity theorem]]
| |
| * [[Mostow rigidity]]
| |
| * [[Coxeter complex]]
| |
| </div>
| |
| | |
| ==References==
| |
| *{{citation|first=Werner|last=Ballmann|first2=Michael|last2=Brin|title=Orbihedra of nonpositive curvature|
| |
| journal=Publications Mathématiques de l'IHÉS|volume= 82 |year=1995|pages=169–209|url=http://www.numdam.org/item?id=PMIHES_1995__82__169_0}}
| |
| *{{citation|first=Sylvain|last=Barré|title=Polyèdres finis de dimension 2 à courbure ≤ 0 et de rang 2|journal=Ann. Inst. Fourier|volume=45|year=1995|pages=1037–1059|url=http://www.numdam.org/numdam-bin/fitem?id=AIF_1995__45_4_1037_0 }}
| |
| * {{citation|first=Sylvain|last=Barré|first2=Mikaël|last2=Pichot|title=Sur les immeubles triangulaires et leurs automorphismes|journal=Geom. Dedicata|volume=130|year=2007|pages=71–91|url=http://web.univ-ubs.fr/lmam/barre/henri.pdf|doi=10.1007/s10711-007-9206-0 }}
| |
| * {{citation|last=Bourbaki|first= Nicolas|title=Lie Groups and Lie Algebras: Chapters 4-6|series =Elements of Mathematics|publisher=Hermann|year=1968|isbn=3-540-42650-7}}
| |
| * {{citation|last=Brown|first= Kenneth S.|title= Buildings|publisher= Springer-Verlag|year= 1989|isbn= 0-387-96876-8}}
| |
| *{{citation|first=François|last= Bruhat|first2= Jacques|last2= Tits|title=Groupes réductifs sur un corps local, I. Données radicielles valuées|journal= Publ. Math. IHES |volume= 41 |year=1972|pages= 5–251|url=http://www.numdam.org/item?id=PMIHES_1972__41__5_0}}
| |
| * {{citation|last=Garrett|first=Paul|title=Buildings and Classical Groups|publisher= Chapman & Hall|year=1997|isbn= 0-412-06331-X|url=http://www.math.umn.edu/~garrett/m/buildings}}
| |
| *{{springer|id=T/t092900|title=Tits building|first=William M.|last= Kantor}}
| |
| * {{citation|first=William M.|last= Kantor|chapter=Generalized polygons, SCABs and GABs|editor-first= L.A. |editor-last=Rosati |title= Buildings and the Geometry of Diagrams (CIME Session, Como 1984) |series= Lect. notes in math. |volume= 1181 |publisher= Springer |year=1986|pages= 79–158|doi=10.1007/BFb0075513}}
| |
| * {{citation|last=Pott|first=Alexander| title= Finite Geometry and Character Theory|series=Lect. Notes in Math. |volume=1601| publisher=Springer-Verlag| year=1995|isbn=3-540-59065-X|doi=10.1007/BFb0094449}}
| |
| * {{citation|last=Ronan|first=Mark| title= A construction of buildings with no rank 3 residues of spherical type|series=Lect. Notes in Math.|volume=1181| publisher=Springer-Verlag| year=1995|pages=159–190|doi=10.1007/BFb0075518}}
| |
| *{{citation|mr=1148671|last= Ronan|first= Mark |title=Buildings: main ideas and applications. II. Arithmetic groups, buildings and symmetric spaces|journal= Bull. London Math. Soc. |volume= 24 |year=1992|issue= 2|pages= 97–126|doi=10.1112/blms/24.2.97}}
| |
| *{{citation|mr=1139056|last= Ronan|first= Mark|title= Buildings: main ideas and applications. I. Main ideas.|journal= Bull. London Math. Soc. |volume=24 |year=1992|issue= 1|pages= 1–51|doi=10.1112/blms/24.1.1}}
| |
| * {{citation|last=Ronan|first= Mark| title=Lectures on buildings| series=Perspectives in Mathematics '''7'''|publisher= Academic Press| year=1989|isbn= 0-12-594750-X}}
| |
| * {{citation|first=Jacques|last=Tits|title=Buildings of spherical type and finite BN-pairs|series= Lecture Notes in Mathematics|volume=386|publisher= Springer-Verlag|year=1974 |isbn=0-387-06757-4|doi=10.1007/BFb0057391}}
| |
| *{{citation|last=Tits|first=Jacques|chapter=A local approach to buildings|title=The geometric vein: The Coxeter Festschrift|pages= 519–547|publisher= Springer-Verlag| year=1981|isbn=0-387-90587-1}}
| |
| *{{citation|first=Jacques|last= Tits|chapter=Immeubles de type affine|editor-first= L.A. |editor-last=Rosati |title= Buildings and the Geometry of Diagrams (CIME Session, Como 1984) |series= Lect. notes in math. |volume= 1181 |publisher= Springer |year=1986|pages= 159–190|doi=10.1007/BFb0075514}}
| |
| *{{citation|last=Weiss|first =Richard M.|title=The structure of spherical buildings|publisher=Princeton University Press|year= 2003|isbn= 0-691-11733-0}}
| |
| | |
| [[Category:Group theory]]
| |
| [[Category:Algebraic combinatorics]]
| |
| [[Category:Geometric group theory]]
| |
| [[Category:Mathematical structures]]
| |