1: \begin{abstract}

2: H\"older-Brascamp-Lieb inequalities provide upper bounds for a class of multilinear expressions, in terms of $L^p$ norms

3: of the functions involved.  They have been extensively studied for functions defined on Euclidean spaces.

4: Bennett-Carbery-Christ-Tao have initiated the study of these inequalities for discrete Abelian groups

5: and, in terms of suitable data, have characterized the set of all tuples of exponents

6: for which such an inequality holds for specified data, as the convex polyhedron defined by a particular finite set of affine inequalities.

7:  

8: In this paper we advance the theory of such inequalities for torsion-free discrete Abelian groups in three respects.

9: The optimal constant in any such inequality is shown to equal $1$ whenever it is finite.

10: An algorithm that computes the admissible polyhedron of exponents is developed. 

11: It is shown that nonetheless, existence of an algorithm that computes the full list of inequalities

12: in the Bennett-Carbery-Christ-Tao description of the admissible polyhedron for all data,

13: is equivalent to an affirmative solution of Hilbert's Tenth Problem over the rationals.

14: That problem remains open.

15: \end{abstract}

16: