{"entities":{"Q512200":{"pageid":513967,"ns":120,"title":"Item:Q512200","lastrevid":62390187,"modified":"2026-04-11T05:45:47Z","type":"item","id":"Q512200","labels":{"en":{"language":"en","value":"Separators of ideals in multiplicative semigroups of unique factorization domains"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6688590"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q512200$8893A59C-4A42-4250-95F2-57E252F8AF39","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1c8c518e7b6391ee119c78f293d8b835f30a4b74","datavalue":{"value":{"text":"Separators of ideals in multiplicative semigroups of unique factorization domains","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q512200$BD1CFAFD-514A-4668-B235-F1D847C8B458","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"865671f561c6e4e958c466cbd0ca806dcaed3ac0","datavalue":{"value":"1376.20060","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q512200$9E8338AE-7137-454E-9EE6-6F2327BAAD03","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8d75d28b470ea2cbede3b521f9e73fd45aef50ac","datavalue":{"value":{"entity-type":"item","numeric-id":477554,"id":"Q477554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q512200$5B826024-3F74-4150-9A23-5460BA7F4972","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f3994b3ea7b242f980d845d7f38f3a45e589bc28","datavalue":{"value":{"entity-type":"item","numeric-id":592710,"id":"Q592710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q512200$1072151E-C2DB-4AF6-BE7A-7B8447B43D31","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"28dbf90a09492d81530507fd711b9336815e58a3","datavalue":{"value":{"entity-type":"item","numeric-id":172569,"id":"Q172569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q512200$19D68311-0502-46C1-B94B-19D7DBB0696D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f0603ea18d9047924c49ed7d920a19ba7519108b","datavalue":{"value":{"time":"+2017-02-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q512200$ED1E90B3-9CE5-4BD6-937E-E44D3D792E13","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5054b34a2561288acfb10e90fcbc5e889a4f8aa9","datavalue":{"value":"https://arxiv.org/abs/1508.07430","type":"string"},"datatype":"url"},"type":"statement","id":"Q512200$1A923261-485A-45AE-BF9A-1457FF97BE66","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"964322b07d9cb0e07652686c166c6af3d300d90c","datavalue":{"value":"Let \\(S\\) be a semigroup and we say \\(S\\) satisfies condition \\((*)\\) if the following three conditions hold: {\\parindent=0.7cm\\begin{itemize}\\item[1.] \\(S\\) is commutative with a zero; \\item[2.] for every non-identity element \\(s\\in S\\), there is a nonzero element \\(x\\in S\\) such that \\(xs=0\\); \\item[3.] for any \\(s,t\\in S\\), if \\(xs=0\\) iff \\(xt=0\\) for all \\(x\\in S\\), then \\(s=t\\).   \\end{itemize}} Let \\(H\\) be a subset of \\(S\\). Then we let  \\[ P_H=\\{(a,b)\\in S\\times S\\mid xay\\in H\\text{ if and only if }xby\\in H \\text{ for any \\(x,y\\in S\\)}\\}\\,. \\]   The author shows that  Theorem. Let \\(C\\) ba a commutative semigroup. If \\(I\\) is an ideal of \\(C\\) such that \\(\\mathsf{Sep} I:=\\{x\\in S\\mid x(S\\setminus I)\\subset S\\setminus I\\}\\neq \\emptyset\\), then \\(P_I\\) is a congruence on \\(C\\) such that \\(I\\) and \\(\\mathsf {Sep}I\\) are \\(P_I\\)-classes of \\(C\\), and the factor semigroup \\(C/P_I\\) satisfies condition \\((*)\\). Conversely, if \\(\\alpha\\) is a congruence on \\(C\\) such that the factor semigroup \\(C/\\alpha\\) satisfies condition \\((*)\\), then there is an ideal \\(I\\) of \\(C\\) such that \\(\\alpha=P_I\\).  Let \\(D\\) be a unique factorization domain and \\(D_{\\mathrm{mult}}\\) denote the multiplicative semigroup of \\(D\\). For every \\(m\\in D\\), let \\(J(m)\\) denote the ideal generated by \\(m\\) and for every \\(a,b\\in D\\), let \\(a\\sim b\\) denote that \\(a\\) and \\(b\\) are associated. We let \\([x]_{\\sim}\\) denote the \\(\\sim\\)-class of \\(D\\) containing \\(x\\in D\\) and let \\(\\tau_m\\) denote the relation on \\(D\\) as follows: for any \\(a,b\\in D\\), \\((a,b)\\in \\tau_m\\) if and only if \\(\\gcd(a,m)\\sim \\gcd(b,m)\\).  Applying the above theorem, the author proves the following results for multiplicative semigroups of unique factorization domains.  Theorem. Let \\(m\\) be a nonzero element of \\(D\\). Then \\(P_{J(m)}=\\tau_m\\) and the factor semigroup \\(D_{\\mathrm{mult}}/\\tau_m\\) satisfies condition \\((*)\\).  Theorem. Let \\(a\\) be a nonzero element of \\(D\\). Then the index of the congruence \\(P_{J([a]_{\\sim})}\\) in the semigroup \\(D'=D_{\\mathrm{mult}}/\\sim\\) is finite and the number of all non associated divisors of \\(a\\) equals \\(|D'/P_{J([a]_{\\sim})}|\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q512200$93D31490-8BD8-49A6-845B-BD8D9BFF00D0","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"502959305d6c82aa97aeab2c5232fa3988ceccd2","datavalue":{"value":{"entity-type":"item","numeric-id":290779,"id":"Q290779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q512200$275B75D2-F72D-4B58-9B1B-4B396C880F44","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b2b946ad1301ef968d1406c026b0caa30b1e17b8","datavalue":{"value":"20M13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q512200$0FF32954-32F8-4DB2-A738-2959425B6545","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c5bf7c2a219ef87b159f51f8d27cb83a62662867","datavalue":{"value":"6688590","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q512200$157C5768-544D-48D0-A578-6928B8FEF0EE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"353994e8fe4ea46c7967e2c391669c471c4ec902","datavalue":{"value":"semigroup","type":"string"},"datatype":"string"},"type":"statement","id":"Q512200$2A321560-A5AB-48CA-9300-20FAEE286D08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"16382045e0cfe30182ad180ef8d44f60dac5e0df","datavalue":{"value":"separator","type":"string"},"datatype":"string"},"type":"statement","id":"Q512200$4AFB9F91-B155-4B20-8451-5E6B1AE2989E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"831ea6c4184464373f99f3ef6c81298087d4dce0","datavalue":{"value":"congruence","type":"string"},"datatype":"string"},"type":"statement","id":"Q512200$7C44A0FE-666E-4883-827D-721D73735454","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q512200$480416B3-FDE8-4131-874D-292FF55E1080","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7369101778eb256a0958e7534289bf2877073a47","datavalue":{"value":"W1901126459","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q512200$716DAE90-E39B-4D92-BB6A-DC1F0C070CDA","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"46854a4243c17b356adce4052199ae8f459589b6","datavalue":{"value":{"entity-type":"item","numeric-id":3136877,"id":"Q3136877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q512200$B9EE24D5-A514-445C-BA65-43B3AC38BA5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5afbf744a209bae591f2001b963f84ed85dc6a7","datavalue":{"value":{"entity-type":"item","numeric-id":3848243,"id":"Q3848243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q512200$71F9F157-F36C-4FB7-8675-1C32E1FB73F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed85cd03af69b0b3414e61da74ab7e3d313c1c7e","datavalue":{"value":{"entity-type":"item","numeric-id":5564342,"id":"Q5564342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q512200$FFFDB7B0-9B30-4EFD-910A-320DDF56D09C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a771da5a4143614d66e61e5eb1c065796a9fe46","datavalue":{"value":{"entity-type":"item","numeric-id":4126563,"id":"Q4126563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q512200$FB791FF2-5407-482E-85CD-A3FA93123CD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d3921118f82c2144b6fcc1ed989142c955d9a1a1","datavalue":{"value":{"entity-type":"item","numeric-id":3910698,"id":"Q3910698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q512200$DEBA1C6F-44DA-4A3E-BBE6-491090B60E15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a8fba0f752917489d9721c7b6055cda155c73ba","datavalue":{"value":{"entity-type":"item","numeric-id":3315702,"id":"Q3315702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q512200$955576F3-B631-457A-B818-A521060FC8E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef722c8ec1c68be5f441e58c65161260a3312475","datavalue":{"value":{"entity-type":"item","numeric-id":2723165,"id":"Q2723165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q512200$789826E5-E542-44AA-97B8-D2FBABF9E23C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a0ae859d24f35b21e22579ed95abad7801a4c357","datavalue":{"value":{"entity-type":"item","numeric-id":4432101,"id":"Q4432101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q512200$52E82354-8517-4432-84C7-D82FCD574C8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"abb371ee1552d2e11f335cdb88e47a60eb07c1b8","datavalue":{"value":{"entity-type":"item","numeric-id":766200,"id":"Q766200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q512200$865AF183-335F-49AC-B6A9-2F3BCEB58BBC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9abf15cc7e4e11ab5c4403ff254eb7bbd83f5810","datavalue":{"value":"10.1007/S00233-015-9731-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q512200$60EF4DE7-28A7-4659-B434-9AF18F30237D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3c96dfe84c9d4e50fc250b33cb82e64eeda24429","datavalue":{"value":{"entity-type":"item","numeric-id":584428,"id":"Q584428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0a5d417675f64a5d74793c2913e8b8277134cb7e","datavalue":{"value":{"amount":"+0.7781858444213867","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q512200$5C140C79-F5F7-4B3F-AC87-DF5CAE355F5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ea0e3f781a48a7180f36aa5433988db59ea6d912","datavalue":{"value":{"entity-type":"item","numeric-id":5242382,"id":"Q5242382"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2c3ddf97433e838725143eb78a491424918c048c","datavalue":{"value":{"amount":"+0.7597618699073792","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q512200$55280F14-A662-420B-A8D4-D8FDAF134779","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c31ef67251f49cce7713ff1bc16ed853917e8a59","datavalue":{"value":{"entity-type":"item","numeric-id":789529,"id":"Q789529"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f852f4c5e9726b51e0c5352ab2a357d375021174","datavalue":{"value":{"amount":"+0.7586265206336975","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q512200$292146C2-85A1-411B-8A4C-60771033D2E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cb99e435a4f878d85f3869006d492c620bb31706","datavalue":{"value":{"entity-type":"item","numeric-id":912217,"id":"Q912217"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5c751d570cffbe4c2be3d70d9fec4bc20c3e8eb6","datavalue":{"value":{"amount":"+0.7584213018417358","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q512200$638756D9-998F-487B-8946-ED6859FDA012","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"72163fc06dfb4c77b0336afd5ea9d4a807802102","datavalue":{"value":{"entity-type":"item","numeric-id":810642,"id":"Q810642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"86d74cfc81b07895143434ecea57cc234394397f","datavalue":{"value":{"amount":"+0.754827082157135","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q512200$5B33B7BB-EBA0-4A24-988A-101D77ED63D5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Separators of ideals in multiplicative semigroups of unique factorization domains","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Separators_of_ideals_in_multiplicative_semigroups_of_unique_factorization_domains"}}}}}