A124184: prime factorization of 1?

[Jon Awbrey]

o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o

Positive integer n not divisible by any of its primes-factorization exponents.
<=>
If n has primes-factorization exponents, then n is not divisible by any of them.

.: 1 is included vacuously, since the protasis is false.

ja?

Dean Hickerson wrote:
> 
> zak seidov wrote:
> 
> > In A124184, shouldn't we omit 1 (I omit it, while Leroy includes)?
> 
> No, Leroy is correct.
> 
> A124184 is defined as:
> 
> Positive integers not divisible by any of their own prime-factorization exponents.
> 
> Is 1 divisible by any of its prime-factorization exponents?
> No, since it doesn't have any.  So it does belong in the sequence.
> 
> Dean Hickerson
> dean at math.ucdavis.edu

o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o
inquiry e-lab: http://stderr.org/pipermail/inquiry/
wikinfo: http://wikinfo.org/wiki.php?title=User:Jon_Awbrey
meta: http://www.getwiki.net/wiki.php?title=User:Jon_Awbrey
wp review: http://wikipediareview.com/index.php?showuser=398
o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o