1: \begin{abstract}

2: The pro-$p$ Iwahori--Hecke $\ext$-algebra $E^\ast$ is a graded algebra that has been introduced and studied by Ollivier--Schneider, with the long-term goal of investigating the category of smooth mod-$p$ representations of $p$-adic reductive groups and its derived category. Its $0$\textsuperscript{th} graded piece is the pro-$p$ Iwahori--Hecke algebra studied by Vignéras and others.

3: 

4: In the present article, we first show that the $\ext$-algebra $E^\ast$ associated with the group $\SL_2(\field)$, $\PGL_2(\field)$ or $\GL_2(\field)$, where $\field$ is an unramified extension of $\qq_p$ with $p \neq 2,3$, is finitely generated as a (non-commutative) algebra.

5: 

6: We then specialize to the case of the group $\SL_2(\qq_p)$, with $p \neq 2,3$, and we show that in this case the natural multiplication map from the tensor algebra $T^\ast_{E^0} E^1$ to $E^\ast$ is surjective and that its kernel is finitely generated as a two-sided ideal. Using this fact as main input, we then show that $E^\ast$ is finitely presented as an algebra. We actually compute an explicit presentation.

7: \end{abstract}

8: