# Elementary Proof of a Theorem of Hawkes, Isaacs and \"Ozaydin

## TL;DR

This paper provides an elementary proof of a theorem relating subgroup lattice M"obius functions in finite groups and applies it to count solutions of certain subgroup-generated equations, also including a new result on Brown's quantity.

## Contribution

It offers a simplified proof of Hawkes, Isaacs, and "Ozaydin's theorem and extends its application to counting subgroup solutions and a result on Brown's quantity.

## Key findings

- Elementary proof of the subgroup lattice theorem
- Application to counting solutions of subgroup-generated equations
- New result on K.S. Brown's quantity

## Abstract

We present an elementary proof of the theorem of Hawkes, Isaacs and \"Ozaydin, which states that $\Sigma\,\mu_{G}(H,K)\equiv 0$ mod $d$, where $\mu_{G}$ denotes the M\"obius function for the subgroup lattice of a finite group $G$, $H$ ranges over the conjugates of a given subgroup $F$ of $G$ with $[G:F]$ divisible by $d$, and $K$ over the supergroups of the $H$ for which $[K:H]$ divides $d$. We apply the theorem to obtain a result on the number of solutions of $|\langle H,g\rangle|\mid n$, for said $H$ and a natural number $n$. The present version of the article includes an additional result on a quantity studied by K.S. Brown.