Talk:Isomorphism

Categorical view

It was me that just updated the "categorical" section. I agree about too many words to describe simple things. An isomorphism is an invertible morphism, that's it. Vlad Patryshev (talk) 00:03, 1 July 2020 (UTC)

Surjective bijective

Surjective & bijective thus Isomorphic ? .... 0mtwb9gd5wx (talk) 19:40, 24 August 2021 (UTC)

See § Isomorphism vs. bijective morphism. D.Lazard (talk) 08:25, 25 August 2021 (UTC)

In set theory an isomorphism between posets explicitly is required to translate the comparison of inputs and outputs, i.e. for isomorphism f:(X,≤_X)→(Y,≤_Y) we have a≤_Xb implies f(a)≤_Yf(b). Should more precise conditions for being an isomorphism like this one be listed in this article? C7XWiki (talk) 07:14, 7 September 2022 (UTC)

Have you read the article? Order isomorphisms between posets are explicitly mentioned in the section Isomorphism#Relation-preserving_isomorphism, for example. JBL (talk) 17:18, 7 September 2022 (UTC)

Isomorphism

Replace 108 by 144 Len loker (talk) 16:49, 26 March 2024 (UTC)

Where? D.Lazard (talk) 17:16, 26 March 2024 (UTC)

Equality versus Isomorphism

I removed some of the misleading or confused parts of the equality versus isomorphism part. For instance the discussion of natural isomorphism was confusing as it made it seem as if whether an isomorphism was natural or not was somehow a feature of only the two structures and was the suggestion that category theory doesn't produce equal objects (it's a less useful notion but it exists in some formalizations).

However, I suggest cutting more or almost everything to just include a brief paragraph about this point. If one wants to go into this level of detail perhaps a new page where one can give the appropriate context (are we talking about this from a foundations of math perspective, working mathematican's perspective a philosophical perspective) which isn't very clear. I'm not ready to just do this without more feedback as someone obviously put a lot of effort into this and I don't want to just yank it if I'm getting something wrong. Peter M. Gerdes (talk) 02:46, 4 July 2024 (UTC)

General speaking, my thought is that the article should just stick to the discussion of an isomorphism (a morphism that happens to have an inverse), and not get too deep into the philosophical matter of equality vs isomorphism. Especially tricky is a matter of a canonical isomorphism. It is often the case that a canonical isomorphism is treated as an equality (e.g., $X\times Y$ are canonically isomorphic to $Y\times X$ but we treat them as the same). This is a delicate hard-to-source matter. A better place for a discussion like that might be in canonical map or a place that discusses equality in mathematics, including a new article suggested above. —- Taku (talk) 06:01, 11 July 2024 (UTC)

As a related matter, I have proposed the merger of isomorphism class into the article. I think that is a type of materials that should be emphasized in this article; i.e., an isomorphism is an equivalence relation. —— Taku (talk)

  Y Merger complete. Klbrain (talk) 14:32, 29 October 2024 (UTC)

Short description

The main purpose of short description is to help readers to identify whether the article may be interesting to them without open it. Farkle Griffen changed twice the short description of isomorphism from "Inversible mapping (mathematics)" to "Structure-preserving map in mathematics". This amount to change a description specific to this article to a short description that applies also to homomorphism and morphism; this may confuse many readers.

Therefore, I'll install again the previous stable version. As it is the rule for every controversial change, a consensus is required for changing it again. D.Lazard (talk) 08:57, 25 March 2025 (UTC)

@D.Lazard

"[...] a consensus is required for changing it again." - There is no established consensus. This is a minor dispute between exactly two editors. Unless a group of editors comes out to form an explicit consensus, no rules are being broken here. I'll go ahead and revert to the more stable version "In mathematics, invertible homomorphism" that lasted from 2019–2024.

"This amount to change a description specific to this article to a short description" - The opposite, actually. The version "Inversible mapping (mathematics)" is much broader than homomorphisms since it applies to any bijective function on a set. On the ring $\mathbb {Z} /5\mathbb {Z}$, for example, there are $5!=120$ bijective functions, but only 5 homomorphisms. In terms of confusion, any reader looking for homomorphism or morphism isn't likely to be confused by that (except possibly in the brief window having learned about homomorphisms before isomorphisms). This is not the case for invertible function. (Not to mention, morphisms don't have to preserve structure, nor do they need to be mappings.)

The main purpose of short description is to help readers to identify whether the article may be interesting to them without open it. - This seems to disagree with WP:Short description. The description is mostly for disambiguation between similarly titled articles (e.g. Isomorphism (sociology) or Isomorphism (crystallography)), and summarizing the field and scope. In this sense, all that's really necessary for clarity is "Concept in mathematics", and in terms of summarizing the scope, as above, your advocated version is much less specific.

Lastly, that version contains the term "inversible", which doesn't seem to appear in most dictionaries, nor in this article. – Farkle Griffen (talk) 15:22, 25 March 2025 (UTC)

Problems with the current version

After reverting to the more stable version "In mathematics, invertible homomorphism", I still have one issue. The term "Homomorphism" would fall under WP:SDJARGON. Which is why I'm advocating for my previous version "Structure-preserving map in mathematics". – Farkle Griffen (talk) 15:27, 25 March 2025 (UTC)

The short description "In mathematics, invertible homomorphism" is fine, and much more convenient that the SD that OlliverWithDoubleL introduced four months ago. Sorry to have missed the typo ("inversible" instead of "invertible").

About WP:SDJARGON: It is clear that a SD like "Invertible homomorphism" would fall under it. The prefix "In mathematics" makes clear that "homomorphism" is not jargon but a technical term. Moreover, the concept of homomorphism is a prerequesty for accurately speaking of isomorphisms. So, "In mathematics, invertible homomorphism" says to readers who do not like mathematics that the article is not for them. It says to readers who have never heard of homomorphism that they have to learn what is a homomorphism before reading this article. For the other readers, it gives a good indication of the subject of the article.

The short description "Structure-preserving map in mathematics" does not disambiguate between the similar terms of "homomorphism" and "isomorphism". This goes against WP:SDPURPOSE which contains "Short descriptions provide: [...] a disambiguation in searches, especially between similarly titled subjects [...]", and may confuse many readers. D.Lazard (talk) 18:04, 25 March 2025 (UTC)

I agree insofar as would disagree with "[...] they have to learn what is a homomorphism before reading this article." Isomorphisms as a concept aren't very complicated, and they're pretty good example of how mathematicians think of mathematics. I think this article could do some good if it was written for a high-school-level audience (or at least an introduction for it). But until then, I agree to leave the SD as is.

One minor note:

"[...] is not jargon but a technical term" - That's the definition of jargon – Farkle Griffen (talk) 18:36, 25 March 2025 (UTC)