{"entities":{"Q2453636":{"pageid":2464379,"ns":120,"title":"Item:Q2453636","lastrevid":52012790,"modified":"2026-01-20T18:21:07Z","type":"item","id":"Q2453636","labels":{"en":{"language":"en","value":"Two counterexamples in abstract factorization"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6302212"}},"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":"Q2453636$C8CF23C7-D53B-40A6-A72B-5F6A2B76EBC6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b67ea08768092b27ba83778bf55dbcdef9d0bf2d","datavalue":{"value":{"text":"Two counterexamples in abstract factorization","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2453636$8BAFD567-0AE6-4006-88D2-82C990781FB9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5cd30e5c7f21d97b4046bbe0db5f1e3247ad6327","datavalue":{"value":"1296.13003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2453636$B15C757B-272C-4083-8F1C-01B67F3E5F72","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8d10a3f99876a6557fbb2835e0d1ef0ad9508cfa","datavalue":{"value":"10.1216/RMJ-2014-44-1-139","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2453636$514248C9-137A-4E50-86F1-0DE12440E893","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"888d66f85e95ff028dc76016f66e1e606acc068b","datavalue":{"value":{"entity-type":"item","numeric-id":1746479,"id":"Q1746479"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2453636$F6117D39-572E-4B48-BB9B-476B74A31A4A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3c56016573ce7bfe3075a77ec18be101169a3439","datavalue":{"value":{"entity-type":"item","numeric-id":168778,"id":"Q168778"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2453636$88C46A87-1357-400F-A055-27775263633A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7deb189b65cc3fc27b859d71d92363347a0068f0","datavalue":{"value":{"time":"+2014-06-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":"Q2453636$7BD79783-B047-49B8-A795-B31358DDCDA3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"62d5f5fa97ee512b9ea0bbb0aa7fa3cb29c8b95f","datavalue":{"value":"https://projecteuclid.org/euclid.rmjm/1401740495","type":"string"},"datatype":"url"},"type":"statement","id":"Q2453636$C46A5BFB-A45C-49F7-A892-9508D8408166","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"525c297f76a80d2e659ba134dd5776f1fd0d3d73","datavalue":{"value":"The author is able to answer several open questions posed in [\\textit{D. D. Anderson} and \\textit{A. M. Frazier}, Rocky Mt. J. Math. 41, No. 3, 663--705 (2011; Zbl 1228.13001)] by way of providing counter-examples. Along the way, author also supplies a simplified proof of a theorem from the same article that for \\(\\tau\\)-divisive a UFD is a \\(\\tau\\)-UFD. Moreover, there is a construction of an integral domain with no pseudo-irreducible elements.  Let \\(D\\) be an integral domain and \\(\\tau\\) is a symmetric relation on \\(D^{\\#}\\), the non-zero, non-units of \\(D\\). The relation \\(\\tau\\) is said to be divisive if whenever \\(a, a', b, b' \\in D^{\\#}\\), \\(a' \\mid a\\) and \\(b' \\mid b\\), we have \\(a \\tau b \\Rightarrow a' \\mid b'\\). A \\(\\tau\\)-factorization is a factorization of the form \\(a=\\lambda a_1 \\cdots a_n\\) where \\(a, a_i \\in D^{\\#}\\) and \\(\\lambda\\) is a unit and \\(a_i \\tau a_j\\) for all \\(i \\neq j\\). Then \\(a\\in D^{\\#}\\) is said to be \\(\\tau\\)-atomic if the only \\(\\tau\\)-factorizations have length \\(1\\). A non-zero, non-unit is said to be \\(\\tau\\)-prime if when it divides a \\(\\tau\\)-factorization, it divides one of the \\(\\tau\\)-factors. A domain \\(D\\) is said to be \\(\\tau\\)-atomic if every non-zero, non-unit has a factorization into \\(\\tau\\)-atomic elements. \\(D\\) is said to be a \\(\\tau\\)-UFD if (1) \\(D\\) is \\(\\tau\\)-atomic and (2) any two \\(\\tau\\)-atomic factorizations of a non-zero, non-unit must be the same up to rearrangement and associate. When \\(\\tau_d\\) is defined by \\(a \\tau_d b\\) if \\((a,b)=D\\) i.e. when \\(a\\) and \\(b\\) are co-maximal, then \\(\\tau_d\\)-atoms are precisely the pseudo-irreducible elements studied in [\\textit{S. McAdam} and \\textit{R. G. Swan}, J. Algebra 276, No. 1, 180--192 (2004; Zbl 1081.13008)]. In this case, a co-maximal factorization domain is precisely a \\(\\tau_d\\)-atomic domain.  Now that we have defined the terms, we can say the main purpose of the article is to demonstrate the following: (1) an atomic domain need not be \\(\\tau\\)-atomic, even when \\(\\tau\\) is divisive, (2) an atomic domain need not be a co-maximal factorization domain and (3) with \\(\\tau\\) being divisive in a \\(\\tau\\)-UFD, a non-zero, non-unit need not have a \\(\\tau\\)-factorization into \\(\\tau\\)-prime elements. Along the way to constructing counter-examples to demonstrate these three statements, there is a construction of integral domains with no pseudo-irreducible elements. This is an interesting analogue of the anti-matter domains, where there are no irreducible elements studied in [\\textit{J. Coykendall} et al., Commun. Algebra 27, No. 12, 5813--5831 (1999; Zbl 0990.13015)].","type":"string"},"datatype":"string"},"type":"statement","id":"Q2453636$3E361044-8146-4B73-86BD-73DD4D4A4865","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"380bf0750bc1b99470fda5e65fc6cdbb919acbe4","datavalue":{"value":"13A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2453636$C9EA65C2-23C7-43AD-B269-0F4F1AB8B280","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a20487430c81f65093c255b3f6124eff3bb99c7b","datavalue":{"value":"13F15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2453636$FF03DE26-FA60-4C17-8E58-B8914E9B8FAD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c22319a624918db1e67cd8d4d929d051a7436d40","datavalue":{"value":"6302212","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2453636$C3968CDA-0C05-49DE-881C-12D2A1D8D15A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3184b11a31d7da69732803fd79ace03f08629407","datavalue":{"value":"factorization","type":"string"},"datatype":"string"},"type":"statement","id":"Q2453636$EED02EE7-CB38-4B9E-9A7E-BAA7F192D1DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7ac5c18f5ac2f3fab48991479471a01572b3b4d8","datavalue":{"value":"comaximal factorization","type":"string"},"datatype":"string"},"type":"statement","id":"Q2453636$976D4FDF-D6AD-4132-9B67-885FF36279D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f120c1231aa86fb235cab08dadf24f721bdc91ac","datavalue":{"value":"\\(\\tau\\)-factorization","type":"string"},"datatype":"string"},"type":"statement","id":"Q2453636$0FD514D6-5112-4DFE-83CD-03868364617F","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"583f77c2cd2811031d3cdfc9f31fbb018134cf81","datavalue":{"value":{"entity-type":"item","numeric-id":292465,"id":"Q292465"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2453636$51653D5D-DEFA-499B-AD79-5EEEB8CE65EC","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":"Q2453636$AABE3CB3-B336-47CE-8688-ADCBFBDC5000","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"53198a5a7a77d524a0fa327a6d014aae3b618d8b","datavalue":{"value":"Q124815878","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2453636$4EC6817B-DE2A-47C1-AF37-1E34D4BB240D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0002afb4187c5a96259133c55e6b618c0eee50ba","datavalue":{"value":{"entity-type":"item","numeric-id":803211,"id":"Q803211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2453636$FC5EFFA3-E580-469C-9643-0B334C01C8DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"218f829e14c239270c40353179dbcd994ede2a29","datavalue":{"value":{"entity-type":"item","numeric-id":5426307,"id":"Q5426307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2453636$62F32B37-6C2C-42B6-9F5B-E9536FFC7E1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35ab0391c0f666b1d8e92feaab99b97268b1d248","datavalue":{"value":{"entity-type":"item","numeric-id":633909,"id":"Q633909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2453636$3057F1BC-6243-40E3-BF93-2FCBF7DEC622","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1333371766af610969d04452b3f28cb8e6d2a48a","datavalue":{"value":{"entity-type":"item","numeric-id":1925576,"id":"Q1925576"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2453636$7EF9C886-3025-4C79-B668-6AFD55300AC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dfb89eae2f24f43db245e8f634046ab04d772ef0","datavalue":{"value":{"entity-type":"item","numeric-id":4343537,"id":"Q4343537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2453636$1D722056-42B1-4399-84E2-1C0FF9587A4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e3e174fc93219dfe60cb8a25b1adc92347b3997","datavalue":{"value":{"entity-type":"item","numeric-id":4934104,"id":"Q4934104"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2453636$E5594C3A-DA04-4E94-A1A4-7F3C50B3D039","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":"Q2453636$B3B42284-F085-4C15-A037-3C316405AE0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b2635664b99708f62090d65aff708dc47b9c0c1","datavalue":{"value":{"entity-type":"item","numeric-id":1883054,"id":"Q1883054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2453636$92652D40-C365-4926-8AC0-CB140ED49B40","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":"Q2453636$1CEB75A7-6BE7-498B-90C6-6160BA0DBC68","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fbf908b2110965a4852f7b9102a9b7596f4410cb","datavalue":{"value":{"entity-type":"item","numeric-id":633909,"id":"Q633909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9166fcbfe7e63c294a417f902acefd5f5b84747f","datavalue":{"value":{"amount":"+0.7425963282585144","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":"Q2453636$0E84A672-96D8-4194-8616-7AE7A7255053","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"87d357837841b82005e8c6f3c3e7285fbb91dd95","datavalue":{"value":{"entity-type":"item","numeric-id":1434763,"id":"Q1434763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ca809a6a6a4d1e1846712dc73fa37ef1ae3a4cce","datavalue":{"value":{"amount":"+0.7399151921272278","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":"Q2453636$D114EAF4-0C2B-47DD-9B5B-29F995AF46D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b3925b93d10a05395916defb2fb1bf9e6ab55f15","datavalue":{"value":{"entity-type":"item","numeric-id":5227769,"id":"Q5227769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"636cef18df3049225e32471e48cb74171381baf4","datavalue":{"value":{"amount":"+0.7302589416503906","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":"Q2453636$4A43104E-14E7-44CC-9976-61CC2EEB57F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c6fd3829685d32e45112170f3f715190d8025516","datavalue":{"value":{"entity-type":"item","numeric-id":3079294,"id":"Q3079294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f22538ec60ddfdb89f46588549519613b01316be","datavalue":{"value":{"amount":"+0.7235859036445618","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":"Q2453636$F35F1B8D-14D9-4F1A-BAC6-75D229B59B0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4aa2da118bee3212301095b199ac624d59ec76e9","datavalue":{"value":{"entity-type":"item","numeric-id":1925576,"id":"Q1925576"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ba195665a87d9e710e1c6d706b1d965dfa201042","datavalue":{"value":{"amount":"+0.7209810614585876","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":"Q2453636$2C4C67DE-F805-4B4A-A691-73EBDD7F93C3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2453636","badges":[]}}}}}