All Questions

Let $R$ be a commutative ring. Call a nonempty subset $F$ of $R$ a factroid if it is closed under sums and factors. That is: If $a,b \in F$, then $a+b \in F$, and If $a,b \in R$ with $a\in R$ ...

In factorization, like integer factorization, you start with an integer and end up with a kind-of list of pairs of other elements, namely the factors. I want to explore the "Co-ness" of this....