# Questions tagged [products]

The products tag has no usage guidance.

**7**

votes

**1**answer

269 views

### Is a categorical coproduct of epimorphisms (monomorphisms) always an epimorphism (a monomorphism)?

Let $\mathbf{C}$ be a category (that does not necessary have a coproduct for every collection of objects). Suppose that we have two families of objects $(A_i)_{i\in I}$ and $(B_i)_{i\in I}$ in $\...

**4**

votes

**1**answer

164 views

### Can a commutator of a special type be conjugate to its inverse?

Let $H=H_1\ast H_2$ be a free product of non-trivial groups $H_1$ and $H_2$.
We call an element $h\in H$ hyperbolic if $h\not\in H_i^g\overset{\textrm{def}}{=}\left \{ g^{-1}fg\ |\ f\in H_i \right \}$ ...

**2**

votes

**0**answers

454 views

### Is there an infinite product like this for $\cos x$?

There are infinite products of iterated square roots for $\log x$ and $\arccos x$ as functions of $x$. For example
$$\log x = \frac{x - 1}{\sqrt{x}\sqrt{\frac{1}{2} + \frac{1}{2}\left ( \frac{1 + x}{...

**0**

votes

**1**answer

123 views

### Is “square” functor monomorphic on objects?

I am trying to find whether the polynomial (monomial) functor $P : X \rightarrow X\times X $, i.e. $P(X) = X^2$, is monomorphic on objects, in other words, that if there exists an isomorphism $A\times ...

**0**

votes

**2**answers

151 views

### Ordered measurable spaces

Let $(X, \leq)$ be a partial order and $\Sigma_X$ a $\sigma$-algebra on $X$. Is the set $\{(x, y) \in X\times X \mid x \leq y\}$ measurable with respect to the product $\sigma$-algebra?

**0**

votes

**1**answer

85 views

### Maximise specific infinite product

We consider the infinite product:
$$\frac{1}{c}\prod_{n \geqslant 1} \frac{c^n}{c^n+1} = \frac{1}{c}\frac{c}{c+1}\frac{c^2}{c^2+1}\frac{c^3}{c^3+1} \cdots$$
For which real value of $c > 1$ has ...

**5**

votes

**1**answer

189 views

### Does the category of Lawvere theories have products?

I know Law has a tensor product, is closed with respect to that tensor product, and it has coproducts. Does it have products?
My best guess at the cartesian product of Lawvere theories is the "...

**6**

votes

**1**answer

227 views

### Homology of the product of spaces with integer coefficients and the Massey products

Consider
$H_*(X\wedge Y;Z)$, where $X=Y=BZ/2$ for concreteness' sake. If we write $e_i$ the generator of $H_i(BZ/2;Z/2)$., we see that the $E_2=E_{\infty}$ term of the Bockstein spectral sequence
...

**1**

vote

**0**answers

67 views

### Limit as a pushout

In Categories for Working Mathematician, Mac Lane describe a cartesian product as a limit for a functor F from a discrete category $|J|$ : Any cone from an object Z to F, is a collection of arrow from ...

**2**

votes

**1**answer

196 views

### Yoneda extension preserving finite products?

Let $C$ be a category and let $F:C\rightarrow D$ be a functor with $D$ locally presentable and cartesian closed. When does the Yoneda extension $\widehat{F}=Lan_{y} F:[C^{op},Set]\rightarrow D$ ...

**0**

votes

**1**answer

163 views

### $Ext$ functor over a product of groups

Let $G_1$ and $G_2$ be two groups (of some kind, e.g. finite groups).
Let $M_1, N_1$ be $G_1$-modules, and $M_2, N_2$ be $G_2$ modules, always with coefficients in $\mathbb{C}$.
Write $G = G_1 \...

**2**

votes

**3**answers

250 views

### Nonzero solutions of an infinite product

Let $-\frac{1}{2}\le a \le\frac{1}{2}$ and $b\in[0,\infty)$.
Definitions: $$f_k(a;b):=\frac{(2k+\frac{1}{2}+a)^2+b}{(2k+\frac{1}{2}-a)^2+b}(\frac{k}{k+1})^{2a},$$
$$f(a;b):=\prod\limits_{k=1}^\infty ...

**2**

votes

**0**answers

92 views

### How to estimate $\prod_{t=1}^{N}\frac{1}{2-z^t}$ for large $N$?

Based on the top answer to How to estimate of $\prod_{k=a}^N \frac{1}{e^{k\kappa}-1}$ for large $N$?
Can anyone find an approximate closed form for
$$
\frac{\mathrm{d}^k}{\mathrm{d}z^k}\prod_{t=1}^{N}...

**5**

votes

**2**answers

478 views

### When does the radius of convergence of the product of two $p$-adic power series increase?

Let $p$ be a prime number and denote by $R(f)$ the radius of convergence of a power series $f(x) \in \mathbb{C}_p[[x]]$, where $\mathbb{C}_p$ is the completion of the algebraic closure of $\mathbb{Q}...

**7**

votes

**1**answer

399 views

### Factorial-based constant

Am looking for a name for:
$$\prod\dfrac{1}{1-\dfrac{1}{n!}}$$
$$=2.529477472079152648180116154253954242$$
Wolfram|Alpha
Expanding the formula gives:
$$(1+\frac{1}{2!}+\frac{1}{2!^2}+\dots)(1+\...

**0**

votes

**0**answers

332 views

### Exterior product in relative cohomology

Let us consider two pair of spaces $(X, A)$ and $(Y, B)$. We set $(X, A) \wedge (Y, B) := (X \times Y, (X \times B) \cup (A \times Y))$. Given a cohomology theory $h^{\bullet}$, we can define a ...

**6**

votes

**2**answers

328 views

### Does the limit of this product over primes converge for all $\Re(s) > \frac12$?

Numerical evidence suggests that:
$$\displaystyle F(s):= \lim_{N \to \infty}\, \ln^s\left(p_N\right)\, \prod_{n=1}^N \left(\dfrac{\left(p_n-1\right)^s}{p_n^s-1} -\frac{1}{p_n^s}\right)$$
with $p_n$ ...

**3**

votes

**2**answers

175 views

### Lower bound for Euler's function

Euler function is defined, for $|x|\le 1$, as follows:
$$\phi(x)=\prod_{i=1}^\infty(1-x^i)$$
Upper bounds for $\phi$ can be simply derived from ending the product early, e.g.
$$\phi(x)<\prod_{i=1}^...

**3**

votes

**0**answers

64 views

### Cardinal of a set cinsist of product of two sets?

Let
$$
A=\{1,2,\ldots,p-1\},\qquad B=\{1,2,\ldots,q-1\}
$$
where $p,q$ are primes not necessarily distinct.
Is there any elementary way to find the cardinal of the following set
$$
AB=\{ab:\ a\in A,\ ...

**4**

votes

**0**answers

147 views

### Which Topological Spaces are Powers?

Given a topological space $X$ and closed subspace $Y \subset X$, it may be the case that $X$ is a power of $Y$. That means $\displaystyle X = \prod_{i < \kappa} Y_i$ for some cardinal $\kappa$ ...

**2**

votes

**1**answer

212 views

### Does $\prod_{n=2}^{\infty} \left(\frac {1}{1-\frac{\chi_k(n)}{n^s}} \right)$ converge for non-principal characters for all $\Re(s) > \frac12$?

This question loosely builds on this one.
Take the following infinite product:
$$N(s,\chi_k)=\prod_{n=2}^{\infty} \left(\frac {1}{1-\dfrac{\chi_k(n)}{n^s}} \right)$$
with $\chi_k$ a Dirichlet ...

**4**

votes

**1**answer

304 views

### Is the product of two supermodular functions supermodular?

The definition of Supermodularity is that for every $x′>x$ and $y′>y$, we have
\begin{equation*}
f(x′,y′)+f(x,y)>f(x′,y)+f(x,y′).
\end{equation*}
Suppose $f$ and $g$ are supermodular, non-...

**3**

votes

**0**answers

501 views

### Two (strictly related) proofs by induction of inequalities

This is a question I originally asked on MSE, receiving no answer, even with a bounty (which expired) on it. Therefore I am crosslinking in order to prevent duplication of effort: see here for the ...

**2**

votes

**1**answer

582 views

### building a product of two categories [closed]

MacLane, as well as probably any other category book, does not hesitate to define a product of two categories as a category consisting of pairs of objects, etc.
Now my question is: what law of nature ...

**4**

votes

**2**answers

1k views

### Distribution of a product of two discrete i.i.d. variables

The problem is to estimate the distribution of product of two $\textit{discretized Gaussian}$ random variables with zero means. The discretized Gaussian means that the p.m.f. looks like
$D_s(x)=\...

**5**

votes

**2**answers

359 views

### Function with zeros plus/minus the primes

While playing with Cohen's pari script prodeulerrat found a function.
For $s \in \mathbb{C}$ define
$$ f(s) = \prod_{p \text{ prime}} (1-\frac{s^2}{p^2})$$
The product converges everywhere, no poles ...

**1**

vote

**0**answers

143 views

### Two products over primes

For $k \in \mathbb{N}$ define
$$ f(k) = \prod_{\text{p prime}}\left(1+\frac{1}{p^k(p^k+1)}\right)$$
$$ g(k) = \prod_{\text{p prime}}\left(1+\frac{1}{p^k(p^k-1)}\right)$$
By the product for zeta $f(1)...

**2**

votes

**2**answers

653 views

### product 1+1/p in terms of Chebyshev's theta or psi function

I would like to know if there is any formula for
$
\prod_{x<p\leq y}\left(1+\frac1p\right)
$
in terms of $\theta$ or $\psi$ functions
$
\theta(x)=\sum_{p\leq x}\log p
$
and
$
\psi(x)=\sum_{p^\nu\...

**2**

votes

**0**answers

333 views

### Morphisms of Spectral Sequences and alternating products

Let $E_{a,b}^{r}, F_{a,b}^{r}$ be two (co)homologica first quadrant spectral sequences of vector spaces over a field $K$, and $f : E \to F$ be a morphism of spectral sequences.
Assume that morphisms $...

**0**

votes

**2**answers

255 views

### Integrating a product

By trying to find a marginal distribution I came accross integration of the product series. For the sake of generality, lets assume the integral is of following form:
$$\int \prod_{k=1}^{n}\left ( x+...

**2**

votes

**0**answers

388 views

### Functions that can be written as direct products of other functions; question about terminology and notation

Let
$$f : X_0 \rightarrow Y_0, \;\;\; g:X_1 \rightarrow Y_1$$
and define that the "direct product" of $f$ and $g$ is a map
$$f \otimes g : (X_0 \times X_1) \rightarrow (Y_0 \times Y_1), \mbox{ such ...

**4**

votes

**2**answers

726 views

### Condition to ensure that the product of closed maps be closed

If $f_i : X_i \to Y_i$ with $i=1,2,\ldots,n$ are closed maps between topological space it is known that their product map
$$f : X_1 \times \cdots \times X_n \to Y_1 \times \cdots \times Y_n : (x_1, \...

**9**

votes

**3**answers

2k views

### Do Disjoint Unions and Fiber Products Commute?

Do disjoint unions and fiber products commute?
In other words, is the following statement true?
Statement: Let $C$ be a category with (infinite) coproducts and fiber products. Let {$U_{i}$} be a ...

**11**

votes

**2**answers

694 views

### Bounding Euler products (or almost) by products of zeta functions

Let $s_1, s_2 \in (1/2,1\rbrack$. I would like to bound the product
$$A=\prod_p \left(1 + \frac{p^{-s_1} p^{-s_2}}{(1-p^{-s_1}+p^{-1}) (1-p^{-s_2}+p^{-1})}\right)$$
Now, I am almost positive that $...