Please Login to access more options.


Problem 89 (The order of $a$ is a multiple of the order of $f(a)$, or $|a|=k|f(a)|$)

Suppose that $f:G\to H$ is a homomorphism. Prove that if $a\in G$ has order $n$, show that $|f(a)|$ divides $n$, i.e. show that $|a|$ is a multiple of $|f(a)|$.


Solution

Let $a\in G$ with $|a|=n$. We compute $(f(a))^n=f(a^n)=f(e_G)=e_H$. It was shown in a previous exercise that if $a^m=e$, then the order of $a$ divides $m$. Since $(f(a))^n=e_H$, we conclude that $|f(a)|$ divides $n$.

Tags

Change these as needed.


  • When you are ready to submit this written work for grading, add the phrase [[!Submit]] to your page. This will tell me that you have completed the page (it's past rough draft form, and you believe it is in final draft form). Don't type [[!Submit]] on a rough draft.
  • If I put [[!NeedsWork]] on your page, then your job is to review what I've written, address any comments made, and then delete all the comments I made. When you have finished reviewing your work, leave [[!NeedsWork]] on your page and type [[!Submit]]. (Both tags will show up). This tells me you have addressed the comments.
  • I'll mark your work with [[!Complete]] after you have made appropriate revisions.