1: \begin{abstract}

2: For any root system and any commutative ring we give a relatively

3: simple presentation of a group related to its Steinberg group $\St$.

4: This includes the case of infinite root systems used in Kac-Moody

5: theory, for which the Steinberg group was defined by Tits and

6: Morita-Rehmann.  In many cases our group equals $\St$, giving a

7: presentation with many advantages over the usual presentation of

8: $\St$.  This equality holds for all spherical root systems, all

9: irreducible affine root systems of rank${}>2$, and all $3$-spherical

10: root systems.  When the coefficient ring satisfies a minor condition,

11: the last hypothesis can be relaxed to $2$-sphericity.

12: 

13: Our presentation is defined in terms of the Dynkin diagram rather than

14: the full root system.  It is concrete, with no implicit coefficients

15: or signs.  

16: It makes manifest the

17: exceptional diagram automorphisms in characteristics $2$ and~$3$, and

18: their generalizations to Kac-Moody groups.

19: And it is a Curtis-Tits style presentation: it is the direct

20: limit of the  groups coming from $1$- and $2$-node

21: subdiagrams of the Dynkin diagram.  Over non-fields this description

22: as a direct limit is new and surprising, even for finite root

23: systems.  We use it to show that many Steinberg and Kac-Moody groups over

24: finitely-generated rings are finitely presented.

25: \end{abstract}

26: