{"entities":{"Q1606076":{"pageid":1616816,"ns":120,"title":"Item:Q1606076","lastrevid":72311793,"modified":"2026-04-14T04:03:12Z","type":"item","id":"Q1606076","labels":{"en":{"language":"en","value":"Injectivity conditions over a formal triangular matrix ring"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1773424"}},"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":"Q1606076$7ACBEBA6-5CA6-43FA-BD8F-256AF243B54F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"327fdf2be79cba59ff4cb8664a67b608065e29e6","datavalue":{"value":{"text":"Injectivity conditions over a formal triangular matrix ring","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1606076$E2BC063E-3236-4464-9ABC-8844C9DBA745","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"901574e037049a7dbb6312ef1b0bbcb27c350e1f","datavalue":{"value":"1014.16002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1606076$C64C42A5-1B7E-43C3-A614-5DBF3A4BD64B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"40e0301ef39594d738399e08c3c6a9d85f2b2b97","datavalue":{"value":{"entity-type":"item","numeric-id":1606075,"id":"Q1606075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1606076$83481563-9DB2-40A1-8474-E7C3901EEEE2","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":"Q1606076$00E40946-6D6B-4D8B-AE01-AB31E82EBD5D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fd7b401793138da3f2cead1287cee60d2ad376d8","datavalue":{"value":{"time":"+2002-07-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1606076$622A95A9-911B-4D84-BE2D-B3C4D9A5B1BF","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"b3373be3d96de20a169cdc692f8a9ebcda66c4c0","datavalue":{"value":"If \\(A\\) and \\(B\\) are (associative with \\(1\\neq 0\\)) rings and \\(M\\) is a left-\\(B\\), right-\\(A\\) (unital) bimodule, let \\(T\\) be the set of formal triangular matrices of the form \\(\\left(\\begin{smallmatrix} a &0\\\\ m&b\\end{smallmatrix}\\right)\\) , with \\(a\\in A\\), \\(b\\in B\\) and \\(m\\in M\\). Then \\(T\\) forms a ring under component-wise addition and multiplication given by a rule similar to matrix multiplication. It is well-known that \\(\\text{Mod-}T\\) is equivalent to the category \\(\\Omega\\) of triples \\((X,Y)_f\\) with \\(X\\in\\text{Mod-}A\\), \\(Y\\in\\text{Mod-}B\\) and \\(f\\colon Y\\otimes_RM\\to X\\) a map in \\(\\text{Mod-}A\\). If the right \\(T\\)-module \\(V\\) corresponds to \\((X,Y)_f\\), then \\(\\widetilde f\\colon Y\\to\\Hom(M,X)\\) given by \\(\\widetilde f(m)=f(y\\otimes m)\\) for \\(y\\in Y\\), \\(m\\in M\\), is a \\(B\\)-homomorphism.   Let \\(V_1\\) and \\(V_2\\) be right \\(T\\)-modules with \\((X_1,Y_1)_{f_1}\\) and \\((X_2,Y_2)_{f_2}\\) the corresponding triples. It is shown that if \\(X_1\\) is \\(X_2\\)-injective in \\(\\text{Mod-}A\\) and \\(\\widetilde f_1\\) is an isomorphism in \\(\\text{Mod-}B\\), then \\(V_1\\) is \\(V_2\\)-injective in \\(\\text{Mod-}T\\).   If \\(V\\) and \\(W\\) are \\(R\\)-modules, the simple reject \\(\\text{s-rej}(W,V)\\) is defined to be the intersection of all submodules \\(\\ker\\phi\\) where \\(\\phi\\colon W\\to V\\) is an \\(R\\)-map with \\(\\text{Im }\\phi\\cap\\text{Soc }V\\neq 0\\); if no such \\(\\phi\\) exists, \\(\\text{s-rej}(W,V)\\) is defined to be \\(W\\). The simple trace \\(\\text{s-tr}(W,V)\\) is the sum of all submodules \\(\\text{Im }\\phi\\) where \\(\\phi\\colon W'\\to V\\), \\(W'\\) a submodule of \\(W\\) and \\(\\text{Im }\\phi\\cap\\text{Soc }V\\neq 0\\); if no such \\(\\phi\\) exists, set \\(\\text{s-tr}(W,V)=0\\). It is proved that \\(V_1\\) is simple \\(V_2\\)-injective in \\(\\text{Mod-}T\\) if and only if \\(X_1\\) is simple \\(X_2\\)-injective in \\(\\text{Mod-}A\\) and \\(Y_1\\) is simple \\(Y_2\\)-injective in \\(\\text{Mod-}B\\), provided some conditions on \\(\\text{s-rej}(X_1,X_2)\\) and \\(\\text{s-tr}(Y_2,Y_1)\\) hold.   The injective cogenerators of \\(\\text{Mod-}T\\) are also studied in terms of properties of the representation triples. Various examples complement the theory.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1606076$C77F074F-C49C-446B-AA13-4F1AB7171149","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"82ce699457d9c132d9340bc37bc8a4bd29b47623","datavalue":{"value":{"entity-type":"item","numeric-id":587382,"id":"Q587382"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1606076$7FC03A4A-1B74-4F0A-A939-3BE6DD6890CE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"59468a913be5e3daa38c40f41f68743380f8fa93","datavalue":{"value":"16D50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1606076$6DA8D1A2-03F7-45EF-94C1-1D21C9EA42D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ca0de72ef52af4d7144a88fbbb29acbd1a70eef4","datavalue":{"value":"16D20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1606076$222EC549-50BE-44AE-8A71-21D35DCD0F16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"913d3990e83d8adef69305bd4ca0e422b9869252","datavalue":{"value":"16S50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1606076$111F4B53-044B-44C3-A45E-E656F0D50CC5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"58bf1d5c739a5f71fbd40bfe0581519607bfb71c","datavalue":{"value":"1773424","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1606076$CD7E7E56-37AF-4BD5-B6B8-0C4E5F5D0D3F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"922230f888ed038d62c9c750f5be912e75bccc47","datavalue":{"value":"formal triangular matrix rings","type":"string"},"datatype":"string"},"type":"statement","id":"Q1606076$B3E1515F-9E37-4C46-A51C-40DC33CBC7EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"188d0e51859624f83a802c50e8e0815e4bc9f333","datavalue":{"value":"\\(M\\)-injectivity","type":"string"},"datatype":"string"},"type":"statement","id":"Q1606076$F89D0BC7-F0E7-4D54-A363-CE9A06D60A6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f8266db28998172a0c0ab065734761b61bc59eac","datavalue":{"value":"simple \\(M\\)-injectivity","type":"string"},"datatype":"string"},"type":"statement","id":"Q1606076$A805DFE7-B06A-4538-AF4B-83E6B74F54A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d5e3df7f6773b780de7ca5832dbce65f2af57d1c","datavalue":{"value":"injective cogenerators","type":"string"},"datatype":"string"},"type":"statement","id":"Q1606076$4E050490-9E4A-4F88-AB09-A2046B23123E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1d59924573a71685da4a913ad5cc39217ce4923c","datavalue":{"value":"simple rejects","type":"string"},"datatype":"string"},"type":"statement","id":"Q1606076$306A8352-357E-489B-9959-EA2E43A0C424","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f63e6c75269d83dfa9f54ad215a3069987798fc8","datavalue":{"value":"simple traces","type":"string"},"datatype":"string"},"type":"statement","id":"Q1606076$97CC619E-8E38-4F2A-844A-E2FF1F161CAD","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":"Q1606076$CF128C80-41BB-414F-A1D5-DA97D5060E64","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"003802783e144665247059e039e391c908eec49e","datavalue":{"value":"https://doi.org/10.1007/s00013-002-8246-9","type":"string"},"datatype":"url"},"type":"statement","id":"Q1606076$DD38FFA3-6862-402E-ACBE-9F5B148EC6CA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b3dc1f044ac700ba1f755af8c8ef05545804a747","datavalue":{"value":"W2048981513","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1606076$DAA06B97-D3AF-44D8-9170-538E5803CA81","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"d25349fbe4f437ec6c8edfe738314bb027e216aa","datavalue":{"value":"Q121841695","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1606076$E093025F-6B77-4973-B105-6FD8D61F2D47","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"94e91d46b703930afda8ac35f3a8467382c6c2aa","datavalue":{"value":"10.1007/S00013-002-8246-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1606076$4FB0C2BA-0D77-4997-9C08-3F98C46B50F2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8fc003ac62cabe06b0ce375008bc4967fb292c4d","datavalue":{"value":{"entity-type":"item","numeric-id":3052207,"id":"Q3052207"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"535e742b574c305ca8fa5de1a7e53ddd7b2a4b0a","datavalue":{"value":{"amount":"+0.9235771","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1606076$99819F8F-E6E5-4974-810C-926A44F85257","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0ae33538ca398303027224be971c92cfa60459f4","datavalue":{"value":{"entity-type":"item","numeric-id":3144373,"id":"Q3144373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2118f8b3f60f94650a2ac67ea71f70168f64ad16","datavalue":{"value":{"amount":"+0.91111565","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1606076$949A81E7-AAD6-4DC8-BD8F-26583A599E3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd44558e151ddf56a7515819883aa898e4d4eedb","datavalue":{"value":{"entity-type":"item","numeric-id":5856779,"id":"Q5856779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"209971cfe7448198d610b4de131e9e30648b2c1f","datavalue":{"value":{"amount":"+0.9098002","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1606076$171ACFA4-394B-4203-8EBB-586A65F893FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9fac913902b3b9f4698e3b44f75edbd90777ade7","datavalue":{"value":{"entity-type":"item","numeric-id":3175519,"id":"Q3175519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"49cd64f69acf89d4c25d0abeb8b79150080c7d26","datavalue":{"value":{"amount":"+0.9060488","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1606076$E846AF51-3D72-4132-930A-C02F195D6A2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad60109946f83bcee45d282987d639a64ff51c3c","datavalue":{"value":{"entity-type":"item","numeric-id":605997,"id":"Q605997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"457aab558350b37068a447d935edeac4c33322db","datavalue":{"value":{"amount":"+0.894292","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1606076$EA68C413-52B4-4794-970C-0D8B5FA28897","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb6c6291b68e4977954f7a998f10008eb952df88","datavalue":{"value":{"entity-type":"item","numeric-id":2304132,"id":"Q2304132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c3d3e27bbedf1e9658dc207aea63f58cb5f97ad6","datavalue":{"value":{"amount":"+0.8942337","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1606076$782BAD72-CAE1-48DF-8913-D18B87D96E4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b8033713a753418e1ab43bd2ad52faff4a50523e","datavalue":{"value":{"entity-type":"item","numeric-id":4547876,"id":"Q4547876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9de99e25aec1836692fb5d678a5c5e065906cff9","datavalue":{"value":{"amount":"+0.8891968","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1606076$3FDB0D54-520E-4D25-85DC-F5ED95B49C8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ffff4f819133b4c75aa0c31def5ca9ae93e12eb","datavalue":{"value":{"entity-type":"item","numeric-id":760481,"id":"Q760481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a816b9c00874b975c22c230f634249c2db8d29f5","datavalue":{"value":{"amount":"+0.8888889","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1606076$6495BB8A-BDEE-4F1F-879C-34A06D0C6816","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"874939714cbcd3d7aa169955b463729e4315a901","datavalue":{"value":{"entity-type":"item","numeric-id":2979468,"id":"Q2979468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2867853b97e1f54d299c222c28eeface16f70e3c","datavalue":{"value":{"amount":"+0.8871479","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1606076$1B6CA8FF-796C-4B00-A38C-5BAC67363D3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"45072e2bf4c871f86e9f6655407204caf8bf8d8d","datavalue":{"value":{"entity-type":"item","numeric-id":2025799,"id":"Q2025799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b1d1e14917119af9caf9c72091b61c07b390eddd","datavalue":{"value":{"amount":"+0.8833821","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1606076$D1194D42-11C9-4B89-BB86-B22820B6A623","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Injectivity conditions over a formal triangular matrix ring","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Injectivity_conditions_over_a_formal_triangular_matrix_ring"}}}}}