Isomorphism

In abstract algebra, an isomorphism is a bijective homomorphism. Two mathematical structures are said to be isomorphic if there is an isomorphism between them.

In essence, two objects are isomorphic if they are indistinguishable given only a selection of their features, and the isomorphism is the mapping of the set elements and the selected operations between the objects. A named isomorphism indicates which features are selected for this purpose. Thus, for example, two objects may be group isomorphic without being ring isomorphic, since the latter isomorphism selects the additional structure of the multiplicative operator.

In category theory, an isomorphism is a morphism f: XY in a category for which there exists an "inverse" f −1: YX, with the property that both f −1f = idX and f f −1 = idY.

Read more about IsomorphismPurpose, Practical Examples, Applications, Relation With Equality

Other articles related to "isomorphism, isomorphisms":

Skew-symmetric Graph - Definition
... of G is the graph formed by reversing every edge of G, and σ defines a graph isomorphism from G to its transpose ... However, in a skew-symmetric graph, it is additionally required that the isomorphism pair each vertex with a different vertex, rather than allowing a vertex to be mapped ...
Standard Probability Space - Definition - Isomorphism
... An isomorphism between two probability spaces, is an invertible map such that and both are (measurable and) measure preserving maps ... Two probability spaces are isomorphic, if there exists an isomorphism between them ...
Musical Isomorphism
... In mathematics, the musical isomorphism (or canonical isomorphism) is an isomorphism between the tangent bundle TM and the cotangent bundle T*M of a Riemannian manifold given by its metric ... There are similar isomorphisms on symplectic manifolds ...
Complex Spin Representations - Bilinear Forms
... When n = 2m+1 is odd, the isomorphism B S → S∗ is unique up to scale by Schur's lemma, since S is irreducible, and it defines a nondegenerate ... signs if and only if −λ does it follows that there are separate isomorphisms B± S± → S±∗ of each half-spin representation with its dual, each ... These may be combined into an isomorphism B S → S∗ ...
Isomorphism - Relation With Equality
... it is valuable to distinguish between equality on the one hand and isomorphism on the other ... same, and everything that's true about one object is true about the other, while an isomorphism implies everything that's true about a designated part of one ... These are isomorphic as sets, since finite sets are determined up to isomorphism by their cardinality (number of elements) and these both have three elements, but there are many choices of ...