1: \begin{abstract}
2: Let $p$ be a prime and $q=p^{g}$. We show that the Grothendieck ring of
3: finitely generated $\mathbb{F}_{q}[SL_{2}(\mathbb{F}_{q})]$-modules is
4: naturally isomorphic to the quotient of the polynomial algebra $%
5: %TCIMACRO{\U{2124} }%
6: %BeginExpansion
7: \mathbb{Z}
8: %EndExpansion
9: \lbrack x]$ by the ideal generated by $f^{[g]}(x)-x$, where $%
10: f(x)=\tsum\nolimits_{j=0}^{\left\lfloor p/2\right\rfloor }\left( -1\right)
11: ^{j}\tfrac{p}{p-j}\tbinom{p-j}{j}x^{p-2j}$, and the superscript $[g]$
12: denotes $g$-fold composition of polynomials. We conjecture that a similar
13: result holds for simply connected semisimple algebraic groups defined and
14: split over a finite field.
15: \end{abstract}