61
votes

### Naming in math: from red herrings to very long names

Let me mention as a counterpoint that there is less need for
new terminology than one might expect. Mathematical exposition
is often more successful and clearer without new terminology, and
one should ...

Community wiki

56
votes

### Does this geometry theorem have a name?

Even more is true for this theorem. Check out this drawing from Arseniy Akopyan wonderful book of Geometry in Figures (Second, extended edition, 2017). On page 65 we find Figure 4.7.29)
In the ...

- 10.3k

55
votes

Accepted

### Why do people use "formal calculation" to describe informal calculations?

Formal, adj. Relating to or involving outward form or structure, often in contrast to content or meaning.
In mathematics, a formal argument is one that manipulates the form of an expression without ...

55
votes

### Who started the "-oid" suffix fashion in math?

The suffix "-oid" means the same as "quasi", so "resembling", "like". A groupoid is a quasi-group, like a group. There are hundreds of words in that category, ...

- 159k

49
votes

Accepted

### Whence “homomorphism” and “homomorphic”?

I found this footnote on page 195 of Fricke and Klein's Vorlesungen über die Theorie der automorphen Functionen (1897):
Translation:
The term "homomorphic" seems more appropriate than the ...

- 159k

49
votes

Accepted

### What is quantum algebra?

Quantum algebra is an umbrella term used to describe a number of different mathematical ideas, all of which are linked back to the original realisation that in quantum physics, one finds ...

- 1,963

45
votes

### The origin(s) of the word "elliptic"

Your saying "elliptic functions are the functions on elliptic curves over $\mathbb C$" is somewhat misleading, I think. First came elliptic integrals measuring arc-length on an ellipse. These are ...

- 43.3k

39
votes

### What is the name of the 65537-gon?

"$65537$-gon" is the name. Likewise "$257$-gon":
writing (let alone saying) something like "diacosipentacontaheptagon"
serves less to communicate $-$ if indeed it succeeds in communicating at all $-$...

- 73.9k

39
votes

### Name for abelian category in which every short exact sequence splits

The abelian categories in which all short exact sequences split I would call "split abelian categories", reserving the term "semisimple abelian category" for a more restrictive condition. Roughly, ...

- 14.6k

38
votes

Accepted

### Pronunciation: Crapo

Gordon Royle is right, I'm living in La Vacquerie. The reference to GWU is not correct: that is the workplace of my colleague Bill Schmitt. The US pronunciation is indeed "cray-poe", but in France it ...

- 396

36
votes

Accepted

### Cardioid-looking curve, does it have a name?

The name of the curve is cochleoid (= shell-shaped rather than cardioid = heart-shaped).
I compare the two below (gold = cochleoid, blue = cardioid). The distinction shell/heart refers to the ...

- 159k

35
votes

### Why are they called Spherical Varieties?

Since I am being asked the same question repeatedly and since the given answers are not quite correct, I post another answer despite the thread being so old.
According to a talk by Domingo Luna ...

- 14k

34
votes

Accepted

### Where did the term "additive energy" originate?

