We establish property (T) for a large class of groups graded by root systems, including elementary Chevalley groups and Steinberg groups of rank at least 2 over finitely generated commutative rings with 1. We also construct a group with property (T) which surjects onto all finite simple groups of Lie type and rank at least two.property (T) | root system gradings | Steinberg groups | Chevalley groups G roups graded by root systems can be thought of as natural generalizations of Steinberg and Chevalley groups over rings. In recent preprints (1, 2), the authors of this paper determined a sufficient condition which almost implies property ðTÞ for a group graded by a root system (see Theorem 1.1 below) and used this result to establish property ðTÞ for Steinberg and Chevalley groups corresponding to reduced irreducible root systems of rank at least 2. The goal of this paper is to give an accessible exposition of those results and describe the main ideas used in their proofs.As will be shown in ref. 1, a substantial part of the general theory of groups graded by root systems can be developed using the term "root system" in a very broad sense. However, the majority of interesting examples (known to the authors) come from classical root systems (that is, finite crystallographic root systems), so in this paper we will only consider classical root systems (and refer to them simply as root systems).The basic idea behind the definition of a group graded by a root system Φ is that it should be generated by a family of subgroups indexed by Φ, which satisfies commutation relations similar to those between root subgroups of Chevalley and Steinberg groups.Definition: Let G be a group, Φ a root system, and fX α g α∈Φ a family of subgroups of G. We will say that the groups fX α g α∈Φ form a Φ-grading if for any α; β ∈ Φ with β ∉ Rα, the following inclusion holds:If in addition G is generated by the subgroups fX α g, we will say that G is graded by Φ and that fX α g α∈Φ is a Φ-grading of G. The groups X α themselves will be referred to as root subgroups.Clearly, the above definition is too general to yield any interesting structural results, and we are looking for the more restrictive notion of a strong grading. A sufficient condition for a Φ-grading to be strong is that the inclusion in [1.1] is an equality; however, requiring equality in general is too restrictive, as, for instance, it fails for Chevalley groups of type B n over rings where 2 is not invertible. To formulate the definition of a strong grading in the general case, we need some additional terminology.Let Φ be a root system in a Euclidean space V with inner product ð·;·Þ. A subset B of Φ will be called Borel if B is the set of positive roots with respect to some system of simple roots Π of Φ. Equivalently, B is Borel if there exists v ∈ V , which is not orthogonal to any root in Φ, such that B = fγ ∈ Φ : ðγ; vÞ > 0g.If B is a Borel subset and Π is the associated set of simple roots, the boundary of B, denoted by ∂B, is the set of roots in B which are multiples of roo...