Here's something that I noticed that quite surprised me.

Let $G$ be a finite abelian group. Consider the following expression. $$ \nu(G) = \sum_{\substack{H \leq G \\ H \text{ is cyclic}}} |H| $$ It is easy to see that for cyclic groups, we have that $\nu(G) = \sigma_1(|G|)$. What is significantly more surprising is the following.

**Theorem** For every finite abelian group, we have that
$$
\nu(G) = \sigma_1(|G|)
$$
That is, this only depends on the order of the group.

Now, one can see pretty quickly that this is a multiplicative function, and so proving this reduces to studying Abelian $p$-groups. But even there it isn't obvious: consider the groups $\mathbb{Z}/p \times \mathbb{Z}/p$ and $\mathbb{Z}/p^2$. The first of these has lots of small cyclic subgroups, which the second one just has one large one, and amazingly enough these work out to contribute the same amount.

So is there a nice explanation for this? This definitely surprised me, and the only way I can prove this is with not-so-pretty computations that don't enlighten me much.