Undergrad Finding All Automorphisms of Group

  • Thread starter Thread starter jstrunk
  • Start date Start date
  • Tags Tags
    Group
Click For Summary
SUMMARY

This discussion focuses on the methodology for finding all automorphisms of a group, specifically addressing the challenges faced when dealing with non-cyclic groups. Key steps include selecting a generating set, mapping elements while preserving order, and applying the homomorphism requirement. The conversation highlights the complexity of determining distinct automorphisms and the nuances of inner versus outer automorphisms, particularly in non-abelian groups. Additionally, it references the use of Lie algebras for deriving automorphisms in Lie groups.

PREREQUISITES
  • Understanding of group theory concepts, particularly automorphisms
  • Familiarity with generating sets and their properties
  • Knowledge of homomorphisms and their requirements
  • Basic concepts of Lie groups and Lie algebras
NEXT STEPS
  • Study the process of finding automorphisms in cyclic groups
  • Research the properties and examples of inner and outer automorphisms
  • Learn about the application of Lie algebra in computing automorphisms of Lie groups
  • Explore online resources or textbooks that provide clear explanations of group automorphisms
USEFUL FOR

Mathematicians, students of abstract algebra, and anyone interested in advanced group theory and automorphism computations.

jstrunk
Messages
53
Reaction score
2
TL;DR
Finding All Automorphisms of Group
I am very confused about how to find all the automorphisms of a group.
The book I am using is very vague and the exercises don't show any solutions.
I get how to do it for cyclic groups but not the general case.

I will outline what I know of the procedure and insert my questions into it.
To find all automorphisms X:G to G:
a) Pick a generating set S of G
b) Map the identity to the identity
c) Map S to some generating set of G (ie., S itself or one of the other generating sets).
Each element of S must be mapped to an element of the same order.
Question 1: Or do you map each element of S to some element of the same order, without regard to whether it is an element of a
generating set?
d) Apply the homomorphism requirement X(gh)=X(g)X(h) to find the other values X(g) for all g element of G.
Question 2: Do you necessarily get a distinct automorphism for every such distinct mapping?
e) Repeat steps b, c, and d for each generating set (or set of elements of the same order, depending of the answer to Q1).
Question 3: When applying the homomorphism requirement, is it sufficient to find a value X(g) for all g element of G, or do you have
to check that X(gh)=X(g)X(h) for every combination of g,h elements of G to make sure that it is really a valid homomorphism?

Question 4: Is there somewhere online that this subject is explained clearly in an introductory manner?
 
Physics news on Phys.org
Computing all automorphisms of a group seems to be a difficult problem in general, and so I oresume thyere is no procedure for doing so. One class of group automorphisms for non abelian groups are the "inner automorphisms" obtained by conjugating by elements of the group. These give a normal subgroup of the group of automorphisms which is isomorphic to the group itself, modded out by its center. Even for finite p-groups, according to wikipedia, it is unknown whether there is always an automorphism of order p.

https://en.wikipedia.org/wiki/Inner_automorphism
 
There should be a way for Lie groups: Calculate the Lie algebra, determine all derivations, which means solving a linear equation system, and see what the Lie group of the derivations is.

Inner automorphisms should be not too difficult, depending how the group is defined. Outer automorphisms sounds difficult to impossible in a reasonable time in general.
 
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 13 ·
Replies
13
Views
1K
  • · Replies 26 ·
Replies
26
Views
887
  • · Replies 1 ·
Replies
1
Views
564
  • · Replies 3 ·
Replies
3
Views
910
  • · Replies 4 ·
Replies
4
Views
567
  • · Replies 5 ·
Replies
5
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 19 ·
Replies
19
Views
2K
  • · Replies 5 ·
Replies
5
Views
2K