Stack Exchange Network

Stack Exchange network consists of 174 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.

Visit Stack Exchange

Questions tagged [products]

The 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 $...