Why is ##Aut(C_8)## not a cyclic group?

  • Thread starter Thread starter jimmycricket
  • Start date Start date
Click For Summary
SUMMARY

The automorphism group of the cyclic group ##C_8##, denoted as ##Aut(C_8)##, is confirmed to be isomorphic to the Klein four-group ##C_2 \times C_2##, rather than a cyclic group. This conclusion arises from the fact that ##Aut(C_8)## contains four elements, all of which have an order of 2, thus disqualifying it from being cyclic. The confusion stems from the application of Euler's totient function, which indicates there are four generators for ##C_8##, but does not imply that the automorphism group is cyclic.

PREREQUISITES
  • Understanding of cyclic groups and their properties.
  • Familiarity with automorphisms and the concept of automorphism groups.
  • Knowledge of Euler's totient function and its application in group theory.
  • Basic understanding of group isomorphism and cycle notation.
NEXT STEPS
  • Study the structure of automorphism groups for other cyclic groups, such as ##Aut(C_9)##.
  • Learn about the classification of groups of small orders, particularly groups of order 4.
  • Explore the implications of the Fundamental Theorem of Finite Abelian Groups.
  • Investigate the relationship between generators and automorphisms in cyclic groups.
USEFUL FOR

Mathematicians, particularly those specializing in group theory, educators teaching abstract algebra, and students preparing for advanced studies in algebraic structures.

jimmycricket
Messages
115
Reaction score
2
Im doing a question where I have to calculate of composition of automorphisms of a cyclic p-group and something has got me confused. When constructing decompositions of cyclic groups I have gotten used to grouping the direct products of groups with orders of the same prime to a power e.g C_{20}\cong C_4\times C_5.
In this question however I have gotten to a stage where accorging to my lecturer Aut(C_8)\times Aut(C_9)\cong C_2\times C_2 \times C_6 and i don't understand why. I would have expressed it has C_4\times C_6 since there are 4 numbers less than 8 that are coprime to 8 (eulers totient function). Can anyone help clear up my confusion?
 
Physics news on Phys.org
##Aut(C_8)## is not a cyclic group.

If we write ##C_8## additively, with elements ##\{0,1,2,3,4,5,6,7\}##, then there are four possible generators: ##1,3,5,7##. Any automorphism ##\phi \in Aut(C_8)## is determined completely by ##\phi(1)##, and there are four possibilities: ##\phi## can map ##1## to any of ##1,3,5,7##. So ##Aut(C_8)## has four elements.

Expressed in cycle notation, ##Aut(C_8)## consists of these four elements:
$$\phi_1 = \text{identity}$$
$$\phi_2 = (0)(1 3)(2 6)(4)(5 7)$$
$$\phi_3 = (0)(1 5)(2)(3 7)(4)(6)$$
$$\phi_4 = (0)(1 7)(2 6)(3 5)(4)$$
The orders of the non-identity elements are all ##2##, so ##Aut(C_8)## cannot be ##C_4##. Since ##C_2 \times C_2## is (up to isomorphism) the only other group of order 4, by process of elimination, ##Aut(C_8)## must be ##C_2 \times C_2##.
 
  • Like
Likes jimmycricket
I am studying the mathematical formalism behind non-commutative geometry approach to quantum gravity. I was reading about Hopf algebras and their Drinfeld twist with a specific example of the Moyal-Weyl twist defined as F=exp(-iλ/2θ^(μν)∂_μ⊗∂_ν) where λ is a constant parametar and θ antisymmetric constant tensor. {∂_μ} is the basis of the tangent vector space over the underlying spacetime Now, from my understanding the enveloping algebra which appears in the definition of the Hopf algebra...

Similar threads

  • · Replies 2 ·
Replies
2
Views
1K
Replies
2
Views
2K
  • · Replies 5 ·
Replies
5
Views
2K
  • · Replies 2 ·
Replies
2
Views
3K
  • · Replies 2 ·
Replies
2
Views
2K
Replies
1
Views
2K
  • · Replies 1 ·
Replies
1
Views
6K
  • · Replies 1 ·
Replies
1
Views
1K
Replies
2
Views
2K
  • · Replies 5 ·
Replies
5
Views
4K