{"entities":{"Q1076804":{"pageid":1087556,"ns":120,"title":"Item:Q1076804","lastrevid":66810861,"modified":"2026-04-12T13:01:43Z","type":"item","id":"Q1076804","labels":{"en":{"language":"en","value":"The solubility of sets of equations over groups"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3955214"}},"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":"Q1076804$1C45A8CD-FFE2-484C-A6BD-628AA094E76E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2d8f86b5756bf49038a8c8b8dadeb94def6c5215","datavalue":{"value":{"text":"The solubility of sets of equations over groups","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1076804$50A9D5AC-405F-45AF-B75E-C8E0FE192E3E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"85ef8176a5660fc9c4af621ec2440c68ce196be7","datavalue":{"value":"0594.20028","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1076804$C07DC090-E9D0-42A4-A8DB-3EB094459C2D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1f4266169ed8082ddc838bcaf0c55ba444f6b00d","datavalue":{"value":{"entity-type":"item","numeric-id":1076803,"id":"Q1076803"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1076804$0AA63828-3906-4AC1-8DFA-27C68B70F77A","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":"Q1076804$95E5FFA0-21EC-4AF6-B0E4-9011BBB481A8","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":"Q1076804$09D157A4-65D6-4EE1-AE93-9545A3DB72B5","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"e2216fb398f11483cdd17fe4a385b2ac93f7c0d9","datavalue":{"value":"Let G be a group. By a finite set S of equations over G it is meant a set \\(S: w_ 1=1\\), \\(w_ 2=1,...,w_ n=1\\) where \\(w_ i\\), \\(i=1,2,...,n\\) is an element of the free product G*F of G and the free group F freely generated by the variables \\(z_ 1,...,z_ r\\) entering into the equations. If H is a group containing G, the equations S can be solved in H if the inclusion map from G to H extends to a homomorphism from G*F to H such that the kernel contains all the \\(w_ i\\), \\(i=1,2,...,n\\). The equations can be solved over G if they can be solved in some group H containing G. Let N be the normal subgroup of G*F normally generated by \\(w_ 1,w_ 2,...,w_ n\\). Then the system S is soluble over G if and only if the intersection \\(G\\cap N\\) is trivial, because then the natural map of G into G*F/N is an embedding and this happens only if S is soluble over G. A group H containing G is called finitely presented over G if it is isomorphic to G*F/N for some finite set S of equations over G which is soluble over G. The main result of this paper is the following: If the finitely generated group G is non-trivial there does not exist a group H, finitely presented over G, such that every finite set of equations over G which is soluble over G is soluble in H. The proof of this theorem occupies much of the paper. Among the corollaries is that no existentially closed group is embeddable in a finitely presented group.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1076804$6078644E-E1BE-469A-9E99-CCBC7C9D3015","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"8acfec936c9f92116ab04a417b25b0b6b0e8ab90","datavalue":{"value":"20F10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1076804$8571D963-E1B6-4AB7-8D4C-B722476A2507","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fcae15942a1ef1170b65682251799a9bfed1dcd3","datavalue":{"value":"20E06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1076804$20F8D769-DCB1-4B77-9D3A-7E02E8480E0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5608e4dbe85e8f6c220cc8afcea2a4ada066e3fa","datavalue":{"value":"20F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1076804$52E51BC3-2C6C-4359-B61D-CB0D5A3B1D3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5320e9cecd9885a74d1f4cf20dd5b5397119f97a","datavalue":{"value":"20E22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1076804$D8991A0A-398A-405F-AAC4-82F40534DC36","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"912094bdaa5576d9fd482577754e94d6886d35e5","datavalue":{"value":"3955214","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1076804$7999EA2A-5B4B-44EE-8D0D-F78750ADBEBB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9a3e638b439a8ce33a8e994eaa7d1ef9ec9b9535","datavalue":{"value":"free product","type":"string"},"datatype":"string"},"type":"statement","id":"Q1076804$C4189E70-FECF-497C-9D54-DE7D2532E3DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7bb0da4c7c49e685c75a6821331b312dbb5ba326","datavalue":{"value":"free group","type":"string"},"datatype":"string"},"type":"statement","id":"Q1076804$79F2F36A-6429-4C02-99E7-E58104F1DC26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7af5017f4e350454d6f8075bbc124e1cdabec896","datavalue":{"value":"finitely generated group","type":"string"},"datatype":"string"},"type":"statement","id":"Q1076804$0163DD4A-35E3-412A-B9C1-CE781613E06A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fccdff74959a08ab5b0d56fdfc34aeb9a3e0806b","datavalue":{"value":"finite set of equations","type":"string"},"datatype":"string"},"type":"statement","id":"Q1076804$AA3BD474-9673-41DA-80BC-B2FC65A45601","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e65d1dc8e7368c6b17ee4cc829495585f31de481","datavalue":{"value":"existentially closed group","type":"string"},"datatype":"string"},"type":"statement","id":"Q1076804$E231ABEA-B0D9-41EA-9F0C-8963A88FB9B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7d4836dab67ec6d377d7d3ccdb65a585787ef48","datavalue":{"value":"finitely presented group","type":"string"},"datatype":"string"},"type":"statement","id":"Q1076804$F1C7275B-30D9-456C-9BC3-B30EC509D3D6","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":"Q1076804$9280BE10-F465-40D9-8548-86BBA8138B1E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf565f3dee57a8db1fa7003c4754383858580c4e","datavalue":{"value":{"entity-type":"item","numeric-id":2874364,"id":"Q2874364"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"45a4d5e3654ad946ab82a6f6bfdbd4babf32ea93","datavalue":{"value":{"amount":"+0.8357973098754883","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":"Q1076804$CE69016F-3FB2-4C3D-A93B-8F8C3CF83FBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b257bf0a964fed932639f6b5ca8e583f0e62a92c","datavalue":{"value":{"entity-type":"item","numeric-id":1061851,"id":"Q1061851"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"df19854d82c15f1c383d82829d020b2fe31e2934","datavalue":{"value":{"amount":"+0.8232775330543518","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":"Q1076804$D0F6E886-ED78-45D4-B26F-5835F3007341","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4bbe1c3593b13e8596bcb9f29491f30cf704dea7","datavalue":{"value":{"entity-type":"item","numeric-id":3154524,"id":"Q3154524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c13d4e17fe5281717487d16434231f9477c1a0da","datavalue":{"value":{"amount":"+0.8057472109794617","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":"Q1076804$41FEF9FF-5C6A-44D9-B7AB-15B1A1BB3C11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"23add4a612dc79acde1027d582343022efbe1e27","datavalue":{"value":{"entity-type":"item","numeric-id":582391,"id":"Q582391"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"204ef672ac91b85de56fc642ed128e0941a8fae8","datavalue":{"value":{"amount":"+0.8049359917640686","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":"Q1076804$C4041466-CDA7-45A4-9020-E8C221D38CED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a61a258d810020596bb803682c8744a647c2b278","datavalue":{"value":{"entity-type":"item","numeric-id":2769816,"id":"Q2769816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6f363a6be17762437c4280b0c493465fd3351a58","datavalue":{"value":{"amount":"+0.7960452437400818","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":"Q1076804$3AE5B350-4744-4C90-8640-289BF6FEF08E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The solubility of sets of equations over groups","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_solubility_of_sets_of_equations_over_groups"}}}}}