Automorphisms homework help

  • Thread starter Benzoate
  • Start date
  • Tags
    Homework
In summary, the conversation revolves around proving that the mapping phi(x)=sqrt(x) is an automorphism of positive real numbers. The steps to solve this problem include showing that phi is a homomorphism, showing that phi is one-to-one, and showing that phi is onto. The conversation also touches on the definitions of isomorphism and automorphism, and the relationship between them.
  • #1
Benzoate
422
0

Homework Statement



Let R^+ be the group of positive real numbers under multiplication. Show that the mapping phi(x)=sqrt(x) is an automorphism of positive real numbers

Homework Equations


The Attempt at a Solution


Let x and y be real numbers.
Let phi(xy)=sqrt(xy). the sqrt(xy)=sqrt(x)*sqrt(y)=phi(x)phi(y). therefore , phi(xy) is an automorphism
 
Physics news on Phys.org
  • #2
You showed that it's a homomorphism.
 
  • #3
morphism said:
You showed that it's a homomorphism.

How would I show that it's a automorphism
 
  • #4
Prove that it satisfies the definition of automorphism.
 
  • #5
An automorphism has to be an isomorphism- you have to show that it has an inverse.
 
  • #6
HallsofIvy said:
An automorphism has to be an isomorphism- you have to show that it has an inverse.

You mean I have to show that its onto?
 
  • #7
Have you read the definition of isomorphism?
 
  • #8
morphism said:
Have you read the definition of isomorphism?

yes , for an isomorphism to be an automorphism, a Group g must be onto itself. When a group is onto itself , it you find the inverse of that function.
 
  • #9
morphism said:
Have you read the definition of isomorphism?

Benzoate said:
yes , for an isomorphism to be an automorphism, a Group g must be onto itself. When a group is onto itself , it you find the inverse of that function.
You were asked about the definition of "isomorphism". Do you understand that what you wrote in response to that says nothing about the definition of isomophism? How does an isomorphism differ from a homomorphism?
 
  • #10
Yes. I do understand the definition of an isomorphism: a group G to a group G* is a one-to-one mapping from G onto G* that preserves the group operation. Or In symbolic terms , phi(ab)=phi(a)phi(b). Why do you think the definition of an isomorphism is more important than the definition of a automorphism in this problem.
 
  • #11
Because an automorphism is an isomorphism from the group onto itself!
 
  • #12
Benzoate said:
Yes. I do understand the definition of an isomorphism: a group G to a group G* is a one-to-one mapping from G onto G* that preserves the group operation. Or In symbolic terms , phi(ab)=phi(a)phi(b). Why do you think the definition of an isomorphism is more important than the definition of a automorphism in this problem.

Because to understand the definition of "automorphism" you have to understand the definition of "isomorphism". And that was precisely where your first attempt failed!
 
  • #13
okay what should my first attempt show be to prove the isomorphism phi(xy) is an automorphism? Obviously I need to show that phi(x*y)=sqrt(xy). Before I attempt to prove that phi(xy)=sqrt(xy) is an automorphism, should I attempt to show that phi(xy) is an isomorphism first since the definition of an isomorphism says an isosomorphism from a group G onto itself is an automorphism.

Let me see if have this clear: I have to show all 4 properties of an isomorphism for phi(xy) to show that its an isomorphismand go and turn around in show that phi(xy) is onto to prove that its an automorphism?! Why do I have to prove that phi(xy) is onto twice?
 
  • #14
Benzoate said:
okay what should my first attempt show be to prove the isomorphism phi(xy) is an automorphism? Obviously I need to show that phi(x*y)=sqrt(xy). Before I attempt to prove that phi(xy)=sqrt(xy) is an automorphism, should I attempt to show that phi(xy) is an isomorphism first since the definition of an isomorphism says an isosomorphism from a group G onto itself is an automorphism.

Let me see if have this clear: I have to show all 4 properties of an isomorphism for phi(xy) to show that its an isomorphismand go and turn around in show that phi(xy) is onto to prove that its an automorphism?! Why do I have to prove that phi(xy) is onto twice?

You haven't shown that phi is an isomorphism yet... You've shown that it is a homomorphism. Now you need to show that it is one-to-one and onto... That will show that it is an isomorphism. Then since phi is a mapping from a group to itself, it is an automorphism. An automorphism is an isomorphism that maps a group to itself... If it was a mapping from a group G to another group H, then it wouldn't be an automorphism, just an isomorphism.

The 3 steps to solve the problem are 1) show phi is a homomorphism. 2) show phi is one-to one. 3) show phi is onto

you've done the first part. now you need to do parts 2 and 3.
 
  • #15
