17
$\begingroup$

I was recently writing some notes on basic commutative ring theory, and was trying to convince myself why it was a good idea to study integral domains when it comes to unique factorization.

If $R$ is a commutative ring, and $a$ is a zero divisor, we cannot expect $a$ generally to have unique factorization in the ordinary sense, seen for example by the fact that $2*4=2$ in $\mathbb{Z}/6\mathbb{Z}$.

But this only makes me think that instead of focusing on domains, we should just focus on element that aren't zero divisors. Indeed, we can let $R_z$ be the set of elements that aren't zero divisors. Then if $R$ is nontrivial, $R_z$ is a commutative monoid under multiplication that contains the units. Moreover $R_z$ has the nice property that any if $a_1\dots a_n = b$ is some factorization of $b \in R_z$, then all the $a_i$ are in $R_z$.

In this setting, we can say that $R$ having unique factorization means that $R_z/R^\times$ is a free commutative monoid. In the case that $R$ is a domain, this agrees with the definition of a UFD.

Now standard arguments about factorization of nonzero elements in domains seem to work just as well for $R_z$. For example in a Noetherian ring, every element of $R_z$ can be factored into some irreducibles times a unit.

Similarly, the proof seems to go through that principle ideal rings are unique factorization rings (in my sense).

So my questions are:

Is what I'm saying correct? If so, why do we normally restrict to domains when many arguments go through for arbitrary rings with no more effort (as long as we are willing to ignore zero-divisors)? Are there other natural generalizations of unique factorization of elements of a ring for which analogous theorems can be proven without more difficulty?

By looking at this question, I found this and this, which did have examples of generalizations of unique factorization to more general rings. The first one essentially considers a tame type of ring where zero divisors are not so bad in terms of factorization, and my impression of the second one is that it exerts a lot of effort trying to generalize the notion of unique factorization to the extent that it becomes significantly more complicated.

Any suggestions are appreciated.

$\endgroup$
11
  • 2
    $\begingroup$ Your second link directs to http://this/. $\endgroup$
    – k.stm
    Jan 29, 2018 at 5:58
  • 3
    $\begingroup$ I have never really thought about this much. But an important question to ask is: What situations will the generalized notion be useful in? $\endgroup$ Jan 29, 2018 at 6:28
  • 2
    $\begingroup$ @TobiasKildetoft To explore a cave, you don’t need to have an idea of what to find inside. If the entrance looks promising, that may be enough to get you going. And doing so may turn out worthwhile even if you have had no clue of what to expect. And I’d say that’s the difference between exploration and examination. So personally, I find the question promising. The only thing Ishan Levy asked is whether there is some obvious reason to not explore it. $\endgroup$
    – k.stm
    Jan 29, 2018 at 7:44
  • 1
    $\begingroup$ @TobiasKildetoft You are right, though. I agree that asking “Where will this be useful?” is important. It’s just not that important. Having no answer to this question is no reason to not go further. $\endgroup$
    – k.stm
    Jan 29, 2018 at 7:52
  • 1
    $\begingroup$ @k.stm I did not mean it as a prerequisite to study this. I meant it as a way to figure out which direction is more likely to be interesting (i.e. which generalization to consider). $\endgroup$ Jan 29, 2018 at 7:55

1 Answer 1

7
$\begingroup$

This is likely more a contribution to what you are looking for than a precise answer to your question.

As unique factorization properties have little to do with the addition of the ring, let me switch to commutative monoids. Let $H$ be commutative monoid and let $\leq$ be the division preorder, defined by $$ a \leqslant b \iff \text{there exists $x \in H$ such that $ax = b$} $$ Let us assume that $\leqslant$ is actually a partial order. Irreducible and prime elements can now be defined as follows.

Definition 1. An element $x \in H$ is irreducible if, for each finite set $I$ such that $x = \prod_{i \in I}x_i$, there exists $i \in I$ such that $x_i = x$.

Note that $1$ is not irreducible since $1 = \prod_{i \in \emptyset}x_i$.

Definition 2. An element $x \in H$ is prime if, for each finite set $I$ such that $x \leqslant \prod_{i \in I}x_i$, there exists $i \in I$ such that $x_i \leqslant x$.

In the join semilattice represented below, $1$, $p$, $q$ and $r$ are irreducible; $p$ et $q$ are prime but $r$ is not. All elements are idempotent.

$\hskip 125pt$

Definition 3. A decomposition of an element $x$ is a finite family $D = (x_i)_{i \in I}$ of irreducible elements such that $x = \prod_{i \in I}x_i$.

Definition 4. Let $D = (x_i)_{i \in I}$ and $D' = (x'_i)_{i \in I'}$ be two decompositions of $x$. Then $D$ is more reduced than $D'$ if there is an injective map $\sigma:I \to I'$ such that, for all $i \in I$, $x_i \leqslant x'_{\sigma(i)}$.

Here is the main definition.

Definition 5. A monoid $H$ is factorial if, for each element $x \in H$, the set of decompositions of $x$ has a minimum element, called the reduced decomposition of $x$.

Here is a nontrivial example, with both an infinite ascending and descending chain. This is again a join semilattice. The irreducible elements are $a$, $b$, the $x_n$'s and the $y_n$'s. There are only two prime elements: $a$ and $y_1$. Indeed $y_2$, for instance, is not prime since $y_2\leqslant ay_1 = x$ but $y_2 \not\leqslant a$ and $y_2 \not\leqslant y_1$. The reduced decomposition of $x$ is $x = ay_1$.

$\hskip 100pt$

What can be proved with this notion? The main result is that factorial monoids have lcm's , but not necessarily gcd's. Furthermore, if $H$ is factorial, then $(H, \text{lcm})$ is also factorial.

Reference. This material is from this (French and poorly written) paper.

$\endgroup$
4
  • $\begingroup$ Is it irreductible or irreducible? Because in $ℤ$, $2 = (-2)(-1)$, so $2$ would not be irreducible or irreductible … $\endgroup$
    – k.stm
    Jan 29, 2018 at 13:46
  • $\begingroup$ irreducible. Thanks for pointing out this typo. $\endgroup$
    – J.-E. Pin
    Jan 29, 2018 at 14:01
  • 1
    $\begingroup$ In $(\mathbb{Z}, \times)$, $\leqslant$ is not an order, since $1 \mid -1$ and $-1 \mid 1$. $\endgroup$
    – J.-E. Pin
    Jan 29, 2018 at 14:02
  • $\begingroup$ I find this math.stackexchange.com/questions/848581/… $\endgroup$ Jan 8, 2022 at 22:47

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .