What is Isomorphism: Definition and 321 Discussions

In mathematics, an isomorphism is a structure-preserving mapping between two structures of the same type that can be reversed by an inverse mapping. Two mathematical structures are isomorphic if an isomorphism exists between them. The word isomorphism is derived from the Ancient Greek: ἴσος isos "equal", and μορφή morphe "form" or "shape".
The interest in isomorphisms lies in the fact that two isomorphic objects have the same properties (excluding further information such as additional structure or names of objects). Thus isomorphic structures cannot be distinguished from the point of view of structure only, and may be identified. In mathematical jargon, one says that two objects are the same up to an isomorphism.An automorphism is an isomorphism from a structure to itself. An isomorphism between two structures is a canonical isomorphism (a canonical map that is an isomorphism) if there is only one isomorphism between the two structures (as it is the case for solutions of a universal property), or if the isomorphism is much more natural (in some sense) than other isomorphisms. For example, for every prime number p, all fields with p elements are canonically isomorphic, with a unique isomorphism. The isomorphism theorems provide canonical isomorphisms that are not unique.
The term isomorphism is mainly used for algebraic structures. In this case, mappings are called homomorphisms, and a homomorphism is an isomorphism if and only if it is bijective.
In various areas of mathematics, isomorphisms have received specialized names, depending on the type of structure under consideration. For example:

An isometry is an isomorphism of metric spaces.
A homeomorphism is an isomorphism of topological spaces.
A diffeomorphism is an isomorphism of spaces equipped with a differential structure, typically differentiable manifolds.
A permutation is an automorphism of a set.
In geometry, isomorphisms and automorphisms are often called transformations, for example rigid transformations, affine transformations, projective transformations.Category theory, which can be viewed as a formalization of the concept of mapping between structures, provides a language that may be used to unify the approach to these different aspects of the basic idea.

