Douglas Hofstadter provides an informal definition: Formally, an isomorphy occurs as bijective map f such that both f & its inverse f ⁻¹ are homomorphisms, i.e. structure-preserving mappings.

In case there is an isomorphy between ii structures, you call for them structures isomorphous. Isomorphic structures come "the same" at a bit of level of abstraction; ignoring a specific identities of the elements in the underlying sets, and focusing good on the structures themselves, them structures come monovular. On this text come a bit of everyday examples of isomorphous structures.

The firm cube processed of wood & the firm cube manufactured of lead come two firm cubes; although their matter differs, their geometrical structures come isomorphous. a standard deck of 52 swimming cards by having green backs & a standard deck of 52 swimming cards using 'last backs; although the colours on the backs of every deck differ, the decks come structurally isomorphous — if i personally wish to play cards, it doesn't matter which deck i purchase to have. A Clock Tower inside London (that contains Big Ben) and a wrist watch; although the clocks change greatly within size, their mechanisms of reckoning instance come isomorphous. the six-sided die & the bag from either which the benumb 1 across 6 is chosen; although the method of obtaining a total is different, their random total giving abilities come isomorphous. This is an lesson of functional isomorphy, forswearing a presumption of geometrical isomorphy.

E.g., whenever the single object consists of a placed X by owning an ordering ≤ & the more object consists of a placed Y sustaining an ordering $\backslash sqsubseteq$ so an isomorphy from either X to Y occurs as bijective work f : Ten → Y such that Such an isomorphy is known as an order isomorphism.

Or even, in case in these sets, a unknown binary operations $\backslash star$ and $\backslash Diamond$ come defined, severally, so an isomorphy from either X to Y occurs as bijective work f : Ten → Y such that for tons u, 5 within X. Once a objects within wonder come groups, such an isomorphism is known as the group isomorphism. Likewise, whenever a objects come fields, it is known as the field isomorphy.

Within universal algebra, one could give the general definition of isomorphy that covers these & several more instances. A definition of isomorphy given inside category theory is even additional general.

Inside graph theory, an isomorphism between 2 graphical record G & H occurs as bijective map f from a vertices of G to the vertices of H that preserves a "edge structure" in the feel that there exists an edge from either vertex u to vertex v in G iff there is an edge from f(u) to f(v) around H.

Within linear algebra, an isomorphism can besides become defined as a linear map between two vector spaces that is one-to-one and onto.