Why is SL(2,Z) the Outer-Automorphism Group of Z^2?

  • Context: Graduate 
  • Thread starter Thread starter electroweak
  • Start date Start date
Click For Summary
SUMMARY

The outer-automorphism group of Z^2 is confirmed to be SL(2,Z). The discussion clarifies that the automorphism group, Aut(Z^2), is equivalent to GL(2,Z), while the inner automorphism group, Inn(Z^2), is trivial, resulting in Out(Z^2) being equal to GL(2,Z). The confusion arose from incorrectly applying the Dehn-Nielsen theorem, which is applicable only to hyperbolic surfaces, to the torus, a parabolic surface. This distinction is crucial for understanding the structure of these groups.

PREREQUISITES
  • Understanding of group theory, specifically automorphism groups.
  • Familiarity with the concepts of SL(2,Z) and GL(2,Z).
  • Knowledge of abelian groups and their properties.
  • Basic comprehension of the Dehn-Nielsen theorem and its applications.
NEXT STEPS
  • Study the properties and applications of SL(2,Z) in group theory.
  • Explore the relationship between automorphism groups and their inner and outer counterparts.
  • Investigate the implications of the Dehn-Nielsen theorem in different geometric contexts.
  • Learn about the structure and classification of abelian groups.
USEFUL FOR

This discussion is beneficial for mathematicians, particularly those specializing in algebra and topology, as well as students seeking to deepen their understanding of group theory and its applications in geometry.

electroweak
Messages
43
Reaction score
1
I know that the outer-automorphism group of Z^2 is SL(2,Z). Can someone please show me why this is the case? I think Aut(Z^2)=GL(2,Z), but what about Inn(Z^2)? Thanks.
 
Physics news on Phys.org
How do you know that it's SL(2,Z)? (It's not.)

Note that Z^2 is abelian, so Inn(Z^2) = ? and consequently Out(Z^2) = ?.
 
Aut(Z^2)=GL(2,Z), and Inn(Z^2)=Z^2/center(Z^2)=1, so that Out(Z^2)=Aut/Inn=GL(2,Z), right? OK, I figured out what was confusing me; I was applying the Dehn-Neilson theorem (which only holds on hyperbolic surfaces) to the torus (a parabolic surface). This would have equated Out(Z^2) and SL(2,Z). Thanks for confirming my suspicions!
 

Similar threads

  • · Replies 17 ·
Replies
17
Views
7K
  • · Replies 5 ·
Replies
5
Views
2K
  • · Replies 4 ·
Replies
4
Views
3K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 6 ·
Replies
6
Views
2K
  • · Replies 5 ·
Replies
5
Views
3K
  • · Replies 4 ·
Replies
4
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 4 ·
Replies
4
Views
2K
  • · Replies 19 ·
Replies
19
Views
4K