{"entities":{"Q2758071":{"pageid":2768810,"ns":120,"title":"Item:Q2758071","lastrevid":41978376,"modified":"2025-05-20T10:43:42Z","type":"item","id":"Q2758071","labels":{"en":{"language":"en","value":"Elementary equivalence for Abelian-by-finite and nilpotent groups."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1679344"}},"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":"Q2758071$7CB4F57C-6FDB-43BD-B426-F15DC4EDC50E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f2989f5fec353fee2e7c6457837d33e2c8961534","datavalue":{"value":"1045.20001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2758071$BBE54647-3182-4EA2-94DE-A9714AF1D795","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d13fbf99a964e6d858e53abb4771ee296217c5ba","datavalue":{"value":"10.2307/2695119","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2758071$E5B1BDE7-269E-4730-A895-D0079AB47019","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d6f630a8f9062cc7a61bf0b0d4072e8f242af2b3","datavalue":{"value":{"time":"+2001-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":"Q2758071$78F74E51-3987-474E-86E3-0F6B540928DB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5fa7ffa9c6726226cf097dee17723d8718aca59b","datavalue":{"value":"20A15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2758071$037D6008-E2C7-40B0-9679-349EDBC3DA45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d09d696fa357365f057a7c984fce6a109a5f7b70","datavalue":{"value":"03C60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2758071$CC60035F-6CC0-4E81-A407-220ED1842A03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a148f1b904fb6c62daeca9418d6a27c89d60492f","datavalue":{"value":"20F22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2758071$1BB30AC4-5F43-4F05-82C8-33EC2A54840F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"81113ee53b3dc552559e57b4c567662a71c094fb","datavalue":{"value":"1679344","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2758071$5B53EEC4-B53B-49B8-8D33-24F916C402B1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"36d4769b4929afbd2e9eb838a9a09a113a57d2f8","datavalue":{"value":"elementarily equivalent groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q2758071$8C808326-7AB2-415B-8A75-1ACF55120714","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c11cc2dc9ad940e35e9d4e02b9c2f49f40f4ab82","datavalue":{"value":"sentences","type":"string"},"datatype":"string"},"type":"statement","id":"Q2758071$1143220E-C079-4105-9261-0EDFF7F82B9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3c237c9c71e15b2d2e366c2feeda043dcd4cd924","datavalue":{"value":"Abelian-by-finite groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q2758071$8CF11196-5907-4D95-A804-604AB78CABE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4cb612363bd184a25df864c596b2b166558842a6","datavalue":{"value":"nilpotent groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q2758071$C6D91D0A-AC43-458A-AAFA-3F8263AA6D76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"af346a384e72cb41119c7897ce7372c11cc304a0","datavalue":{"value":"Boolean rings","type":"string"},"datatype":"string"},"type":"statement","id":"Q2758071$0BFAF38C-2756-4A7A-B04B-D94CCF22B7F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ef18e45b31bdcff1d7b420ebfc8d24ddbe66e08e","datavalue":{"value":"solvable groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q2758071$76F0B22A-0513-4525-9910-BA68F1C8F926","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"542470d6f63fefcd2ae937cc78d1c833a1db112c","datavalue":{"value":"finitely generated groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q2758071$09815D22-9899-4003-899A-DCB2814AF19E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"45f3f7444675376fd78d1d813f01fbcb51b88c5a","datavalue":{"value":{"entity-type":"item","numeric-id":585347,"id":"Q585347"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2758071$A341A742-AE5F-48B7-917E-AFBDC1C668EB","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":"Q2758071$5D1D6A8A-8CEE-4ED8-9ECC-F2E009A85731","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"51825b2cd301cca377e676aa276be52cd575bfe2","datavalue":{"value":"https://doi.org/10.2307/2695119","type":"string"},"datatype":"url"},"type":"statement","id":"Q2758071$8BA98E3B-0DD4-461F-AEE8-8AE7296277C8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"66d23cef080c6834a38aa66e915d2ccec555ef11","datavalue":{"value":"W2148558280","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2758071$8D2ED60D-0F0C-43A7-806D-F8AE8467CFEC","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b504ca1bef0b5f6a9021b4455a9bc1b1015787a2","datavalue":{"value":{"entity-type":"item","numeric-id":1243713,"id":"Q1243713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2758071$506AAEAA-9E6E-4A5B-8AFB-F62ECD231BA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b0dd23e1cd1bf23b7e28fe99f9a573999455d32","datavalue":{"value":{"entity-type":"item","numeric-id":1331918,"id":"Q1331918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2758071$B8887126-83FF-439D-B797-B7D33A4C44BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3cfb9c72778590c7884c33e7e0a8fffcbceafd1b","datavalue":{"value":{"entity-type":"item","numeric-id":584258,"id":"Q584258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2758071$E8912A37-8C22-4E5B-8FF6-39EA01C021C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ab38dc2fe502eccde1e1b55126452f2e2bd45b5","datavalue":{"value":{"entity-type":"item","numeric-id":4236676,"id":"Q4236676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2758071$BBC7EB12-2AEA-4BA7-B7FD-C5CF2F6E93AD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5d232da70f283d5db11c41f8ba6f59f0596d7fa9","datavalue":{"value":{"text":"Elementary equivalence for Abelian-by-finite and nilpotent groups.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2758071$7A8029EA-EEF7-4ED7-BF5D-0CD5990FE973","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"cd9ebe56ec423ec5335930a0b1a45ca7ae3b5c0f","datavalue":{"value":{"entity-type":"item","numeric-id":6768298,"id":"Q6768298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2758071$D2662F18-EE9B-45D5-8131-F4D6B7028059","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"09d178517f79b3e0ce386f5bec85617bedb63d6c","datavalue":{"value":"Aus der Szmielew-Klassifikation ergibt sich sofort, dass zwei abelsche Gruppen elementar-\u00e4quivalent sind, wenn sie dieselben \\(\\forall\\exists\\)-Aussagen erf\u00fcllen. In der vorliegenden Abhandlung wird gezeigt, dass zwei fast-abelsche Gruppen genau dann elementar-\u00e4quivalent sind, wenn sie dieselben \\(\\exists\\forall\\exists\\)-Aussagen erf\u00fcllen. Dabei wird eine Gruppe \\(G\\) fast-abelsch genannt, wenn sie einen abelschen Normalteiler \\(N\\) mit endlicher Faktorgruppe \\(G/N\\) hat. Zum Beweis wird gezeigt, dass der maximale abelsche Normalteiler in fast-abelschen Gruppen mit einer quantorenfreien Formel parametrisch definierbar ist.NEWLINENEWLINE Es wird auch gezeigt, dass ein analoger Satz f\u00fcr nilpotente Gruppen nicht gelten kann. F\u00fcr jede nat\u00fcrliche Zahl \\(n\\geq 1\\) gibt es zwei nilpotente Gruppen \\(G\\) und \\(H\\), so dass \\(G\\) und \\(H\\) zwar dieselben \\(\\forall_n\\)-Aussagen erf\u00fcllen, aber es gibt eine \\(\\forall_{n+1}\\)-Aussage, die in \\(G\\) und nicht in \\(H\\) gilt. Diese Gruppen \\(G\\) und \\(H\\) werden als Gruppen von oberen Dreiecks-Matrizen \u00fcber geeigneten Booleschen Ringen konstruiert. Sie sind nilpotent der Klasse 2 und vom Exponenten 4.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2758071$E6A47F9C-C8E0-40BF-9812-69E2C52C74CC","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"55e9113c6220e9e6d232e22a30f5ae02a0df4fd0","datavalue":{"value":{"entity-type":"item","numeric-id":691681,"id":"Q691681"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2758071$838C0C04-D502-4B52-BFFA-AF8249721236","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2758071","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2758071"}}}}}