What does "compute Aut(G)" mean?

  • Thread starter Thread starter Hill
  • Start date Start date
Join the discussion
Ask a follow-up here, or get your own question answered by working scientists, mathematicians and engineers — people, not an autocomplete.
Real named experts · corrections over time · the nuance an AI answer skips
14 replies · 2K views
Hill
Messages
867
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 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 \}##.
 
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.
 
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##.
 
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})##.
 
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?
 
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
 
Reply
  • Like
Likes   Reactions: WWGD