What Is an Isomorphism?
What Is an Isomorphism? In mathematics, an isomorphism is a function that shows two mathematical objects have the same structure. Although the objects may look different, an isomorphism demonstrates that they behave in exactly the same way with respect to the operations that define them. If such a map exists, the objects are called isomorphic . An isomorphism tells us that two systems are essentially the same, differing only by a relabelling of their elements. The Basic Idea An isomorphism is a function: f : A → B that must be: Injective — different elements of A map to different elements of B. Surjective — every element of B comes from some element of A. Together these mean f is bijective , and so it has an inverse: f⁻¹ : B → A No information is lost moving from A to B or back. Preserving Structure Bijectivity alone is not enough. An isomorphism must also preserve structure. For groups, this means: f(a ⋆ b) = f(a) ∘ f(b) for all a, b ∈ A ,...