{"entities":{"Q1115944":{"pageid":1126693,"ns":120,"title":"Item:Q1115944","lastrevid":66158541,"modified":"2026-04-12T07:56:38Z","type":"item","id":"Q1115944","labels":{"en":{"language":"en","value":"On h-divisible QTAG-module"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4087866"}},"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":"Q1115944$A55DA1E5-E4A4-4404-8190-5D1DDCF2B2D7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a6126aba91a45b05a1867342dd1de5af92c4db12","datavalue":{"value":{"text":"On h-divisible QTAG-module","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1115944$F4FA74A8-701B-49B7-A178-ED1B32C03E68","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3c9223fe3fcf8ef0ce85cf261a459ecd55914dfc","datavalue":{"value":"0665.16017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1115944$C8E710B1-6C1A-4DCA-A846-AF8C258E3F63","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"972b34c7c9623b04675df6c27b0a598f403e45d9","datavalue":{"value":"10.1007/BF01197968","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1115944$F0E98740-C563-4A07-A43F-62647CB7B41C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"acaf52acba413b2b49fe58775c4b0bf31905afd0","datavalue":{"value":{"entity-type":"item","numeric-id":1115942,"id":"Q1115942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1115944$1EF9BA47-C08E-444C-9293-1E830C5375DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d3e521d93b0cca9826b4b5307516c34a4bf35281","datavalue":{"value":{"entity-type":"item","numeric-id":2130436,"id":"Q2130436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1115944$EB791963-5A60-497E-A1A8-8C81527B686E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"db22232807c795272dc3a83fabf3be514df44f25","datavalue":{"value":{"entity-type":"item","numeric-id":166039,"id":"Q166039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1115944$841B4077-97A4-4529-B3CE-1ED0E24795D9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7211ad5ca16eb0d22cd0051fff3d0f3af254ceb6","datavalue":{"value":{"time":"+1989-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1115944$5B39EB21-1EC9-4982-B09B-7E502A225122","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"1189d9b8842be05ab2e3d7336e57daf918bb50dc","datavalue":{"value":"A unital module \\(M_ R\\) is called QTAG-module if every finitely generated submodule of every homomorphic image of \\(M_ R\\) is a direct sum of uniserial modules. For any uniform element \\(x\\in M\\), \\(d(xR)\\), the composition length of \\(xR\\), is called exponent of \\(x\\) and is denoted as \\(e(x)\\) and \\(\\text{Sup}\\{d(yR/xR)\\mid yR\\) is uniserial module with \\(x\\in yR\\}\\) is called height of \\(x\\) and is denoted as \\(H_ M(x)\\) or simply \\(H(x)\\). For any integer \\(n\\geq 0\\), \\(H_ n(M)\\) is defined as the submodule of \\(M_ R\\), containing elements of height \\(\\geq n\\) and \\(M^ 1\\) denotes the submodule containing elements of infinite height. A submodule \\(N\\) of \\(M_ R\\) is called h-pure if \\(H_ n(N)=N\\cap H_ n(M)\\) for all \\(n\\geq 0\\) and \\(N\\) is called h-neat in \\(M_ R\\) if \\(N\\cap H_ 1(M)=H_ 1(N)\\). The module \\(M_ R\\) is called h-divisible if \\(H_ 1(M)=M_ R\\). If \\(N\\) is an h-neat submodule of a QTAG-module \\(M_ R\\) such that \\(\\text{Soc}(N)\\oplus\\text{Soc}(T)=\\text{Soc}(M)\\) then \\(N\\) is a complement of \\(T\\). If \\(N\\) is a submodule of QTAG-module \\(M_ R\\) such that \\(M/K\\) is h-divisible for every complement \\(K\\) of \\(N\\) in \\(M_ R\\) then 1) \\(M/T\\) is h-divisible for any complement \\(T\\) of any submodule \\(U\\) of \\(N\\); 2) \\(\\text{Soc}(N)\\subseteq M^ 1\\).   Theorem 1. Let \\(M_ R\\) be a QTAG-module and \\(S\\) be a subsocle of \\(M_ R\\) with \\(\\text{Soc}(M)=S+\\text{Soc}(H_ n(M))\\) for every \\(n\\geq 0\\). Then there exists an h-pure submodule \\(N\\) of \\(M_ R\\) such that \\(S=\\text{Soc}(N)\\) and \\(M/N\\) is h-divisible. Corollary 2. Let \\(M_ R\\) be a QTAG-module. 1) If \\(N\\) is a submodule of \\(M^ 1\\) then every complement \\(K\\) of \\(N\\) is h-pure and \\(M/K\\) is h-divisible. 2) If \\(N\\) is a submodule of \\(M_ R\\) then \\(M/K\\) is h-divisible for every complement \\(K\\) of \\(N\\) if and only if \\(\\text{Soc}(N)\\subseteq M^ 1\\).   The main result of the paper is the following Theorem 3. i) If \\(K\\) is a submodule of a QTAG-module \\(M_ R\\) and \\(S\\) is a subsocle of \\(M_ R\\) with \\(S\\subseteq\\text{Soc}(K)\\) then \\(K/S\\) is a complement of \\(\\text{Soc}(M)/S\\) in \\(M/S\\) if and only if \\(\\text{Soc}(K)=S\\) and \\(K\\) is h-neat in \\(M_ R\\). ii) If \\(K\\) is an h-neat submodule of QTAG-module \\(M_ R\\) then \\(M_ R=K+H_ n(M)\\) for every \\(n\\geq 0\\) if and only if \\(\\text{Soc}(M)=\\text{Soc}(K)+\\text{Soc}(H_ n(M))\\) for every \\(n\\geq 0\\). (ii) generalizes Theorem 10 of \\textit{K. Benabdallah}, \\textit{J. M. Irwin} and \\textit{M. Rafiq} [Arch. Math. 25, 29-34 (1974; Zbl 0279.20042)].","type":"string"},"datatype":"string"},"type":"statement","id":"Q1115944$EF9C32F4-C2E3-46F0-83B6-0053A3231D81","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a645c4c40cf7bcf55be756f00848fdc03e3d081b","datavalue":{"value":"16D80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1115944$FE5D5824-1F2D-4D1E-963F-990632D73F28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1dee8e7847b4ea1ec0c89cb2093a26d38c393e9c","datavalue":{"value":"16D70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1115944$EF3F4173-8AD7-4288-905F-077F69157EB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"291b81c5154e0c4a5e2a3ce3c8448d5a76e58f07","datavalue":{"value":"16Gxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1115944$125DF981-FE2A-4EA2-B01A-D266F7FCC510","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c764c2b3f5f6c43927ae59443e66c99ab4feec12","datavalue":{"value":"4087866","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1115944$E835A103-41D5-47CA-890C-734900DF11CD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"58634c609caac8374576605cf86f91a0ec280518","datavalue":{"value":"unital modules","type":"string"},"datatype":"string"},"type":"statement","id":"Q1115944$CCC7E72E-9033-4340-9431-5615B2DA9A0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8baa627e6ed33b0498a8632a18b758172ecef3d4","datavalue":{"value":"QTAG-modules","type":"string"},"datatype":"string"},"type":"statement","id":"Q1115944$F7766BA2-04A3-4A99-9A08-0213498F7D71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"afa61bb93e8c0646475d329e2a28119f9eb77809","datavalue":{"value":"direct sums of uniserial modules","type":"string"},"datatype":"string"},"type":"statement","id":"Q1115944$A786A29B-DE56-4D71-BA92-0CD53CC9BF97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ede3bdbb8868b1ccc7645011f001d4194982b089","datavalue":{"value":"composition lengths","type":"string"},"datatype":"string"},"type":"statement","id":"Q1115944$020E117B-919C-4ECB-BB48-14900EA56754","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5dacfd19b9b52db987d6f0c1cf9d7be9b474b9fc","datavalue":{"value":"heights","type":"string"},"datatype":"string"},"type":"statement","id":"Q1115944$33694F99-3694-47E9-B734-01F2C510554A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"951cafd071a967aaf44430fa81a1ee386c3e5ce7","datavalue":{"value":"h-neat submodules","type":"string"},"datatype":"string"},"type":"statement","id":"Q1115944$07CB9D7A-9A14-4A51-816E-3A697DB37CC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4474eeb28fcd5cd5b3d36d81057f42f5f3e5ae4b","datavalue":{"value":"complements","type":"string"},"datatype":"string"},"type":"statement","id":"Q1115944$B8426A41-A548-4096-BC0D-49C6E7C2EC0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a5ad23a19b6a1e947ac3ee08ddc871b469ab9063","datavalue":{"value":"subsocles","type":"string"},"datatype":"string"},"type":"statement","id":"Q1115944$5DCC1782-082C-40EF-BE2A-673744939F60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ea826a8ae4a7e268ea54264ed669f59c30637e90","datavalue":{"value":"h-pure submodules","type":"string"},"datatype":"string"},"type":"statement","id":"Q1115944$EE9B4ECC-7F72-4C48-8859-AC7843F30859","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e9ada1c0c06bece7443ae0c14b7bb45ae9a2f958","datavalue":{"value":"h-divisible submodules","type":"string"},"datatype":"string"},"type":"statement","id":"Q1115944$B582D5E5-8829-47A3-89A2-04FDB6C9AA43","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":"Q1115944$E540E65F-998C-485F-B468-CB7FFECDA394","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4cb04ab3b6322c15f32844cfa5aba1949481fa4b","datavalue":{"value":{"entity-type":"item","numeric-id":3671333,"id":"Q3671333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1115944$04BA613E-3960-4EE8-8603-5E0C4005D3D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce0af7fb5c9d4e7eca30cbe16293866cfafde1f1","datavalue":{"value":{"entity-type":"item","numeric-id":4744425,"id":"Q4744425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1115944$AD44F3FC-693B-4E71-A4BA-5DD09DDB5863","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5140210d45c4875e35009adf867c99b6ae014a2","datavalue":{"value":{"entity-type":"item","numeric-id":1394309,"id":"Q1394309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1115944$E75DB8FB-BD7F-48AA-81F6-3E75ADB18671","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c9e24e6241010ecd16bdea90dcd493d4a655b4b6","datavalue":{"value":{"entity-type":"item","numeric-id":4744426,"id":"Q4744426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1115944$737FF4E8-3A1B-481F-849C-E4AA21EF8A34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8508971b79c85f968ea99f8ed84cfec164b5cd43","datavalue":{"value":{"entity-type":"item","numeric-id":1155124,"id":"Q1155124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1115944$D587B2DF-D20E-442D-8C65-C6921D60C5AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e90de69df36cdbeaa5af053d06c546e9de35547b","datavalue":{"value":{"entity-type":"item","numeric-id":3907711,"id":"Q3907711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1115944$0F205EFA-74A0-480C-BFCB-064BCCFF9F46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b17490ec87d72fcafa2c9b4388c2370448cde416","datavalue":{"value":{"entity-type":"item","numeric-id":3967667,"id":"Q3967667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1115944$E88957E0-0A74-47F9-A5F2-1E7AFD351E5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"adc61cdf4b327de86dad6abf3337caa77797b2ca","datavalue":{"value":{"entity-type":"item","numeric-id":1092988,"id":"Q1092988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1115944$2CB034CB-C712-4299-8F95-C0F6D63ACAD2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bfc5a70e057df5cefeda928b4342bcf342cbb815","datavalue":{"value":"https://doi.org/10.1007/bf01197968","type":"string"},"datatype":"url"},"type":"statement","id":"Q1115944$014CD784-B4DB-4598-910C-36DB247B2E7A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"159919ea336662485c8c670dba47f3dfb27d23f3","datavalue":{"value":"W2036481071","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1115944$7229A68D-B933-42A9-984A-91F5728E499C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8895b67a20e18bfb63cca44ad9b62772720bc699","datavalue":{"value":{"entity-type":"item","numeric-id":3831152,"id":"Q3831152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4d5c2265d3b78301b1c03713f252331c4ce52f24","datavalue":{"value":{"amount":"+0.9437798857688904","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":"Q1115944$0253DB2A-38BC-4A91-B9F9-193833979F42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a84f701a51294be5abb6c4a4b07bdfdf0fff2f00","datavalue":{"value":{"entity-type":"item","numeric-id":3832707,"id":"Q3832707"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6405223cd8db9cb8d175b66cab08708a99eecabc","datavalue":{"value":{"amount":"+0.9348416924476624","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":"Q1115944$811B4DF4-853E-4DA1-A463-B340B3785FD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ec2daccecbba3eb0f449a371da5f143cb30a381c","datavalue":{"value":{"entity-type":"item","numeric-id":3792833,"id":"Q3792833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"abb46d87ec3678308e99ffccb5ff4c921acf40b1","datavalue":{"value":{"amount":"+0.9215311408042908","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":"Q1115944$0028FF80-EB42-47B9-AF9B-49A34792A162","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d81eeddb02be18e1e5c2eff64757b5f5a037c285","datavalue":{"value":{"entity-type":"item","numeric-id":1590706,"id":"Q1590706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2d501428759ebad9a5d095449cf72c585ccc1d90","datavalue":{"value":{"amount":"+0.9064002633094788","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":"Q1115944$8C0534A2-C760-4F8F-B0B6-FD3AA86DDA41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6c27067c6f48deb30d3f90e58d075988b1dd2dee","datavalue":{"value":{"entity-type":"item","numeric-id":1273343,"id":"Q1273343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2d501428759ebad9a5d095449cf72c585ccc1d90","datavalue":{"value":{"amount":"+0.9064002633094788","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":"Q1115944$346BD8B7-161C-4608-9BDD-6860936EB3FB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On h-divisible QTAG-module","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_h-divisible_QTAG-module"}}}}}