morphism said:You showed that it's a homomorphism.
HallsofIvy said:An automorphism has to be an isomorphism- you have to show that it has an inverse.
morphism said:Have you read the definition of isomorphism?
morphism said:Have you read the definition of isomorphism?
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?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.
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.
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?
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'.
Benzoate said:Is my response unreadable again?
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.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?
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.
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.
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.
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.
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.