{"entities":{"Q1295761":{"pageid":1306511,"ns":120,"title":"Item:Q1295761","lastrevid":68778312,"modified":"2026-04-13T01:59:52Z","type":"item","id":"Q1295761","labels":{"en":{"language":"en","value":"Decomposing modules into direct sums of submodules with types"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1308361"}},"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":"Q1295761$9F9A1F88-B458-492B-A5D1-E289F5DD8D87","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b6cc3a50b2d17913a02ad6006d6d405e87b62b14","datavalue":{"value":{"text":"Decomposing modules into direct sums of submodules with types","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1295761$30476DF2-5E96-4CF4-B1FC-44EDDA0D4EB3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d7acb5bc4e1366c98feecfaa45ede886b80f61ed","datavalue":{"value":"0955.16007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1295761$44E27EF6-923D-45CF-B16A-EE9DA559F326","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"18025790b4b21ba42338040afb80f653cd89282b","datavalue":{"value":"10.1016/S0022-4049(97)00208-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1295761$9561E7D4-79D9-4A56-B6D5-887479454310","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fb8f86d112407bc1ee927b41fb74d1603400d575","datavalue":{"value":{"entity-type":"item","numeric-id":335375,"id":"Q335375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295761$55E9A1BD-75B3-4196-B936-577B2502ED20","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":"Q1295761$A99EDA54-B936-438D-BD4C-5DA2926D5B82","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8d02d8cc00f12eca67af7a2b878da9d104452f1b","datavalue":{"value":{"time":"+2001-02-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1295761$923D3074-5A4F-452E-A3CE-07B20935C4E2","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"0f5456d4a108774563c1443e6c9a0391df2a6853","datavalue":{"value":"The author introduces two concepts weaker than those of extending modules and quasi-continuous modules. A decomposition theory for these modules analogous to that of extending and quasi-continuous modules is provided. A natural class of \\(R\\)-modules is a class which is closed under submodules, direct sums, injective hulls and isomorphic copies. For any class \\(\\mathcal F\\) of \\(R\\)-modules let \\({\\mathcal C}_F=\\{M:\\) any nonzero submodule of \\(M\\) can not embed in an element of \\({\\mathcal F}\\}\\) and \\({\\mathcal D}_F=\\{M:\\) any nonzero submodule of \\(M\\) contains a nonzero submodule embeddable in an element of \\({\\mathcal F}\\}\\). It is easy to see that both of these are natural classes. Given a module \\(M\\), a submodule \\(N\\) of \\(M\\) is called a type submodule if \\(N\\) is of type \\(\\mathcal K\\) for some natural class \\(\\mathcal K\\) (i.e. \\(N\\) is maximal with respect to \\(N\\in{\\mathcal K}\\), where \\({\\mathcal K}={\\mathcal C}_F\\) and \\({\\mathcal F}={\\mathcal C}_K\\)). It is clear that any type submodule is a complement submodule while the converse is not true. Two modules are orthogonal if they have no nonzero isomorphic submodules. The author replaces the `complement submodules' in the definition of \\(CS\\)-modules and quasi-continuous modules by `type submodules' of \\(M\\). Hence a \\(TS\\)-module is defined as one in which every type submodule is a direct summand. Similar to the known condition \\((C_3)\\) in the definition of quasi-continuous modules, the author introduces condition \\((T_3)\\): If \\(M_1\\), \\(M_2\\) are type summands which are complements of each other, then \\(M_1\\oplus M_2\\) is a summand of \\(M\\). A \\(TS\\)-module (even with \\(T_3\\)) may not be a \\(CS\\) (i.e. extending) module. Among several interesting results, the author provides a characterization of \\(TS\\)-modules with \\((T_3)\\) on the same lines as that of a quasi-continuous module such as: \\(M\\) is a \\(TS\\)-module with \\((T_3)\\) if and only if \\(f(M)\\subseteq M\\) for every idempotent \\(f\\in\\text{End}(E(M))\\) with \\(\\text{im }f\\) orthogonal to \\(\\ker f\\), where \\(E(M)\\) denotes the injective hull of \\(M\\). Necessary and sufficient conditions are provided for an arbitrary direct sum of pairwise orthogonal modules to become a \\(TS\\)-module with \\((T_3)\\). Every family \\(\\{M_i:i\\in I\\}\\) of pairwise orthogonal modules, \\(E(M_i)\\) is injective if and only if every \\(TS\\)-module is a direct sum of atomic modules, if and only if every module contains a maximal injective type submodule. These conditions (among others) are shown to be equivalent to a weaker related ascending chain condition on type right ideals of the ring (t-acc). Several other results are included on \\(TS\\)-modules and \\(TS\\)-modules with \\(T_3\\). The paper concludes with examples showing the relationships of type conditions with \\((C_1)\\) and \\((C_3)\\) conditions and a construction of a \\(TS\\)-module with \\((T_3)\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1295761$185D613B-4585-4A45-8DF3-ED2E0A34F0FB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1dee8e7847b4ea1ec0c89cb2093a26d38c393e9c","datavalue":{"value":"16D70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1295761$A60E76B2-A16A-455E-BC57-617C8D0D238B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a645c4c40cf7bcf55be756f00848fdc03e3d081b","datavalue":{"value":"16D80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1295761$C4E40765-4B0A-4ABA-9D37-B55974B81F90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"af8bc373c6b3dbb00fb5063d72d87f1d5b163800","datavalue":{"value":"16D40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1295761$7DEAF40A-6D41-4010-B5A8-E1521B10BC77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"59468a913be5e3daa38c40f41f68743380f8fa93","datavalue":{"value":"16D50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1295761$C8CD94A8-6027-4116-8611-DA4C74325CA8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e1697c63ca7ac6b019699007667579e30e919be9","datavalue":{"value":"1308361","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1295761$CFBFF21E-00A8-4FF8-AB58-4001C47B6589","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8613b5f142328a0550264e0731c19531100fee8e","datavalue":{"value":"quasi-continuous modules","type":"string"},"datatype":"string"},"type":"statement","id":"Q1295761$0809207F-59DA-40F9-A7DF-4F866301BCF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3ff2e6d584f1a7985231cfbfef52401a1f80e7e0","datavalue":{"value":"extending modules","type":"string"},"datatype":"string"},"type":"statement","id":"Q1295761$2B226192-2035-4307-9B55-86146CA988B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6c81be40bf11c036d64e57dec6a9c9e394c6264e","datavalue":{"value":"decomposition theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1295761$1BD8A807-297B-443C-89AD-72B630FC1A9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c96b3209409f4017113986a293164369f3d382b9","datavalue":{"value":"natural classes of modules","type":"string"},"datatype":"string"},"type":"statement","id":"Q1295761$F53B88F1-084C-4315-8C41-2C4D7CDC1035","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a51ab78d0e233889a4782ea6e858437606809a7a","datavalue":{"value":"direct sums","type":"string"},"datatype":"string"},"type":"statement","id":"Q1295761$E5EAB86E-96EE-412E-9A54-40F9B5245BEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"108986a6b0fcc4d3ebe53f5c1e7986421e6be04e","datavalue":{"value":"injective hulls","type":"string"},"datatype":"string"},"type":"statement","id":"Q1295761$3744FC80-4D16-4041-898E-34C028559F63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"627652e62cfce13f82284b9a2850b73eff1bf123","datavalue":{"value":"type submodules","type":"string"},"datatype":"string"},"type":"statement","id":"Q1295761$733F186E-CBE0-44D3-99E6-35729600F627","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66e7a896536b2ce21ff63840cab61008a9d858fc","datavalue":{"value":"complement submodules","type":"string"},"datatype":"string"},"type":"statement","id":"Q1295761$85634100-30CC-457C-9E1A-F9AA6CC38D0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f31102db63fdc0fc865cbfa1169ebc1869106501","datavalue":{"value":"direct summands","type":"string"},"datatype":"string"},"type":"statement","id":"Q1295761$B9E09B01-EE97-43CA-BC41-64A3EE284A76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a9fd3a2560df1fa81a26707514500de60bf03a8b","datavalue":{"value":"orthogonal modules","type":"string"},"datatype":"string"},"type":"statement","id":"Q1295761$3B3477A0-D424-42F6-9D91-6F1B8FA4F8B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b363681995ec91d696ee5bff98742f4fbe5edf78","datavalue":{"value":"ascending chain condition","type":"string"},"datatype":"string"},"type":"statement","id":"Q1295761$C30B1B17-3B43-4407-A673-D4D013628B95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3035379b67fca008941043c1a237cda65b902117","datavalue":{"value":"type right ideals","type":"string"},"datatype":"string"},"type":"statement","id":"Q1295761$A5020808-A4C7-40EA-8D52-147A3C2F883F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"78a96f6facc9902a13424c3ad33c4afb6edeac3e","datavalue":{"value":"\\(TS\\)-modules with \\(T_3\\)","type":"string"},"datatype":"string"},"type":"statement","id":"Q1295761$1058503A-CABF-42E8-A887-6C88E3C15B0A","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"0044e73556fd3c5cddadaee1c3003ce45b75cbd7","datavalue":{"value":{"entity-type":"item","numeric-id":286539,"id":"Q286539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295761$85415A79-8C00-4087-A10A-F8A990EF865B","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":"Q1295761$FC521DB2-CD02-446F-8884-7B3EC4C1E49C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4156dbbed7936ff0d871c4409aa3f41de5790db","datavalue":{"value":{"entity-type":"item","numeric-id":4109795,"id":"Q4109795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295761$55C9B70A-0362-4258-A784-ED77DF55A173","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ba370d0a4b08ae58fdb825a9877631d5df41825","datavalue":{"value":{"entity-type":"item","numeric-id":3138575,"id":"Q3138575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295761$9DD63971-BF96-4C2E-9F7E-A80506CB61C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8eec1f5abaf984a7f5a358e332c2c4d219a913c4","datavalue":{"value":{"entity-type":"item","numeric-id":1382726,"id":"Q1382726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295761$497535D7-90B4-4486-82C7-F14C2A54BD30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e1f1a01f3ebd01f12fcab2271b0c7141dbda408","datavalue":{"value":{"entity-type":"item","numeric-id":5688704,"id":"Q5688704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295761$CE81762A-C1CF-420F-A601-E24B866F378B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6259a20b83e26a3aacdbe0f7a14bdbd43ffda855","datavalue":{"value":{"entity-type":"item","numeric-id":4083871,"id":"Q4083871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295761$14170008-3DB0-48CC-B087-7E9564543922","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1630992ec4fde45d0d2164095efa56851ed81402","datavalue":{"value":{"entity-type":"item","numeric-id":4102003,"id":"Q4102003"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295761$795C6AC2-5E13-476B-B44F-200F37C7373B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a1d8f24a2f3580568f440fde7615fb38e482e8a6","datavalue":{"value":{"entity-type":"item","numeric-id":752087,"id":"Q752087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295761$086D7D1B-5819-459F-9C88-8075DA66FED7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e29a405ba19bfcc44f85f735cb5ea6dd9e21cd2","datavalue":{"value":{"entity-type":"item","numeric-id":3995216,"id":"Q3995216"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295761$40E90F62-0C56-4C3C-8173-36E4293A05DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3721090ef468e07968c62847b771b8ff29756516","datavalue":{"value":{"entity-type":"item","numeric-id":4301773,"id":"Q4301773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295761$5831BD8F-4CC0-4E96-84BB-B226C520BF8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3134df92bd647c66bf34dff9b4b0951518e413cb","datavalue":{"value":{"entity-type":"item","numeric-id":1836726,"id":"Q1836726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295761$EA7BB464-8D45-4781-81C9-66B1096523DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4aed39902ca53922a9a4ee15130ead9e881c5991","datavalue":{"value":{"entity-type":"item","numeric-id":4880094,"id":"Q4880094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295761$300A2EAD-4207-48E8-AEAF-DF52BC0E496A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"767d4e73158225b215c9c481d2e60500d83f1afe","datavalue":{"value":{"entity-type":"item","numeric-id":5475541,"id":"Q5475541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2a83640600d18266f8a1b03695bd30502e890797","datavalue":{"value":{"amount":"+0.7778802514076233","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":"Q1295761$2C10F90D-2C43-476D-9A2F-6FD2C5D4DBBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"00adcdbf40b00b93f2bdb76a569c18de2d975286","datavalue":{"value":{"entity-type":"item","numeric-id":4439661,"id":"Q4439661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2c60869873adb68c538d9f3278c0d4608cfdd329","datavalue":{"value":{"amount":"+0.7735089659690857","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":"Q1295761$B86B948D-FAE7-4AD9-B8BE-65C1C6A31697","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed3822c34699e2a7802bd8ed81ebc422846751ee","datavalue":{"value":{"entity-type":"item","numeric-id":5227776,"id":"Q5227776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1c7390439f53232ad48cbfe9b443f54e72b8caf6","datavalue":{"value":{"amount":"+0.7706755995750427","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":"Q1295761$80E88B60-7C19-40C6-BA25-F918114165E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fe09c3485e4d853c55cd28a180c83b01188587a9","datavalue":{"value":{"entity-type":"item","numeric-id":1804707,"id":"Q1804707"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3c6f5a0625c7117bcccadbe7548dfb2ef8012722","datavalue":{"value":{"amount":"+0.764772891998291","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":"Q1295761$B2CAE259-3184-499D-9699-9849C8259D45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5edec7e054f3fca188f422a0805811ab83fd408f","datavalue":{"value":{"entity-type":"item","numeric-id":1602015,"id":"Q1602015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"81cfe60a8cad4ce253ba40e721782f27bc677f56","datavalue":{"value":{"amount":"+0.7633200883865356","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":"Q1295761$BCF50E21-954A-4CDB-8C05-5AF256F1808C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Decomposing modules into direct sums of submodules with types","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Decomposing_modules_into_direct_sums_of_submodules_with_types"}}}}}