# Questions tagged [terminology]

Questions of the kind "What's the name for a X that satisfies property Y?"

**0**

votes

**0**answers

99 views

### A magma with the property (xy)(zt) = x(yz)t

Let $(M,\cdot)$ be a magma. Does the property $(x\cdot y)\cdot(z\cdot t) = x\cdot(y\cdot z)\cdot t$ have a special name? Thanks.

**1**

vote

**1**answer

75 views

### Basis of cone lattice

I only want to know whether a construction that I use appears in literature and maybe has a name already.
Let $V$ be a $\mathbb Q$ vector space of dimension $d\in\mathbb N$.
A subset $C\subset V$ is ...

**2**

votes

**0**answers

105 views

### Name for generalization of property: $f^n(x) \ne x$ for all $n > 0$

I am curious about how to specify with standard terminology that a certain function is non-periodic, in the following sense:
In the simple case of a unary operation $f: X \to X$, this property would ...

**9**

votes

**0**answers

261 views

### Why does Loday call the permutohedra “zylchgons”?

Today I was reading Jean-Louis Loday's classic paper, "Realization of the Stasheff polytope", in which he produces a simple and very pretty realization of the associahedra as convex polytopes. He ...

**5**

votes

**1**answer

389 views

### English translation of “Les aspects probabilistes du contrôle stochastique”

I am looking for an English translation of "Les aspects probabilistes du contrôle stochastique" written by Nicole El Karoui, or knowledge whether it exists.
Other references with similar content on ...

**1**

vote

**1**answer

94 views

### Slow and fast forming singularities of the mean curvature flow

