{"entities":{"Q1977538":{"pageid":1988280,"ns":120,"title":"Item:Q1977538","lastrevid":73744392,"modified":"2026-04-14T17:07:08Z","type":"item","id":"Q1977538","labels":{"en":{"language":"en","value":"On generalized Dedekind groups and Tarski super monsters"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1448606"}},"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":"Q1977538$9A3F84D5-5CE9-4D64-ABC4-B29CFDB99049","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"997db7c677e94e53b05c507324fee0831925571a","datavalue":{"value":{"text":"On generalized Dedekind groups and Tarski super monsters","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1977538$A40D7876-9989-4025-8089-FAF91E77CFD2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b75764dcd45f65fa4c887c815262c682ae35736d","datavalue":{"value":"0959.20031","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1977538$54BA9F56-A2A7-4AF1-B394-D3E281DE100D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f6031815502de22b209be1f57b1675d7f7041c0d","datavalue":{"value":{"entity-type":"item","numeric-id":188699,"id":"Q188699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1977538$55170140-B796-493F-A46C-7F82C05ED7C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7451b579d55b07675df66c1ff9eac8215af23215","datavalue":{"value":{"entity-type":"item","numeric-id":177373,"id":"Q177373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1977538$E7385A46-B33C-45A3-BC93-2E3D2F4E621A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bc810928cba772f952789954c27a022e3f451623","datavalue":{"value":{"entity-type":"item","numeric-id":592660,"id":"Q592660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1977538$D121D749-DD40-426F-8AF9-384BA7E53797","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7c61049c4b405e30b153ebbb4c813e84fda4aa57","datavalue":{"value":{"entity-type":"item","numeric-id":230877,"id":"Q230877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1977538$ED068974-8614-4AC9-84A1-A47EA653CC03","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":"Q1977538$17C7DC79-9259-4F90-81E1-82642EEE9B03","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"948818e5850942b92198c1095261628c39e5a05b","datavalue":{"value":{"time":"+2001-02-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1977538$860D67A5-6987-4BE0-8EB7-9CACE7850C66","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"d03639c0617f8ef4fd0060ab928399c365c6386b","datavalue":{"value":"A group \\(G\\) is called a \\(J\\)-group if it satisfies the following condition: for each element \\(x\\in G\\) either the subgroup \\(\\langle x\\rangle\\) is normal in \\(G\\), or the subgroup \\(\\langle x,x^g\\rangle\\) is normal in \\(G\\) for all elements \\(g\\in G\\setminus N_G(\\langle x\\rangle)\\). \\(J\\)-groups are a generalization of the Dedekind groups.   The first step is the study of finite \\(J\\)-groups. Theorem 1. If \\(G\\) is a finite \\(J\\)-group, then \\(G\\) is soluble. Theorem 2. Let \\(G\\) be a finite nilpotent group. Then \\(G\\) is a \\(J\\)-group if and only if all the Sylow subgroups of \\(G\\) are \\(J\\)-groups and all but at most one are Dedekind groups. Theorem 5. Let \\(G\\) be a finite \\(J\\)-group, \\(Z\\) be the upper hypercenter of \\(G\\). Then \\(G/Z\\) is a Frobenius group with an elementary Abelian kernel \\(P\\) of order \\(p^i\\), \\(i\\leq 2\\), for some prime \\(p\\), and with a cyclic complement \\(D\\). If \\(|P|=p^2\\), then \\(D\\) is of odd order and \\(|D|\\) divides \\(p+1\\). Theorem 6. Let \\(G\\) be a finite group with identity center. Then \\(G\\) is a \\(J\\)-group if and only if \\(G\\) is a Frobenius group with an elementary Abelian kernel \\(P\\) of order \\(p\\) or \\(p^2\\) and a cyclic complement \\(D\\), which is of odd order dividing \\(p+1\\) if \\(|P|=p^2\\). Section III of this paper contains some properties of finite primary \\(J\\)-groups.   Section IV of this paper contains some properties of infinite soluble \\(J\\)-groups. The basis is Theorem 24. Let \\(G\\) be a finitely generated infinite non-Abelian group. Then \\(G\\) is a \\(J\\)-group if and only if \\([G,G]\\) has prime order. Corollary 25. Let \\(G\\) be a locally soluble \\(J\\)-group. Then (i) \\(G\\) is soluble; (ii) \\(\\text{dl}(G)\\leq 3\\); (iii) if \\(G\\) is not periodic then either \\(G\\) is Abelian, or \\([G,G]\\) has prime order. Corollary 29. Let \\(G\\) be a locally nilpotent \\(J\\)-group. Then (i) \\(G\\) is nilpotent; (ii) \\(\\text{cl}(G)\\leq 3\\). Theorem 30. Let \\(G\\) be an infinite locally finite \\(J\\)-group. Then (i) \\(G\\) is soluble and \\(\\text{dl}(G)\\leq 3\\); (ii) either \\(G=Z_3(G)\\) or \\(G/Z_3(G)\\) is a finite Frobenius group of the special type described in Theorem 5. Section V of this paper contains some properties of infinite non-soluble \\(J\\)-groups.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1977538$7F90E7B9-766D-478E-998F-A0D100E55546","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2f4d97f788112bb319e1ce84c40c80e26fe1c09f","datavalue":{"value":"20E34","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1977538$B12A7A6C-A0B7-4EB6-8EEC-630041AD267D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a148f1b904fb6c62daeca9418d6a27c89d60492f","datavalue":{"value":"20F22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1977538$B499BFED-5125-4747-A269-A49942057C2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9a1a4186812d01433313a8948e0d5c4282e52788","datavalue":{"value":"20F19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1977538$149EE49B-A597-4CA2-A3F6-E5B936AB4453","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"677f074949b6912a3d5be9a52164e3a800597639","datavalue":{"value":"20D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1977538$1976C78A-FCBF-4424-A3AE-5B1E9DA378BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1a9473403ba5aadfa1076dd6525b25a3172ff28b","datavalue":{"value":"20F16","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1977538$8542C243-CBD0-4B1A-ADBD-8D03F5A3ECE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7d267b79d7c375f7a21a0589ed85621f83aaaf2d","datavalue":{"value":"20F14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1977538$8DDF0BFA-E0FE-46CD-8AA5-543B2BB41132","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"403a2d378c7f2b1dcd03e71486a8ed20ba643191","datavalue":{"value":"20E32","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1977538$3D16B320-8C4C-476F-8E07-7839CF247085","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ab7f1913f17e5a0b9516abb4c1dc9775ee87c61d","datavalue":{"value":"1448606","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1977538$0D82CB6C-5B7B-4A2D-ABDD-31FF696994DA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"62cf6cf0124a2fd18a5b38b27552861a53ad8fbb","datavalue":{"value":"generalized Dedekind groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1977538$15CE3DD1-BEA9-484D-A8C6-695802CA1031","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d075cfc350536fe440c15556908e9ddae7b0fecf","datavalue":{"value":"finite solvable \\(J\\)-groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1977538$A53DF21D-6C85-4F29-9DC5-AC8CB73EB64F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3bcdf760f93ff4636d9cebac3361510af779b641","datavalue":{"value":"finite nilpotent groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1977538$D2B4934F-BA81-4259-9536-D47118D517E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aa9fc66e579195216d7ba8869ae634afc7aab201","datavalue":{"value":"Frobenius groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1977538$BF45B5F9-A87B-4A51-8CB0-59DAEA9DAAD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1bdef8c15bcf6d003012f53b7138bbdbbf32033b","datavalue":{"value":"locally soluble groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1977538$B83F93B9-5B82-45E8-85FD-7F2C7B1CEB79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d0904d3143c1309534b845de39fcbff5e995ca78","datavalue":{"value":"locally nilpotent groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1977538$0BD683AD-D442-4ED0-BBA4-5BCB4F94DE98","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"75e9767b9d7bb847b1244924f6c6a20939dd3b26","datavalue":{"value":{"entity-type":"item","numeric-id":233337,"id":"Q233337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1977538$303E3B5C-1F38-4ABA-A82E-F5E95C822232","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":"Q1977538$970B27D7-1929-4200-8CF0-63D4EE3364B7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"199101d080fa52f4ea396806a506542de4ed8227","datavalue":{"value":"https://doi.org/10.1006/jabr.1999.8106","type":"string"},"datatype":"url"},"type":"statement","id":"Q1977538$60C4A4FF-72F0-478D-95E1-7F88D8C344B6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ea3d8cc5d46337a3c4b06b15a36461d3d73ac7a2","datavalue":{"value":"W1990798447","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1977538$29A2147E-1E1D-405E-89C7-2AA6B09185AB","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7986f0cd98b47eee19afa457a9472541ef40b0f1","datavalue":{"value":{"entity-type":"item","numeric-id":5328198,"id":"Q5328198"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1977538$4F1D5FFB-E6F8-4453-8DD0-275E80295309","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"819951b69f62f6bc68a7655edb90e36347b2635c","datavalue":{"value":{"entity-type":"item","numeric-id":2531298,"id":"Q2531298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1977538$132567FC-6364-44C8-A524-CB2771337BDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b05ab478fb64e8ba153f353c6601264d037b3ea","datavalue":{"value":{"entity-type":"item","numeric-id":1265529,"id":"Q1265529"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1977538$5CAB7146-E7D5-4E72-A994-4BB4095974A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"07db5d9d443b5d4b2edd7761e49422c74809a4b4","datavalue":{"value":{"entity-type":"item","numeric-id":5620726,"id":"Q5620726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1977538$07D7E202-D299-49C6-B3BC-96D5223DEDE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eed34615f2babd3c2360c2ddcba02992fe37652e","datavalue":{"value":{"entity-type":"item","numeric-id":4735339,"id":"Q4735339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1977538$5123DBFF-79B9-4501-AF6B-6DDA6D9E39EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb7e02cf526394e1bfc1640ed6d39ad0bd10eaf0","datavalue":{"value":{"entity-type":"item","numeric-id":4177758,"id":"Q4177758"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1977538$6B6CE729-3833-47DB-AE0D-AD658AF33387","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ff4a65649c605d7f817dcb7faef25c33221e288","datavalue":{"value":{"entity-type":"item","numeric-id":3961021,"id":"Q3961021"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1977538$6BE34198-7B4B-4325-BFE9-BF30F15E102A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e0feb0ac204b8c53edd136e41e7d5e6bc315f505","datavalue":{"value":{"entity-type":"item","numeric-id":773889,"id":"Q773889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1977538$214FF9CC-44B0-4DCD-AC11-89FD43CC6B60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"788ab5d0682ede9eb0b62d87b36650dfc243d5e2","datavalue":{"value":{"entity-type":"item","numeric-id":5603254,"id":"Q5603254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1977538$8A355473-B20A-4F94-9FBD-ED373A6EEEB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a65dd5a4e903f2417bddf1de73086303bcf7ea92","datavalue":{"value":{"entity-type":"item","numeric-id":1211124,"id":"Q1211124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1977538$EE69495B-DE72-43E7-904F-02FABACE2D40","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1680279317f59f84d4fdd282d232d2ad09b665c0","datavalue":{"value":"10.1006/JABR.1999.8106","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1977538$4AB2552B-08D2-4BAE-AC72-1B631D6F6E9C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f4af2924919dbf04cace50d5fe1aba42d4ab43dc","datavalue":{"value":{"entity-type":"item","numeric-id":4946059,"id":"Q4946059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5d359c4564aefa795e37541e125643c1f2f61369","datavalue":{"value":{"amount":"+0.8274232149124146","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":"Q1977538$0B1289A7-BAEF-47ED-B168-CB57A5D164FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c70d3e3e791f18eeedaf794226cf107c3099ff21","datavalue":{"value":{"entity-type":"item","numeric-id":3144372,"id":"Q3144372"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"708ea0418f717a262fe6f8e6f337af6ae66fdfca","datavalue":{"value":{"amount":"+0.7734896540641785","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":"Q1977538$97F4ADBF-4109-4552-AFAD-997065DC5CA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"062c648cccec5530b2afc54c5ed41eadda72bc5e","datavalue":{"value":{"entity-type":"item","numeric-id":3185016,"id":"Q3185016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9dc8628d7e3fcc564fd55b3aaed9897ae9c069ab","datavalue":{"value":{"amount":"+0.7693277597427368","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":"Q1977538$CFBDB5E6-E174-4A59-B66A-40CB16832524","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"99c421033603fb49e779b7e7a63c8adf761e61f1","datavalue":{"value":{"entity-type":"item","numeric-id":2809243,"id":"Q2809243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8f3f133a02010283124c74e855082d0b264447ad","datavalue":{"value":{"amount":"+0.7641890645027161","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":"Q1977538$C7602772-2AF8-4340-8381-931440BEF754","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On generalized Dedekind groups and Tarski super monsters","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_generalized_Dedekind_groups_and_Tarski_super_monsters"}}}}}