Let $G$ be a finite group. I will say that a set of a subgroups $H_1,\ldots ,H_k$ defines a basis for a group $G$ if any subgroup $H$ of $G$ there exists $S\subset [k]$ such that $H=\cap_{i\in S}H_i$.

My question is does it possible to give any upper bounds on the size of the minimal basis for $G$. For example does it possible to prove that for any $G$ there exists a basis of size at most $|G|^{10}$?

For example for an Abalian group it is easy to show that there is always exists a basis of size $|G|$. For example in case $A=Z_p^n$ it will be all maximal subgroups.

1more comment