Let G be a split group over
a locally compact field F with non-trivial discrete valuation. Employing
the structure theory of such groups and the theory of Coxeter groups, we
obtain a general formula for the decomposition of double cosets P1σP2 of
subgroups P1,P2⊂ G(F) containing an Iwahori subgroup into left cosets of P2.
When P1 and P2 are the same hyperspecial subgroup, we use this result to
derive a formula of Iwahori for the degrees of elements of the spherical Hecke
algebra.