View source for Talk:Isomorphism

{{merged-from|Isomorphism class|29 October 2024}}
{{WikiProject banner shell|class=C|vital=yes|1=
{{WikiProject Mathematics|importance=top}}
}}
{{User:MiszaBot/config
| algo=old(365d)
| archive=Talk:Isomorphism/Archive %(counter)d
| counter=1
| maxarchivesize=75K
| archiveheader={{Automatic archive navigator}}
| minthreadsleft=5
| minthreadstoarchive=1
}}
{{Archive box|auto=yes}}

== Surjective  bijective ==

Surjective & bijective thus Isomorphic ? .... [[User:0mtwb9gd5wx|0mtwb9gd5wx]] ([[User talk:0mtwb9gd5wx|talk]]) 19:40, 24 August 2021 (UTC)
:See {{alink|Isomorphism vs. bijective morphism}}. [[User:D.Lazard|D.Lazard]] ([[User talk: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,&leq;<sub>X</sub>)→(Y,&leq;<sub>Y</sub>) we have a&leq;<sub>X</sub>b implies f(a)&leq;<sub>Y</sub>f(b). Should more precise conditions for being an isomorphism like this one be listed in this article? [[User:C7XWiki|C7XWiki]] ([[User talk: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. [[User:JayBeeEll|JBL]] ([[User_talk:JayBeeEll|talk]]) 17:18, 7 September 2022 (UTC)

== Isomorphism ==

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

:Where? [[User:D.Lazard|D.Lazard]] ([[User talk: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. [[User:Peter M Gerdes|Peter M. Gerdes]] ([[User talk: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., <math>X \times Y</math> are canonically isomorphic to <math>Y \times X</math> 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. —- [[User:TakuyaMurata|Taku]] ([[User talk:TakuyaMurata|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. —— [[User:TakuyaMurata|Taku]] ([[User talk:TakuyaMurata|talk]])
::{{merge done}} [[User:Klbrain|Klbrain]] ([[User talk: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. {{u|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. [[User:D.Lazard|D.Lazard]] ([[User talk:D.Lazard|talk]]) 08:57, 25 March 2025 (UTC)

:@[[User:D.Lazard|D.Lazard]]
:{{tq|"[...] 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{{en dash}}2024.
:{{tq|"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 <math>\Z/5\Z</math>, for example, there are <math>5! = 120</math> 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.)
:{{tq|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. <span class="nowrap">– [[User:Farkle Griffen|Farkle Griffen]] ([[User talk:Farkle Griffen|talk]])</span> 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". <span class="nowrap">– [[User:Farkle Griffen|Farkle Griffen]] ([[User talk:Farkle Griffen|talk]])</span> 15:27, 25 March 2025 (UTC)
::The short description "In mathematics, invertible homomorphism" is fine, and much more convenient that the SD that {{u|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. [[User:D.Lazard|D.Lazard]] ([[User talk: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: 
:::{{tq|"[...] is not jargon but a technical term"}} - [[Jargon|That's the definition of jargon]] <span class="nowrap">– [[User:Farkle Griffen|Farkle Griffen]] ([[User talk:Farkle Griffen|talk]])</span> 18:36, 25 March 2025 (UTC)

== Is a citation really needed for the phrase "up to isomorphism"? ==



[[User:Sam(A Horrible Person)|Sam(A Horrible Person)]] ([[User talk:Sam(A Horrible Person)|talk]]) 01:48, 14 May 2025 (UTC)

:A citation is needed, but only in the linked article ([[up to]]). I removed the tag, and, by the way, fixed other unsourced assertions that are inaccurate. [[User:D.Lazard|D.Lazard]] ([[User talk:D.Lazard|talk]]) 08:45, 14 May 2025 (UTC)