{"entities":{"Q538081":{"pageid":539848,"ns":120,"title":"Item:Q538081","lastrevid":62588265,"modified":"2026-04-11T07:06:46Z","type":"item","id":"Q538081","labels":{"en":{"language":"en","value":"A criterion for HNN extensions of finite \\(p\\)-groups to be residually \\(p\\)."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5899134"}},"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":"Q538081$93154CCC-4978-46FF-A267-DB10F85EE5EC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"90c4532af0a2a84e27df6e37a30cdfdafa35ed7f","datavalue":{"value":{"text":"A criterion for HNN extensions of finite \\(p\\)-groups to be residually \\(p\\).","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q538081$02CA68EC-287F-4AC8-AFC3-629C3CF73430","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0e9607de2d9e8822fdaf899f685867b9d76f9bab","datavalue":{"value":"1232.20031","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q538081$AA04F44B-FC2B-497C-9A14-756D407DF2A0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a168a73ea7ac1a4b7829d675a72bcddf1720ec3f","datavalue":{"value":{"entity-type":"item","numeric-id":281482,"id":"Q281482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q538081$A7526FCB-85F5-44D8-9295-45699BC8E9FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5a2f99f028f1537e5e2d2aca89031d796b7e879a","datavalue":{"value":{"entity-type":"item","numeric-id":311061,"id":"Q311061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q538081$3F42F060-9396-4A8A-ACCF-8477CC8456CB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"34a2791b3d9645796ba9cdff19dd05bcf40f0161","datavalue":{"value":{"entity-type":"item","numeric-id":168348,"id":"Q168348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q538081$EBD50A73-E7EE-47CC-9787-F3927FD49B8A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"987c10c6ecaaa604cff66f7d8ee6e24b6dd4dc1e","datavalue":{"value":{"time":"+2011-05-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q538081$C99626D1-B014-4B9F-8515-2712B4B20290","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8461cca942ff09769074afdae2b907fd9dafa82c","datavalue":{"value":"https://arxiv.org/abs/0906.1164","type":"string"},"datatype":"url"},"type":"statement","id":"Q538081$199C5BF7-696C-42C7-9D67-D956064A7594","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"04c9a131b10ab47cb07976860c4ff38d842b5819","datavalue":{"value":"In this paper the authors deal with HNN-extensions of finite \\(p\\)-groups and give a criterion to be residually \\(p\\).   Before stating the main result of the paper we quote some terminology. Let \\(G^*=\\langle G,t\\mid t^{-1}At=B\\varphi\\rangle\\) be the HNN-extension of the group \\(G\\) with associated subgroups \\(A\\) and \\(B\\) via the isomorphism \\(\\varphi\\colon A\\to B\\). Let \\(H_0=A\\cap B\\) and inductively \\(H_{i+1}=\\varphi^{-1}(H_i)\\cap H_i\\cap\\varphi(H_i)\\). If \\(H(G,\\varphi)=\\bigcap_iH_i\\), then \\(\\varphi\\) restricts to an automorphism of \\(H(G,\\varphi)\\) and this is the largest subgroup of \\(G\\) with this property. For the HNN-extension \\(G^*\\) a central compatible filtration is a finite sequence \\(G=G_1\\triangleright G_2\\triangleright\\cdots\\triangleright G_n=1\\) of normal subgroups of \\(G\\) such that \\(G_i/G_{i+1}\\) is central in \\(G/G_{i+1}\\) for each \\(i\\) and \\(\\varphi\\) restricts to an isomorphism \\(A\\cap G_i\\to B\\cap G_{i+1}\\), for each \\(i\\).   Proposition: Let \\(G^*=\\langle G,t\\mid t^{-1}At=B\\varphi\\rangle\\) be the HNN-extension of the finite \\(p\\)-group \\(G\\). If \\(G^*\\) is residually \\(p\\), then there exists a central compatible filtration \\(\\mathbb G=(G_i)\\) of \\(G\\), such that for any \\(i<j\\), any \\(a\\in A\\cap G_i\\) and any \\(b\\in B\\cap G_j\\) the automorphism of \\(H(G_i/G_j,\\tau_b\\circ\\varphi_{ij}\\circ\\tau_a)\\) induced by \\(\\tau_b\\circ\\varphi_{ij}\\circ\\tau_a\\) is a power of \\(p\\). (\\(\\tau_a,\\tau_b\\) are the inner automorphisms induced by \\(a\\) and \\(b\\), respectively).   Theorem: Let \\(G^*\\) as above. Suppose there exists a central compatible filtration \\(\\mathbb G=(G_i)\\) of \\(G\\), such that for any \\(i\\) the order of the automorphism of \\(H(G_i/G_{i+1},\\varphi_{i,i+1})\\) induced by \\(\\varphi_{i,i+1}\\) is a power of \\(p\\). Then \\(G^*\\) is residually \\(p\\).   The paper, as the authors admit, is inspired by the ideas of \\textit{E. Raptis} and \\textit{D. Varsos} [in Pure Appl. Algebra 76, No. 2, 167-178 (1991; Zbl 0743.20022)]. But in that paper there is an oversight in an inductive step. Here the authors point it out and reconstruct the one direction of the Theorem 13 there as in the Theorem above.","type":"string"},"datatype":"string"},"type":"statement","id":"Q538081$C4604B21-251C-412A-9B83-78228DC35D77","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"831f88e9d90875bc5ed734a43dde265a8db02e5e","datavalue":{"value":{"entity-type":"item","numeric-id":590422,"id":"Q590422"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q538081$7F6F469C-2B74-4163-9700-A9B7A5F9B210","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fcae15942a1ef1170b65682251799a9bfed1dcd3","datavalue":{"value":"20E06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q538081$1BB60457-1D2C-4346-AB10-A15EA2AA95C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"afe0dc0c0736bb69fa09cc63d89cf0239c70ef90","datavalue":{"value":"20E26","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q538081$0F745EDF-00AB-426D-8E59-8854ECB18BC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7d267b79d7c375f7a21a0589ed85621f83aaaf2d","datavalue":{"value":"20F14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q538081$9AEEB236-A82A-4562-A43D-A1D274C3AD39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"677f074949b6912a3d5be9a52164e3a800597639","datavalue":{"value":"20D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q538081$0D3FC4AD-E7B5-43E6-A83D-2DA629EFAFB8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9c29a9b0862c5452b6126e2ff4038b959c35fc22","datavalue":{"value":"5899134","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q538081$79B21D07-C690-4BA0-87CA-1C35E22B8A40","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2800bcc27c0633dccc5ca19080f7dcb7ecee1af5","datavalue":{"value":"HNN-extensions","type":"string"},"datatype":"string"},"type":"statement","id":"Q538081$954526FD-B2E5-45A2-A43E-45A6AD29DF75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f81b78a794ffd6659c10be1c5c5591050f41a3d3","datavalue":{"value":"residually \\(p\\)-groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q538081$E84B85F3-1FA4-4CA0-8814-39AE10343F04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2e1fc02dedf96c1d20937f6b051525a727de19f7","datavalue":{"value":"finite \\(p\\)-groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q538081$5D287667-A64C-4DF6-B0E0-38EFD3E8CA03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0d80e27096d76dedea4cee4592de415162a55439","datavalue":{"value":"central filtrations","type":"string"},"datatype":"string"},"type":"statement","id":"Q538081$2A294394-7057-4EB8-8E5D-4E74D1A53260","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":"Q538081$52292931-4927-4F3A-9533-6DF5CCECB142","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"da8ab85a47a7e89cf993ad9fedff1c3f0b8a80b8","datavalue":{"value":"W2089580049","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q538081$20578539-DF99-4D1E-8D16-4FD78783C77B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ccc2e6137f046378b88eb13032c63629514628c2","datavalue":{"value":{"entity-type":"item","numeric-id":687568,"id":"Q687568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q538081$6C5D60C8-264E-4B26-BD85-E6EF86DD63ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51eabf4159b7e1f08359eff182f63175a34906d5","datavalue":{"value":{"entity-type":"item","numeric-id":4155068,"id":"Q4155068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q538081$94132130-D45F-4605-AAF3-C766B0A83B61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e5731b374526da4386ec322c26ec47b6bc392d4","datavalue":{"value":{"entity-type":"item","numeric-id":1320025,"id":"Q1320025"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q538081$0EEC1C7D-2FC5-470E-AFE9-76A38E5D59D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc68a4c22120782413b956adef29ceca8e1e7856","datavalue":{"value":{"entity-type":"item","numeric-id":4149614,"id":"Q4149614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q538081$D3852441-FCFE-4D31-AE62-684DFC2FAD4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c48614dff2c491808daadfdb5c23810a57721cad","datavalue":{"value":{"entity-type":"item","numeric-id":3241234,"id":"Q3241234"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q538081$D2F8EC65-E600-4398-99AE-72B30FC9CFE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a9f29a8e636476296762894d4e08483093cc345","datavalue":{"value":{"entity-type":"item","numeric-id":1170612,"id":"Q1170612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q538081$BF6E9134-F8D8-45A1-8579-73F65D2218B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d7ec483cd8c78c24e020d5b3f50cf0feaf7cd44","datavalue":{"value":{"entity-type":"item","numeric-id":2555564,"id":"Q2555564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q538081$5C3787AC-4980-43D2-B728-96EEE0AAA728","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a86d2e770b326d2a9b6b80f00199c0dad1ecb795","datavalue":{"value":{"entity-type":"item","numeric-id":436080,"id":"Q436080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q538081$5A6E7E64-DB87-43E6-A5B4-EB8CCD82E0A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5476977ec2ccfd0adbfbef0b61b3dbf6a7943113","datavalue":{"value":{"entity-type":"item","numeric-id":1122652,"id":"Q1122652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q538081$97299A26-9643-4FDB-8AF3-51C749D5F720","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56cd2015a5752cd74b536f039f9c0273faff0499","datavalue":{"value":{"entity-type":"item","numeric-id":1181425,"id":"Q1181425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q538081$7ACCAB17-4188-4B51-A273-09C57D90EFC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1dd264c5dfd5c649381e4cc5b4c1e202d0f51399","datavalue":{"value":{"entity-type":"item","numeric-id":4317890,"id":"Q4317890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q538081$C1EC7B6B-4D0C-4E0F-B8FF-DB0DB38F918F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d646c7ebcec41e467750ecb827006ff7744eae5f","datavalue":{"value":{"entity-type":"item","numeric-id":3341041,"id":"Q3341041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q538081$72A265D3-1D81-43B7-993C-0970B97DAAB5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5b1972742189656aa7919d4bae3772c56b079fd1","datavalue":{"value":"10.1016/J.JPAA.2011.02.016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q538081$50DBCBF4-0010-4B08-A190-B01DE63A6E32","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8845871ebf9dc40a836b8c28b259e7f980761a08","datavalue":{"value":{"entity-type":"item","numeric-id":3807420,"id":"Q3807420"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a78bae1c29e8e3002ae431f8359a01980694ff52","datavalue":{"value":{"amount":"+0.8331228494644165","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":"Q538081$583CEE50-6874-4192-A399-EF91ABACCF2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e9df1547532e2c75f79bdf4a6344ded44f5c70d1","datavalue":{"value":{"entity-type":"item","numeric-id":2857880,"id":"Q2857880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b0bcd54c0fef7b472cdb6b7ebd78eff8cfa2535c","datavalue":{"value":{"amount":"+0.8123884797096252","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":"Q538081$13BB4392-DD40-4750-A357-F16F18CB3163","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"21ba9cabe079bb54539adb7239b9befa96d0fc9c","datavalue":{"value":{"entity-type":"item","numeric-id":5037584,"id":"Q5037584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2059d6b6a21350dbeee5f9f1fc5b5e189a99b67f","datavalue":{"value":{"amount":"+0.8006537556648254","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":"Q538081$118E56CF-BBDF-4D29-BC6D-B9D90ED43A9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9a8e753030391144147d8934c2595c8ca891f719","datavalue":{"value":{"entity-type":"item","numeric-id":2027910,"id":"Q2027910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3005e6dcc12779589391f099f0da4657ce536c53","datavalue":{"value":{"amount":"+0.7963736057281494","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":"Q538081$6D2D4657-7891-4143-B6DE-02EB4281B979","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c6ecf08215e8e1c6efa1e9d14f15954ef0097542","datavalue":{"value":{"entity-type":"item","numeric-id":1104408,"id":"Q1104408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"10f0547d3fc9249e07e3f3ab58b1971a92728f22","datavalue":{"value":{"amount":"+0.7934664487838745","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":"Q538081$0BD2C0F9-E803-483A-A8AB-120DFF25857B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A criterion for HNN extensions of finite \\(p\\)-groups to be residually \\(p\\).","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_criterion_for_HNN_extensions_of_finite_%5C(p%5C)-groups_to_be_residually_%5C(p%5C)."}}}}}