Questions tagged [products]
The products tag has no usage guidance.
7
votes
1answer
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
1answer
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
0answers
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
1answer
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
2answers
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
1answer
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
1answer
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
1answer
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
0answers
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
1answer
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
1answer
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
3answers
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
0answers
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
2answers
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
1answer
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
0answers
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
2answers
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
2answers
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
0answers
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
0answers
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
1answer
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
1answer
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
0answers
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
1answer
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
2answers
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
2answers
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
0answers
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
2answers
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
0answers
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
2answers
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
0answers
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
2answers
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
3answers
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
2answers
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 $...