View More On Wikipedia.org
Recent contents Top users
  1. D

    Find an isomorphism between the group of orientation

    I need to find an isomorphism between the group of orientation preserving rigid motions of the plane (translations, rotations) and complex valued matrices of the form a b 0 1 where |a|=1. I defined an isomorphism where the rotation part goes to e^it with angle t and the translation...
  2. W

    Proving Double Dual Isomorphism: A Proof for T'' = T

    I am trying to prove that T'' = T (where T'' is the double transpose of T) by showing that the the dual of the dual of a linear finite vector space is isomorphic to the original vector space. i.e., T: X --> U (A linear mapping) The transpose of T is defined as the following: T'...
  3. S

    Group Theory - Isomorphism question

    GroupTheory - Isomorphisms Hey I'm stuck on these 2 questions, was wondering if anyone could assist me: Let G be a nontrivial group. 1) Show that if any nontrivial subgroup of G coincides with G then G is isomorphic to C_p, where p is prime. (C_p is the cyclic group of order p!) 2) Show...
  4. W

    How can isomorphism be used to show equivalence between sets in linear space?

    Sets in Linear Space I am trying to show the set of all row vectors in some set K with dimension n is the same as the set of all functions with values in K, defined on an arbitrary set S with dimension n. I am using isomorphism to show this, but I can't determine how to show that the...
  5. S

    Understanding the First Isomorphism Theorem in Homomorphisms of Complex Numbers

    I'm slightly confused with the following function so I was wondering if anybody could give me some hints as to the next step. A function f is defined as f:\mathbb{C} \longrightarrow \mathbb{C} \\ ~~z \longmapsto |z| where \mathbb{C} = (\mathbb{C},+) assuming the function is...
  6. S

    Solving a Group Isomorphism Problem: Can You Help?

    A Group Problem :) So.. I have to demonstrate that those following two groups are isomorfic , that there is an isomorphism between those 2 groups : Now I know that in such a way that an isomorphism might be , there must also be defined a function in G with values in Z3, and is soooo...
  7. N

    Analysing the Isomorphism between G3 & K3,3 and Planarity of Gn

    I wondered if someone could help me with the following problem. Gn (n >= 2) is a graph representing the vertices abd edges of a regular 2n sided polygon, with additional edges formed by the diagonals for each vertex joined to the vertex opposite i.e. vertex 1 is joined to n+1, vertex 2 to n+2...
  8. M

    Proving Third Isomorphism Theorem: Normal Subgroups and Homomorphisms

    Problem: " Prove (Third Isomorphism THeorem) If M and N are normal subgroups of G and N < or = to M, that (G/N)/(M/N) is isomorphic to G/M." Work done so far: Using simply definitions I have simplified (G/N)/(M/N) to (GM/N). Now using the first Isomorphism theorem I want to show that a...
  9. T

    Proving Group Isomorphism: Q& & Z[X]

    Prove that there exists a group isomorphism between (Q&,*) and (Z[X],+) where Q& is the set of strictly positive rational numbers. I was thinking of mapping a p_n, being the nth prime in Q& to x^(n-1). Would this work for this case?
  10. M

    Proving Ring Isomorphism of Q[x]/<x^2-2> and Q[sqrt2]

    what is the easiest way to show that Q[x]/<x^2-2> is ring isomorphic to Q[sqrt2]={a+b(sqrt2)|a,b in Q} just give me a hint how to start
  11. I

    Isomorphism of Surjective Homomorphisms in Finite Rings

    "Let R be the ring Zp[x] of polynomials with coefficients in the finite field Zp, and let f:R->S be a surjective homomorphism from R to a ring S. Show that S is either isomorphic to R, or is a finite ring." If S is isomorphic to R, then we're done. If S is not isomorphic to R, then by...
  12. kakarukeys

    Is Isomorphism of Matrix Groups Always Expressed by Linear Maps?

    Can isomorphism of matrix groups \phi: G_1 \rightarrow G_2 always be expressed by \phi(M) = S M S^{-1}?
  13. L

    Is T an Isomorphism and How Can It Be Proven?

    Am I doing this right? I'd appreciate any feedback. Let T:U ---> v be an isomorphism. Show that T^-1: V----> U is linear. i. T^-1(0) = 0 ii. T^-1(-V) = -T^-1(V) T^-1(-0) = T^-1(0+0) = T^-1(0) + T^-1(0) T^-1(0) = 0 T^-1(-V) = T^-1((-1)V) =(-1)T^-1(V) = -T^-1(V)...
  14. G

    Can Polynomial Maps and Ideals Demonstrate a Ring Isomorphism in Finite Fields?

    ok, I've pasting some of the stuff I've done in scientific workplace 3.0. should be easier to read than in plain text. hope some of you can help me... just ask if there is something you don't get. I am supposed to prove that $Map(n,K)\thickapprox K[X_{1},..X_{n}]/I.$ where I is the ideal...
  15. D

    Natural isomorphism of VxV* and End(V)

    I'm looking for help constructing the natural isomorphism between V\otimes V^* and \operatorname{End}(V), with V a vector space. So far, I think I should have functors F and G which take V \mapsto V\otimes V^* and V \mapsto \operatorname{End}(V). I'm having a little trouble figuring out how...
  16. G

    Proving Isomorphism: Aut n(K) and Symmetric Group Sq^n

    how do i prove that Aut n(K) is isomorphic to the symmetric group Sq^n. K is a finite field of q elements. Aut n(K) is the group of polynomial automorphisms over K. n i just the number of variables/indeterminants. so i guess i have to somehow show that Aut n(K) are the permutations of...
  17. E

    Proving Isomorphism between Vector Space and Polynomial Space

    Let V denote the vector space that consists of all sequences {a_n} in F (field) that have only a finite number of nonzero terms a_n. Let W = P(F) (all polynomials with coefficients from field F). Define, T: V --> W by T(s) = sum(s(i)*x^i, 0, n) where n is the largest integer s.t. s(n) !=...
  18. S

    Proving Isomorphism of Groups with Elements of Same Order

    How would I go about proving the following: If G has an element of order n, then H has an element of order n. I am not sure how to start, if I should some how go about proving one to one and onto. Help
  19. B

    Is Phi an Isomorphism in an Abelian Group?

    let G be an abelian group, and n positive integer phi is a map frm G to G sending x->x^n phi is a homomorphism show that a.)ker phi={g from G, |g| divides n} b.) phi is an isomorphism if n is relatively primes to |G| i have no clue how to even start the prob...:-(
  20. S

    Prove Beta is an isomorphism of groups

    i can't grasp these concepts, 1-to-1 and onto have always annoyed me. here's 1 question, (i don't know how to post symbols so Beta ..) (C is Complex numbers) Let Beta:<C,+> -> <C,+> by Beta(a+bi)=a-bi (that is, the image is a +(-b)i). Prove Beta is an isomorphism of...
  21. S

    Find Isomorphism: Mapping Ints to Even Ints

    find an isomorphism from from the group of integers under addition to the group of even integers under addition. I know, very simple question, but I don't know what I am doing here... the hint in the book says to try n to 2n. I thought of that too, since it specificaly says integers to...
Back
Top