Let $M \times [0, T) \to \mathbb{R}^{n+1}$ be a mean curvature flow and let $T$ be a singular time. Let $A$ denote the second fundamental form.
We have a type I singularity if
$$
\max_{p \in M} |A(p,...

**3**

votes

**0**answers

67 views

### How are the unit/counit of a Hopf algebra and of an categorical adjunction related?

For categories $\mathcal{C}$ and $\mathcal{D}$, a pair of functors $\mathcal{C} \xrightarrow{\;L\;} \mathcal{D}$ and $\mathcal{C} \xleftarrow{\;R\;} \mathcal{D}\,$ are an adjoint pair if we have ...

**0**

votes

**0**answers

71 views

### A (familly) of Lie brackets associated to a Lie algebra

Let $L$ be a Lie algebra whose Lie bracket is denoted by $[.,.]$.
For a given vector $V\in L$,does the following 2- linear map always define a new Lie bracket on $L$?
$$[X,Y]_V=(adXadY -adYadX)(V)$$...

**1**

vote

**0**answers

54 views

### Suppressing some but not all terms of a polynomial equation

(I'll ask the question over $\mathbb{R}$, but feel free to change fields if that makes the answer more straightforward or more interesting.)
Let $Q$ denote a bivariate quadratic:
$$Q(x,y) = Ax^2 + ...

**1**

vote

**1**answer

62 views

### The Kronecker product of two bipartite graphs' biadjacency matrices: what's it called?

Here's two random $(0,1)$-matrices:
$$
A=
\begin{bmatrix}
1 & 0 & 0 \\
0 & 1 & 1 \\
\end{bmatrix}
\qquad
B=
\begin{bmatrix}
1 & 1 \\
0 & 1 \\
\end{bmatrix}.
$$
They can be ...

**2**

votes

**0**answers

42 views

### What is the ring of functions on the open unit disc with polynomially bounded Maclaurin coefficients called?

Let $R$ be the the set of complex-valued (analytic) functions $f$ on the open unit disc $\mathrm D:=\{z\in\Bbb C:|z|<1\}$ for which there exist constants $a_0$, $a_1$, ... in $\Bbb C$ and $n$ in $\...

**7**

votes

**0**answers

286 views

### Why are commutative diagrams called “commutative”?

Does anyone know the rationale behind the name of "commutative diagrams"? To be precise, what is(are) the reason(s) for calling those diagrams "commutative" and in what sense?
I have previously asked ...

**0**

votes

**1**answer

55 views

### Standard names of two finitary properties of hypergraphs?

Now we are writing a paper on minimal covers and minimal vertex-covers in hypergraphs and would like to know if there are any standard names for the following two (dual) properties of a hypergraph $(V,...

**2**

votes

**0**answers

41 views

### Probability Distribution on permutations with factor structure

Say I define a probability measure over the symmetric group $S_n$ as follows:
I specify $n$ positive `potential' functions $G_i : \{1, 2, \cdots, N\} \to (0,\infty)$
I then set
$$\mathbb{P}(\sigma) =...

**28**

votes

**3**answers

5k views

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

The are some parts of math in which you encounter easily new structures,
obtained by modifying or generalizing existing ones. Recent examples
can be tropical geometry, or the theory around the field ...

**0**

votes

**0**answers

14 views

### Name for Spanning Trees Containing all Edges of a Minimum Weight Perfect Matching

This question is motivated by the task of "uniformly" bicoloring the vertices of a symmetric TSP-instance graph with $2n$ vertices.
A simple heuristical requirement for such a bicoloring could be ...

**8**

votes

**1**answer

483 views

### Whence “Durchschnitt” and “Vereinigung”?

Today the set-theoretic operations of intersection $\cap$ [German: Durchschnitt] and union $\cup$ [German: Vereinigung] are standard.
The modern notations are present in the first edition of van der ...

**0**

votes

**0**answers

34 views

### Name for a variant of the Mellin transform

The Mellin transform is usually expressed as
\begin{eqnarray}
\mathcal{M}[f](s) &=& \int_0^\infty x^{s-1} f(x)dx \\
\mathcal{M}^{-1}[F](x) &=& \frac{1}{2\pi i}\int_{\alpha -i\infty}^{\...

**6**

votes

**1**answer

146 views

### Reference request: A collection of topologies on $\mathbb{N}$ formed via series

First, some quick notation: for any series $\sum_{n=1}^\infty a_n$ whose terms are positive real numbers, and for any subset $M = \{m_1, m_2,...\} \subseteq \mathbb{N}$, we write $\sum_M a_n$ to mean ...

**2**

votes

**2**answers

231 views

### Non-probabilist term for conditional expectation?

When writing an article I encounter what is essentially a conditional expectation - function defined on a bounded interval (not necessarily of unit length) with Lebesgue measure, but information about ...

**0**

votes

**2**answers

98 views

### Is there a standard name for this type of multidigraph?

A digraph (direct graph) consists of a set $V$ of vertices and a set $E$ of directed edges $v\to v'$. A multidigraph is a digraph in which $E$ is a multiset, so edges may appear multiple times in $E$, ...

**1**

vote

**0**answers

35 views

### Terminology for 'Sub-Iterated log'

For this question, I write $\log_r n$ to be the $r$-th iterated log: $\log_1 = \log$, $\log_2 = \log\log$, $\log_3 = \log\log\log$, etc; precisely, $\log_{r+1} n = \log(\log_r n)$.
Suppose I have a ...

**4**

votes

**2**answers

717 views

### What is the name of the 65537-gon? [closed]

I know the name of the heptadecagon (17 sides) and the diacosipentacontaheptagon (257 sides). But what is the name of the polygon with 65537 sides? I am unable to figure it.

**16**

votes

**4**answers

825 views

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

Lately, I have been constructing finite involution monoids that generate varieties with $2^{\aleph_0}$ subvarieties. One construction requires groups that violate the identity ${ [x,y]^2 \approx 1 }$, ...

**2**

votes

**0**answers

53 views

### Twisted graph duplication

I want to know if the following operation on graphs is already studied or considered somewhere, and if so what it is used for and what it's called.
Let $G = (V, E)$ be a directed graph. Define $d(G)$ ...

**10**

votes

**0**answers

506 views

### A standard name for a function satisfying the intermediate value theorem?

Do you know any (standard) name for a function $f:\mathbb R\to\mathbb R$ having the following weak intermediate value property:
$(*)$ for any connected subset $C\subset \mathbb R$ and points $a,b\...

**6**

votes

**1**answer

179 views

### name for monoids inducing bimonoids in Rel?

Let Rel be the category of sets and relations, which is a (compact closed) symmetric monoidal category under the cartesian product of sets. We write $A \nrightarrow B$ to indicate a relation from $A$ ...

**6**

votes

**1**answer

82 views

### Name for $\omega_1$-DCC / Noetherian condition?

I recently asked (and then answered) this question:
https://math.stackexchange.com/questions/2756777/decreasing-sequence-of-closed-sets-in-a-separable-metric-space.
In a separable metric space ...

**3**

votes

**1**answer

52 views

### Name for Biconnected Tree+Cycle Graph

Is there an established name for graphs, that can be decomposed into
a tree with at least three leaf nodes and
a connected two-regular graph with the tree's leaf nodes as vertices?
examples of ...

**9**

votes

**1**answer

248 views

### What is the (genuine) name for the Gutik hedgehog?

Working with non-regular topological semigroups, my collegue Oleg Gutik discovered a special space $H$ which we named Gutik's hedgehog. It is homeomorphic to the space
$$H:=\{(0,0)\}\cup\{(\tfrac1n,0):...

**8**

votes

**2**answers

771 views

### How are such sets of natural numbers called?

I heard about this problem an year ago, but I just can't remember the name.
The problem goes like this: study the sets
$\{a_1,a_2,\dotsc,a_m\}\subseteq\mathbb{N}$ such that if $1\leq i<j\leq m$,...

**1**

vote

**0**answers

64 views

### Is there a usual technical term for this set-valued function associated to a zero-one matrix?

Let $m$ and $n$ be cardinals, and let $A\in \{0,1\}^{m\times n}$ be any zero-one matrix, considered as a function $A\colon m\times n\to\{0,1\}$.
For every $j\in n$, let $A(\cdot,j)^{-1}(1):=\{i\in m\...

**3**

votes

**0**answers

154 views

### A “surjective implies injective” property for endomorphism rings of modules

Fix a unital commutative ring $R$ and consider a left $R$-module $M$.
$\newcommand{\End}{{\rm End}}$
(For the indirect application I have in mind, which would require another post, $\End_R(M)$ will ...

**2**

votes

**0**answers

44 views

### Is there an established name for bi-module morphisms that swap the module structures?

Let $P,Q$ denote two $R$-bimodules where $R$ is a ring, for my purposes commutative. I'll write the left $R$-module structure by multiplication on the left and analogously for the right structure.
...

**8**

votes

**0**answers

222 views

### Name for rings with $R \cong R^{\mathrm{op}}$

Is there a name for rings that are isomorphic to their opposite ring $R^{\mathrm{op}}$ in the literature? I'm especially interested for the class of Artin algebras.

**6**

votes

**1**answer

318 views

### What is this property exhibited by some logical systems?

I'm migrating this question from MSE to MO, as in the span of five months, it received 6 upvotes but no answers. If my language needs to be fine-tuned in any way, constructive suggestions and guidance ...

**3**

votes

**0**answers

82 views

### Probability distributions with all positive cumulants

Is there a term for a distribution with all cumulants positive (or nonnegative)?

**1**

vote

**1**answer

139 views

### Name and information about this graph

A certain family of graphs crossed my way while performing some quantum mechanics calculations, and I am very curious whether they have been studied in mathematics before in a different context.
Also ...

**3**

votes

**1**answer

183 views

### “Eccentricity” in the Definition of Graph Center

On the Wikepdia Page Graph Center I saw that the center of graph is the set of vertices with minimal eccentricity, i.e the set of vertices, whose maximal distance to other vertices is minimal.
On the ...

**2**

votes

**0**answers

88 views

### Sphere equation with higher power

The shape described by $x^2 + y^2 +z^2 = 1$ is a sphere. But what do you call the shape described by $x^4 + y^4 +z^4 = 1$? Does it have a name?

**3**

votes

**0**answers

132 views

### Is the special case of Abhyankar's lemma is also considered as such?

Consider the following statement:
Assume $E$ and $F$ are unramified (over some fixed prime) finite separable extensions of a field $K$. Then $EF$ is also unramified.
I always thought that it is ...

**26**

votes

**5**answers

2k views

### Main statement as theorem or corollary

In a text there will often be a few important results that are usually called Theorems. Intermediate statements are called Lemmas, and statements that follow immediately from previous results are ...

**32**

votes

**2**answers

4k views

### What is quantum algebra?

This might be a very naive question. But what is quantum algebra, really?
Wikipedia defines quantum algebra as "one of the top-level mathematics categories used by the arXiv". Surely this cannot be a ...

**0**

votes

**0**answers

38 views

### Name for Graph Property that is Invariant w.r.t. Change of Vertex Weights

Is there already an established name for properties or subgraphs of finite, symmetric graphs, that are invariant under a change of vertex weights?
Some of those invariants are
the extremal ...

**2**

votes

**0**answers

91 views

### What type of boundary (if any) problem for this family of elliptic PDEs? “half boundary”?

Classic literature for a general elliptic PDE with Dirichlet boundary condition is typically studied with the following set up: Let $\Omega \subset R^n$ be some open bounded domain and $\partial \...

**5**

votes

**1**answer

176 views

### Question about denoting/designating of algebraic structures

I saw this image on Wikipedia (Template:Group-like structures, current revision):
Since there are five "properties" that we can have (in this context), namely: totality, associativity, identity, ...

**1**

vote

**0**answers

98 views

### What name can I use for a cocone over the mapping cone diagram?

In homotopy theory, the mapping cone of a continuous map $f\colon X \to Y$ is the homotopy pushout over the following span:
$$
\require{AMScd}
\begin{CD}
X @>{f}>> Y\\
@VVV \\
\{*\}
\end{CD}
...

**6**

votes

**1**answer

210 views

### Singularities at worst like a hyperplane arrangement

Is there a standard name for the type of singularities a codimension-$1$ subvariety of a smooth algebraic variety has when it looks locally (possibly analytically) like an arrangement of hyperplanes? «...

**3**

votes

**0**answers

78 views

### Poset where every Upper Set has a Greatest Element

Does anyone know of a term for (equivalently)
A preorder $P$ where for every $x \in P$ there exists $x_\top \ge x$ such that for any $y \ge x $, $x_\top \ge y $.
A preorder $P$ where for every $x \...

**2**

votes

**1**answer

249 views

### Name for this algebraic structure?

I've found myself looking at a structure $\mathbb{M}$ whose important properties are:
$\mathbb{M}$ is a discretely ordered additive monoid.
$\mathbb{M}$ has a least element, and this least element is ...