{"entities":{"Q1174075":{"pageid":1184824,"ns":120,"title":"Item:Q1174075","lastrevid":66755667,"modified":"2026-04-12T12:39:30Z","type":"item","id":"Q1174075","labels":{"en":{"language":"en","value":"A group in a group"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8066"}},"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":"Q1174075$19F01C91-3062-454E-9EE3-DA9109595471","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2c3f44cd1975b19e65794215a0ed2bc49b902082","datavalue":{"value":{"text":"A group in a group","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1174075$5524F3FF-555F-468A-93CC-7D3E7336B8D7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"317dd565aac51241307cec660f7fdbae3295d2ef","datavalue":{"value":"0744.03032","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1174075$35F80E47-912D-4A7A-A0DB-25F64F1F5B63","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7a947257faf3668837f83ff9ca4c725a5c322f3f","datavalue":{"value":"10.1007/BF01979940","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1174075$A901C8A1-6123-404F-BC77-900750A03050","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"824231740ca0a4d8eabfc51e38ff349826d12a75","datavalue":{"value":{"entity-type":"item","numeric-id":372633,"id":"Q372633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1174075$685534C7-5645-496C-83BC-780A4EE67BE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"62d3cfdc9a2b46db29b6ba5253e63e6596230556","datavalue":{"value":{"entity-type":"item","numeric-id":555562,"id":"Q555562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1174075$2AFAB2E9-BB42-4C3F-8640-04C3D4015F2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d5d07f2a0f49c93b56b1b77431e9a1e886652c89","datavalue":{"value":{"entity-type":"item","numeric-id":401640,"id":"Q401640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1174075$5ED1D3B3-FBFD-4C22-AC6A-9AB592BD6D40","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ef3ca3322541db05049091162b21145bd512b130","datavalue":{"value":{"entity-type":"item","numeric-id":251873,"id":"Q251873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1174075$C8519942-A626-4FAA-9A7E-9245DDA707E4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d3f790682a6be4cc1f3210e15eebe1d6cc5ffbc2","datavalue":{"value":{"time":"+1992-06-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1174075$774FD9D0-ACF4-4549-9545-78FC0911A988","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"5f06c34644f90b4c86bc77703c4254ffa03e8c19","datavalue":{"value":"A stable theory \\(T\\) is said to be weakly normal if, for every model \\(M\\) of \\(T\\), every subset \\(A\\) of \\(M\\) and every element \\(b\\) in \\(M\\), the canonical basis of \\(t(b/A)\\) is algebraic over \\(A\\cup b\\). It is known that, if \\(T\\) is a superstable theory of finite rank, \\(T\\) is weakly normal if and only if all rank-one types have a locally modular geometry.   The main result of this paper is the following theorem: assume that \\(T\\) is a weakly normal theory of groups (i.e. \\(T\\) is weakly normal and there is a definable group structure over the universe of any model of \\(T\\)); then, if \\(H\\) is a group which is interpretable over a model \\(G\\) of \\(T\\), then \\(H\\) has a subgroup of finite index which is definably isomorphic to \\(A/B\\), where \\(A\\) and \\(B\\) are definable subgroups of some cartesian power of \\(G\\). As a corollary, the authors get the fact that \\((\\mathbb{Z}/4\\mathbb{Z})^ \\omega\\) cannot be coordinated by its subgroup \\(H\\) of elements of order 2 (isomorphic to \\((\\mathbb{Z}/2\\mathbb{Z})^ \\omega)\\), which was the question motivating this research.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1174075$4044D6AE-2756-4EC7-B34A-47DAC5580B11","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ab5d1284da7b6135f2165359448a9dc6cb04c9a7","datavalue":{"value":"03C45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1174075$C1B59165-25E6-4291-8938-855CF58A0C91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d09d696fa357365f057a7c984fce6a109a5f7b70","datavalue":{"value":"03C60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1174075$BA9FE396-B6D2-4A7D-BC41-AD21CD61D7FC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"271e76f4cc3159cfc41262241d984ff3b045537f","datavalue":{"value":"8066","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1174075$1AE4D086-4EF5-4FC0-AF3B-BFFC0A0585D7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f15af81ecb43d9f65e18aabb35906b8775c5181d","datavalue":{"value":"stable theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1174075$0E28D78C-E816-41DC-879E-40415556CE96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"67f1c53b4b4a4be11f19b0ebd8bf1048f1dbeb5a","datavalue":{"value":"weakly normal theory of groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1174075$A59D9ECC-4CD8-4EF0-AB58-6DF04AF2459B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"43df5bebf674faf29d3e216868f4b4d977ff23d5","datavalue":{"value":"definable group structure","type":"string"},"datatype":"string"},"type":"statement","id":"Q1174075$BD8FDF09-B653-4C44-A6E2-91518E5CEFAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e0dcfe4f94d6f353b6ed67d3f3b8fb2e6f6f0229","datavalue":{"value":"definable subgroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1174075$60FC4647-93D8-4728-8A7D-8CAFC1BB5FBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"426dc58c5d6a2377f61e34b2f88544f35532310a","datavalue":{"value":"cartesian power","type":"string"},"datatype":"string"},"type":"statement","id":"Q1174075$F7D25C23-A6D2-458D-92B4-5E9479A820F8","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"0277d495e17e28a764fbdf503789c3c08f14c800","datavalue":{"value":{"entity-type":"item","numeric-id":1225614,"id":"Q1225614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1174075$AC0CD0BD-7134-4E35-93C3-3E4F2C113D5A","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":"Q1174075$4DE0C755-4BDD-44FF-AB05-19DF59A4CE43","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d52c8023b0c03007ec2d5078545df56914d98f9","datavalue":{"value":{"entity-type":"item","numeric-id":5847174,"id":"Q5847174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1174075$C49E2DC5-EF5A-4099-99DA-1EC6E4E77D7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c9183303fdd2a2c983c2b169deecfeb5850da20","datavalue":{"value":{"entity-type":"item","numeric-id":1236527,"id":"Q1236527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1174075$433A4712-9564-4F40-9CDB-D31D4C097AB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a0aaf75a2d0ff6bbcddbc63cabbb9dfcdb2d1c45","datavalue":{"value":{"entity-type":"item","numeric-id":3775535,"id":"Q3775535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1174075$98EA217B-5B44-45BF-9A86-C7B197BA2578","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a3910dbcaef4ab4bcd34acbc5210e9247e66e662","datavalue":{"value":{"entity-type":"item","numeric-id":3028990,"id":"Q3028990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1174075$8BC05155-643E-4B30-BA94-E662A43857A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e1764556f91098e1590c880d74bccc5f9f6fdc98","datavalue":{"value":{"entity-type":"item","numeric-id":3322081,"id":"Q3322081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1174075$D3A9D62D-3FB4-4171-BF5C-159DA0D63FB3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6faec3157e173c41c43c01aa34452569bf9a4d8a","datavalue":{"value":"https://doi.org/10.1007/bf01979940","type":"string"},"datatype":"url"},"type":"statement","id":"Q1174075$BC718871-8BA2-4E38-B1FE-CBCCDE6D7177","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1c9ed2283316879f52e3645f5c9a7450df7581ae","datavalue":{"value":"W2016548503","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1174075$D655843F-0AF1-4094-B7D9-985144C21A2B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d1a152d090d72de197581cf5386512559cbd1450","datavalue":{"value":{"entity-type":"item","numeric-id":3775535,"id":"Q3775535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"27e6aebefded8c874755f926afc5d078e703b1dd","datavalue":{"value":{"amount":"+0.8845110535621643","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":"Q1174075$18AD5147-0B23-4DCE-9CE2-74FBB24A87BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ae58b092cc401f031d83974424c949eee2892504","datavalue":{"value":{"entity-type":"item","numeric-id":1086228,"id":"Q1086228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e6e9737f541c29ddea43b9b9773d21f5b0ea53e","datavalue":{"value":{"amount":"+0.8203489780426025","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":"Q1174075$E8FD2F18-2C2D-4709-8917-280185D1AF9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d50ab680f12caaa8a902e85b4be33ecf96d78b6c","datavalue":{"value":{"entity-type":"item","numeric-id":3971741,"id":"Q3971741"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f29db32c727afcef69b4000255bd9d6919825d79","datavalue":{"value":{"amount":"+0.7863242030143738","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":"Q1174075$8F7E18AC-2FAB-4491-B5A2-F198C40B21F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"254c057a449e49c377510eb463bab660f031f597","datavalue":{"value":{"entity-type":"item","numeric-id":5388720,"id":"Q5388720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c64d40f458aff5b43a8edefef618cbb328c85142","datavalue":{"value":{"amount":"+0.78172367811203","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":"Q1174075$C7397694-B552-40E4-B443-0B898FA73C65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"76fd27eaa466f278edfc792c30efa89e3a4a192c","datavalue":{"value":{"entity-type":"item","numeric-id":4295222,"id":"Q4295222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bdcb16615671c6a8d0df67b4ea918d872081ec6b","datavalue":{"value":{"amount":"+0.7765950560569763","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":"Q1174075$2CBECC22-39C9-46B5-96DE-570E5A49D6FD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A group in a group","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_group_in_a_group"}}}}}