Abstract factorization theorems with applications to idempotent factorizations

Laura Cossu,Salvatore Tringali
DOI: https://doi.org/10.1007/s11856-024-2623-z
2024-04-30
Israel Journal of Mathematics
Abstract:Let ⪯ be a preorder on a monoid H with identity 1 H and s be an integer ≥ 2. The ⪯-height of an element x ∈ H is the supremum of the integers k ≥ 1 for which there is a (strictly) ⪯-decreasing sequence x 1 , ..., x k of ⪯-non-units of H with x 1 = x , where u ∈ H is a ⪯-unit if u ⪯ 1 H ⪯ u and a ⪯-non-unit otherwise. We say H is ⪯-artinian if there is no infinite ⪯-decreasing sequence of elements of H , and strongly ⪯-artinian if the ⪯-height of each element is finite.
mathematics
What problem does this paper attempt to address?