Questions tagged [factorization-theory]

The tag has no usage guidance.

Filter by
Sorted by
Tagged with
9 votes
1 answer
546 views

Hensel's lemma, Bezout's identity, and the integers

Factorization in the ring $\mathbb{Z}[x]/(x^2+1)\mathbb{Z}[x]\cong \mathbb{Z}[i]$ is well known. For instance, $5$ and $13$ (and any prime $\equiv 1\pmod{4}$) are no longer prime. The factorization ...
  • 15.4k
2 votes
0 answers
76 views

When are classes with prescribed reducts "pseudo"-elementary?

Let $\mathsf{Set}$ be the class of all sets and let $\mathcal{L}$ be a first-order language. Let $M \subseteq \mathsf{Set}$ be a set of $\mathcal{L}$-structures and let $$\mathfrak{Th}_{\in}(M) = \\ \{...
  • 325
3 votes
0 answers
109 views

Decomposing a subset of $\mathbf Z$ into a sumset of irreducibles

We say that a subset $A$ of $\mathbf Z$ is irreducible if $|A| \ge 2$ and there do not exist $X, Y \subseteq \mathbf Z$ with $|X|, |Y| \ge 2$ such that $A = X + Y$. If $X \subseteq \mathbf Z$, we ...
3 votes
0 answers
85 views

Is the elasticity of a submonoid of the free abelian monoid over a finite set either rational or infinite?

Let $P$ be a finite set, $\mathscr F(P)$ the free abelian monoid with basis $P$, and $H$ a submonoid of $\mathscr F(P)$. Given $x \in H \setminus \{1_H\}$, we let $\mathsf L_H(x)$ be the set of all $...
1 vote
0 answers
27 views

Generating larger atoms from smaller ones in a simple $\text{C}_0$-monoid

Let $P$ be a finite set, $\mathscr F(P)$ the free abelian monoid with basis $P$ (which I'll write multiplicatively), $H$ a submonoid of $\mathscr F(P)$, and $\mathcal A(H)$ the set of atoms of $H$ (...
2 votes
0 answers
90 views

If $H$ is an atomic, unit-cancellative monoid such that the set of atoms of $H$ is finite up to associates, then $H$ is BF

In a previous version of this post, $H$ was an atomic commutative monoid such that the quotient $H/H^\times$ is finitely generated, and I was asking if such conditions were enough for $H$ to be BF. ...
4 votes
0 answers
66 views

Counting incongruent isometric factorizations in the ring of integers of a number field with non-trivial class group

Let $H$ be a multiplicatively written commutative monoid. We use $\mathcal A(H)$ for the set of atoms of $H$ and $\pi_H$ for the canonical homomorphism $\mathscr F(\mathcal A(H)) \to H$, where $a \in ...
7 votes
1 answer
158 views

For which abelian groups $G$ does the monoid of zero-sum sequences over $G$ embed into a ring as a divisor-closed subsemigroup?

Let $K$ be a multiplicatively written semigroup (either commutative or not) and $H$ a subsemigroup of $K$. We say that $H$ is divisor-closed (in $K$) if $x \in H$ for all $x, y \in K$ such that $x \...
3 votes
0 answers
46 views

Counting the monic atoms $f$ in the semiring $\mathbf N[x]$ with $f(0)=1$, bounded coefficients, and degree $k$ (in the limit as $k \to \infty$)

Let $H$ be the multiplicative monoid of the (usual) semiring of polynomials in one variable $x$ with coefficients in $\mathbf N$. Given $\alpha, k \in \mathbf N$, denote by $\mathcal A_k(\alpha)$ the ...
4 votes
1 answer
166 views

On the factorization of powers of atoms in the ring of integers of a number field

Let $H$ be a multiplicatively written monoid with identity $1_H$. An atom of $H$ is a non-unit element $a \in H$ that doesn't split into the product of two non-unit elements. Given $x \in H$, we ...
1 vote
0 answers
49 views

Closedness of the range of the distorsion of the multiplicative monoid of a number field

Let $H$ be a multiplicatively written monoid with identity $1_H$. An atom of $H$ is an element $x \in H \setminus H^\times$ such that $a \ne xy$ for all $x, y \in H \setminus H^\times$, where $H^\...
9 votes
4 answers
1k views

When $X \times Y \cong X \times Z$ implies $Y \cong Z$ (in the category of finite topological spaces)

The title has it all. I'm looking for a reference to the following: Q. Let $X, Y, Z$ be finite, non-empty (topological) spaces. When does $X \times Y \cong X \times Z$ imply $Y \cong Z$ (in the ...
2 votes
0 answers
135 views

The set of lengths of $nX$ gets larger and larger for every non-zero, non-empty, finite $X \subseteq \mathbf N$ with $0 \in X$

Let $H$ be a multiplicatively written monoid with identity $1_H$. Given $x \in H$, we take ${\sf L}_H(x) := \{0\}$ if $x = 1_H$; otherwise, ${\sf L}_H(x)$ is the set of all $k \in \mathbf N^+$ for ...
1 vote
1 answer
77 views

If $H$ is commutative and unit-cancellative, then so is the monoid of non-empty ideals of $H$

Let $H$ be a (multiplicatively written) commutative monoid with identity $1_H$. Given $X, Y \subseteq H$, we take $$XY := \{xy: x \in X,\, y \in Y\}.$$ We call a set $I \subseteq H$ an ideal of $H$ ...
4 votes
1 answer
263 views

Which monoids can be realized as the monoid of ideals of a commutative monoid?

Let $H$ be a commutative monoid (written multiplicatively). We say that a set $I \subseteq H$ is an ideal of $H$ if $IH = I$. The set $\mathcal I(H)$ of all ideals of $H$ is made into a (commutative) ...
4 votes
1 answer
311 views

Values attained by the coheight of $(H \setminus H^\times)^k$ as a function of $H$ and $k$

Edit (Apr 24, 2017). I'm updating this post in the light of the latest developments of a related thread. Let $H$ be a multiplicatively written, commutative monoid, and set $M := H \setminus H^\times$,...
3 votes
2 answers
146 views

Weak ideal systems $r$ for which the $r$-coheight satisfies a kind of triangle inequality

Let $H$ be a multiplicatively written, commutative monoid with identity $1_H$, and let $\mathcal P(H)$ be the power set of $H$. If $X, Y \subseteq H$, we will set $$XY := \{xy: x \in X,\, y \in Y\}.$$ ...
2 votes
0 answers
61 views

Extensions of an ideal-theoretic criterion for a monoid to be BF

Let $H$ be a multiplicatively written, commutative monoid. We denote by $H^\times$ the set of units (or invertible elements) of $H$, and by $\mathcal A(H)$ the set of atoms (or irreducible elements) ...
6 votes
2 answers
316 views

Monoids in which every prime is an atom

Let $H$ be a multiplicatively written monoid with identity $1_H$. We write $H^\times$ for the set of units (or invertible elements) of $H$. We say that an element $a \in H$ is an atom if $a \notin H^\...
2 votes
1 answer
113 views

If $H$ is essentially equimorphic to $K$, then is $H$ atomic only if so is $K$?

I will first state my question, and then give all the relevant definitions. Q. Let $H$ and $K$ be monoids, and assume $H$ is essentially equimorphic to $K$. Is it true that $H$ is atomic only if so ...
2 votes
1 answer
252 views

About Euclidean domains

I asked a similar question a few weeks ago in M.SE but it didn't receive any answers, so I decided to post it here with some modifications. My motivation comes from a theorem given in Pete L. Clark's ...
  • 195
3 votes
2 answers
87 views

A non-reduced, commutative BF-monoid s.t. $au = u$ for all $a \in \mathcal A(H)$ and $u \in H^\times$

Let $H$ be a monoid, and denote by $H^\times$ and $\mathcal A(H)$, respectively, the set of units (or invertible elements) and the set of atoms (or irreducible elements) of $H$ (an element $a \in H$ ...
5 votes
1 answer
226 views

Terminology for a monoid $H$ s.t. $xy \in H^\times$ only if $x, y \in H^\times$

The title has it all. Is there any consolidated terminology for referring to a (multiplicative) monoid $H$ such that $xy \in H^\times$ (if and) only if $x, y \in H^\times$? Here is a short list of ...
2 votes
1 answer
195 views

Terminology for a monoid $(H, \cdot)$ s.t. $ax=a$ or $xa =a$ only if $x$ is a unit

Let $(H, \cdot)$ be a (multiplicative) monoid. Is there any consolidated name for the following Property $\text{(P)}$, or for the class of monoids for which it is satisfied? $$\text{(P) If }\,xy = x\...