{"entities":{"Q750609":{"pageid":752458,"ns":120,"title":"Item:Q750609","lastrevid":64061097,"modified":"2026-04-11T17:23:01Z","type":"item","id":"Q750609","labels":{"en":{"language":"en","value":"Invariant generation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4175234"}},"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":"Q750609$7381CB58-35AB-4BB7-B540-FE9D7022BACF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4e6239ae94d190c972cf72486f010fbb7c287f3e","datavalue":{"value":{"text":"Invariant generation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q750609$54C2AAAA-75E7-4FAD-96F9-70BBE9FF119A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1fe914589f314714efaf9e08517f4702339fbe07","datavalue":{"value":"0714.20013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q750609$4F22E601-AC2B-4BDC-9487-C10F12E2CA25","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"55254866f5eed297bb5fe52c956ca9b54507148a","datavalue":{"value":"10.1007/BF00970272","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q750609$224DF42E-8732-4798-BA52-9755054509F9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"61db58adbdfd69e4efef1201cb3d1298d7fdae94","datavalue":{"value":{"entity-type":"item","numeric-id":178377,"id":"Q178377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q750609$834E0EA1-71ED-4E3D-B001-4C2E449FE174","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"31a1937240ca4a323604b4728c31d242b5596d7c","datavalue":{"value":{"time":"+1988-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":"Q750609$DAED6729-1B4A-493B-A356-AEB946546672","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"73344e3d2fc45fadf784b23f9b58ec4f59169f48","datavalue":{"value":"Definition. A (profinite) group G is invariantly generated by its (closed) subgroups \\(G_ 0,...,G_ n\\) if, for any \\(g_ 0,...,g_ n\\in G\\), one has \\(G=<G_ 0^{g_ 0},...,G_ n^{g_ n}>\\). Main result: Let \\(G_ 1\\) and \\(G_ 2\\) be nontrivial profinite groups. Then their free product is not invariantly generated by \\(G_ 1\\) and \\(G_ 2\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q750609$1C3C9F0A-D19D-4016-AF09-81A9D5C34A49","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6ef7763c663249d52fb24c69b52f35da435fa9a3","datavalue":{"value":"20E18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q750609$24B421B3-710D-4413-848B-B7AAB947ADEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fcae15942a1ef1170b65682251799a9bfed1dcd3","datavalue":{"value":"20E06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q750609$913C2318-B108-425C-A159-070E00B8B318","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5608e4dbe85e8f6c220cc8afcea2a4ada066e3fa","datavalue":{"value":"20F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q750609$909F0A1E-120E-45DD-8A28-352212257759","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c7206a3f878ceed8f912b3cac3e47562c07ba187","datavalue":{"value":"4175234","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q750609$047A8E19-D45F-480D-98B0-DDB857260F89","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e6ef1c52e0a5f3cfe81d6a3a13f92e9926ab6f49","datavalue":{"value":"invariantly generated","type":"string"},"datatype":"string"},"type":"statement","id":"Q750609$740A3F71-1E70-43F2-A055-B4B8A3198A58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"29918f72c296c734869d5d948a63605953b5f9af","datavalue":{"value":"profinite groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q750609$0450C77E-B5E6-4594-AB55-A61B32BC3B72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9a3e638b439a8ce33a8e994eaa7d1ef9ec9b9535","datavalue":{"value":"free product","type":"string"},"datatype":"string"},"type":"statement","id":"Q750609$92727557-FB25-4428-942C-755B999B27F5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d03039664f86d7517c30a64acbdad4c2f746ab89","datavalue":{"value":{"entity-type":"item","numeric-id":431715,"id":"Q431715"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q750609$81AB73E2-04B1-478B-86B9-FA02683D0C3D","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":"Q750609$0FE52681-884B-4A63-8024-09794C3AECB1","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"53609bf3c2002118aacb0569ef72f2a7be0badf6","datavalue":{"value":{"entity-type":"item","numeric-id":3964761,"id":"Q3964761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q750609$A31E6218-84F4-4D10-8A06-359D4A67C4D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d895e99c00083d8bfcf18d74822c4b60a78bf639","datavalue":{"value":{"entity-type":"item","numeric-id":5187449,"id":"Q5187449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q750609$97330137-2CC2-4DF3-A6C7-EF80724CA5B4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"633f3da76537db2fd428fe6f2871ab475a80db3c","datavalue":{"value":"https://doi.org/10.1007/bf00970272","type":"string"},"datatype":"url"},"type":"statement","id":"Q750609$0534C291-0282-4763-977D-9DEC143E7B94","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0d815e37737169bea6c9ea21dc684c9fe43ad825","datavalue":{"value":"W4210609983","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q750609$4EC2A60F-F6BD-436B-8568-882E42D768FA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7291cc458fbf9c72b07462a34655880a693fcb04","datavalue":{"value":{"entity-type":"item","numeric-id":2705009,"id":"Q2705009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c84b0f81e0131581da0902497fce1c623c0184e1","datavalue":{"value":{"amount":"+0.7922680974006653","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":"Q750609$7DDE8645-C65D-45EF-A81A-1C7AC8045473","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a8e6e57d58dc114058e7cc4201dbccd4f57e3881","datavalue":{"value":{"entity-type":"item","numeric-id":468705,"id":"Q468705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"493aa772f1628d4582ef20b922981e467d48f3f4","datavalue":{"value":{"amount":"+0.7788224220275879","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":"Q750609$8E3D8B7F-D235-42BB-9361-71DEEAF00DAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"64bad30b5f1c80f76beafeab24f0574cbb6ebafa","datavalue":{"value":{"entity-type":"item","numeric-id":515602,"id":"Q515602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"34f1e2a6b499e54f691d6792f0f9276fa1fdc198","datavalue":{"value":{"amount":"+0.7652760148048401","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":"Q750609$4893B572-1D03-40A7-AF61-E7A2AB540CA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cc6b3cc4a489660f4de99055ebba6310795de05b","datavalue":{"value":{"entity-type":"item","numeric-id":2694790,"id":"Q2694790"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4f35e79b6ab73bcb17237c2fb048afee1c274f85","datavalue":{"value":{"amount":"+0.765211284160614","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":"Q750609$E44FE3AB-4CB1-4D1B-BD39-F736B00BC494","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Invariant generation","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Invariant_generation"}}}}}