{"id":"arxiv/2609.10343","url":"https://arxiv.org/abs/2609.10343","tags":["math.GR"],"score":0,"title":"Sharp bounds for intervals in finite subgroup lattices","domain":"math.GR","source":"arxiv","authors":["Sebastien Palcoux","Pablo Spiga"],"reviews":0,"subject":"math.GR","summary":"Let H be a subgroup of a finite group G, and put n = [G:H] > 1. If p is the least prime divisor of n, we prove that the number of subgroups K with H 1, the number of intermediate subgroups is less than 7.371968802 n^((log_2 n)/4). This removes the polynomial factor from the best previously known relative bound and extends the sharp absolute subgroup-counting theorem to arbitrary subgroup intervals. The group-theoretic argument is elementary. Its main ingredient is a weighted packing inequality for relative generating tuples, obtained from an escape tree on the coset space G/H.","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-09-09","reactions":{}}