{"entities":{"Q5894173":{"pageid":7932696,"ns":120,"title":"Item:Q5894173","lastrevid":51211859,"modified":"2026-01-17T06:38:43Z","type":"item","id":"Q5894173","labels":{"en":{"language":"en","value":"An embedding theorem"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5869011"}},"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":"Q5894173$7BDB422C-2B96-4A77-99F2-0C97125EA1D8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b3d31494bdd8bce95ed08b085a6b55a6a07bca7c","datavalue":{"value":{"text":"An embedding theorem","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5894173$48F79531-C774-40FD-B411-969870FD382A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7a77f61dec48b2b455c485b769e23e3e00c7f45b","datavalue":{"value":"1215.13008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5894173$832F89A6-9FA9-4FA3-BDFC-7015B152096E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"029e14b5922cf60bd84f783e7634619c75bd7be9","datavalue":{"value":{"entity-type":"item","numeric-id":161690,"id":"Q161690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5894173$5965F6CC-56B7-4E2B-B0FA-6FFB6D2E31A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6469524ef9e946132dd6016326e6e1086f98534f","datavalue":{"value":{"entity-type":"item","numeric-id":630848,"id":"Q630848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5894173$A5850A73-CD36-4AC1-A2D0-5DD60E34FDD1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"93541bb195a0809b1f249396bcebe99d047e6b6c","datavalue":{"value":{"entity-type":"item","numeric-id":161561,"id":"Q161561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5894173$EB87ADC0-26AA-40A5-98B2-AB2ED399D831","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ec164f2bfe48fa82cbe0f6953c3fa41144bb83e0","datavalue":{"value":{"time":"+2011-03-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5894173$B5750670-E72D-4584-B831-F7A9BA88B249","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"4539f7cd82406f46bcb2cc885910de147cbbd8f6","datavalue":{"value":"Let \\(M\\) be a commutative monoid written additively. Recall that \\(M\\) is \\textit{cancellative} if \\(a+b=a+c\\) implies \\(b=c\\), \\textit{reduced} if the only unit of \\(M\\) is \\(0\\), and \\textit{torsionfree} (or \\textit{torsionless}) if \\(na=nb\\) implies \\(a=b\\). An nonunit element \\(a\\) of a cancellative torsionfree monoid \\(M\\) is \\textit{irreducible} or an \\textit{atom} if \\(a=b+c\\) implies \\(b\\) or \\(c\\) is a unit of \\(M\\) and \\(M\\) is \\textit{atomic} if each nonunit of \\(M\\) is a sum of atoms. Given an atomic cancellative reduced torsionfree monoid \\(M\\) the authors construct an integral domain \\(T\\) whose atomic factorization structure is isomorphic to \\(M\\). In more detail, if \\(A\\) is the submonoid of the multiplicative monoid of nonzero elements of \\(T\\) generated by the irreducible elements of \\(T\\) and \\(U(T)\\) is the group of units of \\(T\\), then \\(A/U(T)\\) is isomorphic to \\(M\\). The domain \\(T\\) is obtained by applying a modification of a construction of \\textit{M. Roitman} [J. Pure Appl. Algebra 87, No. 2, 187--199 (1993; Zbl 0780.13014)] to the monoid domain \\(R[X;M]\\) where \\(R\\) is any integral domain. This is an interesting result that is not only philosophically interesting, but should be useful in constructing examples.  Reviewer's note: Lemma 3.1 may be more easily proved by observing that a cancellative torsionfree monoid can be totally ordered. In the statement of Theorem 3.3 \\( M \\) should be atomic. It is unclear from Definition 4.1 whether a CK-\\(n\\) domain is assumed to be atomic. Remark 4.2 assumes that the CK-\\(1\\) or CK-\\(2\\) domain in question is atomic, while Corollaries 4.4 and 4.5 speak of nonatomic CK-\\(n\\) domains.","type":"string"},"datatype":"string"},"type":"statement","id":"Q5894173$68703A1A-24A7-4EC8-8174-CEE9029B5A10","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a20487430c81f65093c255b3f6124eff3bb99c7b","datavalue":{"value":"13F15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5894173$35DCC930-5F9D-4D8F-B703-6E1B0446CAB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"380bf0750bc1b99470fda5e65fc6cdbb919acbe4","datavalue":{"value":"13A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5894173$B9508E24-0556-48C1-BD14-B501606A91C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0a110c7416e1228fed50bb2e0832c21a254df2cc","datavalue":{"value":"20M25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5894173$DC6D4374-9708-42E8-8F09-234373F066FD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b74f5c7ea600232a48ea5f6030f95acc9ef7a9ea","datavalue":{"value":"5869011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5894173$2A1A9468-6CC7-44BC-9E98-B9AFB798D039","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3246f3858dda197b7f92b2bdcaf032ceb8ba811e","datavalue":{"value":"atomic domain","type":"string"},"datatype":"string"},"type":"statement","id":"Q5894173$D0E02547-DEF8-4062-80E6-790B2217A305","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"46ee1779b49d6b715860b4cccf62dfb93dcd27c2","datavalue":{"value":"CK-domain","type":"string"},"datatype":"string"},"type":"statement","id":"Q5894173$AC8853AE-5656-47C3-87D3-729F2EB52DA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3184b11a31d7da69732803fd79ace03f08629407","datavalue":{"value":"factorization","type":"string"},"datatype":"string"},"type":"statement","id":"Q5894173$86057C72-E00E-4729-B623-8B6160544B6E","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"8a08c4f35e5c56edb6588d6526ae28acea702f78","datavalue":{"value":{"entity-type":"item","numeric-id":593297,"id":"Q593297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5894173$F790B62B-88CF-43F6-870B-8E6DCFDAFC0D","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":"Q5894173$607DB6B5-34B6-49EE-9AA0-2412CA0DD559","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"59b016b46d765e8032b2f68a1c22bd0c552e8b84","datavalue":{"value":"https://doi.org/10.1016/j.jalgebra.2010.08.026","type":"string"},"datatype":"url"},"type":"statement","id":"Q5894173$C8F7C34E-64AA-4DB1-903B-4E7C476A8CB9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"87c644243a2d83de4180deb2722252164f6a7135","datavalue":{"value":"W2090621888","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5894173$9A784A6C-82C0-44E4-A8D3-5EABD2EF20D6","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e0f2fd7d7e35c0509549fe87d29c5f3639f9447","datavalue":{"value":{"entity-type":"item","numeric-id":4370116,"id":"Q4370116"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5894173$2D0C3942-AABD-4FBE-8720-488CDAC5D614","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6593c1153aff27f0b883edf91e761da50ca4f6ea","datavalue":{"value":{"entity-type":"item","numeric-id":1188122,"id":"Q1188122"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5894173$641494B8-51A4-47BC-B681-1B057AC4C912","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e631a5c82936f8817198f485ff473005ed95300","datavalue":{"value":{"entity-type":"item","numeric-id":5894341,"id":"Q5894341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5894173$1863994C-3697-472D-BDE9-77CA16602D6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"20432f90264ad5f76ab8f1cc889a7149703c7ac1","datavalue":{"value":{"entity-type":"item","numeric-id":1434763,"id":"Q1434763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5894173$42CE2A64-98BE-48F6-86BE-728A9AE8692E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"63ec7adcdafaccd86ea3861b20301d76ce82189f","datavalue":{"value":{"entity-type":"item","numeric-id":3681045,"id":"Q3681045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5894173$D12821B9-4443-4730-814D-564C23E57B7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"116f3431118c98b1ed54861f85b56028162dc054","datavalue":{"value":{"entity-type":"item","numeric-id":4106670,"id":"Q4106670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5894173$B120AA84-A8AB-48ED-BFCA-83C767818288","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7949b3bec44d060497ccb5ae26e805409262f65a","datavalue":{"value":{"entity-type":"item","numeric-id":1838528,"id":"Q1838528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5894173$80F01622-4829-4A31-8C80-51E51CE74D09","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a65261ec649ad572ed7f6e7d999d7807dc377d70","datavalue":{"value":"10.1016/J.JALGEBRA.2010.08.026","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5894173$DA75901F-C843-41EA-8F3A-04B78B2845A2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3092abbb5d6cd1f377fecfe03e5be15ed2e2f411","datavalue":{"value":{"entity-type":"item","numeric-id":5500674,"id":"Q5500674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"10635b05232503d4e767d7b00b50b1f8ff877440","datavalue":{"value":{"amount":"+0.8124787211418152","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":"Q5894173$D78091BC-3119-42F7-AAF0-3BF90590D784","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1347bf86005349b453e6179540bf19c1a6abf1e8","datavalue":{"value":{"entity-type":"item","numeric-id":6116310,"id":"Q6116310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c304f1658ed2ba50d3266e8a4ca5a3cee74d5707","datavalue":{"value":{"amount":"+0.7448194622993469","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":"Q5894173$9426F151-A5C6-4F0E-A464-FD61F5575A65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"efe4696189caf7ec3be43fa208c3ad9101e3cf83","datavalue":{"value":{"entity-type":"item","numeric-id":2326438,"id":"Q2326438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1056993e64becf616a7de5fff07e3dd74a301401","datavalue":{"value":{"amount":"+0.7411080598831177","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":"Q5894173$0754945C-4005-4E1C-B773-FEFEB3EA94FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b875a415a1ae3063c384d59d1d7438f09741af1e","datavalue":{"value":{"entity-type":"item","numeric-id":2132471,"id":"Q2132471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e085f55a7888b47d2311b75ea3d3f3a527ffc42d","datavalue":{"value":{"amount":"+0.7409730553627014","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":"Q5894173$EE3A210A-4A12-481C-9FE8-6A889F6D619B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"41c2ea7050b3a2aa4dd6eb92bd224ccabde897e2","datavalue":{"value":{"entity-type":"item","numeric-id":989074,"id":"Q989074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5cd370096dffc23ee62c5e532a57b8458e17566c","datavalue":{"value":{"amount":"+0.738337516784668","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":"Q5894173$4508759C-C61F-4917-B84E-62DB4BF60909","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5894173","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5894173"}}}}}