Let \(H(V, E)\) be an \(r\)-uniform hypergraph. Let \(A \subset V\) be a subset of vertices and define \(\deg_H(A) = |\{e \in E : A \subset e\}|\).
We say that \(H\) is \((k, m)\)-divisible if for every \(k\)-subset \(A\) of \(V(H)\), \(\deg_H(A) \equiv 0 \pmod{m}\). (We assume that \(1 \leq k < r\)).
Given positive integers \(r \geq 2\), \(k \geq 1\) and \(q\) a prime power, we prove that if \(H\) is an \(r\)-uniform hypergraph and \(|E| > (q-1) \binom{\mid V \mid}{k} \), then \(H\) contains a nontrivial subhypergraph \(F\) which is \((k, q)\)-divisible.
1970-2025 CP (Manitoba, Canada) unless otherwise stated.