Group order

Relationship between |𝑎𝑏| and |𝑎||𝑏|

Given a finite group 𝐺, and elements 𝑎,𝑏 𝐺 such that 𝑎𝑏 =𝑏𝑎, then |𝑎𝑏| divides |𝑎||𝑏|. #m/thm/group

Proof

Let |𝑎| =𝑚 and |𝑏| =𝑛. Then (𝑎𝑏)𝑚𝑛 =(𝑎𝑚)𝑛(𝑏𝑛)𝑚 =𝑒 which implies |𝑎𝑏| divides 𝑚𝑛 by Corollary.


#state/tidy | #lang/en | #SemBr