• anton@lemmy.blahaj.zone
          link
          fedilink
          English
          arrow-up
          7
          ·
          7 months ago

          1 being prime breaks a lot of the useful properties of primes, such as the uniqueness of prime factorization.

            • anton@lemmy.blahaj.zone
              link
              fedilink
              English
              arrow-up
              1
              ·
              7 months ago

              I don’t know if prime factorization is the correct English word for it but the operation I am referring to takes a (non zero) natural number and returns a multiset of primes that give you the original number when multiplied together. Example: pf(12)={2,2,3} if we allowed 1 to be a prime then prime factorization cease to be a function as pf(12)={1,2,2,3} and pf(12)={1,1,1,1,2,2,3} become valid solutions.

              • ricecake@sh.itjust.works
                link
                fedilink
                English
                arrow-up
                1
                ·
                7 months ago

                You are correct. The person you’re replying to misread my set as a fancy way of saying “all natural numbers”, not “all primes”.
                So you’re both right, in that if 1 were a prime, the primes would not work right, and if 1 were not a natural number then those would not work right.

                Using the totient function to define the set of primes is admittedly basically just using it for the fancy symbol I’ll admit, and the better name for where we keep all the primes is the blackboard bold P. 😊

            • ricecake@sh.itjust.works
              link
              fedilink
              English
              arrow-up
              1
              ·
              7 months ago

              Oh, no that’s just the primes. I was responding to a person joking about how we don’t even know all the primes, so I used a technical yet unhelpful definition of “the set of all primes” to be technically correct,xas is the mathematics way. :)