Exercise · ZW-ORDER-OF-AN-ELEMENT-010 · ★★★ Advanced

In a group, \(a\) and \(b\) commute, \(a\) has order 4 and \(b\) has order 3. What is the order of \(ab\)?

Choose one option.

Show answer
  • B. 12

Explanation

Since they commute, \((ab)^n=a^nb^n\), which equals \(e\) only if \(a^n=b^{-n}\) lies in \(\langle a\rangle\cap\langle b\rangle=\{e\}\) (coprime orders); so both 4 and 3 divide \(n\) and the least is \(12\). Example: in \(\mathbb{Z}_{12}\), \(3+4=7\) has order 12.

Study Modern algebra I in ZWMath →

Review the concept: Order of an element

The order of an element \(a\) of a group with identity \(e\) is the least integer \(n>0\) with \(a^n=e\); if there is none, \(a\) is said to have infinite order.

\[|a|=\min\{\,n\ge 1 : a^n=e\,\}\]

More practice problems: order of an element

← ZW-ORDER-OF-AN-ELEMENT-009