Order of a^k (Group Theory)

Sincere thanks to readers who have completed the Free Personality Quiz!

Today we will revise some basic Group Theory. Let G be a group and a\in G. Assume that a has finite order n. Find the order of a^k where k is an integer.

Answer: \displaystyle|a^k|=\frac{n}{(n,k)}, where (n,k)=\gcd(n,k).


Our strategy is to prove that m=\frac{n}{(n,k)} is the least smallest integer such that (a^k)^m=1.

Now, we have \displaystyle a^{k\cdot\frac{n}{(n,k)}}=(a^n)^{\frac{k}{(n,k)}}=1. Note that k/(n,k) is an integer and thus a valid power.

Suppose to the contrary there exists c<\frac{n}{(n,k)} such that a^{kc}=1.

Since a has finite order n, we have n\mid kc, which leads to \displaystyle\frac{n}{(n,k)}\mid\frac{k}{(n,k)}\cdot c. Note that \frac{n}{(n,k)} and \frac{k}{(n,k)} are relatively prime.

Thus \frac{n}{(n,k)}\mid c, which implies that \frac{n}{(n,k)}\leq c which is a contradiction. This proves our result. 🙂

About mathtuition88

This entry was posted in Math and tagged , . Bookmark the permalink.

Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out /  Change )

Google photo

You are commenting using your Google account. Log Out /  Change )

Twitter picture

You are commenting using your Twitter account. Log Out /  Change )

Facebook photo

You are commenting using your Facebook account. Log Out /  Change )

Connecting to %s

This site uses Akismet to reduce spam. Learn how your comment data is processed.