Questions on the usage and meaning of words in mathematics, the names for mathematical entities, and other such questions.

learn more… | top users | synonyms (2)

12
votes
0answers
135 views

How to name these “ideals”?

Background. Let $\mathcal{C}$ be a symmetric monoidal category with unit $\mathbf{1}$. A subobject of $\mathbf{1}$ is just a monomorphism $I \to \mathbf{1}$. We may also call this an ideal of ...
12
votes
0answers
82 views

Is there a name for the class of functions which are infinitely integrable in elementary functions?

Is there a name for the class of functions which are infinitely integrable in elementary functions, that is whose consecutive integrals also elementary not depending on how much times we took the ...
11
votes
0answers
139 views

Why are parabolic subgroups called “parabolic” subgroups?

I used to think that things called "parabolic" must have something to do with parabolas or their defining quadratic equations. In fact, terms like parabolic coordinate, parabolic partial differential ...
10
votes
0answers
162 views

Official name(s) for a certain type of p-group

I'm implementing a class of groups into Sage (sagemath.org), a computer algebra system, and I'm wondering if it has any official names. I found it in Gorenstein's "Finite Groups." It is there called ...
7
votes
0answers
68 views

Is “slightly deform” a well defined concept in mathematical proof?

In topological proofs the phrase "slightly deform" is widely used. To me, although I can accept the idea intuitively, the phrase "slightly deform" does not sound like a strict mathematical concept. ...
7
votes
0answers
125 views

Name of a certain set

I want to know if there is any already-standard way to refer to the sets described as follows. For a set $X$, let $-X = \{-x: x \in X \}$; call it the negative of $X$. Take the set of all primes in ...
7
votes
0answers
105 views

Origins of the name “Q” and “R” for cofibrant and fibrant replacement functors.

In a model category $\mathscr M$ (in the modern sense, i.e. closed and with functorial factorizations), there is a notion of fibrant and cofibrant replacement functors. Specifically, for any object ...
7
votes
0answers
152 views

Urysohn's Lemma needn't hold in the absence of choice. Alternate terminology for inequivalent definitions of “normal” spaces?

A topological space $\langle X,\tau\rangle$ is said to be normal if any two disjoint closed subsets are separated by open sets, meaning that for disjoint $E,F\subseteq X$ with $X\setminus E,X\setminus ...
7
votes
0answers
154 views

French translation of “well-powered” category

In order to write a report, I'm looking for a French translation of the term "well-powered category". Does anyone know the canonical term in French?
7
votes
0answers
100 views

Topological Space in which every compact subset is metrizable

