{"entities":{"Q1078657":{"pageid":1089409,"ns":120,"title":"Item:Q1078657","lastrevid":69590895,"modified":"2026-04-13T08:03:18Z","type":"item","id":"Q1078657","labels":{"en":{"language":"en","value":"Definable subgroups of the product of two groups"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3961926"}},"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":"Q1078657$4E2DC9AE-D75B-4244-98BC-59407CF682E3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a55b005f2408ee8366f71a4c1657991e08c9e9a9","datavalue":{"value":{"text":"Definable subgroups of the product of two groups","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1078657$F440725C-E794-4780-AF4B-8D45C14DAAE4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7144f41baf0e275c5cafe6fe7cbfdaf0827aa5e2","datavalue":{"value":"0597.20001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1078657$84105BB3-5FCB-49DE-B554-E368AAF4C083","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e2361664420318151cee3bafc4bcb488c6058ebd","datavalue":{"value":{"entity-type":"item","numeric-id":664622,"id":"Q664622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1078657$5B46B776-5A6F-4E61-917C-A92D4A4CE107","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c2b9e892f1ffa11a66ee26af1e2c8bc1a173eacc","datavalue":{"value":{"entity-type":"item","numeric-id":226831,"id":"Q226831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1078657$1C6006B8-0F7D-473E-888C-402D3718E180","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"63df7153432d81fa42019fcabb076c89649b0b5b","datavalue":{"value":{"time":"+1986-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":"Q1078657$B74B2174-B2F3-4AD3-84FB-314B83B81067","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"ebccd78a8581b7e752ac00622a8984bef3daf9a8","datavalue":{"value":"A subset S of a set M carrying some structure is definable if there is a non-negative integer n, a first-order formula \\(\\Phi\\) in \\(n+1\\) variables, and n elements \\(m_ 1,m_ 2,...,m_ n\\) of M such that S is the set of all those elements m of M for which \\(\\Phi (m,m_ 1,m_ 2,...,m_ n)\\) is satisfied. A definable subgroup of a group G is one whose carrier is a definable subset of the carrier of G. The definitions are due, to the reviewer's best knowledge, to \\textit{W. Baur}, \\textit{G. Cherlin} and \\textit{A. Macintyre} [J. Algebra 57, 407-440 (1979; Zbl 0401.03012)]. If K is a definable subgroup of the direct product \\(G\\times H\\) of two groups G and H, then there are unique definable subgroups A of G and B of H such that \\(A\\times B\\) is a normal subgroup of finite index, say n, in K; if (the carrier of) K is written as the union of n cosets of \\(A\\times B\\), the projections of these cosets into G and H are distinct cosets of A and B, respectively. It follows that if G is an infinite group, then the diagonal subgroup of \\(G\\times G\\) is not definable. If G has a minimal definable subgroup \\(G^ 0\\) of finite index and if H likewise has a minimal definable subgroup \\(H^ 0\\) of finite index, then \\(G\\times H\\) has a minimal definable subgroup \\((G\\times H)^ 0\\) of finite index, and \\(G^ 0\\times H^ 0\\) is contained in, but not necessarily equal to, \\((G\\times H)^ 0\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1078657$A9BA1FDE-C8D7-42B8-9EA2-3923685EA546","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5fa7ffa9c6726226cf097dee17723d8718aca59b","datavalue":{"value":"20A15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1078657$7E52E5CB-B59C-40D4-B1CE-23D803B7F9F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ea37469d91f3037e8b6809fc66f770f1b27a461d","datavalue":{"value":"20E07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1078657$15EDC153-FBBF-47AE-A9CE-0AC2BF2E942D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"abca938afd309309893053e8ee4f51374fed9de6","datavalue":{"value":"03C07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1078657$96E7B440-4FB3-43BC-B86B-971890CB9DF7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"469a7817f7291e31a29da71ceb76797aecff169d","datavalue":{"value":"3961926","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1078657$B9D7F38F-C5F9-434E-AF73-BF044725000D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"17b4b7de6ddca1f63656304a90040ed48a773165","datavalue":{"value":"first-order formula","type":"string"},"datatype":"string"},"type":"statement","id":"Q1078657$D303CF52-6E87-42AE-A2D0-4F9882A671BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a5fb1d99af7b06f10b039c54b8cf75230ff57406","datavalue":{"value":"definable subset","type":"string"},"datatype":"string"},"type":"statement","id":"Q1078657$19AB71AD-CCA6-4149-881F-305D042F17A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e0dcfe4f94d6f353b6ed67d3f3b8fb2e6f6f0229","datavalue":{"value":"definable subgroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1078657$2EF8EE8A-AE9B-4D28-9941-72FC9000BFB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"db411ce795943ff8ddb8cfe0cc5364255a4b8c76","datavalue":{"value":"subgroup of finite index","type":"string"},"datatype":"string"},"type":"statement","id":"Q1078657$F713165F-2ADE-4172-86DF-CB525B7EB6DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"86d753257f30d2a30e8cbbf678448b5b1a869c8c","datavalue":{"value":"minimal definable subgroup","type":"string"},"datatype":"string"},"type":"statement","id":"Q1078657$FF2F48D6-2507-4C4B-9A6E-9C81C4DD5005","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"356dc055794b4626cf1ccd4b95afba3682dc92ae","datavalue":{"value":{"entity-type":"item","numeric-id":1353178,"id":"Q1353178"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1078657$D0E1A426-B31E-4AB4-BC77-EE79B563D10B","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":"Q1078657$F21F9FBD-9379-4020-8C95-B66809D38F33","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"92bad7c17ed1ab1c05d4c71e03886dd686ced980","datavalue":{"value":{"entity-type":"item","numeric-id":4628682,"id":"Q4628682"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"082caa742ae9b81f9ac263738ecee1bfdf3547a6","datavalue":{"value":{"amount":"+0.74936974","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1078657$F76F838E-E66F-431E-98AE-D0DBFA784859","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c99094b9d814f4f1328038b93edebcd4450b75d9","datavalue":{"value":{"entity-type":"item","numeric-id":3808078,"id":"Q3808078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ea04695a78dc0a5809df1d4f3e9151b329912bdd","datavalue":{"value":{"amount":"+0.73799","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1078657$3DD68163-03E0-42D4-8E6C-06794AE82008","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fc6081664c195343d78a965ce138ea381d944045","datavalue":{"value":{"entity-type":"item","numeric-id":4916248,"id":"Q4916248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"65a862b155ce01b44db5de68bdee6aa471c6f5a1","datavalue":{"value":{"amount":"+0.71275544","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1078657$9E4A46B0-F7F5-437A-87CC-FBD78FA84CA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"01b58f1c83cb9e8a3a694dc2ef5020abe15da73e","datavalue":{"value":{"entity-type":"item","numeric-id":4973661,"id":"Q4973661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"38633e47ccc910db865b09383934aa25d5692c50","datavalue":{"value":{"amount":"+0.70108485","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1078657$3AE2ACAC-DE78-4A2C-8DBC-969DAD579492","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e1a5b65f033064be801109af0c5078d86d030fd2","datavalue":{"value":{"entity-type":"item","numeric-id":1964013,"id":"Q1964013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e4576c97a9e373055497cbf38cd19075647e0241","datavalue":{"value":{"amount":"+0.6945809","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1078657$C4BA7510-7FEA-40B6-8505-4F6A0561C9B5","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":"3c818412e4132162a99edbee047d0165647eb7c5","datavalue":{"value":{"amount":"+0.69134086","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1078657$8958A11F-A912-4556-8847-168ABCBAFA4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7dc05ee4422bfc1df8797ba631c983fdf18488e6","datavalue":{"value":{"entity-type":"item","numeric-id":3697215,"id":"Q3697215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ef895cc11315010ebe3b09b8d54c639318de30db","datavalue":{"value":{"amount":"+0.69090885","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1078657$0E09BFED-EF86-49A7-B166-E8FD3BF13E12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9c5e545d2347f53efccf337b8a014feef7990616","datavalue":{"value":{"entity-type":"item","numeric-id":1339971,"id":"Q1339971"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cbcbda9b1984ccf07fe210f9dda9b9cf06c3471d","datavalue":{"value":{"amount":"+0.69020915","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1078657$568C0C3F-561E-4656-B6DD-E560CC425C61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5ff1a2ebc5ce76778a27f9d2040e8a6a10c1cfe4","datavalue":{"value":{"entity-type":"item","numeric-id":1183710,"id":"Q1183710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e768d3a5173f6e51a88b1836dd917fcfd6ef3380","datavalue":{"value":{"amount":"+0.6859429","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1078657$AACE69BF-CEE8-4ED7-B422-D401C6293173","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"874ce76249cee25d41dbc15b4201c50e96ece9f7","datavalue":{"value":{"entity-type":"item","numeric-id":3144873,"id":"Q3144873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"11452d4846b16254399ff01ab4e5863d128949d7","datavalue":{"value":{"amount":"+0.685451","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1078657$745C7A25-3386-4539-9A3C-F2AD0CB14E03","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Definable subgroups of the product of two groups","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Definable_subgroups_of_the_product_of_two_groups"}}}}}