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
124 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
158 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
123 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 ...
9
votes
0answers
130 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
63 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 ...
7
votes
0answers
58 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
96 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
154 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 ...
7
votes
0answers
143 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
146 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
97 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
95 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
120 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
229 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
71 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
105 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
69 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
51 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
54 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
48 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
115 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
84 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
196 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
344 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
204 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
209 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
74 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
103 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
136 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
53 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
97 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
104 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
43 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
57 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
58 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
495 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
30 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
127 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
139 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
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
219 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
24 views

Center of the dual of a Lie algebra

Let $\mathfrak{g}$ be a Lie algebra. Let $C \subset \mathfrak{g}^*$ be the subspace of linear forms that vanish on Lie brackets: $$C = \{\alpha \in \mathfrak{g}^*, ~ [\mathfrak{g}, \mathfrak{g}] ...
3
votes
0answers
94 views

Cell theory - What is it? - Reference request

A user with $>10,000$ posts on sci.math called 'plutonium.archimedes' or 'AP' is constantly ranting about some theory he deems superior to calculus(a.k.a 'old math' I believe). I can't find any ...
3
votes
0answers
51 views

Intuitive meaning of benign subgroup

I've been studying a proof of Higmann's Embedding Theorem which makes use of the notion of a "benign subgroup". The definition is quite straight-forward: $G\leq H \ is\ benign\ in\ H \Leftrightarrow$ ...
3
votes
0answers
26 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
34 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$, ...