{"entities":{"Q2466936":{"pageid":2477679,"ns":120,"title":"Item:Q2466936","lastrevid":50253392,"modified":"2026-01-13T16:02:58Z","type":"item","id":"Q2466936","labels":{"en":{"language":"en","value":"Group rings of proper ascending HNN extensions of countably infinite free groups are primitive."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5227524"}},"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":"Q2466936$AB49466B-8C3B-488F-88FA-336097EEA714","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"33d86e8cc737dd706590079af6f85a8ee30d7320","datavalue":{"value":{"text":"Group rings of proper ascending HNN extensions of countably infinite free groups are primitive.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2466936$36C26FD2-14B0-4884-9688-1091EBE067DF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"48ec3669f26b6cc21525acc7691871d8e90108f8","datavalue":{"value":"1136.20005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2466936$5337B18D-3F33-4C42-8D8D-FE559A456F6B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2c0466a42780fb6a3fffbdda44f65c4db9e14975","datavalue":{"value":{"entity-type":"item","numeric-id":502719,"id":"Q502719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2466936$B09C0605-B644-4724-9815-F6BF78AF411C","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":"Q2466936$98109B88-4DC9-4FD5-967D-77E3CF5055D8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7492af9f79330cb283838c5a7fab0709e1ba7b1f","datavalue":{"value":{"time":"+2008-01-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2466936$531FBF18-61F4-4919-8160-2047EF4217A3","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"29d8ae109bf00ae74a74b4e7890c622ff7627ece","datavalue":{"value":"The author investigates the problem of primitivity of group rings of a certain type of extensions of groups for a field \\(K\\). Let \\(F\\) be a group and let \\(\\varphi\\colon F\\to F\\) be a monomorphism. The ascending HNN exstension corresponding to \\(\\varphi\\) is the group \\(F_\\varphi=\\langle F,t\\mid t^{-1}ft=\\varphi(f)\\rangle\\). A ring is (right) primitive if it has a faithful irreducible (right) module. Let \\(F\\) be a free group and \\(K\\) a field. The goal of the paper under review is to study the primitivity of the group ring \\(KF_\\varphi\\).   The main result is the following Theorem 1.1. Let \\(F\\) be a non-Abelian free group, and \\(F_\\varphi\\) the ascending HNN exstension of \\(F\\) determinated by \\(\\varphi\\). (i) In case \\(\\varphi(F)=F\\), the group ring \\(KF_\\varphi\\) is primitive for a field \\(K\\) if and only if either \\(|K|\\leq|F|\\) or \\(F_\\varphi\\) is not virtually the direct product \\(F\\times\\mathbb{Z}\\). (ii) In case \\(\\varphi(F)\\neq F\\), if the rank of \\(F\\) is at most countably infinite, then the group ring \\(KF_\\varphi\\) is primitive for any field \\(K\\).   In order to prove this theorem the author has overcome some significant difficulties. In section 2 and section 3 the author proves some auxiliary lemmas and states some related results, which are necessary for the proof of Theorem 1.1.   The following result is also of some interest. Corollary 3.7. Let \\(F\\) be a non-Abelian free group of at most countably infinite rank, and \\(F_\\varphi\\) the ascending HNN extension of \\(F\\) determined by \\(\\varphi\\). If \\(K\\) is any field then the group ring \\(KF_\\varphi\\) is semiprimitive.   The author poses the following problem: Problem 3.8. Is it true that the group ring of any locally free group is primitive?","type":"string"},"datatype":"string"},"type":"statement","id":"Q2466936$34084FEA-8B17-4BF0-BFCD-654B1A590A65","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":"Q2466936$A79BB373-99AD-45EA-8059-E95091352DBE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"05178b00f3954cc5276390a934207187e030f430","datavalue":{"value":"20C07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2466936$FC98781D-284E-4971-800F-245F09FCEBAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"78561816a36336f990925c0d7d4e291f6baa24cd","datavalue":{"value":"16S34","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2466936$6A0108A3-BD66-4DE9-9D04-782C481E3A3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b81e6d8bb3040e3d80ca4a1b2313e0a69811685b","datavalue":{"value":"16D60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2466936$60E0FA1F-76D7-4DE0-8C87-23B5565B6551","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fcae15942a1ef1170b65682251799a9bfed1dcd3","datavalue":{"value":"20E06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2466936$D72987AC-E415-4400-B4FB-D2BEDC8B50A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e478659c80ac196196a2283c8b16b79c8d8cd8d5","datavalue":{"value":"20E05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2466936$5D497D74-8989-456F-8421-A844A1157D58","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4f6d014175770e9344df7fe0530ddddec09690fb","datavalue":{"value":"5227524","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2466936$2D1F055E-B182-48A4-9259-0647403DC077","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e43d4f8f3977d214159bea39e6e8e4636c1e1f23","datavalue":{"value":"primitive group rings","type":"string"},"datatype":"string"},"type":"statement","id":"Q2466936$05550B1F-8FD8-4DEC-A82A-C24D3F80FEA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"febbac8d242ee8a192f8b72854e4c51d2516e3b4","datavalue":{"value":"ascending HNN extensions","type":"string"},"datatype":"string"},"type":"statement","id":"Q2466936$11EAE4CD-1259-4D65-AA3B-2ACB8CD8D802","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":"Q2466936$11D69B17-E7F0-40F6-990C-4CD55B59127F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ac643442aa5cd5eca3834847ce34fd130ebe93c0","datavalue":{"value":"https://doi.org/10.1016/j.jalgebra.2007.09.001","type":"string"},"datatype":"url"},"type":"statement","id":"Q2466936$14FB858A-5D11-40ED-9AC6-82C98A7C83D0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"269b2eda694d195647d3f9b7e1c7877f1d7df64b","datavalue":{"value":"W2029679391","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2466936$2F863CE5-9A17-48C0-AAC5-497521D34585","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"81efb0e1dfcc0379f24c2c7ba2a69298ef387fa7","datavalue":{"value":{"entity-type":"item","numeric-id":5632768,"id":"Q5632768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2466936$594141E3-F12A-4F28-8DA7-A1F200B5C70F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e3660f09a770d4e0650f646468cb7250a1f02dc","datavalue":{"value":{"entity-type":"item","numeric-id":1775148,"id":"Q1775148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2466936$FAAD5ADD-09DB-4704-A941-013E893DE8CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"780abf9c697cfe900b1de70bb23c7ee2a54086ce","datavalue":{"value":{"entity-type":"item","numeric-id":4168727,"id":"Q4168727"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2466936$209034F5-530F-4F2F-B474-BCF236B681D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"154b78bab26eb8f45213e5ffb30dd9c22c25d66b","datavalue":{"value":{"entity-type":"item","numeric-id":4161812,"id":"Q4161812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2466936$8FCC746D-C076-48AB-934E-018A469012FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ef6e0c6169e5a1548e6a457a4abdc8a202bdb1b","datavalue":{"value":{"entity-type":"item","numeric-id":1306688,"id":"Q1306688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2466936$2A36F7BE-23BF-49BA-A272-7ECCD424F73C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"276afe7f32470cbaf4f9566227895668421cafb0","datavalue":{"value":{"entity-type":"item","numeric-id":2562123,"id":"Q2562123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2466936$6A8CB877-E5BE-4DDC-B07B-81C6DD984FF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"911f32a8445f4c9d9b94b1fb8a2cfcb4c0582959","datavalue":{"value":{"entity-type":"item","numeric-id":5628290,"id":"Q5628290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2466936$821F438E-EB87-46F7-AFE8-784F61F8896B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"800a83892524ce2e16986ddb8c6d475a29e3d96b","datavalue":{"value":{"entity-type":"item","numeric-id":3152281,"id":"Q3152281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2466936$4A089545-34AC-4D00-9075-32E5F56B1E0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4fe711e32480e475048c35720b09d0aadda3d2f","datavalue":{"value":{"entity-type":"item","numeric-id":1812031,"id":"Q1812031"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2466936$1E4843F9-105B-4E7C-AB28-2E2177AD78D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"82d3cbffed8a301b84b1253490d8c6b17bf2e322","datavalue":{"value":{"entity-type":"item","numeric-id":4145882,"id":"Q4145882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2466936$B4549362-3A93-435A-890A-6C30B7B628A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e7194f840e90564c55ab4030c86fce7b6e7f6849","datavalue":{"value":{"entity-type":"item","numeric-id":2552186,"id":"Q2552186"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2466936$06891B4F-09B6-4E85-85B9-DEB439CF1BD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"50073e72c59e2e1a3fa2164fbfde49f0a58ec172","datavalue":{"value":{"entity-type":"item","numeric-id":3682617,"id":"Q3682617"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2466936$C143F646-E06A-4597-B8FE-6F75F5069306","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"218258b8d1f04ee14299e41da9fec5ba01a9b98b","datavalue":{"value":{"entity-type":"item","numeric-id":4192204,"id":"Q4192204"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2466936$56179038-1E4B-4EBC-AA77-01D228564A01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"72f83b2286638b4b61c6cc54dfc08f4c8572f1c4","datavalue":{"value":{"entity-type":"item","numeric-id":5614000,"id":"Q5614000"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2466936$387142FD-79AA-42B8-BF1E-0BCF43F9D8E4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"532e61c8268a071165bb56ea3c4d3b99d2d21b63","datavalue":{"value":"10.1016/J.JALGEBRA.2007.09.001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2466936$B359D97B-E3F9-4CE5-BFC0-0CF792CA1392","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5a24dc649e2b193b666c73ba92ba2be0bf33e917","datavalue":{"value":{"entity-type":"item","numeric-id":3006613,"id":"Q3006613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a3c2dcc230f5ba9110d1948ff7944ced09e3fc6b","datavalue":{"value":{"amount":"+0.9232508540153505","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":"Q2466936$7E0104AE-7917-4ED9-869B-820F498441BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3b8a7c4c7f684e51ef5e17e460c2577f60eef90e","datavalue":{"value":{"entity-type":"item","numeric-id":3314008,"id":"Q3314008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"32b81e47b3b6857f25a717664c6c1aad023497d3","datavalue":{"value":{"amount":"+0.8955675363540649","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":"Q2466936$36A22029-E845-45B0-AD0C-EB03FC050868","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d07f8a1972d1ceeb4401255e79cec173cffbe0b2","datavalue":{"value":{"entity-type":"item","numeric-id":1693069,"id":"Q1693069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"19f56c94c57740e889971b964f87dfa1357df5d7","datavalue":{"value":{"amount":"+0.809169590473175","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":"Q2466936$0EB6B885-4792-4512-9390-E0CB07214146","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb28a103be4a5a33b7a9dfa43174d51d27206c79","datavalue":{"value":{"entity-type":"item","numeric-id":4733973,"id":"Q4733973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6d5b5f678859d5238f4ff312258938e37a747e16","datavalue":{"value":{"amount":"+0.8086888194084167","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":"Q2466936$9761C81E-B7E3-44AF-869C-AF0F0A314691","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"61bc8f362b60b9a49f21db6471b975b74d01acbd","datavalue":{"value":{"entity-type":"item","numeric-id":1675088,"id":"Q1675088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"81d31f163ee0c586bbc92bab2f94be99d4871f75","datavalue":{"value":{"amount":"+0.7938768863677979","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":"Q2466936$FEBF81E4-D892-4D03-8153-4EFD5031BE15","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2466936","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2466936"}}}}}