{"entities":{"Q789505":{"pageid":791353,"ns":120,"title":"Item:Q789505","lastrevid":48680644,"modified":"2026-01-05T14:30:38Z","type":"item","id":"Q789505","labels":{"en":{"language":"en","value":"On \\(\\aleph_ 0\\)-categorical class two groups"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3845816"}},"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":"Q789505$4B78A6A1-B303-405C-B6AE-19B7FD494FF0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cfd090b64521000a112254875be0863313ba1534","datavalue":{"value":{"text":"On \\(\\aleph_ 0\\)-categorical class two groups","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q789505$869E06A4-9A45-45B6-BFF6-0BA6A2777878","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"739119553709690840b3abc7926901f86c7363e1","datavalue":{"value":"0533.20001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q789505$62DB64CF-8476-469A-BE58-9EBF8A05A7F4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7f8c554f7ca3345a3dcb438adb80d250dc44b48b","datavalue":{"value":"10.1016/0021-8693(83)90164-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q789505$021ABACC-AABF-44EA-8E16-7824E240A220","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5874b3d01cc57b07722f71644d783e9917c12240","datavalue":{"value":{"entity-type":"item","numeric-id":789504,"id":"Q789504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q789505$8D991CF6-8B3D-4E28-9725-FD65ACA7CC47","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":"Q789505$F02906FD-C93C-4AF1-8DA0-0035488712F8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0136733d5dd7d9f4d36f24c87a0b8375ae1cb2fd","datavalue":{"value":{"time":"+1983-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q789505$03A19B88-85C6-440B-8EE9-DBBABCBE7370","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"604113e464694a987dbe2963b6084d1dfce782f6","datavalue":{"value":"A theory T of a countable language L is said to be \\(\\aleph_ 0\\)- categorical if any two countable models of T are isomorphic. A structure M for L is called \\(\\aleph_ 0\\)-categorical if the theory of M (in L) is \\(\\aleph_ 0\\)-categorical. A subgroup G of the group Aut M of automorphisms of M is said to be almost r-transitive on M (\\(r\\geq 1)\\) if G has only finitely many orbits in its action on \\(M^ r\\). The following well known theorem was proved independently by Engeler, Ryll-Nardzewski, and Svenonius: A countable structure M is \\(\\aleph_ 0\\)-categorical iff Aut M is almost r-transitive on M for each \\(r\\geq 1.\\)    Nilpotent groups, even class 2 nilpotent groups, are very hard to classify. The aim of the present paper is to show that \\(\\aleph_ 0\\)- categorical class 2 groups ''are no exception to this, and... to present some new examples of such groups''.    Let G be a group, K be a subgroup of Z(G), \\(\\lambda\\) be a cardinal, and \\((K^{\\lambda})\\circ\\) be \\(\\{\\gamma \\in K^{\\lambda}| \\quad \\prod \\quad_{\\mu<\\lambda}\\gamma \\pi_{\\mu}=1\\},\\) where \\(\\pi_{\\mu}:K^{\\lambda}\\to K\\) is the projection map corresponding to \\(\\mu\\). Then \\(G(\\lambda,K)=G^{\\lambda}/(K^{\\lambda})\\circ\\) is said to be the central product of \\(\\lambda\\) copies of G amalgamated over K. Theorem A: Let G be a finite class 2 group, and K be a subgroup of G such that \\(G'\\leq K\\leq Z(G).\\) Then \\(G(\\omega\\),K) is \\(\\aleph_ 0\\)-categorical.    The following notion is inspired by the work of \\textit{D. Saracino} and \\textit{C. Wood} [J. Algebra 58, 189-207 (1979)]: A class 2 group G is comprehensive if every compatible finite system of commutator equations \\([a_ i,g]=z_ i\\) in a single variable g is soluble in G. If Z is an abelian p-group and t,\\(u\\leq \\infty\\), then \\(N_ 2(p^ u,p^ t/Z)\\) denotes the class of groups G such that \\(Z(G)\\cong Z\\), \\(\\exp G=p^ u\\), \\(\\exp G^*=p^ t,\\) and G is nilpotent of class 2. Theorem C: Let \\(p\\) be a prime, \\(Z\\) be a countable abelian group of exponent \\(p^ s\\) (\\(s\\leq\\infty)\\), \\(s+t \\geq u \\geq s \\geq t\\), and let \\(u>t\\) if \\(p=2\\) and \\(u<\\infty\\). Then there is a unique countable comprehensive group G in \\(N_ 2(p^ u,p^ t/Z),\\) and G is \\(\\aleph_ 0\\)-categorical if \\(u<\\infty\\). This gives for \\(u<\\infty\\) a necessary and sufficient condition for the group \\(G\\) of Theorem C to have a model-complete theory.    If \\(G\\) is any group and \\(R\\) is any Boolean ring, then a group, called the Boolean power of \\(G\\) by \\(R\\), can be constructed, which for certain choices of R is \\(\\aleph_ 0\\)-categorical. This provides another source of \\(\\aleph_0\\)-categorical class 2 groups. The author compares these with the groups arising in Theorem A and Theorem C.","type":"string"},"datatype":"string"},"type":"statement","id":"Q789505$EFD66FD0-8DA3-49E9-A925-4414BA4846CF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4adec19adb7f7d0169fd6b0b3d312b9916667bc0","datavalue":{"value":"20A10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q789505$DD170ED2-5E33-49A5-B977-A358AE58D9B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"973eb9e9b2fb866226b5fdd4d46835fa9f7955d9","datavalue":{"value":"20F18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q789505$B963223F-0F77-4289-A653-EFEC8CFCD942","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d40823595f671f8f347825fd0adc1e31ebeb184f","datavalue":{"value":"03C35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q789505$DC0ED676-0925-4430-A778-36C53EA32845","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a813b4bdb99e25945b5eea647242a11d10dedf0a","datavalue":{"value":"03C15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q789505$9592580C-BA35-4A0E-AA05-BBF9B26D769E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8acfec936c9f92116ab04a417b25b0b6b0e8ab90","datavalue":{"value":"20F10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q789505$8B0231AE-C220-45B0-95A8-53FBD6EBDBA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fcae15942a1ef1170b65682251799a9bfed1dcd3","datavalue":{"value":"20E06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q789505$331ECF8D-E9B5-459C-8DE2-26A337412EF7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"63cfdf7f00f41d6e9bd78ee1894343ed0a29097e","datavalue":{"value":"3845816","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q789505$55E0F772-D7FC-4FF5-9238-F125736F426F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ce7660291d66d2647b144efcfe07b997c8a8324e","datavalue":{"value":"\\(\\aleph_ 0\\)-categorical language","type":"string"},"datatype":"string"},"type":"statement","id":"Q789505$1DF9C679-9F65-4A4B-963B-270E0C11C044","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1ddda33a3e6af5ecb7bef0fc9c300f2ed99a89c0","datavalue":{"value":"comprehensive group","type":"string"},"datatype":"string"},"type":"statement","id":"Q789505$6B35C37D-6979-47F2-9223-779EA9C2B250","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c46a6d0c2191196174c0282ed0f7723eba6adb14","datavalue":{"value":"class 2 nilpotent groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q789505$BDACF414-A0A5-4013-B774-8FDCBEDC9F9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3c7b3c791c787e0e43a194325ce61382ba9a5b0d","datavalue":{"value":"central product","type":"string"},"datatype":"string"},"type":"statement","id":"Q789505$1385CEEA-BC42-4D83-B7DC-D90B2AE0479B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"162b1e5922ba46c1dd71cc21e3c1307d62069d7f","datavalue":{"value":"commutator equations","type":"string"},"datatype":"string"},"type":"statement","id":"Q789505$ADC9E089-2A7B-47A2-B9FC-2A846CE636FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"851d6f860691ccf080d70fbaf2bca1f7ad1455af","datavalue":{"value":"model-complete theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q789505$42947155-C6C2-40B1-A983-BCC6D7810D65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"98377db6e622a317c072d2dea87380c7336afa18","datavalue":{"value":"\\(\\aleph_ 0\\)-categorical class 2 groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q789505$2A75B134-4F50-42E9-8F2F-36590B6A6F3B","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":"Q789505$CA01BCA9-F5DC-42FC-A69F-2FDAE5610223","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"874043a4652c12ea9dafe96ebf8e57befd9e6701","datavalue":{"value":"https://doi.org/10.1016/0021-8693(83)90164-3","type":"string"},"datatype":"url"},"type":"statement","id":"Q789505$FDB44771-D792-4F78-927F-7FE9575D0084","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d52563cde4daf3cf6b8cf2736925f74f0b7b78a1","datavalue":{"value":"W2012989024","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q789505$AC1883A3-3A08-4372-A3F0-1B611C19FCF5","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b620a90ce8f65451a3fd32a996f25f6fc5b19bcf","datavalue":{"value":{"entity-type":"item","numeric-id":4067095,"id":"Q4067095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q789505$96450D8D-A7A0-4F8B-8A51-1B6F67F3D958","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bbd46e00e025849b54a0892b5e385ef0d563478f","datavalue":{"value":{"entity-type":"item","numeric-id":1393228,"id":"Q1393228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q789505$270B0F93-7CA7-4C4E-AB84-6E0E9A72ECC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a8765b07b6b1ebf2d63ce8ce9658895cc40a90d","datavalue":{"value":{"entity-type":"item","numeric-id":4198480,"id":"Q4198480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q789505$58A3AF29-DA01-42C7-9194-72BDBF046550","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b38828c68ffc635b4e889dbfd3e0ee18e6993bb","datavalue":{"value":{"entity-type":"item","numeric-id":3281123,"id":"Q3281123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q789505$D5449D4C-7FCA-4375-92ED-26F4AF09BE5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf549ab96001983adefe8ae7db075248c6194842","datavalue":{"value":{"entity-type":"item","numeric-id":5577154,"id":"Q5577154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q789505$EB41E1FA-F059-4916-9FA3-D05B09F5C4FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"08f55b83b3495877fbe0237d861b229367e3accb","datavalue":{"value":{"entity-type":"item","numeric-id":5575537,"id":"Q5575537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q789505$04DDBD10-3721-4A4F-9280-AA9EC4FB84B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a107257780afe9a73ee9be305c171bcc4104bff1","datavalue":{"value":{"entity-type":"item","numeric-id":5829819,"id":"Q5829819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q789505$8FF3E718-94C4-47AA-8E3F-A0C4AA72432C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2478d4d75ea1c6a799d459bef2504503c506e65","datavalue":{"value":{"entity-type":"item","numeric-id":2558916,"id":"Q2558916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q789505$2F0D2B74-8D34-41D7-A418-2BAFA17FD013","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35575ba1b12c3e958594e2d07d589b8f8989ea9a","datavalue":{"value":{"entity-type":"item","numeric-id":5726688,"id":"Q5726688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q789505$6C6CBB1D-C63A-49B4-9355-B6C80722B130","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e31fbfa8ed4d10beb56b62f65e6888835b2d7041","datavalue":{"value":{"entity-type":"item","numeric-id":3214921,"id":"Q3214921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q789505$06247D6C-8502-4D9A-BB9F-328E00EB2B66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c7e579e2a9e1d7abd29de0abbf2f5eda89d6967","datavalue":{"value":{"entity-type":"item","numeric-id":1120563,"id":"Q1120563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q789505$5819AF1E-155B-4D2D-A17A-73C0EA924B73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f40bcaa8d311e4db512eab174f3dec9cd00f54c","datavalue":{"value":{"entity-type":"item","numeric-id":5537599,"id":"Q5537599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q789505$4F8ECFCE-148B-4578-BC88-5D0E5C0426F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"576bbef8111b0c817926f3436e85a6de1fad9bc8","datavalue":{"value":{"entity-type":"item","numeric-id":5573363,"id":"Q5573363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q789505$97EED082-1A7D-4AEF-BFBD-E998D45F17CE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0efae4ef2776471b4690102d9dca25ea5b2a197b","datavalue":{"value":{"entity-type":"item","numeric-id":1061215,"id":"Q1061215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a0f2e60a4a2e73f58b0de20aa7b2a66c4b8db914","datavalue":{"value":{"amount":"+0.8876656889915466","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":"Q789505$3452EBA8-D1DF-49E2-826E-20CAE6E218A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a4d99d268fc24f3ac5896770b31a1ec38b19253c","datavalue":{"value":{"entity-type":"item","numeric-id":3726097,"id":"Q3726097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0ed613d71407cdff80b0a692e663bb5e8defa44f","datavalue":{"value":{"amount":"+0.8480924367904663","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":"Q789505$F99123CC-4A51-4B1E-BFC7-7BA06700C0F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0fc7f9a166236dd4a2973ceb74ac1c53a1f02638","datavalue":{"value":{"entity-type":"item","numeric-id":4308598,"id":"Q4308598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"09f4eea604e19f890506f7e0e2aec804d081b2a4","datavalue":{"value":{"amount":"+0.7946264743804932","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":"Q789505$B52D7716-86C3-4450-8F9D-E38FDC597BB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"655d4714aea1bb10305760fec76e2fdd8ca5bbf8","datavalue":{"value":{"entity-type":"item","numeric-id":3722478,"id":"Q3722478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"21a65652d2ebd0da01ee4cf8408f423ec568383f","datavalue":{"value":{"amount":"+0.79229736328125","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":"Q789505$8E80465A-D650-40C6-B695-45C1B53FD347","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3074d317b8ef604689b90a87dfc4b08793da462b","datavalue":{"value":{"entity-type":"item","numeric-id":4207891,"id":"Q4207891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ff4d206d05f483755e4b44e72152343b2426ca2d","datavalue":{"value":{"amount":"+0.7894980311393738","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":"Q789505$5CCBFA18-6D86-455E-BEED-437FC6703A9D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:789505","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:789505"}}}}}