Van Vu and I coined the term in our book because there did not seem to be a widely adopted name for it previously. (Gowers, for instance, refers to "number of additive quadruples" rather than "...

- 95.1k

34
votes

### Why are free objects "free"?

Jakob Nielsen's 1921 paper in Danish, with the title "Om Regning med ikke-kommutative Factorer og den Anvendelse i Gruppetoerien", is where he proved that subgroups of free groups are free. I don't ...

- 14.8k

33
votes

### Cardioid-looking curve, does it have a name?

Not an answer - just want to note that the curve has more hidden branches. They can be seen looking at the parametric equation
$$
x=\frac{\sin(\varphi)}\varphi,\quad y=\frac{1-\cos(\varphi)}\varphi
$$
...

Community wiki

32
votes

### What do named "tricks" share?

To my way of thinking, the other answers are missing an important
element, a necessary feature for a mathematical tool or method to
be called "trick."
Namely, in order to be called a "trick," a ...

Community wiki

32
votes

Accepted

### The letter $\wp$; Name & origin?

Apparently first introduced by Weierstrass in Winter 1862/63 lectures published by H. A. Schwarz (1881, 1885, 1892, 1893), §9:
Mit der Sigma-Function $\mathfrak Su$ ist die Pe-Function $\wp u=\wp(u\...

- 28.8k

32
votes

Accepted

### Who is Mrs. Gerber?

Check out the original reference "A theorem on the entropy of certain binary sequences and applications - I" by Wyner and Ziv: https://doi.org/10.1109/TIT.1973.1055107. Footnote 2 on page ...

- 20.3k

29
votes

### Main statement as theorem or corollary

Another approach is to present both as theorems, but to present only A as a `marquee result' in the introduction, mentioning that it follows from the stronger but more technical B.

- 12.3k

29
votes

### The origin(s) of the word "elliptic"

The origin of all these uses is very different. Joe Silverman explained the genesis of the sequence ellipse $\rightarrow$ elliptic integral $\rightarrow$ elliptic function $\rightarrow$ elliptic curve....

- 83.2k

27
votes

### Naming in math: from red herrings to very long names

Let me address the question "what happens if some name it has already been used but you don't agree with the choice?", by giving a recent example from (mathematical) physics. The 2012 experiment that ...

Community wiki

26
votes

Accepted

### What is a "scholium"?

I am not a specialist in either etymology nor the english language (I am not a native speaker of english as well) but since the words scholium and porism have both greek origins, I thought it might be ...

- 7,428

26
votes

### What is an explicit bijection in combinatorics?

This is not at all intended as a complete answer to the question, but one criterion that feels important is that for a bijection $f$ to count as explicit, one shouldn't need to know in advance that ...

- 27.9k

25
votes

Accepted

### What is Barr-Beck?

It is well-attested in the category theory literature (e.g. in Mac Lane's Categories for the Working Mathematician, Chapter VI) that the well-known theorem giving necessary and sufficient conditions ...

- 4,925

24
votes

Accepted

### Origin of the name ''momentum map''

According to §1.3 and §11.2 of Marsden and Ratiu [1994] (see detailed citation given below), the momentum map concept can be traced back to Sophus Lie's 1890 book, and is an English translation of the ...

- 5,710

24
votes

Accepted

### Groups that satisfy ${ [x,y]^2 \approx 1 }$

This variety of groups has indeed been considered in the literature. It is known that the following conditions hold for every group $G$ satisfying the identity $[x,y]^2=1$:
$[[x,y_1,\ldots,y_m],[x,...

- 1,651

24
votes

Accepted

### The verbs in combinatorics: Enumerating, counting, listing and all that

I'm not sure if this is exactly what you're looking for, but the main topic of Herb Wilf's article What is an Answer? is how to answer the question "How many ______ are there?" His basic ...

- 69.7k

23
votes

### What is the "serious" name for the topograph (for a quadratic form)

There's no more serious name for the topograph, as far as I know. And Conway puts a lot of thought into his names, so I think it's best to keep it. I think it's meant to fit into a larger ...

- 12.6k

20
votes

Accepted

### Why are free objects "free"?

Free objects were first defined* by MacLane in Duality for Groups. That paper gives "free" a curious political context, I quote from page 486:
Call the dual (in this sense) of a free (nonabelian) ...

- 159k

20
votes

### What is an explicit bijection in combinatorics?

One criterion not mentioned yet is naturality in the categorical sense, which can also be phrased as equivariance with respect to permutation actions. This approach has been extensively developed by ...

- 16.9k

Only top scored, non community-wiki answers of a minimum length are eligible

#### Related Tags

terminology × 845reference-request × 167

ct.category-theory × 78

graph-theory × 73

ho.history-overview × 73

co.combinatorics × 71

ag.algebraic-geometry × 57

soft-question × 48

gr.group-theory × 42

mg.metric-geometry × 41

gn.general-topology × 39

ra.rings-and-algebras × 34

rt.representation-theory × 33

linear-algebra × 31

notation × 30

fa.functional-analysis × 29

nt.number-theory × 28

ac.commutative-algebra × 28

set-theory × 27

pr.probability × 26

dg.differential-geometry × 24

matrices × 23

at.algebraic-topology × 22

lo.logic × 20

semigroups-and-monoids × 19