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)

11
votes
0answers
114 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 ...
10
votes
0answers
156 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 ...
9
votes
0answers
126 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 ...
8
votes
0answers
58 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 ...
8
votes
0answers
109 views

Analogue of the term 'summand' for unions and intersections.

If we have a sum $\sum\limits_{i=1}^na_i$, we call the terms $a_i$ summands. In fact, in the cases of addition, subtraction, multiplication, and division, we have a large vocabulary to describe the ...
7
votes
0answers
54 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
86 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
138 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
144 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?
6
votes
0answers
97 views

Is there an accepted term for those objects of a category $X$ such that for all $Y$, there is at most one arrow $X \rightarrow Y$?

In category theory, I have seen "weakly initial object" used as follows: $X$ is weakly initial iff for all objects $Y,$ there is at least one arrow $X \rightarrow Y$. Of course, another way of ...
6
votes
0answers
89 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 ...
6
votes
0answers
111 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
203 views

'Galois Resolvent' and elementary symmetric polynomials in a paper by Noether

In Emmy Noether's 1915 paper "Der Endlichkeitssatz der Invarianten endlicher Gruppen", I saw the notion of a 'Galois resolvent', which I don't quite understand. Google didn't really help me with that, ...
5
votes
0answers
66 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
101 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
57 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
40 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
47 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
137 views

Why are they called orbits?

When we study actions in group theory, we consider sets of the form $$\text{Orb}_G(x)=\{gx\mid g\in G\} $$ that are called orbits. Although, the only reason I find convincing for that name is that in ...
5
votes
0answers
112 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
79 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
177 views

Terminology Question: Precompose vs Compose?

I was wondering if there was a standard convention on what 'precompose' means compared to 'compose', as I am often confused between the two when all sorts of text casually use both terminologies. For ...
5
votes
0answers
85 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 ...
5
votes
0answers
325 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
201 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 ...
5
votes
0answers
206 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 ...
4
votes
0answers
83 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
132 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
50 views

Why are centers, centralizers and normalizers called that way?

I know what they are, but where do the names come from?
4
votes
0answers
51 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 ...
4
votes
0answers
97 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
42 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
56 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
55 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
64 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
464 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
28 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
124 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
294 views

What does “toy-contour” mean?

When I reading Complex Analysis written by Elias M. Stein. In Chapter 2, he had introduced a notion "toy contour "without explaining. what does this exactly mean?
4
votes
0answers
131 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
79 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
50 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
212 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 ...
3
votes
0answers
15 views

Is there a name for the relation between Menger Sponge and Vicsek Fractal?

Both the Menger Sponge and the Vicsek Fractal in 3D can be constructed by starting with a cube, dividing it into 27 smaller cubes (3x3x3 grid), removing some of these cubes, and then applying the ...
3
votes
0answers
31 views

Terminology question : “half smooth, half topological” fibre bundle

First, I know (or I think I know...) the definition of fiber bundle, be it in the smooth or topological category. Here is my situation, which is kind of between the two: I have a smooth manifold $E$, ...
3
votes
0answers
25 views

How is a part of eulerian path called?

An eulerian path in a graph is a path that visits every edge in the graph exactly once. If there is a path that has a similar property that it visits an edge at most once (e.g. a part of an eulerian ...
3
votes
0answers
45 views

A variant of projective objects?

Let $\mathcal{C}$ be an additive category. Is there a common name for objects $P \in \mathcal{C}$ with the property that $\hom(P,-) : \mathcal{C} \to \mathsf{Ab}$ is right exact, i.e. preserves all ...
3
votes
0answers
89 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: ...