{"entities":{"Q6955394":{"pageid":21235899,"ns":120,"title":"Item:Q6955394","lastrevid":104079017,"modified":"2026-06-06T09:02:33Z","type":"item","id":"Q6955394","labels":{"en":{"language":"en","value":"Totally             <i>\u03c3</i>             \u2013prime ideals and submodules"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8067468"}},"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":"Q6955394$BA4B5A29-1EBD-4C3D-8282-B2A9793FBD81","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"56f343097f27b6e7aeda552bf7bbdf0fcc8d4aeb","datavalue":{"value":{"text":"Totally             <i>\u03c3</i>             \u2013prime ideals and submodules","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6955394$180C75E9-1EEE-4E26-A669-8146527C8259","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1cde255ecef186c25943ad2ca9e03106b734075c","datavalue":{"value":"10.1080/00927872.2025.2469809","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6955394$0D4690EB-6D7B-42F7-96BB-DC4B257EF7D1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"66cb7c5e1889282a17ff05361e06f40e6150f529","datavalue":{"value":{"entity-type":"item","numeric-id":6892883,"id":"Q6892883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6955394$7A31A266-A7C7-4900-ABA3-EA43CA147773","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"52e55be96d21d2a20eeaae05da66f033eac725ba","datavalue":{"value":{"entity-type":"item","numeric-id":680716,"id":"Q680716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6955394$E1DB16CE-D63C-441B-B9F1-C86731647572","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"16d8b82490dec888c33b78fc39ab27b6597a4ee4","datavalue":{"value":{"entity-type":"item","numeric-id":2707874,"id":"Q2707874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6955394$CE4AE844-31A3-40AA-9BD5-93C1EB1893AE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c7708eac779f44b4809cc64889b8023704a65440","datavalue":{"value":{"time":"+2025-07-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":"Q6955394$83FB869F-96C6-41CE-935E-B2B63245AC50","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"d363448d9be1219eba31d20f45e5e85282d5b5f1","datavalue":{"value":"This paper introduces a refined notion of primality relative to a hereditary torsion theory \\(\\sigma\\) on modules over a commutative ring \\(A\\). An ideal \\(\\mathfrak a \\subseteq A\\) is defined to be \\textit{totally \\(\\sigma\\)-prime} if \\(\\mathfrak a \\notin \\mathcal L(\\sigma)\\) and there exists an ideal \\(\\mathfrak h \\in \\mathcal L(\\sigma)\\) such that for all \\(a,b \\in A\\), the condition \\(ab \\in \\mathfrak a\\) implies \\(a\\mathfrak h \\subseteq \\mathfrak a\\) or \\(b\\mathfrak h \\subseteq \\mathfrak a\\); this notion is extended to submodules \\(N \\subseteq M\\) by requiring that \\(M/N\\) is not totally \\(\\sigma\\)-torsion and that there exists \\(\\mathfrak h \\in \\mathcal L(\\sigma)\\) such that \\(ma \\in N\\) implies \\(m\\mathfrak h \\subseteq N\\) or \\(Ma\\mathfrak h \\subseteq N\\). A fundamental characterization is obtained in Proposition~2.5, where the authors prove that an ideal \\(\\mathfrak a\\) is totally \\(\\sigma\\)-prime if and only if its \\(\\sigma\\)-closure satisfies \\(\\mathrm{Cl}_{\\sigma}^{A}(\\mathfrak a) = (\\mathfrak a : \\mathfrak h)\\) and is a prime ideal for some \\(\\mathfrak h \\in \\mathcal L(\\sigma)\\); the corresponding module version is established in Proposition~5.5, showing that a submodule \\(N \\subseteq M\\) is totally \\(\\sigma\\)-prime if and only if \\((N : \\mathfrak h)\\) is a prime submodule for some \\(\\mathfrak h \\in \\mathcal L(\\sigma)\\). The structural behavior of totally \\(\\sigma\\)-prime ideals is clarified in Theorem~2.8, which asserts that every such ideal \\(\\mathfrak a\\) satisfies \\(\\mathfrak p \\mathfrak h \\subseteq \\mathfrak a \\subseteq \\mathfrak p\\) for some \\(\\sigma\\)-closed prime ideal \\(\\mathfrak p \\in \\mathcal K(\\sigma)\\) and some \\(\\mathfrak h \\in \\mathcal L(\\sigma)\\), thereby providing a precise geometric description of their position inside \\(\\mathrm{Spec}(A)\\). In the noetherian context, Theorem~3.5 establishes that if \\(A\\) is totally \\(\\sigma\\)-noetherian, then every ideal \\(\\mathfrak c \\notin \\mathcal L(\\sigma)\\) admits only finitely many minimal totally \\(\\sigma\\)-prime ideals above it, extending classical finiteness results from primary decomposition to the relative torsion-theoretic setting. Furthermore, a Cohen-type characterization is proved in Theorem~3.3, where the authors show that \\(A\\) is totally \\(\\sigma\\)-noetherian if and only if every totally \\(\\sigma\\)-prime ideal of \\(A\\) is totally \\(\\sigma\\)-finitely generated; the corresponding module-theoretic analogue is established in Theorem~5.14, generalizing earlier results on \\(S\\)-noetherian rings and modules. Finally, the interaction between total \\(\\sigma\\)-primeness and torsion theory is elucidated in Theorem~6.8, which characterizes totally \\(\\sigma\\)-prime modules \\(M\\) by the conditions that \\(\\sigma M\\) is totally \\(\\sigma\\)-torsion and that the quotient module \\(M/\\sigma M\\) is prime, thereby linking the new notion of primeness to classical primeness modulo torsion.","type":"string"},"datatype":"string"},"type":"statement","id":"Q6955394$83E88A3D-1344-4357-8437-A4EE75E88B43","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"57a49028ac5303ba7c626df228118a5b12cdb42f","datavalue":{"value":{"entity-type":"item","numeric-id":784767,"id":"Q784767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6955394$FD2A2DDE-01BD-416D-908D-6302C353C47F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ec1d0db78fd74c443a01310455d9419f80930f5d","datavalue":{"value":"13E05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6955394$54E4F882-30EF-4A37-ACA8-CB4D52822904","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b04ab775de712b60a25a5a3eaf1e008a1a5c7849","datavalue":{"value":"13E10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6955394$0139B0A5-388C-4F84-8418-315852E1CDA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0cf2cda5e8c0b6627ca21fea54e8e5c419db07f2","datavalue":{"value":"13C12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6955394$70D074A9-001C-4505-8F4B-76858C6DBB94","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c2e372d61f7c71f7ae455eece6b021e87cbb5ddb","datavalue":{"value":"8067468","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6955394$C2BC7512-5937-4CB3-90D9-08DEDF7689C9","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":"Q6955394$9E7180A5-3256-4A6A-93EA-AFFC5FDBCC53","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"cfdf5264ec964eb98d57505412369e326a6d1a03","datavalue":{"value":{"entity-type":"item","numeric-id":4792641,"id":"Q4792641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6955394$6EADB6F0-879B-4085-8433-9C44A50C71B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c19566f54ff200e4f8ca1afbda8361bb4d591c1","datavalue":{"value":{"entity-type":"item","numeric-id":3804856,"id":"Q3804856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6955394$33209B24-6BE6-44AB-BEB0-B050B5FD3759","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12afde0c8e87b0876dd85a9bc8cbdb397ed33509","datavalue":{"value":{"entity-type":"item","numeric-id":784769,"id":"Q784769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6955394$B8D6C43C-F967-4D77-8540-ABE20E724428","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df5ef0c46aebcaf8c17516b415b729865341efcf","datavalue":{"value":{"entity-type":"item","numeric-id":5856783,"id":"Q5856783"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6955394$4869A4A5-AD8D-4C13-961E-8FAFD4A6FBFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e5e828739a76e8dffd615e299acc407d794083a","datavalue":{"value":{"entity-type":"item","numeric-id":6047982,"id":"Q6047982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6955394$6A833088-E5D3-482B-8F05-8D35D0356732","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5daa9517a4d065c8a1dc059d7d12b2c8a0878746","datavalue":{"value":{"entity-type":"item","numeric-id":5743037,"id":"Q5743037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6955394$660DD273-4EF4-4AE3-927E-9D1A2D6A2E77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce18383aa0fb35992209892ecc8afc0d8f83ea5d","datavalue":{"value":{"entity-type":"item","numeric-id":4049223,"id":"Q4049223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6955394$D9495651-B4FA-4E3A-8709-B98BE85E99E5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6955394","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6955394"}}}}}