{"entities":{"Q1572835":{"pageid":1583575,"ns":120,"title":"Item:Q1572835","lastrevid":70736742,"modified":"2026-04-13T16:25:01Z","type":"item","id":"Q1572835","labels":{"en":{"language":"en","value":"Transitivity and full transitivity for \\(p\\)-local modules"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1484677"}},"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":"Q1572835$FC65A303-FFF0-4183-983E-A5CF5C60D1AA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7196404a8568df2ccf95da3aa5a16d47eb132a64","datavalue":{"value":{"text":"Transitivity and full transitivity for \\(p\\)-local modules","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1572835$5C7DDB90-3D09-4263-B7CF-94CCE9CBE513","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ee6227f9c9456949f7de5bf340349adcd2e50618","datavalue":{"value":"0963.13019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1572835$A30E556F-A3E1-4D8A-B9B4-08E2764948BD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"279f605db2dd008277ba88478050e4b401cb00b3","datavalue":{"value":{"entity-type":"item","numeric-id":1572834,"id":"Q1572834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1572835$81A809B8-C281-4DA5-A9E0-E349B845FC21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b0cab9968c9bcc9837ab226c8c42e8dfcca3849f","datavalue":{"value":{"entity-type":"item","numeric-id":516390,"id":"Q516390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1572835$19600DCE-B89F-4D83-85A7-CB4AD29A85B5","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":"Q1572835$ACE1CDD5-9C3D-4537-B849-BC097B64D92E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"778d50ead381d631dec5e8756be1978664e352f7","datavalue":{"value":{"time":"+2001-06-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1572835$3D48DBDD-A98C-4BC2-B090-39C393A98954","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"ebe5c75bc37bc277efe4f395bb11ccbeb9b0f330","datavalue":{"value":"Let \\(M\\) be a \\(p\\)-local module, that is, a module over a discrete valuation ring \\(R\\) with maximal ideal \\(pR\\). We denote the \\(p\\)-height sequence of \\(x\\in M\\) by \\(U_M(x)\\). A module is called \\textit{transitive} if for all \\(x, y\\in M\\) with \\(U_M(x)=U_M(y)\\) there exists an automorphism of \\(M\\) that maps \\(x\\) to \\(y\\); and a module is \\textit{fully transitive} if this can be achieved by an endomorphism of \\(M\\) when \\(U_M(x)\\leq U_M(y)\\). This work investigates the relationship between the notions of transitive and fully transitive for mixed \\(p\\)-local modules. The results extend the findings of Files and Goldsmith and of Kaplansky for torsion \\(p\\)-local modules.    The main theorem is as follows: Let \\(M\\) be a \\(p\\)-local module such that (1) the divisible part of \\(M/tM\\) has rank at most one, or (2) \\(M\\) is completely decomposable, or (3) \\(M\\) is a Warfield module. Then the following are equivalent:   (i) \\(M\\) is fully transitive;   (ii) \\(M^{(\\lambda)}\\) is fully transitive for some cardinal \\(\\lambda >0\\);   (iii) \\(M^{(\\lambda)}\\) is fully transitive for all cardinals \\(\\lambda\\);   (iv) \\(M^{(\\lambda)}\\) is transitive for some cardinal \\(\\lambda >1\\);   (v) \\(M^{(\\lambda)}\\) is transitive for all cardinals \\(\\lambda >1\\).      In particular, the above theorem shows that appropriate mixed modules \\(M\\) are fully transitive if and only if \\( M \\oplus M\\) is transitive. The authors also establish some criteria for when transitive implies fully transitive. One such result is that any transitive torsion-free module is fully transitive.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1572835$819FF699-D587-4C40-BB44-D49F665B7466","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b3b52918523363a6d0e63b5cbee70cee79e68263","datavalue":{"value":"13F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1572835$0B4B9F3D-97EF-4ADF-AB2A-EFA364F570EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"eff0a0b30fce63a72f2b4716638c8599020c0a0c","datavalue":{"value":"20K21","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1572835$BA2DC04A-4249-4B2D-9E75-DCCACE94F120","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"13a880741f6f7aa1a4b691f23a1ea4d349674e32","datavalue":{"value":"20K30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1572835$159CE041-7776-4A93-8669-F79402693B0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3c7c90fc1b655c450317079da4646c41a5c93c0b","datavalue":{"value":"13C13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1572835$DDDAFA73-60E4-40C6-81CF-8D7481D5889C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2f8e39c71fe85be39cce8349ae19124c685b3164","datavalue":{"value":"13B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1572835$B7A89CBD-00D5-4DF2-8E03-A01ED7C0DBF9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"39891c30efb292eb249dc4262642c1f076a9fe2a","datavalue":{"value":"1484677","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1572835$ECF4CB3E-47EC-49B2-A037-A3A6981D94CE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ba038e157a69070e16129fcf9ba95495196fbe9a","datavalue":{"value":"\\(p\\)-local module","type":"string"},"datatype":"string"},"type":"statement","id":"Q1572835$CBF46C21-453E-4477-B0CB-ED32B4118912","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6653bdc24c5973d67631098b7620aa60bc8286d1","datavalue":{"value":"fully transitive module","type":"string"},"datatype":"string"},"type":"statement","id":"Q1572835$5E95AFFC-E8A0-435E-AA0D-510D2334262B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ce7ab89ef0afcd2141c7da8aae338608bd16ac9a","datavalue":{"value":"automorphism","type":"string"},"datatype":"string"},"type":"statement","id":"Q1572835$9ABB26DF-D38D-4D12-871D-8744BE18165E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7a021b0bae5b5e460b32df4ce85c0eacc79246b5","datavalue":{"value":"discrete valuation ring","type":"string"},"datatype":"string"},"type":"statement","id":"Q1572835$CCC84979-C5A1-414B-A14E-1EF1F3EB9E7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"42683e53001a9b09f125a624d34c9da4dde571d6","datavalue":{"value":"\\(p\\)-height sequence","type":"string"},"datatype":"string"},"type":"statement","id":"Q1572835$9F7845DC-58D5-45C5-8CE5-86CDA5688690","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"def2ae9067cede249c3fec048fda8605ce6c1684","datavalue":{"value":{"entity-type":"item","numeric-id":1379065,"id":"Q1379065"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1572835$4DA27B19-55B7-4D66-902F-254609FF1BDD","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":"Q1572835$8E1E420B-7AFF-44EF-A36F-6B0FE2C0E2F5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bfd046680d9f67018185f40935e7b5daa9a19923","datavalue":{"value":"https://doi.org/10.1007/s000130050450","type":"string"},"datatype":"url"},"type":"statement","id":"Q1572835$41FA299B-0B5C-4800-AC02-878B4CAD147C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a62241db7f5fa3e2dc4066dc607492789d86fef2","datavalue":{"value":"W1993787362","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1572835$D9C47362-D19B-4454-90B0-F206C908E3F7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"69c0f793fef74a1c4e2fef18e385590e6380b9a3","datavalue":{"value":"10.1007/S000130050450","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1572835$2F844AFD-3836-4BEA-BA6F-09E946C9E759","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f7e13b814c5ba7b9bb4488a0a361aa5d546621fc","datavalue":{"value":{"entity-type":"item","numeric-id":1375357,"id":"Q1375357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2632ce1a366a8e0ad4ecd534e762ebf397551e72","datavalue":{"value":{"amount":"+0.8775977492332458","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":"Q1572835$E11E1DBF-4AAE-47EB-8F37-5B32FB1DAB07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9095725495a5432baefedc3b67e99ec0bc7f2089","datavalue":{"value":{"entity-type":"item","numeric-id":4270329,"id":"Q4270329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2632ce1a366a8e0ad4ecd534e762ebf397551e72","datavalue":{"value":{"amount":"+0.8775977492332458","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":"Q1572835$B92F7CC1-5520-436E-A99E-AF6FEBB8C2C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d0bd8c04265b79db6d7df7ba4f46099ee28d3b98","datavalue":{"value":{"entity-type":"item","numeric-id":5688707,"id":"Q5688707"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9f9e799ab1e257b0251f6d69238ca18a90914320","datavalue":{"value":{"amount":"+0.8346733450889587","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":"Q1572835$31ABA3DD-4787-4AAB-9C95-8808D49AFF30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f3f986e1765bcc029ffd150e7a91c736c49f57c","datavalue":{"value":{"entity-type":"item","numeric-id":4387027,"id":"Q4387027"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9f9e799ab1e257b0251f6d69238ca18a90914320","datavalue":{"value":{"amount":"+0.8346733450889587","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":"Q1572835$12C6513E-B85C-4047-A67D-B1DAE34C4302","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0317c961e9f1f404e40067a37bb76ad0fd144685","datavalue":{"value":{"entity-type":"item","numeric-id":2415306,"id":"Q2415306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"962125b8a7adcc64f5ce93128cbd38946f780ec2","datavalue":{"value":{"amount":"+0.7905732989311218","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":"Q1572835$CB99A371-E0A0-459A-BB8A-2C577DD0B3E1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Transitivity and full transitivity for \\(p\\)-local modules","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Transitivity_and_full_transitivity_for_%5C(p%5C)-local_modules"}}}}}