A note on subsemigroups with divisor theory (Q1346763): Difference between revisions

Sei \(D\) ein freies abelsches Monoid mit Basis \(P\) und \(\partial:S\to D\) eine Divisionstheorie des Krullmonoids \(S\) mit Klassengruppe \(\text{Cl}(S)=D/\partial S\) [vgl. \textit{F. Halter-Koch}, Expo. Math. 8, 27-66 (1990; Zbl 0698.20054)]. Für \(c\in D\) und \(X\in\text{Cl}(S)\) sei \(\Omega_X(c)\) die Anzahl der \(p\in P\cap X\) mit \(p|c\), gezählt gemäß Vielfachheit. Sei \(A=(m_X)_{X\in\text{Cl}(S)}\) eine Familie natürlicher Zahlen und \(S_A\) die Menge aller \(s\in S\) mit \(\Omega_X(\partial s)\equiv 0\pod{m_X}\) für alle \(X\in\text{Cl}(S)\). Der Autor gibt notwendige und hinreichende Bedingungen dafür, daß \(S_A\) eine Divisorentheorie besitzt, beschreibt \(\text{Cl}(S_A)\) und verwendet das Resultat zur Konstruktion von Divisorentheorien mit gegebener Klassengruppe.