{"entities":{"Q1789655":{"pageid":1800397,"ns":120,"title":"Item:Q1789655","lastrevid":68958600,"modified":"2026-04-13T03:22:14Z","type":"item","id":"Q1789655","labels":{"en":{"language":"en","value":"An example of an atomic pullback without the ACCP"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6950418"}},"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":"Q1789655$FE10481C-2298-4CFC-8809-15BA3E632EEE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"78a066f2b36734426036cea968e27475da157e3f","datavalue":{"value":{"text":"An example of an atomic pullback without the ACCP","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1789655$4E5015A3-3B89-4354-B13D-F735FBE68C1F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a914d45ed03e8bd9483f94608afbe7716dda879e","datavalue":{"value":"1403.13032","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1789655$6115CD5C-AD9A-44BF-A2B0-F4353255AD35","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7800c93c942ac0974eb1427f5371c88a56a6c9d5","datavalue":{"value":{"entity-type":"item","numeric-id":952556,"id":"Q952556"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1789655$87F0AE73-95F1-477C-A26E-0AEF7A15B218","rank":"normal"},{"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":"Q1789655$53D61C0B-7DD1-4F4C-9074-F92E3D71A5E8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"34a2791b3d9645796ba9cdff19dd05bcf40f0161","datavalue":{"value":{"entity-type":"item","numeric-id":168348,"id":"Q168348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1789655$821A3387-77DC-47DA-ACC1-3FE01F22CAE3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9a9a21eafa993b72759052108b216b22ca406dd9","datavalue":{"value":{"time":"+2018-10-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1789655$7327DFBB-87D9-469F-A62D-FA6A4826037E","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"46acce3d94640e344737ea4c08b35a4a949f4aff","datavalue":{"value":"An integral domain is \\textit{atomic} if every nonzero nonunit is a product of irreducible elements. \\textit{P. M. Cohn} [Proc. Camb. Philos. Soc. 64, 251--264 (1968; Zbl 0157.08401)] observed that a domain satisfying the ascending chain condition on principal ideals (ACCP) is atomic, but incorrectly asserted that the converse was also true. Shortly afterwards, Grams constructed the first example of an atomic domain without the ACCP [\\textit{A. Grams}, Proc. Camb. Philos. Soc. 75, 321--329 (1974; Zbl 0287.13002)]. The main purpose of the paper under review is to describe a new method of creating atomic domains without the ACCP, using a novel approach with a pullback construction that is in some ways simpler than previous methods. Even now that the existence of atomic domains without the ACCP is well known, new methods of constructing such domains still hold interest as potential sources of counterexamples to assertions about the atomic property. For instance, \\textit{M. Roitman} [J. Pure Appl. Algebra 87, No. 2, 187--199 (1993; Zbl 0780.13014)] produced an example of an atomic domain \\(D\\) with \\(D[X]\\) not atomic -- such a domain necessarily fails the ACCP. More recently, the reviewer [Rocky Mt. J. Math. 44, No. 1, 139--155 (2014; Zbl 1296.13003)] adapted Roitman's construction to create an example of an atomic domain that is not a comaximal factorization domain (as defined in [\\textit{S. McAdam} and \\textit{R. G. Swan}, J. Algebra 276, No. 1, 180--192 (2004; Zbl 1081.13008)]) -- again any such example must fail the ACCP.  The following is the specific pullback construction investigated in the paper under review. Let \\(D\\) be a domain with quotient field \\(K \\neq D\\) and \\((v_1),\\ldots,(v_r)\\) be distinct maximal ideals of \\(K[X]\\). For \\(1 \\leq i \\leq r\\), let \\(\\theta_i\\) be a root of \\(v_i\\) and \\(D_i\\) be a non-field overring of \\(D[\\theta_i]\\). Then \\(R := \\{g(x) \\in K[X] \\mid \\text{each } g(\\theta_i) \\in D_i\\}\\) is a domain properly between \\(D[X]\\) and \\(K[X]\\) that fails the ACCP. The authors prove necessary and sufficient conditions for \\(R\\) to be atomic, then use these results to produce a (relatively) simple example of an atomic domain without the ACCP.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1789655$45F74A66-D517-4B75-92BA-E38E1135681D","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"980e4fad6b5ee765eebd37e81cda383a0fc18316","datavalue":{"value":{"entity-type":"item","numeric-id":1746479,"id":"Q1746479"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1789655$ED32BC5F-A615-4F78-81CF-0003B28748B9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a20487430c81f65093c255b3f6124eff3bb99c7b","datavalue":{"value":"13F15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1789655$854A201D-0B66-43E1-8D55-5420D25198E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"380bf0750bc1b99470fda5e65fc6cdbb919acbe4","datavalue":{"value":"13A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1789655$C3315064-5D6E-45CA-80EF-23FCF27D3BDC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"61eabaffa14f299d2c94959a66c6e47260d683f2","datavalue":{"value":"6950418","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1789655$34A99A2C-53FD-427F-88DA-E425BED1B674","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3184b11a31d7da69732803fd79ace03f08629407","datavalue":{"value":"factorization","type":"string"},"datatype":"string"},"type":"statement","id":"Q1789655$5AED08CC-A581-40B9-A967-0EBFBB70447F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3246f3858dda197b7f92b2bdcaf032ceb8ba811e","datavalue":{"value":"atomic domain","type":"string"},"datatype":"string"},"type":"statement","id":"Q1789655$36214F6C-675E-438C-A2A5-3A69196228E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"51327d0c1d74b6af0f5d7047a69ad1d7e6fd6d9e","datavalue":{"value":"ACCP","type":"string"},"datatype":"string"},"type":"statement","id":"Q1789655$F1B2D7A0-B09E-45CD-946A-F26D7671B40A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"74201a07185bc50d351afc9ff709dbf7fb28925f","datavalue":{"value":"pullback","type":"string"},"datatype":"string"},"type":"statement","id":"Q1789655$4301A5D4-567B-4DDD-9921-4AC5960F5F28","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":"Q1789655$213F5FD3-3F8E-41A9-BC90-2CD8B72DCD1B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"84679487a3c3a214ca5a8659059e42e935e4704b","datavalue":{"value":"https://doi.org/10.1016/j.jpaa.2018.04.010","type":"string"},"datatype":"url"},"type":"statement","id":"Q1789655$DD8AD95C-EFAC-4EE1-A204-C587E5040C7A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3572c1578791e6bb60e284253f4d7988d5d5cdd5","datavalue":{"value":"W2800529402","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1789655$4985C78E-FEB3-42E5-952A-358DAFD4BEB6","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d995f161cf06ff5bef77e9d5655efa6807235e29","datavalue":{"value":{"entity-type":"item","numeric-id":4370118,"id":"Q4370118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1789655$B92DD21B-3585-4BB4-92D4-43422C9457F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f0d8b7c985b624cd6bded9e4b46d3ff0ce6edcf8","datavalue":{"value":{"entity-type":"item","numeric-id":5423795,"id":"Q5423795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1789655$3C4C277F-E25F-4E55-BC9D-E6819291A142","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff18dab324bccc8937d9e8f6c557fd813c8d857d","datavalue":{"value":{"entity-type":"item","numeric-id":4899809,"id":"Q4899809"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1789655$10EF7AE7-6855-47ED-9949-59CBB4E8AB1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e0c7627a5a317a81c289ebccda4da335a9bd731c","datavalue":{"value":{"entity-type":"item","numeric-id":818716,"id":"Q818716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1789655$5560389B-6FC8-4243-BE09-59D7B0054E7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0248f84682cf305fb81d98072b617eea30d1283f","datavalue":{"value":{"entity-type":"item","numeric-id":2785478,"id":"Q2785478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1789655$9090EF19-3DB2-479E-873F-54F89FB3A231","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47166df29aed0a2b7325723912b654e43791ba64","datavalue":{"value":{"entity-type":"item","numeric-id":2929527,"id":"Q2929527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1789655$4B79C3F7-35F5-45F1-91A7-F90A7E7968A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be8d01f61bc85e45b6ab127b30a7dc61eda1a845","datavalue":{"value":{"entity-type":"item","numeric-id":1614936,"id":"Q1614936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1789655$EC52061F-8673-4318-A980-98313BEF8511","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5aa9ad240d67fcc7820405048f9c65d9fa74d9c6","datavalue":{"value":{"entity-type":"item","numeric-id":2505581,"id":"Q2505581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1789655$096AB5CF-D3A1-4C7E-8B37-8ADC69CF522D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a4d64a36dbf9e0f8724e0bd2c8f37db2d5b636f2","datavalue":{"value":{"entity-type":"item","numeric-id":5539062,"id":"Q5539062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1789655$37500EAC-7AAD-4F69-A828-8D9C8590F19C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"262208faace3cbe5efe1ece3c596e0271e292632","datavalue":{"value":{"entity-type":"item","numeric-id":5479982,"id":"Q5479982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1789655$0F574F5B-66F2-4343-BD34-12A7A9B2ADBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c66dea181f12fed2a9e1944aa5b0dacafe5ff73","datavalue":{"value":{"entity-type":"item","numeric-id":4773810,"id":"Q4773810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1789655$372F597D-9004-46F8-B8B6-97BBC4F34A33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d797b9b704c8e15a601e6d3c841df51eda8cc8fc","datavalue":{"value":{"entity-type":"item","numeric-id":2752915,"id":"Q2752915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1789655$C58A2298-8917-44B9-B378-4A3233115A02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"940877da8d3478e934bbfd6f3a73b08725de6fb4","datavalue":{"value":{"entity-type":"item","numeric-id":1244270,"id":"Q1244270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1789655$C5408ABA-4EC1-4E8D-9EBF-DB3A52414E58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c0500f8580c7926a58c60d9445df6d009e555042","datavalue":{"value":{"entity-type":"item","numeric-id":3728115,"id":"Q3728115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1789655$230423F6-3F29-4FEA-BCCB-89C76B1EB0B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ea96e274c8b9b51c2cd5bc869eb0c9249dce3e1","datavalue":{"value":{"entity-type":"item","numeric-id":2367207,"id":"Q2367207"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1789655$51CDFA1E-FAF2-4C47-B1F4-1075F4066651","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"620d3b3a851e1b6fe8c0dc2ba998b12ae83f025b","datavalue":{"value":{"entity-type":"item","numeric-id":1163599,"id":"Q1163599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1789655$8FF8BDFC-1196-480C-819B-0C662DA19601","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"06d93d24f2ce8c8d459091b39ed4a923f4856525","datavalue":{"value":"Q129925008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1789655$A6721BF0-0E8F-4899-B6AC-D24A0381F039","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9c12ef3953353c048c614592c742a5b444bf1047","datavalue":{"value":"10.1016/J.JPAA.2018.04.010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1789655$21D6E9D5-B10D-4283-BF41-A86A0168C010","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0bfe987267373bcb9de29859af9473cb899c81e9","datavalue":{"value":{"entity-type":"item","numeric-id":5889212,"id":"Q5889212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d1b484503a85c655b4d090e70b96004371792203","datavalue":{"value":{"amount":"+0.8054029941558838","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":"Q1789655$126FB62A-3FEF-4FC3-A55C-D5D9E8516927","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"359de7efef296410accf0cc21024d1f430e9a4a9","datavalue":{"value":{"entity-type":"item","numeric-id":4899809,"id":"Q4899809"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5e9010fb30aead20d8a41f1751b8be32ee71d6f2","datavalue":{"value":{"amount":"+0.7726334929466248","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":"Q1789655$C194FE8D-60ED-4B00-AF03-4FEA721E848B","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":"dbc4749b784ea1375b5aab08c755b0360c9c40d3","datavalue":{"value":{"amount":"+0.7637917995452881","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":"Q1789655$F4385A46-6EE2-45A4-8858-354800F79D27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3996fcefe6d7eeee987bafaaae4e291c12ddf852","datavalue":{"value":{"entity-type":"item","numeric-id":2367207,"id":"Q2367207"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"26227543734db6e61a7186d5ba568fb1702c4fb9","datavalue":{"value":{"amount":"+0.7622142434120178","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":"Q1789655$827EA4C7-5739-4200-A94A-BA3962758768","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f7839bb9f6d51815a88df2ed937ec6005645e7b6","datavalue":{"value":{"entity-type":"item","numeric-id":4533254,"id":"Q4533254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cf35b751f275f0d4d47a0dd82e8688b63566ce8e","datavalue":{"value":{"amount":"+0.7610710859298706","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":"Q1789655$569BA7C3-D971-45E3-B25A-9E44DFAAD41F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An example of an atomic pullback without the ACCP","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/An_example_of_an_atomic_pullback_without_the_ACCP"}}}}}