Is there an (more or less) established name for the class of topological spaces in which every compact subset is metrizable? This is true for example in (LF)-spaces (inductive limits of ...
6
votes
0answers
105 views

Why is the sheaf $\mathcal{O}_X(n)$ called the “twisting sheaf” (where $X=\operatorname{Proj}(S)$ for a graded ring $S$)?

Basically my question is why the sheaf $\mathcal{O}_X(n)$ is called the twisting sheaf, here $X=\operatorname{Proj}(S)$ and $S$ any graded ring.
6
votes
0answers
125 views

Have these (extremely simple) classes of algebraic structures been considered in the literature? If so, what are they called?

Questions. Have the following kinds algebraic structures been considered in the abstract algebra literature etc.? If so, what are they really called? (I have used made-up terminology for the sake ...
6
votes
0answers
232 views

Terminology for weighted projective spaces

For a sequence of positive integers $a_1, \ldots, a_n$ and a base ring $R$ there is a graded ring $R[x_1,\ldots, x_n]$ where $x_i$ is in degree $a_i$. We can then apply Proj and get a scheme, and ...
5
votes
0answers
124 views

Where does the term “mouse” (in set theory) come from?

Does the term mouse stand for "Model Of Universe with Sequences of Extenders" or perhaps mice stands for "Model Including Cardinal Extensions"? A quick review: Gödel's L-universe is a core model ...
5
votes
0answers
92 views

Notation/terminology for “independent” subspaces/subalgebras

Let $V$ denote a vector space (or any other kind of algebraic structure). Question. Letting $I$ denote a fixed set and $X$ denote an $I$-indexed family of subspaces (subalgebras) of $V$, is there ...
5
votes
0answers
54 views

a new(?) operation using products of multiplicities

Does the operation $$n \odot m := \prod_{p \text{ prime}} p^{v_p(n) \cdot v_p(m)}$$ on positive integers have a common name? Has this operation been studied somewhere? Notice that $\odot$ is ...
5
votes
0answers
177 views

What is known about these arithmetical functions?

Let $n=\prod_p p^{c_p}$, $N\in \mathbb N$ and $$ \alpha_N(n)=\prod_p p^{c_p \bmod N}. $$ The function $\alpha_N$ is multiplicative since $\alpha_N(n)\alpha_N(m)=\alpha_N(nm)$ for co-prime $n$ and $m$ ...
5
votes
0answers
82 views

Can we consider a hypergeometric function as a closed-form?

Let's say a calculus problem like an integral or a series has a solution that inevitably involving a hypergeometric function. It turns out that hypergeometric function cannot be expressed in term of ...
5
votes
0answers
57 views

Why are centers, centralizers and normalizers called that way?

I know what they are, but where do the names come from?
5
votes
0answers
108 views

Is there a name for graphs with the following property?

The property of the graph is the following: For any vertex, there is a hamiltonian path starting with this vertex, but the graph is not hamiltonian. The following graph is a small example: ...
5
votes
0answers
98 views

Name for Number of Ancestors/Descendants of Vertex in Directed Acyclic Graph

Let $G = (V, E)$ be a directed acyclic graph. For each vertex $v \in V$, define the ancestors of $v$ to be the set of vertices $u \in V$ such that there exists a directed path from $u$ to $v$. ...
5
votes
0answers
65 views

“Advective”, “diffusive”, “dispersive”, and related terms in the realm of PDEs

Whenever I read a paper involving PDEs, the discussion inevitably refers to “the dispersive term” or “the advective term” or similar. From context it is usually possible to figure out the antecedent, ...
5
votes
0answers
59 views

Name for a body that can be completely described using its silhouettes

I'm shooting blind over here because I have no background in this field of mathematics. I assume that if you have a body (in $\mathbb{R}^3$), you can call it convex if any segment from one point ...
5
votes
0answers
49 views

Is there a name for the algebra of substructures?

Let $X$ denote an entropic algebra (see here), which just means that all the operations of $X$ are homomorphisms $X^n \rightarrow X.$ Abelian groups are the classic example. Then for any operation of ...
5
votes
0answers
126 views

The counted is to the countable as the ??? is to the (order)-isomorphic.

We sometimes need to distinguish the counted from the countable. A counted set is a set equipped with a particular bijection into (some of) the natural numbers; a set is countable if there exists such ...
5
votes
0answers
87 views

Is there a standard name for the relation $X \times Y$?

Given sets $X$ and $Y$, is there a standard name for the relation $f : X \rightarrow Y$ whose graph equals $X \times Y$? Something like the full/maximum/top/total/complete relation?
5
votes
0answers
392 views

When are two objects essentially the same?

From the comments to this question I have learned, that many (most?) mathematicians are not very interested in the relationship between an object $X$ and its "correspondent" $F(X)$ for an arbitrary ...
5
votes
0answers
214 views

Does this property of scattered spaces have a name?

Let $K$ be a (Hausdorff) scattered topological space and for each ordinal $\alpha$ denote by $K^{(\alpha)}$ the $\alpha$th derivative of $K$ by the Cantor-Bendixson derivation (i.e., define ...
4
votes
0answers
21 views

terminology for a “forward flow” type of random digraph

I am trying to find a characterization of the probability that vertex $1$ is connected to an arbitrary large vertex $N$ in a random digraph. The difference from typical random digraphs is that if ...
4
votes
0answers
47 views

Terminology in graph theory

Let $G$ be a finite graph with the following property: For any vertex $a$ and edge $\{b, c\}$ of $G$, there is an edge connecting them: there is one of $\{a,b\}$ or $\{a, c\}$ in $G$. Is there ...
4
votes
0answers
113 views

When do the zero divisors of a commutative ring form an ideal?

Let $J$ denote the set of zero-divisors of a commutative ring $R$. Since we automatically have $RJ \subseteq J$, hence $J$ is automatically halfway to being an ideal. Furthermore, its already ...
4
votes
0answers
31 views

Terminology: order vs. degree (in general)

The word degree comes from Latin degradus (through French), which means something like step down. The word order comes from Latin ...
4
votes
0answers
78 views

In the mean value theorem, we are guaranteed $c$ such that $f'(c) = (f(b)-f(a))/(b-a)$. Does $c$ have a name?

The Mean Value Theorem says approximately that for differentiable $f$, there is a $c \in (a,b)$ such that $$ f'(c) = \frac{f(b)-f(a)}{b - a}. $$ I presume that the number $f'(c)$ is the mean value. My ...
4
votes
0answers
141 views

Reading mathematical formulas in Russian & German

The book Russian for Mathematicians by Glazunova has a very useful section with examples of how formulas are read in Russian. (Most mathematical dictionaries don't seem to have this, as I suppose they ...
4
votes
0answers
138 views

Is there a name for those relations that behave a bit like $<$?

Consider a fixed but arbitrary preordered set $X$. Is there a name for those binary relations $R$ on $X$ satisfying the following? They seem to show up a lot. (Note that every such $R$ is necessarily ...
4
votes
0answers
98 views

Have any authors suggested mathematics-wide prefixes for “missing a quotient” and/or “missing an identity”?

The prefixes in the following terms both mean: "missing the obvious quotient by the obvious equivalence relation." seminorm pseudometric Similarly, the prefixes in the following terms both mean: ...
4
votes
0answers
107 views

“diverges to $1$”

$\newcommand{\logit}{\operatorname{logit}}$ A series may "diverge to $\infty$" or "diverge to $-\infty$"; a product may "diverge to $\infty$" or "diverge to $0$". postscript in response to comments: ...
4
votes
0answers
44 views

Subsets of cyclic group with distinct pairwise differences

Given a number $m\in\mathbb N$, let $\mathbb Z_m=\{0,1,\dots,m-1\}$ denote the ring of integers modulo $m$ (although we won't need multiplication, so any cyclic group of order $m$ will do). Given a ...
4
votes
0answers
62 views

Is there a name for a “rigid” sheaf?

Is there a name for the property of a sheaf $\mathcal F$ such that the restriction maps $\mathcal F(V) \to \mathcal F(U)$ are injective when $V$ is a connected open and $U$ is a nonempty open? In ...
4
votes
0answers
59 views

“Disjoint” elements of a lattice - what's the correct terminology?

Given a set $X$ and a pair of subsets thereof, call them $A$ and $B$, we say that $A$ and $B$ are disjoint iff $A \cap B = \emptyset$. This generalizes to lattices with a least element. Given such a ...
4
votes
0answers
66 views

What is the name of the function that indexes Grothendieck universes?

Assume Tarski-Grothendieck set theory. Then Grothendieck universes form a well-ordered proper class, so we can let $U_\alpha$ denote the $\alpha$'th Grothendieck universe, where $\alpha$ is an ...
4
votes
0answers
98 views

Has this function a name?

Has this function a name? $$f(x) = \prod_{i=2}^{\lceil \frac{x}{2} \rceil} \sin\left( \frac {\pi x}{i}\right)$$ (the product of $\sin( \frac {\pi x}{i})$ for $i=2,3,...,\lceil x/2 \rceil$)
4
votes
0answers
620 views

What is a bridgeless undirected planar 3-regular bipartite graph?

Draks asked a question about a sentence in Wikipedia stating that such-and-such (NP-hardness of Hamiltonian path detection) is true for "bridgeless undirected planar 3-regular bipartite graphs". What ...
4
votes
0answers
31 views

Terminology: how to call the compact version of an affine space?

How should I call briefly the space $M$, which is obtained when "forgetting" the origin (i.e. the identity) of an $n$-dimensional torus $T$ (i.e. $T$ is a compact $n$-dimensional abelian Lie group)? ...
4
votes
0answers
128 views

How do you call functions that fulfill $f(x)=\pm f(\pm 1/x)$?

A function $f(x)$ that fulfills $f(x)=\pm f(-x)$ is called (a)symmetric even/odd. How do you call functions that fulfill $f(x)=\color{blue}\pm f(\color{red}\pm 1/x)$? ...
4
votes
0answers
149 views

matrix representation of operator

Vector $\vec v\ $ in basis E = $[\vec e_1 \vec e_2 \ldots \vec e_n]$ $$\vec v = E \ \begin{bmatrix}v_1 \\ v_2 \\ \vdots \\ v_n \end{bmatrix}$$ Now, operator acts upon it $$A(\vec v) = v_1 A(\vec ...
4
votes
0answers
67 views

What is the term used for space of analytic functions?

I deal with analytic functions in the unit disc represented as the series $\sum_{n=0}^\infty u_n z^n$, where the coefficients $u_n$ satisfy the condition $\sum_{n=0}^\infty n^\alpha|u_n| < \infty$ ...
4
votes
0answers
80 views

Terminology: functions on lattices

is there a name for the class of functions $f: L\times L \rightarrow L$, where $L$ is a lattice and $L\times L$ is the product lattice (ordered pointwise), with the following property: $f(x,y)=f( x ...
4
votes
0answers
51 views

Name of principal root function modified to return real values if possible

Is there a concise name for the function $f_n(x)\colon\mathbb{C}\to\mathbb{C}$ which returns the principal $n$th root of $x$, except in the case when $n$ is odd and $x$ is a negative real number, in ...
4
votes
0answers
214 views

Is there some official name for this function?

$$\sqrt{1 - (-1 + x\bmod 2)^2}\cdot\operatorname{sign}(-2 + x\bmod 4)$$ Like half-circles connected to each other to look like waves: Its plot looks smooth, but the function is actually not ...