6
$\begingroup$

Let $G$ be a finite group of order $n$ and $\psi(G)$ be the sum of element orders of $G$. Then $\psi(G)\leq\psi(C_n)$, where $C_n$ is the cyclic group of order $n$ (see "Sums of element orders in finite groups", Comm. Algebra 37 (2009), 2978-2980). Is it true a similar inequality for the product of element orders of $G$?

$\endgroup$
3
  • 1
    $\begingroup$ Have you checked it for small examples? I personally have no intuition otherwise for why this should/should not be true... $\endgroup$
    – Igor Rivin
    Dec 3, 2011 at 10:40
  • $\begingroup$ Yes, it seems to be true. $\endgroup$ Dec 3, 2011 at 11:09
  • $\begingroup$ The sum of elements theorem was proved in 1991 - earlier than the 2009 paper cited here. Citation: Schmidt, F., Stong, R., & Lindsey, J. H. (1991). 6636. American Mathematical Monthly, 970-972. $\endgroup$ Jun 12, 2014 at 7:33

1 Answer 1

25
$\begingroup$

Denoting the order of $g$ by $o(g)$, you can show that for any decreasing function $f$ the following inequality holds $$\sum_{g\in G}f(o(g))\geq \sum_{g\in \mathbb Z/n\mathbb Z}f(o(g)).$$ This is because one can actually construct a bijection $\sigma:G\to\mathbb Z/n\mathbb Z$ which satisfies $$o(\sigma(g))\geq o(g)$$ for all $g\in G$. The main ingredient is a classical theorem of Frobenius saying that when $k$ divides the order of a group, the number of elements of order dividing $k$ is divisible by $k$, then proceed by induction. An application of this exact idea is for example problem 10775 on the American Math Monthly. For your question we just need $f(x)=-\log x$.

$\endgroup$
4
  • $\begingroup$ It's an interesting idea. I will try to give a complete proof. Thanks! $\endgroup$ Dec 7, 2011 at 8:03
  • 5
    $\begingroup$ The proof given in that Monthly solution seems to me to be at best incomplete. I agree (in the notation of that problem) that the sets S_d for divisors d of k do not consume too much of the set G_k, but what about sets S_d where d < k but d is not a divisor. Perhaps they involve some elements of G_k. Does anyone see a way to repair this problem? $\endgroup$ Jul 19, 2012 at 19:52
  • $\begingroup$ The proof seems to only want to define $S_d$ for $d \le n$ with $d$ a divisor of $n$. Am I missing something? $\endgroup$ Aug 9, 2012 at 6:24
  • $\begingroup$ @Aaron: The problem is with the $S_d$ with $d < k$, $d$ not a divisor of $k$, but $\gcd(d,k) \neq 1$. Those $S_d$'s might have taken away too many elements of $G_k$, leaving less than $\phi(k)$ elements to build $S_k$. $\endgroup$ Aug 9, 2012 at 13:28

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.