{"entities":{"Q1897804":{"pageid":1908546,"ns":120,"title":"Item:Q1897804","lastrevid":74250417,"modified":"2026-04-14T19:11:30Z","type":"item","id":"Q1897804","labels":{"en":{"language":"en","value":"A theorem of M. C. R. Butler for Dedekind domains"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 794350"}},"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":"Q1897804$93DC9D0F-36DE-4D6F-A876-C8D699B28C19","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c5d920b40fedc7717a8d23affbd4f7b441e9c4e0","datavalue":{"value":{"text":"A theorem of M. C. R. Butler for Dedekind domains","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1897804$33F40E5C-5B73-4ADD-A80E-13589E91DB48","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e5e597a7b8bb834ada20a7c7ab9d8b7510c3edf4","datavalue":{"value":"0839.20069","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1897804$85499627-520D-443C-851F-7F4D739BF967","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9cf937a244a762be2aa59d48dc639af1f6ad5e44","datavalue":{"value":{"entity-type":"item","numeric-id":687622,"id":"Q687622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1897804$84598504-6B02-4FFB-BD06-C709A4DF4EE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"944ca8c696f93e7f73a42d791cb1771dc96fa893","datavalue":{"value":{"entity-type":"item","numeric-id":1232462,"id":"Q1232462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1897804$720A1761-D310-4039-8CB2-2F977235F969","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"93541bb195a0809b1f249396bcebe99d047e6b6c","datavalue":{"value":{"entity-type":"item","numeric-id":161561,"id":"Q161561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1897804$BB3C9C48-AC1A-4BD8-954B-D8C573A29447","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2870fb3b046894eda9a612bfc9043395b2148d5d","datavalue":{"value":{"time":"+1996-06-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1897804$53ED45A7-8FCE-4370-89B9-EEE01C5A6AEF","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"c325e8b92050416219270085808eb288688a4e25","datavalue":{"value":"The paper deals with an extension of a well-known theorem of Zassenhaus and Butler: Any torsion-free ring of finite rank which is locally free as an algebra over the ring of integers is the endomorphism ring of a locally free torsion-free abelian group of the same rank.    A \\(K\\)-module \\(M\\) over a domain \\(K\\) is locally finitely generated (free) if for each prime \\(p\\) of \\(K\\) the localization of \\(M\\) at \\(p\\) is finitely generated (free). The authors establish an interesting and quite satisfying answer to the following question. Let \\(K\\) be a subring of an algebraic number field with infinitely many primes. If \\(E\\) is a torsion-free \\(K\\)-algebra of finite rank that is locally finitely generated as a \\(K\\)-module, is there a full \\(K\\)-locally finitely generated (right) \\(E\\)-submodule \\(M\\) of \\(QE\\) such that \\(\\text{End}(M)\\cong E\\) canonically?    Say that \\(E\\) is realizable if the answer is yes. The only \\(E\\)'s which are not realizable are of very special form and determined in this paper. The proof is based on an analysis of Butler's proof, earlier results of Reid's and an interesting application of ``classical algebra''. Finally the result is applied to provide the existence of \\(E\\)-modules over (\\(E\\)-rings) \\(K\\). Recall that \\(M\\) is an \\(E\\)-module over \\(K\\) if all \\(Z\\)-homomorphisms from \\(K\\) to \\(M\\) are \\(K\\)-homomorphisms, and the ring \\(K\\) is an \\(E\\)-ring if it is an \\(E\\)-module over \\(K\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1897804$E1DE90DE-F2C9-4451-9A28-44F034F226B6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"86add130ce1bc29a7dcfc03615753d4d478943bf","datavalue":{"value":"20K15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1897804$B3A22D72-C248-4E91-AF99-C3037BFEEC56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"913d3990e83d8adef69305bd4ca0e422b9869252","datavalue":{"value":"16S50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1897804$5CFED55A-E0A1-4883-A280-AA99291BBFCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6f8bdb86f95f385c1922e11e3095b661f16ddd4","datavalue":{"value":"13F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1897804$81A51ED4-6050-4CE9-AC2D-530FC506655A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9f44c3e05f007359b39a58b0e4e67e343748285e","datavalue":{"value":"13C05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1897804$FFDCBD56-409D-4293-9688-3B76FABF79D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"13a880741f6f7aa1a4b691f23a1ea4d349674e32","datavalue":{"value":"20K30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1897804$EA28B342-69A2-4532-9A63-AB81885386C6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8c71fed32ab1d5848c423d7040d19c8a5ad31583","datavalue":{"value":"794350","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1897804$2A4EA6AA-A014-4CBC-90AF-45820529E9BC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7dae6b157be873f40ce7dcbd64c109af947db931","datavalue":{"value":"\\(E\\)-rings","type":"string"},"datatype":"string"},"type":"statement","id":"Q1897804$E24DC47E-9824-4287-AF4D-F427ED825C68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b5a2cba6d2403b2c2cb798c74b80a4b4ae2f6dc3","datavalue":{"value":"torsion-free ring of finite rank","type":"string"},"datatype":"string"},"type":"statement","id":"Q1897804$A6318C29-FA4E-4E14-BFB3-5E5EDDBC57C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e6cc5fe373c098d5b26de50992a849f2b12e7794","datavalue":{"value":"endomorphism rings","type":"string"},"datatype":"string"},"type":"statement","id":"Q1897804$1D1EC7E9-39FF-46E5-A9DB-44E70D97102B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4bf6d6ea3e5b65ab8e1b15119857516bbc5afed8","datavalue":{"value":"locally free torsion-free Abelian groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1897804$AF7C62C3-4EDB-4CC8-A58B-17B41404E6EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"79235e1dc63cee69e464df94ff52730471165373","datavalue":{"value":"algebraic number fields","type":"string"},"datatype":"string"},"type":"statement","id":"Q1897804$8D92C275-F0CB-4BFA-B59B-AE74B0C160F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48eb5d824d7141f2daf7978eaa41878b05131eea","datavalue":{"value":"\\(E\\)-modules","type":"string"},"datatype":"string"},"type":"statement","id":"Q1897804$939C2928-B603-4C3B-94EF-97A480D84751","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":"Q1897804$2FD5CF29-5A3E-4BDB-B278-5204A2F1971C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"31c7d2030cefab1c9d1e572cbcecd44dca1e2fb5","datavalue":{"value":"https://doi.org/10.1006/jabr.1995.1222","type":"string"},"datatype":"url"},"type":"statement","id":"Q1897804$0225F43B-AB25-4833-8BDB-64902D7099FC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"09c16844dd8bac9c2fd1c80ef3f5035d87907080","datavalue":{"value":"W2013538718","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1897804$0ECC290B-3F6F-40EE-8B77-9F34C36CE370","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f335b5c6ba6623409c656f5723d86b0bc4e6428b","datavalue":{"value":"10.1006/JABR.1995.1222","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1897804$0246EFC4-77E0-4299-84C1-B36E2DDBD09E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"84f1384d1930899656f2108a56d644a565481df2","datavalue":{"value":{"entity-type":"item","numeric-id":3656512,"id":"Q3656512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fa6ecea3cf39f980dba8614e806f1ce671669fdf","datavalue":{"value":{"amount":"+0.8605573773384094","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":"Q1897804$7FC42A0E-E4C5-4D0B-984D-010BE83AC068","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fba6b78cb596cd4c9dd44cdcc10b91de6ceab6e4","datavalue":{"value":{"entity-type":"item","numeric-id":3298256,"id":"Q3298256"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"15ddfbf8d4e1f5f13af41c7c25558f750f25d549","datavalue":{"value":{"amount":"+0.8355341553688049","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":"Q1897804$05303D82-BDC0-4A7A-B95B-BBACCB33EEA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad42c4ba6ea9d229aa04bb77cf2097c7372a6b90","datavalue":{"value":{"entity-type":"item","numeric-id":5699911,"id":"Q5699911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2d7858c5ce320953e2767ee51de87a46d4d7cacb","datavalue":{"value":{"amount":"+0.800837516784668","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":"Q1897804$D1154817-6FCB-42CE-BF8B-3CFDE3EFE944","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b4e232d00ff03dfdba03e64eda41ede10061783","datavalue":{"value":{"entity-type":"item","numeric-id":858729,"id":"Q858729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3f498b08bf7c0d3aac7493b3f79f63354b9261c6","datavalue":{"value":{"amount":"+0.7962377071380615","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":"Q1897804$89F5AF30-36E4-41EE-AB81-139D7479DB9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dd9ed8540ef9918f027f1d56d17f4d9a88a2bfbb","datavalue":{"value":{"entity-type":"item","numeric-id":1109150,"id":"Q1109150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dc080ff17243bec794ad0db4512766f9f7053e75","datavalue":{"value":{"amount":"+0.7888604402542114","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":"Q1897804$DCE28675-8108-4CE2-ABBB-B0E6DEFA6F6B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A theorem of M. C. R. Butler for Dedekind domains","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_theorem_of_M._C._R._Butler_for_Dedekind_domains"}}}}}