0
$\begingroup$

The overall question: What are some good examples where a different understanding of terminology or notation caused you to misinterpret a result in a way that was inaccurate? The intent here is of course to provide some amusing anecdotes, but also to help your fellow mathematicians to avoid some of the pitfalls of historical documentation that previously tripped you.

Onto my first story. The problem arose while I was trying to gain a better understanding of the automorphism groups for the symmetric and alternating groups as outlined in W.R. Scott's Group Theory. A result in the book talked about an isomorphism from a group $G$ to a group $H$, but when I performed some cardinality computations, I discovered the order of $G$ was less than that of $H$. There was no way these two groups were isomorphic, they didn't even have the same size! I probably spent some 20 hours here and there over the next few months trying to reconcile this disparity. It turns out, the book uses the phrase "isomorphism into" (a group $H$) to mean what we in modern parlance call a monomorphism, and uses the phrase "isomorphism onto" to mean what we nowadays think of as an isomorphism.

The above story is indicative of terminology changing over time within a discipline, so that "text from then" and "text from now" had different meanings, but I have a second story that suggests history can cause a terminology issue in a different way: "text from research area A" versus "text from research area B" where the two research areas share common terminology stemming from a shared history, but with different meanings. The culprits in this story are group theory versus number theory.

Picture dozens of mathematicians together in a room to consult on a major cross-discipline mathematical project. At some juncture during the discussion, and after several minutes had passed since a prime factorization was given regarding the order of the algebraic object under discussion, I asked the presenter if the integer just computed was the square-free part of the order. The group theorists all agreed that it was, while the number theorists all agreed that it wasn't, and the next 30 minutes were spent trying to figure out the disparity.

It turns out that, while everyone agrees on what it means for a positive integer to be square-free, group theorists and number theorists disagree on what the square-free part of a given integer is. My understanding at that time was that the square-free part of an integer is the largest square-free divisor of an integer (so the square-free part of $20$ would be $10$), whereas the number theorists assert the square-free part of an integer is the part "left over" after the largest square was removed, i.e., it is the quotient of the integer divided by its largest square factor (making $5$ the square-free part of $20$). [For completeness, what I viewed as the square-free part is referred to by number theorists as the integer's radical.]

With these stories as motivation, do you have a story where a difference in definition for what you thought was "standard terminology" caused a misunderstanding of some sort, whether internally (you personally) or externally (with colleagues)? Stories surrounding notations are also appreciated: my number theory cohorts absolutely hate that I use $\mathbb Z_n$ to refer to the integers modulo $n$, as $\mathbb Z_p$ should be the $p$-adic integers rather than the finite field of size $p$.

$\endgroup$
5
  • $\begingroup$ It was the sort of misunderstanding that could only arise between co-authors used to speaking in a familiar shorthand, but I was very confused by a collaborator's assertion that "the integers are cyclic" before I realised, after much explanation, he meant the rational integers, not the p-adic integers. (We both work in representations of $p$-adic groups.) $\endgroup$
    – LSpice
    Commented Jan 7, 2022 at 17:58
  • 1
    $\begingroup$ I also attended a Lie-groups talk wherein the speaker and an audience member had a prolonged debate about certain properties of a group that was resolved only when a third party observed that the audience member meant the exceptional group $G_2$, whereas the speaker meant the target of a random Lie-group homomorphism $f : G_1 \to G_2$. $\endgroup$
    – LSpice
    Commented Jan 7, 2022 at 18:00
  • 1
    $\begingroup$ You reminded me I was at a talk where I was asking a question about Aut(G) (which is the automorphism group of G), but the speaker kept hearing "odd G" instead of "aut G." $\endgroup$
    – John McVey
    Commented Jan 7, 2022 at 18:26
  • 2
    $\begingroup$ [Ever since the term “infra-nilmanifold endomorphism” arose in the 1960s, there has been confusion about its exact meaning, and different authors have used the term to refer to different concepts. Partly because of this confusion, two major results in dynamical systems, one on Anosov diffeomorphisms (1974) and one on expanding maps (1981), turn out to be incorrect.] - from "What is... an Infra-nilmanifold Endomorphism?" by Karel Dekimpe ams.org/journals/notices/201105/rtx110500688p.pdf $\endgroup$ Commented Jan 7, 2022 at 20:04
  • 2
    $\begingroup$ I was telling a coworker of mine, who works primarily with algebraic number fields, how it took me quite awhile to adjust to using the phrase ``ideal of the algebraic number field." He had the "I don't get it" look plastered across his face until I reminded him that fields only have two ideals and that what we were referencing were actually ideals of the ring of integers within the algebraic number field. $\endgroup$
    – John McVey
    Commented Jan 7, 2022 at 21:57

0

You must log in to answer this question.

Browse other questions tagged .