This site is supported by donations to The OEIS Foundation.

# Noncoprimorial

The noncoprimorial of $n\,$ is the product of cototatives of $n\,$ (product of all positive integers up to $n\,$ and noncoprime to $n\,$ , i.e. not coprime to $n\,$ .)

By analogy with phi-torial (phitorial) for coprimorial, might be called co-phi-torial of $n\,$ ($n\,$ co-phi-torial) or co-phitorial of $n\,$ ($n\,$ co-phitorial) since the product involves ${\overline {\varphi }}(n)\,$ numbers, where ${\overline {\varphi }}(n)\,$ is Euler's cototient function.

## Formulae

The noncoprimorial of $n\,$ is thus

${\overline {\varphi }}_{_{_{!}}}(n)=\Pi _{\overline {\varphi }}(n)\equiv \prod _{\stackrel {i=1}{i\not \perp n}}^{n}i=\prod _{\stackrel {i=1}{(i,n)\neq 1}}^{n}i=\prod _{i=1}^{n}i^{[(i,n)\neq 1]}\,$ where $i\not \perp n\,$ means $i\,$ and $n\,$ are nonorthogonal numbers (i.e. noncoprime) and $[\cdot ]\,$ is Iverson bracket.

The coprimorial (phi-torial) of $n\,$ and the noncoprimorial (co-phi-torial) of $n\,$ are divisors of the factorial of n.

$n!=\varphi _{_{_{!}}}(n)~{\overline {\varphi }}_{_{_{!}}}(n).\,$ ## Sequences

Noncoprimorial (product of cototatives) of $n\,$ : product of numbers $\leq \,n\,$ that have a prime factor in common with $n,\ n\,\geq \,1,\,$ (Cf. A066570) (empty product, 1, for $n=1\,$ ) gives

{1, 2, 3, 8, 5, 144, 7, 384, 162, 19200, 11, 1244160, 13, 4515840, 1458000, 10321920, 17, 75246796800, 19, 278691840000, 1080203040, 899245670400, 23, 16686729658368000, 375000, 663152807116800, ...}