You have already shown it is a homomorphism. To show it is an isomorphism, you only need to show it is one-to-one and onto. Of course, if you have already shown it is one-to-one in order to show it is an isomorphism, you don't need to do it again to show it is an automorphism! Actually, since "one-to-one" and "onto" are part of the definition of isomorphism, you could just as easily define "Automorphism on G" to be an "isomorphism from G to itself" rather than "onto'.
 
  • #16
HallsofIvy said:
You have already shown it is a homomorphism. To show it is an isomorphism, you only need to show it is one-to-one and onto. Of course, if you have already shown it is one-to-one in order to show it is an isomorphism, you don't need to do it again to show it is an automorphism! Actually, since "one-to-one" and "onto" are part of the definition of isomorphism, you could just as easily define "Automorphism on G" to be an "isomorphism from G to itself" rather than "onto'.

according to my textbook, you need to show that the group G is onto itself to proved G is an automorphism . In order to prove that phi(x) is one-to-one, I need to prove that phi(x)=phi(y) => x=y right? therefore phi(x)=phi(y) => sqrt(x)=sqrt(y). After squaring both sides , x=y. There phi(x) is one to one. in ordert to prove that phi(x) is onto- I need to show that y=sqrt(x)=> x=y^2. For a group to be onto, shouldn't y= sqrt(x) and x=sqrt(y). What did I do wrong?
 
Last edited:
  • #17
Is my response unreadable again?
 
  • #18
Benzoate said:
Is my response unreadable again?

Benzoate said:
according to my textbook, you need to show that the group G is onto itself to proved G is an automorphism . In order to prove that phi(x) is one-to-one, I need to prove that phi(x)=phi(y) => x=y right? therefore phi(x)=phi(y) => sqrt(x)=sqrt(y). After squaring both sides , x=y. There phi(x) is one to one. in ordert to prove that phi(x) is onto- I need to show that y=sqrt(x)=> x=y^2. For a group to be onto, shouldn't y= sqrt(x) and x=sqrt(y). What did I do wrong?
Pretty much unreadable! I have no idea what "the group G is onto itself to prove G is an automorphism" could mean. First, you don't want to prove "G" is an automorphism, it isn't- it's a group! you want to show that the function ph(x)= sqrt(x) is an automorphism. To do that, you must show that it is a homomorphism from G to G (which you did). You must now show that it is both one-to-one and onto. Your proof that phi is one-to-one, that if sqrt(x)= sqrt(y) then x= y, is correct.

" in ordert to prove that phi(x) is onto- I need to show that y=sqrt(x)=> x=y^2. For a group to be onto, shouldn't y= sqrt(x) and x=sqrt(y)."
Your first step is correct. If y is any member of G, any positive real number, then y= phi(x)= sqrt(x) with x= y^2. Since y^2 is still a member of G, that is sufficient.
No, you do NOT need "y= sqrt(x) and x= sqrt(y)".
 

1. What is an automorphism?

An automorphism is a type of mathematical function that preserves the structure of an object. In other words, it is a transformation that does not change the essential properties of the object. In the context of group theory, an automorphism is a bijective map that preserves the group operation.

2. How are automorphisms used in mathematics?

Automorphisms are used in various areas of mathematics, including algebra, geometry, and topology. In algebra, they are used to study the properties and structure of groups, rings, and fields. In geometry, they are used to study symmetry and transformations of geometric objects. In topology, they are used to study the properties of topological spaces.

3. What is an example of an automorphism?

An example of an automorphism is a rotation of a square by 90 degrees. This transformation preserves the shape and structure of the square, as well as the relationships between its vertices and edges. Another example is a reflection of a triangle over its median, which preserves the triangle's angles and side lengths.

4. How do automorphisms relate to isomorphisms?

An isomorphism is a bijective map that preserves the structure of an object, just like an automorphism. However, isomorphisms are specifically used to describe mappings between different mathematical structures that have the same underlying structure. In contrast, automorphisms are used to describe mappings within a single structure.

5. How can I determine if a function is an automorphism?

To determine if a function is an automorphism, you need to check if it is a bijective map that preserves the structure of the object. This can be done by examining the properties of the function and its effect on the object. In group theory, for example, you would need to check if the function preserves the group operation and the inverse element of each element in the group.

Similar threads

  • Calculus and Beyond Homework Help
Replies
4
Views
1K
  • Calculus and Beyond Homework Help
Replies
2
Views
4K
  • Calculus and Beyond Homework Help
Replies
27
Views
541
  • Calculus and Beyond Homework Help
Replies
8
Views
1K
  • Calculus and Beyond Homework Help
Replies
3
Views
474
  • Calculus and Beyond Homework Help
Replies
3
Views
851
  • Calculus and Beyond Homework Help
Replies
6
Views
1K
  • Calculus and Beyond Homework Help
Replies
4
Views
941
  • Calculus and Beyond Homework Help
Replies
8
Views
2K
  • Calculus and Beyond Homework Help
Replies
11
Views
1K
Back
Top