{"entities":{"Q4025962":{"pageid":6055721,"ns":120,"title":"Item:Q4025962","lastrevid":108224462,"modified":"2026-11-05T12:10:35Z","type":"item","id":"Q4025962","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 124340"}},"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":"Q4025962$EB0E5555-C319-43BC-B13F-A13744D6810D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2dbcdf98f4147adf8601f58adf72d4a69de75cfe","datavalue":{"value":"0782.20045","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4025962$B888E9BD-708F-46B2-B8CC-3EA3A56C12E5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e89af0ab63fc0fca1fbd1433809f3667ad4723a1","datavalue":{"value":{"time":"+1993-02-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4025962$FC8C436C-06A4-4F46-988B-BC60E02ED93D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"86add130ce1bc29a7dcfc03615753d4d478943bf","datavalue":{"value":"20K15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4025962$6B70CA91-1BFB-4A4E-B2F3-028337847FDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"13a880741f6f7aa1a4b691f23a1ea4d349674e32","datavalue":{"value":"20K30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4025962$728504B6-66B5-48FC-A058-D5D07328BEF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"803cbb00fdaed08c751adcfee80dc26380b8374a","datavalue":{"value":"13G05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4025962$512731F6-616C-4668-A3BB-1A3392FD8D5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6f8bdb86f95f385c1922e11e3095b661f16ddd4","datavalue":{"value":"13F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4025962$E3E13BA4-9367-4554-A85B-9C0815B7A287","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"913d3990e83d8adef69305bd4ca0e422b9869252","datavalue":{"value":"16S50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4025962$C7AB63D3-B079-4087-A428-CC7E4E5A03E6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"271ebf93bcbe9b1b44ee66c46a74b03f4837d69f","datavalue":{"value":"124340","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4025962$FBAAC087-7EA4-4809-AE16-6BA82370AD11","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fef7469ea103588128ff715891344f8b304a73c0","datavalue":{"value":"torsion-free abelian group","type":"string"},"datatype":"string"},"type":"statement","id":"Q4025962$B0105757-9CAD-487F-9A0D-0A60E95382D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"814d359b50c2ede9839339224bd11c7402cef625","datavalue":{"value":"torsion-free modules of finite rank","type":"string"},"datatype":"string"},"type":"statement","id":"Q4025962$2F3D5CCC-BDAC-43B2-820A-74BBBB52B86A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"86490afe1a240b7b6317d8185559b6e431b043f7","datavalue":{"value":"integral domain","type":"string"},"datatype":"string"},"type":"statement","id":"Q4025962$52360B40-F7FC-437E-BC37-310211EAAC00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1846a8d5727144992e91ceeda39252d48d616785","datavalue":{"value":"Warfield duality","type":"string"},"datatype":"string"},"type":"statement","id":"Q4025962$3B553485-E255-4AC3-8DD1-3E4F67B22D32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"65fa5b26a73b9a5c0f736f82e9a1588ec6f521cb","datavalue":{"value":"\\(U\\)-locally free \\(R\\)-modules","type":"string"},"datatype":"string"},"type":"statement","id":"Q4025962$1B9E695C-D461-4758-BA09-F39FFAC14C41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"689b65561f64a4798cb1a20688ead5f777d09583","datavalue":{"value":"exact sequence","type":"string"},"datatype":"string"},"type":"statement","id":"Q4025962$CC289D18-AB09-441C-B861-ADA041921DD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f9a185428bfccab67865474544f5bd6e0127faea","datavalue":{"value":"torsion submodule","type":"string"},"datatype":"string"},"type":"statement","id":"Q4025962$2ED8F59D-48FE-482F-822D-44F09C403975","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f957f92a58add9694c53629eeca871e27f7e151","datavalue":{"value":"Dedekind domains","type":"string"},"datatype":"string"},"type":"statement","id":"Q4025962$9E0961BF-5EA9-49BB-89CA-297806C1E3D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b7b404241499e2ea0cdb580de5f5f194f0db1da6","datavalue":{"value":"irreducible groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q4025962$A0121508-1690-4A57-856B-08D5EEE7EA3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"27305181505a0f0e4a003316853e032b44643531","datavalue":{"value":"full matrix algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q4025962$5C3C542E-293C-4284-B43E-7166EE0E9ABA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b96d9c1955bf2b3c72c4fa6f3b7c79106731c5d9","datavalue":{"value":"quasi-equal to a free module","type":"string"},"datatype":"string"},"type":"statement","id":"Q4025962$A375281C-425B-422C-A427-9A9DF520F65B","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":"Q4025962$4A8BA360-EEBB-4374-89AA-BA8675F130B2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0fc01da28af08fc0e813cb074bc242a911646b46","datavalue":{"value":{"entity-type":"item","numeric-id":1911788,"id":"Q1911788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"121b62db0347655e27d52b9bd6b7815a1c67d27b","datavalue":{"value":{"amount":"+0.8500781655311584","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":"Q4025962$0524F76C-FB2D-49A2-AB48-237E66DD1239","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2523c23cfe148570d7818632603764792d5a2bf2","datavalue":{"value":{"entity-type":"item","numeric-id":1366645,"id":"Q1366645"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"121b62db0347655e27d52b9bd6b7815a1c67d27b","datavalue":{"value":{"amount":"+0.8500781655311584","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":"Q4025962$5EE1AB0C-5A1E-4D09-932B-62C020A76A10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4858826a6e447aa40dfbfb81eff93f9a509a5b6c","datavalue":{"value":{"entity-type":"item","numeric-id":3127277,"id":"Q3127277"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cfac0095851b5dc52fcf24e935d390c892cba59a","datavalue":{"value":{"amount":"+0.8188112378120422","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":"Q4025962$4A94335A-6042-4D70-A4BA-DDAF36410279","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"14c6b74ae8f03ff7cae43444bee2da311ae8c79e","datavalue":{"value":{"entity-type":"item","numeric-id":1096019,"id":"Q1096019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9ccfc6a9aca505cd57e3e68352a75be5c7342ca8","datavalue":{"value":{"amount":"+0.8188111186027527","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":"Q4025962$CA75C879-DCB1-48DB-B4D2-7C5676EC2A54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e9f39a1cd40185afd3e9553b2a472e1b66dcbc1a","datavalue":{"value":{"entity-type":"item","numeric-id":1823997,"id":"Q1823997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9252375e0497a59c68330df34ce17db4242857e0","datavalue":{"value":{"amount":"+0.7822597026824951","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":"Q4025962$DA993190-D43E-45F9-A5E6-AF2158C68EA0","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"d29f9179b24bf264fe34a1d55f078461142c9f60","datavalue":{"value":"[For the entire collection see Zbl 0745.00066.] The author begins by extending the torsion-free abelian group notions of type, inner type and outer type to torsion-free modules of finite rank over an arbitrary integral domain. These concepts are then used to develop a Warfield duality in this more general setting, as follows. Let \\(R\\) be an integral domain with quotient field \\(F\\) and let \\(U\\) be a nonzero \\(R\\)-submodule of \\(F\\). Call a torsion-free \\(R\\)-module \\(A\\) of finite rank \\(U\\)-locally free if \\(\\text{rank Hom}(A,U) = \\text{rank }A\\) and the pure subring of \\(\\text{End}(A)\\) generated by 1 is isomorphic to \\(\\text{End}(U)\\). Two conditions are imposed on \\(U\\)-locally free \\(R\\)- modules \\(A\\) to obtain a Warfield duality \\(A\\to A^* = \\text{Hom}(A,U)\\). Condition 1. Let \\(V\\) and \\(U\\) be \\(R\\)-submodules of \\(F\\) with \\(V\\) \\(U\\)- locally free. Then the exact sequence \\(0 \\to U \\to F\\to F/U \\to 0\\) induces an exact sequence \\(0 \\to \\text{Hom}(V,U)\\to \\text{Hom}(V,F) \\to t\\text{Hom}(V,F/U) \\to 0\\), where \\(tA\\) is the torsion submodule of \\(A\\). Condition 2. Let \\(V\\) and \\(U\\) be \\(R\\)-submodules of \\(F\\) with \\(V\\) \\(U\\)- locally free. Then the natural map of \\(V\\) into \\(V^{**}\\) is an isomorphism. The main result is then, Theorem. Let \\(R\\) be a domain for which Conditions 1 and 2 hold and let \\(U\\) be a rank one module. Then for every \\(U\\)-locally free module \\(A\\), the natural map \\(A\\to A^{**}\\) is an isomorphism. Standard arguments show that Dedekind domains satisfy Conditions 1 and 2. As an application of the theorem, the author obtains a ``Brauer inverse'' for irreducible groups. Recall that a torsion-free finite rank group \\(G\\) is irreducible if \\(Q\\otimes_ Z G\\) is irreducible as a \\(Q\\otimes_ Z\\text{End}(G)\\) module. In this case, \\(Q\\otimes_ Z\\text{End}(G)\\) is a full matrix algebra over a division algebra \\(D\\). As a full subring of this matrix algebra, the ring \\(\\text{End}(G)\\) has a field of definition \\(L\\) contained in the center of \\(D\\). It was shown by R. S. Pierce that \\(\\text{End}(G)\\) is quasi-equal to a free module over the ring \\(K = L\\cap \\text{End}(G)\\). Moreover, \\(K\\) is quasi-equal to its integral closure \\(K(G)\\), a Dedekind domain that is an invariant of the quasi-equality class of \\(G\\). Up to quasi-equality, it can be assumed that \\(K = K(G)\\), so that the duality result may be applied to \\(K\\)-modules. Theorem. Let \\(G\\) be an irreducible group and let \\(U\\) be a rank one image of \\(G\\) as a module over \\(K = K(G)\\). Let \\(G^* = \\text{Hom}_ K(G,U)\\) and let \\(N\\) be the intersection of the kernels of all \\(K\\)-homomorphisms from \\(G\\otimes_ KG^*\\) into \\(U\\). Then \\(G\\otimes_ KG^*/N\\) is quasi- isomorphic to \\(C\\otimes_ KU\\), where \\(C\\) is a free \\(K\\)-module of rank equal to the \\(K\\)-rank of \\(G\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q4025962$716D1EE8-4B26-4019-963C-6950C9E5C942","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4025962","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4025962"}}}}}