An extension of the Erdős-Ginzburg-Ziv theorem to hypergraphs (Q2567202): Difference between revisions

Let \(\mathcal H\) be a connected, finite \(m\)-uniform hypergraph and let \(f(\mathcal H)\) be the smallest integer \(n\) such that for every 2-coloring of the vertices of the complete \(m\)-uniform hypergraph, there exists a monochromatic copy of \(\mathcal H\). Let \(f_{zs}(\mathcal H)\) be the smallest integer \(n\) such that for every coloring of the vertices of the complete \(m\)-uniform hypergraph with elements of the cyclic group \(Z_m\), there exists a subhypergraph of the complete \(m\)-uniform hypergraph isomorphic to \(\mathcal H\), such that sum of group elements add up to zero an all of its edges. If every subhypergraph \({\mathcal H}'\) of \(\mathcal H\) contains an edge with at least half of its vertices monovalent in \({\mathcal H}'\), or \(\mathcal H\) consists of two intersecting edges, then \(f_{zs}({\mathcal H})=f({\mathcal H})\). This extends a theorem of \textit{P. Erdős, A. Ginzburg} and \textit{A. Ziv} [Bull. Res. Council Israel 10F, 41--43 (1961)], which is the case when \(\mathcal H\) is a single edge.