# Are affine groups over rings of integers finitely generated?

I'll begin by saying that I'm not sure what I want to ask specifically, but pretty sure what in general, so please don't hold my misunderstandings against me, but do comment on them.

I know that the unit group of a number field is finitely generated, and so is $SL_2(\mathbb{Z})$. I understand that so are $SL_n(\mathbb{Z})$ (or was it $GL$?).

1) What is a known positive generalisation?

I also know that the subgroup of an abelian variety of points over a number field is finitely generated. I noticed that this is relevant after reading Franz Lemmermeyer's "Higher Descent on Pell Conics III. The First 2-Descent" (arxiv). The paper contains a proof that the unit group of a quadratic number field is finitely generated - using heights.

The way I think about it is this: the norm equation isn't a projective variety, so we make up for that by considering it over the integers. So we have heights and parallelogram laws and a proof of finitely generated.

2) Is there a single proof for Mordell-Weil, Dirichlet's Unit Theorem, and any to answer to (1), at the same time, that uses some kind of underlying concept to projective-ness and integral-ness?

I think (2) is more far fetched than (1), so feel free to ignore it :)

-
On a projective variety, integral points and rational points are the same. A general result for commutative algebraic groups is that the group of $S$-integral points on a semi-abelian variety defined over a number field is finitely generated. A semi-abelian variety is an extension of an abelian variety by a torus, so includes both the case of the multiplicative group (group of $S$-units) and the Mordell-Weil theorem (for abelian varieties). Is this the sort of generalization you were seeking? – Joe Silverman Feb 1 '11 at 22:39
It is! Unless there is an even greater generalisation that includes non-commutative algebraic groups. Is there? – Dror Speiser Feb 1 '11 at 22:55
You should look at this: mathoverflow.net/questions/22798/… – fherzig Feb 2 '11 at 0:27

It seems to me that if you are thinking of affine groups, then the appropriate result is that $S$-arithmetic subgroups of reductive linear algebraic groups over number fields are finitely generated. Over function fields there are exceptions (which I think are known explicitly).
This includes examples such as $SL_2(\mathbb{Z})$, as well as $S$-units in number fields.