• @CAPSLOCKFTW@lemmy.ml
    link
    fedilink
    3
    edit-2
    11 months ago

    It is no new number, though you can add infinitely many ones to the prime factorisation if you want to. In general we don’t append 1 to the prime factorisation because it is trivial.

    In commutative Algebra, a unitary commutative ring can have multiple units (in the multiplicative group of the reals only 1 is a unit, x*1=x, in this ring you have several “ones”). There are elemrnts in these rings which we call prime, because their prime factorisation only contains trivial prime factors, but of course all units of said ring are prime factors. Hence it is a bit quirky to define ordinary primes they way you did, it is not about the amount of prime factors, it is about their properties.

    Edit: also important to know: (ℝ,×), the multiplicative goup of the reals, is a commutative, unitary ring, which happens to have only one unit, so our ordinary primes are a special case of the general prime elements.

    • @T0Keh@feddit.de
      link
      fedilink
      111 months ago

      There is multiple things wrong here.

      1. 1 is not a prime number because it is a unit and hence by definition excluded from being a prime.

      2. You probably don’t mean units but identity elements:

      • A unit is an element that has a multiplicative inverse
      • An identity element is an element 1 such that 1x =x1 = x for all x in your ring

      There are more units in R than just 1, take for example -1(unless your ring has characteristic 2 in which case thi argument not always works; however for the case of real numbers this is not relevant). But there is always just one identity element, so there is at most one “1” in any ring. Indeed suppose you have two identities e,f. Then e = ef = f because e,f both are identities.

      1. The property “their prime factorisaton only contains trivial prime factors” is a circular definition as this requires knowledge about “being prime”. A prime (in Z) is normally defined as an irreducible element, i.e. p is a prime number if p=ab implies that either a or b is a unit (which is exactly the property of only having the factors 1 and p itself (up to a unit)).

      2. (R,×) is not a ring (at least not in a way I am aware of) and not even a group (unless you exclude 0).

      3. What are those “general prime elements”? Do you mean prime elements in a ring (or irreducible elements?)? Or something completely different?

      • @CAPSLOCKFTW@lemmy.ml
        link
        fedilink
        111 months ago

        You’re mostly right, i misremembered some stuff. My phone keyboard or my client were not capable of adding a small + to the R. With general prime elements I meant prime elements in a ring. But regarding 3.: Not all reducible elements are prime nor vice versa.

        • @T0Keh@feddit.de
          link
          fedilink
          111 months ago

          That’s why I wrote prime number instead of prime element to not add more confusion. I know that in general prime and irreducible are not equivalent.