I have one general and one specific questions.

  1. What is the expression for the exponent of the direct sum of finite groups?
  2. What is the exponent of $\sum^t_i S_{N_i} \wr D_{m_i}$?

Here, $i, N_i, m_i$ are positive integers, $S_{N_i}$ is the symmetric group over $N_i$ symbols, $D_{m_i}$ is the dihedral group of order $2 m_i$.

My effort: I guess the exponent should be the lcm of the exponent of each $S_{N_i} \wr D_{m_i}$.

Am I correct?

  • 1
    $\begingroup$ Are you sure you mean direct sum? That is usually synonymous with coproduct, which will almost always have infinite exponent. $\endgroup$ – Tobias Kildetoft Dec 18 '15 at 16:59
  • 1
    $\begingroup$ Maybe it helped if you wrote what you mean by direct sum. That term is usually only used for abelian groups, and direct product is used in general. When there are an infinite number of terms, these things differ for abelian groups, but the thing for general groups that behaves like the direct sum is usually called the restricted direct product, rather than the direct sum. $\endgroup$ – Tobias Kildetoft Dec 18 '15 at 19:35
  • 1
    $\begingroup$ Right, that is the definition of direct product, which is also called direct sum for abelian groups (and sometimes, but not so often, used for nonabelian groups). $\endgroup$ – Tobias Kildetoft Dec 18 '15 at 19:45
  • 1
    $\begingroup$ Yes, for a finite number of terms, this will always be the case. $\endgroup$ – Tobias Kildetoft Dec 18 '15 at 19:48
  • 1
    $\begingroup$ BTW, the exponent of a direct sum of a finite number of group is just the lcm of the individual exponents, so in this case it is just the exponent of the group you started with. $\endgroup$ – Tobias Kildetoft Dec 18 '15 at 19:57

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Browse other questions tagged or ask your own question.