What does "compute Aut(G)" mean?

  • Thread starter Thread starter Hill
  • Start date Start date
Click For Summary

SUMMARY

The discussion clarifies that computing Aut(G⁺), where G = {a + b√5 : a,b ∈ ℚ} under addition, means determining the group of automorphisms of G as an additive subgroup of ℝ. Aut(G⁺) corresponds to the group of invertible linear transformations over ℚ acting on the two-dimensional vector space spanned by 1 and √5, i.e., Aut(G⁺) ≅ GL(2, ℚ). The initial guess that Aut(G⁺) = ℚ* × ℚ* is incomplete, as it neglects the full structure of invertible linear maps. The discussion also addresses why zero is excluded to ensure bijectivity and highlights the role of dimension preservation in linear automorphisms.

PREREQUISITES

  • Group theory: automorphisms of additive groups
  • Field extensions and vector spaces over ℚ
  • Linear algebra: invertible linear transformations and GL(2, ℚ)
  • Understanding of bijective group homomorphisms

NEXT STEPS

  • Study the structure and properties of GL(2, ℚ)
  • Explore automorphisms of algebraic number fields and their additive groups
  • Learn about dimension preservation in linear transformations and its implications
  • Investigate the role of units and invertible elements in group automorphisms

USEFUL FOR

Mathematicians and students working in abstract algebra, particularly those studying group automorphisms, algebraic number theory, and linear algebra. This discussion benefits anyone needing to understand the computation of automorphism groups of additive subgroups of real numbers defined by algebraic extensions.

Hill
Messages
857
Reaction score
658
Homework Statement
Let G = {a+b√5 : a,b ∈ Q} ⊂ R.
Prove that G+ = G is a subgroup of R under addition, and compute Aut(G+).
Relevant Equations
Aut(G+)
I know that Aut(##G^+##) is the group of automorphisms on ##G^+##. But what does it mean to "compute" it?
 
Physics news on Phys.org
I think that it means

##Aut(G^+)=Q^* \times Q^*##

where

##Q^*=Q\setminus \{ 0 \}##.

Is it correct?
 
sbrothy said:
You wouldn't be from Arizona would you?

https://math.arizona.edu/~cais/594Page/soln/solnexam1.pdf

Nah, I'm on very thin ice here... Sorry.
No, I'm not from Arizona.

Also the link doesn't work for me. I get this:
1779993659360.webp
 
I think it is a matter of spotting that G+ is isomorphic to a much more familiar object and applying a standard result. The word "nonsingular" is a hint.
 
  • Informative
Likes   Reactions: Hill
I think that any automorphism on ##G^+## has a form ##a+b\sqrt5 \to qa+rb\sqrt5##, where ##q,r \in \mathbb{Q} \setminus \{ 0 \}##. Then
##Aut(G^+)=\mathbb{Q} \setminus \{ 0 \} \times \mathbb{Q} \setminus \{ 0 \}##.
 
Hill said:
I think that any automorphism on ##G^+## has a form ##a+b\sqrt5 \to qa+rb\sqrt5##, where ##q,r \in \mathbb{Q} \setminus \{ 0 \}##.
Why exclude 0?
Edit: And what about ##a+b\sqrt5 \to qb+ra\sqrt5##?
 
Last edited:
haruspex said:
Why exclude 0?
Because say ##a+b\sqrt5 \to rb\sqrt5## is not bijective.
 
Hill said:
Because say ##a+b\sqrt5 \to rb\sqrt5## is not injective.
I think you mean it is not surjective. Or to put it another way, that transformation collapses the plane (x, y) into the line (0, y). What other lines might a linear transformation collapse the plane into?

Also, please see my edit to post #7.
 
  • #10
haruspex said:
I think you mean it is not surjective. Or to put it another way, that transformation collapses the plane (x, y) into the line (0, y). What other lines might a linear transformation collapse the plane into?

Also, please see my edit to post #7.
Besides ##(x, 0)##, I don't see any.
haruspex said:
Edit: And what about ##a+b\sqrt5 \to qb+ra\sqrt5##?
It makes the answer rather ##Aut(G^+)=\mathbb{Q} \setminus \{ 0 \} \times \mathbb{Q} \setminus \{ 0 \}\times \mathbb{Z}_2##.
 
  • #11
Hill said:
Besides ##(x, 0)##, I don't see any.
What do you know about linear transformations and collapse of dimensions?
 
  • Like
Likes   Reactions: Hill
  • #12
haruspex said:
What do you know about linear transformations and collapse of dimensions?
I think I know what it is. The group of invertible linear transformations, ##GL(2, \mathbb{Q})##.
 
  • #13
Hill said:
I think I know what it is. The group of invertible linear transformations, ##GL(2, \mathbb{Q})##.
I agree.
 
  • Like
Likes   Reactions: Hill
  • #14
Hill said:
Homework Statement: Let G = {a+b√5 : a,b ∈ Q} ⊂ R.
Prove that G+ = G is a subgroup of R under addition, and compute Aut(G+).
Relevant Equations: Aut(G+)

I know that Aut(##G^+##) is the group of automorphisms on ##G^+##. But what does it mean to "compute" it?
What is ##G^+##? Maybe a connected component?
 
  • #15
WWGD said:
What is ##G^+##? Maybe a connected component?
It is the defined set ##G## with the group operation being addition.

The source:
1780152634466.webp
 
  • Like
Likes   Reactions: WWGD

Similar threads

  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 6 ·
Replies
6
Views
2K
  • · Replies 5 ·
Replies
5
Views
2K
Replies
11
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 9 ·
Replies
9
Views
3K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 0 ·
Replies
0
Views
3K
Replies
1
Views
2K