Do there exist two finite groups $H$ and $K$, satisfying specific conditions?

201 Views Asked by At

Let’s define $\sigma(G)$ as the sum of orders of all normal subgroups of a finite group $G$. Do there exist two finite groups $H$ and $K$ such, that $\sigma(H) = |H| + |K| = \sigma(K)$, $|H|$ is even and $|K|$ is odd?

It is quite obvious, that pair of cyclic groups $H$ and $K$ satisfies that condition iff $|H|$ and $|K|$ form an amicable pair. Thus, an even-odd amicable pair would have solved the question. But whether they do exist is an open problem!

Still, the pairs of non-cyclic non-isomorphic finite groups $H$ and $K$, that satisfy the condition $\sigma(H) = |H| + |K| = \sigma(K)$ actually do exist. An example was provided in an answer to that question: Do there exist finite non-cyclic groups $H$ and $K$, satisfying the specific condition? However, the orders of both groups in the example are even, so it does not help us much now. And it would be interesting to know, if there is such an "even-odd pair"...