English

Strong divisibility and lcm-sequences

Number Theory 2013-10-10 v1

Abstract

Let RR be a gcd-domain (for example let RR be a unique factorization domain), and let (an)n1(a_n)_{n\geqslant1} be a sequence of nonzero elements in RR. We prove that gcd(an,am)=agcd(n,m)\gcd(a_n,a_m)=a_{\gcd(n,m)} for all n,m1n,m\geqslant1 if and only if an=dncd\mboxfor n1,a_n=\prod\limits_{d\mid n} c_d\quad\mbox{for} \ n\geqslant1, where c1=a1c_1=a_1 and cn=\mboxlcm(a1,a2,,an)/\mboxlcm(a1,a2,,an1)c_n=\mbox{lcm}(a_1,a_2,\dots,a_n)/\mbox{lcm}(a_1,a_2,\dots,a_{n-1}) for n2n\geqslant2. All equalities with gcd and lcm are determined up to units of RR.

Cite

@article{arxiv.1310.2416,
  title  = {Strong divisibility and lcm-sequences},
  author = {Andrzej Nowicki},
  journal= {arXiv preprint arXiv:1310.2416},
  year   = {2013}
}
R2 v1 2026-06-22T01:43:14.041Z