{"entities":{"Q1760511":{"pageid":1771253,"ns":120,"title":"Item:Q1760511","lastrevid":73376730,"modified":"2026-04-14T15:40:24Z","type":"item","id":"Q1760511","labels":{"en":{"language":"en","value":"On the projective commutant of Abelian groups."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6105687"}},"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":"Q1760511$A24C22C0-7C76-45B1-90A4-87AF59B60BD3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fbb985c6840f7f1a1fb658bfaa889e3a31fe5dc8","datavalue":{"value":{"text":"On the projective commutant of Abelian groups.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1760511$8303D72C-05EB-4BFF-AD5C-CD989AA6C492","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"17100cb0a34af82967fd2f8d702c4f64051840fe","datavalue":{"value":"1281.20064","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1760511$8691FD06-4B9F-44D2-923B-6F6555854CD4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"99ce19cb73b5928883b4d813737f473f22a6d603","datavalue":{"value":"10.1134/S0037446612020188","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1760511$7DC34211-233A-43BA-B19D-6FB0D4C4FA46","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"61db58adbdfd69e4efef1201cb3d1298d7fdae94","datavalue":{"value":{"entity-type":"item","numeric-id":178377,"id":"Q178377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1760511$C385A59A-B6EC-45D8-9DE9-233F38D4D65A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"233b9666fd641860727eb61eeec607b4ddd3d487","datavalue":{"value":{"time":"+2012-11-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1760511$D003AFA9-4C3E-4D6B-8B7D-82D8F2D9DB24","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"8dcf6987c48ac2f7f3f3ecb54015fcc6432123f5","datavalue":{"value":"In this work the investigations of the author's paper [``On projective invariant subgroups of Abelian groups'', J. Math. Sci., New York 164, No. 1, 143-147 (2010); translation from Fundam. Prikl. Mat. 14, No. 6, 211-218 (2008)] are continued.   The author uses the following concepts and notations. By \\(M\\) he denotes some module and by \\(E(M)\\) its endomorphism ring; \\(\\text{Pr}(M)=\\text{Id}(E(M))\\). If \\(H\\leq M\\) and \\(\\pi H\\subseteq H\\) for all \\(\\pi\\in\\text{Pr}(M)\\) then the submodule \\(H\\) is called projectively invariant (briefly, a pi-submodule) and denoted by \\(H\\leq\\text{pi\\,}M\\). Call a submodule \\(H\\leq M\\) commutator projectively invariant (briefly, a cpi-submodule) if \\([\\xi,\\eta]H\\subseteq H\\) for all \\(\\xi,\\eta\\in\\text{Pr}(M)\\). Clearly, if \\(H\\leq\\text{pi\\,}M\\), then \\(H\\leq\\text{cpi\\,}M\\). By the projective center (briefly, the P-center) of \\(M\\) he means the submodule: \\(PZ(M)=\\{a\\in M\\mid[\\xi,\\eta]a=0\\text{ for all }\\xi,\\eta\\in\\text{Pr}(M)\\}\\). Call the submodule \\(\\text{P}(M)=\\langle[\\varphi,\\psi]M\\mid\\varphi,\\psi\\in\\text{Pr}(M)\\rangle\\) the projective commutant (briefly, the P-commutant) of \\(M\\).   The main results of the paper are the following:   Theorem 1. Suppose that \\(A=B\\oplus D\\), where \\(D=t(D)\\oplus D_0\\) is the divisible part of \\(A\\) and \\(H\\leq A\\). Then \\(H\\leq\\text{cpi\\,}A\\) if and only if \\(H\\) coincides with one of the following subgroups:   (1) \\(H=F\\oplus(\\bigoplus_pD_p[p^{k_p}])\\), where \\(F\\) is a periodic cpi-subgroup in \\(B\\) and \\(k_p\\geq\\sup\\{e(b)\\mid b\\in F_p\\}\\);   (2) \\(H=G\\oplus(\\bigoplus_{p\\in\\Pi_1}D_p[p^{k_p}])\\), where \\(G\\) is aperiodic cpi-subgroup in \\(B\\oplus(\\bigoplus_{p\\in\\Pi}D_p)\\) as in Lemma 4(2) \\(k_p\\geq\\sup\\{e(g)\\mid g\\in G_p\\}\\) and \\(\\Pi_1\\cap\\Pi=\\emptyset\\);   (3) \\(H=C\\oplus D\\), where \\(C\\leq\\text{cpi\\,}B\\);   (4) \\(H=E\\oplus t(D)\\), \\(r(D_0)=1\\) and \\(E\\) is a nonperiodic cpi-subgroup in \\(B\\oplus D_0\\) as in Lemma 4(1).   Theorem 2. In a decomposable reduced separable torsion-free group \\(A\\), all cpi-subgroups are fully invariant if and only if, for every direct summand \\(B\\) of rank 1 of the group \\(A\\), in the complementary direct summand there exists a direct summand \\(G\\) isomorphic to \\(B\\).   Theorem 3. In a reduced algebraically compact torsion-free group \\(A\\), its every cpi-subgroup is fully invariant if and only if all \\(p\\)-adic components of \\(A\\) are decomposable.   Theorem 5. Suppose that \\(A=B\\oplus D\\), where \\(D=t(D)\\oplus D_0\\) is the nonzero divisible part of \\(A\\), and suppose that \\(G=PZ(B)\\cap(\\bigcap_{\\varphi\\in\\Hom(B,D)}\\ker\\varphi)\\). Then \\(G\\) is a periodic subgroup, \\(G=\\bigoplus_{p\\in\\Pi}G_p\\) (\\(G_p\\neq 0\\) for \\(p\\in\\Pi\\)), \\(D_p=0\\) for each \\(p\\in\\Pi\\), and \\(PZ(A)\\) coincides with one of the following subgroups:   (1) if \\(t(D)\\neq 0\\) then \\(PZ(A)=G\\oplus(\\bigoplus_{p\\in\\Pi_1}D_p)\\), where \\(\\Pi_1=\\{p\\in P\\mid r(D_p)=1\\}\\);   (2) if \\(t(D)=0\\) then either \\(PZ(A)=G\\) or, if \\(r(D_0)=1\\), then \\(PZ(A)=G\\oplus D_0\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1760511$6F28EDE7-7A22-4190-9A80-BB4FA9FC16B4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"86add130ce1bc29a7dcfc03615753d4d478943bf","datavalue":{"value":"20K15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1760511$65CD328B-17C6-467D-98FD-54C60DF05556","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9f44c3e05f007359b39a58b0e4e67e343748285e","datavalue":{"value":"13C05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1760511$B5D0E7B6-0232-4925-922A-54F45CF96BD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c3b6ad199b0a7cb38e73a1b14a4a2e6f90b62b0a","datavalue":{"value":"20K27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1760511$9A2BC413-5D66-45AC-AA1F-20F1C9E84B3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"13a880741f6f7aa1a4b691f23a1ea4d349674e32","datavalue":{"value":"20K30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1760511$87A9DEF4-B74A-4502-B5AB-A6CFF0CFD26B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f1efbcd2b4f646e7adf8ab1868a891fec72b2e57","datavalue":{"value":"6105687","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1760511$96F46AD3-9708-473C-992E-9C6550ECBCEA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ee7f117cb5cb64d4514a99304ae7450799460f8","datavalue":{"value":"reduced separable torsion-free Abelian groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1760511$84C2E501-3A64-4A77-B544-A0D3CEBF63EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb4f4343e53ac0f3a9aa1c68bd90371a2de2c29a","datavalue":{"value":"normal endomorphism rings","type":"string"},"datatype":"string"},"type":"statement","id":"Q1760511$CF1E88AE-0524-4217-A5F7-43EE108279F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0c644793f95285ff5447b8d3a48c0fe21f6bfdb9","datavalue":{"value":"commutators of endomorphisms","type":"string"},"datatype":"string"},"type":"statement","id":"Q1760511$B092FA24-0E55-4D37-B391-07FF7777E304","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"09bc2cfa8eaa934a70007f29d8f6dbbd8370254d","datavalue":{"value":"fully invariant submodules","type":"string"},"datatype":"string"},"type":"statement","id":"Q1760511$F69FBB72-0D3A-4180-AE4A-00BF1BD99D82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"95d004ed5787e40b298299b3de43cf2063566c1c","datavalue":{"value":"projectively nongenerating elements","type":"string"},"datatype":"string"},"type":"statement","id":"Q1760511$3685561F-48E8-42D2-8FAD-3E95C22285AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3476e3b7465f94e9699ee6931455a1abbef63177","datavalue":{"value":"projectively semiprime submodules","type":"string"},"datatype":"string"},"type":"statement","id":"Q1760511$6F2205D3-13FD-4586-8AC9-2F8F5E7A690D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"80eca23d7e12876178f7403ed256b523d94a8e5e","datavalue":{"value":"fully invariant subgroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1760511$72806475-2B0F-419E-BE59-8F9DC3114206","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c6c415167cdae71f35d4d5f0a6186c2a10db009c","datavalue":{"value":{"entity-type":"item","numeric-id":1669841,"id":"Q1669841"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1760511$4F3E1123-F4CA-4731-B600-51E26D0260BA","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"e35d0a215b38a6e1550bd2564c9af1538ea367ab","datavalue":{"value":{"entity-type":"item","numeric-id":171315,"id":"Q171315"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1760511$AD239049-5A76-4751-AFAC-0B65F73E5441","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":"Q1760511$7370B7D8-8E42-4CDE-BED8-E81E591C4797","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d241c0aea14bad5b92bb71925f9194cb151ea67d","datavalue":{"value":{"entity-type":"item","numeric-id":2453375,"id":"Q2453375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1760511$838BEEA3-64ED-4CD5-A4A4-77FD1AB4B786","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56215899873d4d88c36863cfc85c9269fa15ffee","datavalue":{"value":{"entity-type":"item","numeric-id":5391608,"id":"Q5391608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1760511$626B7445-5AA7-4B04-8EB2-C85484C5C961","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce4729ddd9faa2aa8e5a5e4c4667e32072a0384e","datavalue":{"value":{"entity-type":"item","numeric-id":431703,"id":"Q431703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1760511$D57202F9-8A9C-4DA2-BFE9-A099AF168D28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"36b183d4e949b50988cd4fbc23d773e2bcd4a9f8","datavalue":{"value":{"entity-type":"item","numeric-id":610307,"id":"Q610307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1760511$9640E9F5-0149-4F97-930E-4D3F72AAE09F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52149415ceb61c199f8a678fac76acd372f52557","datavalue":{"value":{"entity-type":"item","numeric-id":5915518,"id":"Q5915518"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1760511$E8896A2B-9EE0-4AD0-9117-AEB74AA33E74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eac58a1eb13179a2386cb49ffbea8773081de9ca","datavalue":{"value":{"entity-type":"item","numeric-id":4745957,"id":"Q4745957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1760511$9E6716BC-8759-4BF9-9269-BD2C01E0380A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b845466b3cd2ffdcc8c99f7f7f9aa6f949a83e6a","datavalue":{"value":"https://doi.org/10.1134/s0037446612020188","type":"string"},"datatype":"url"},"type":"statement","id":"Q1760511$CAAF7E59-8D99-4296-8894-51EF55DD8603","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"324b649b96f4df894942315a51a0a37b71156ec9","datavalue":{"value":"W1977650894","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1760511$812CD96B-82A1-4890-8D72-FD51E2325170","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"04e9bb975167e3867f8ea71185b3cd26af1ff41c","datavalue":{"value":{"entity-type":"item","numeric-id":2037749,"id":"Q2037749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f08b30cbc105583d9d80c6cf0197b2c5d66cba1","datavalue":{"value":{"amount":"+0.8218187689781189","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":"Q1760511$FF8A3B2C-081E-4CB0-B912-D205FE7D8E17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"06c8ee0ed973c05394446fc8ce38709d25ddd588","datavalue":{"value":{"entity-type":"item","numeric-id":5869040,"id":"Q5869040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cb2a72ef8483a86c25c3401108c843a58db0f7f5","datavalue":{"value":{"amount":"+0.8090403079986572","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":"Q1760511$E7D145C0-78E7-4C49-B8E3-C1476920582A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a922f19644c4a7704becd8802fd65796a512f780","datavalue":{"value":{"entity-type":"item","numeric-id":6132645,"id":"Q6132645"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1180b1b6ac7e778260f1ebba4716400284f035ac","datavalue":{"value":{"amount":"+0.8041495084762573","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":"Q1760511$A25DA4C1-7454-4392-92D7-964954B69E6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3da7eddb94e28052dafc43af0ee53a2cdaca1bf9","datavalue":{"value":{"entity-type":"item","numeric-id":610307,"id":"Q610307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"18b4cb32d6414d661239989a060a01e85ce3f83e","datavalue":{"value":{"amount":"+0.801161527633667","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":"Q1760511$C8584711-370B-4D79-9257-410ED35017C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e5b0a4ea0e5eb2bd94904517f2285963fb338668","datavalue":{"value":{"entity-type":"item","numeric-id":3579996,"id":"Q3579996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"47133a79201e16502a66d02edf92554bcd0b7922","datavalue":{"value":{"amount":"+0.7956990003585815","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":"Q1760511$88E3EE3D-9256-4AAE-ADCB-0EB00FFA7372","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On the projective commutant of Abelian groups.","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_the_projective_commutant_of_Abelian_groups."}}}}}