{"entities":{"Q1770602":{"pageid":1781344,"ns":120,"title":"Item:Q1770602","lastrevid":74367834,"modified":"2026-04-14T19:48:51Z","type":"item","id":"Q1770602","labels":{"en":{"language":"en","value":"Dominions in quasivarieties of universal algebras"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2153438"}},"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":"Q1770602$322EB503-11DC-46B3-B5CD-2A79C4FF6D3F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b9d53ad40f4fc627466ba5db66dd9fc5cd6db01f","datavalue":{"value":{"text":"Dominions in quasivarieties of universal algebras","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1770602$55E29F2B-2DA9-414D-8985-7F36AB9FFC76","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d24b243e9798a816d457f98e50d36fdb5a7338f4","datavalue":{"value":"1066.08006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1770602$6D64B833-397E-4EDE-88C6-1EB126E74D22","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e34236ca73b92c6ee0bc17431d03c3537a7f0792","datavalue":{"value":{"entity-type":"item","numeric-id":195358,"id":"Q195358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1770602$FE3B6ABE-B901-4BA0-93EA-3AA6D78931AB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"86471ba8a812fc2d049bb06f25b4db84c76027a9","datavalue":{"value":{"time":"+2005-04-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1770602$A4991E3F-9ACF-48DC-B4F9-926714FABB72","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"bcae9059a3e96c8491eb5ba1a79a086e380253b7","datavalue":{"value":"Let \\(\\mathcal M\\) be a class of algebras, and let \\(H\\) be a subalgebra of the algebra \\(A\\), then the dominion of \\(H\\) in \\(A\\) (in a class \\(\\mathcal M\\)) is defined by:  \\[ \\text{dom}^{\\mathcal M}_A(H)=\\{a\\in A\\mid \\forall M\\in {\\mathcal M}, \\forall f,g : A\\to M (f| _h=g| _g \\Rightarrow a^f=a^g)\\}. \\]  The dominion is intimately connected with the free product of two copies of \\(A\\) with \\(H\\) amalgamated, for it is the preimage in \\(A\\) of the intersection of the two images of \\(A\\) in the free product. Another useful property of the dominion is that if a quasivariety \\(\\mathcal M\\) is generated by the set \\(M\\), then \\(\\text{ dom}^{\\mathcal M}_A(H)= \\text{dom}^M_A(H)\\), provided certain finiteness conditions hold. Also, if \\(\\mathcal M\\) is a quasivariety, \\(A\\) an arbitary algebra, and \\(H\\) a finitely generated subalgebra of \\(A\\), then the set \\(L(A,H,{\\mathcal M})\\) of dominions \\(\\{\\text{dom}^{\\mathcal N}_A(H)\\}\\), where \\(\\mathcal N\\) is a subquasivariety of \\(\\mathcal M\\), is a lattice. The paper ends with an investigation, using examples from group theory, as to whether any of the finiteness conditions in the last two results can be omitted. Three open problems are given.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1770602$10405B98-E17C-423C-9053-ABAA300CFD1C","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"f8414a3f118214cb0e61ac619ce4c188ec75d9e3","datavalue":{"value":{"entity-type":"item","numeric-id":587989,"id":"Q587989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1770602$D81D88FD-0E32-4B9B-BABE-2ED4469F9309","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ba40962b9b1c6cc590e99c35b83dff6377a190fb","datavalue":{"value":"08C15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1770602$7586B9A9-7A7D-4B5D-BC7B-6731B3FF492A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bd203843bfa7d8abb3c9f96c8aa3200c06f018f5","datavalue":{"value":"08B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1770602$10BEC8B0-1E63-4F95-A9A9-CB27D05DA987","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"24b9d889555e6ceafdd02a4a26c78220b32474ea","datavalue":{"value":"2153438","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1770602$28FFB3E5-13F8-42D7-9DFD-49CEC99AB36F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"26b43d879f6ad89d85edb85af43e0f14cd501c1f","datavalue":{"value":"quasivariety","type":"string"},"datatype":"string"},"type":"statement","id":"Q1770602$0159A629-D571-42E4-AF59-71944036F631","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"20581187ae88815bd7a991984d7b521b65a69420","datavalue":{"value":"dominion","type":"string"},"datatype":"string"},"type":"statement","id":"Q1770602$58EC6F3B-E749-418D-AE84-F3DBE1F6217E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"09a188bc590546995974b55a3f2f84f00e08b2a9","datavalue":{"value":"universal algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1770602$1F3C498E-2A77-494B-9133-E10798D6106C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"36c2c990981f9c9594b70bf6086c9fd5e77cc4ca","datavalue":{"value":"group","type":"string"},"datatype":"string"},"type":"statement","id":"Q1770602$F52040EC-B3CB-4195-903A-449790A0BDDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0f6be13cb695968c916d7350730eb53802ba046d","datavalue":{"value":"lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q1770602$EA68743E-DEF8-447C-B0FF-800F62460486","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ddace150a93c3eb2ef624b6edc685aab2dad49a2","datavalue":{"value":"free amalgamated product","type":"string"},"datatype":"string"},"type":"statement","id":"Q1770602$AC339DB5-F216-4D9E-A4D5-8B4EA018ADE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3e79b4b86f4bb1da04d3d7bf5154f7d5d62b8a68","datavalue":{"value":"amalgam","type":"string"},"datatype":"string"},"type":"statement","id":"Q1770602$E66209E8-7EA5-4918-80BD-C4E0ACA22360","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c3397d639368893ce53ec32d3651c88dd0c58ca4","datavalue":{"value":{"entity-type":"item","numeric-id":1685376,"id":"Q1685376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1770602$3CBAB871-ED56-4849-A87D-583DFE5BB2D2","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":"Q1770602$2A04C173-020D-4C44-8E8C-0D4C24C6B970","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d91bcd42072d44809ff47993187f245b7f5ebe04","datavalue":{"value":"https://doi.org/10.1007/s11225-005-7127-1","type":"string"},"datatype":"url"},"type":"statement","id":"Q1770602$9B21BBDE-5061-4226-97C4-E1BBF3C0D8EE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"37ce8d6d32f715e13971b14f7be320cc2efea8cb","datavalue":{"value":"W2092236955","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1770602$EFAE2D1A-2FB1-4085-8115-6FF6097F381F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"166b50b5cf96cc6985ae449fb18f360b8d463274","datavalue":{"value":{"entity-type":"item","numeric-id":1116964,"id":"Q1116964"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1770602$F2D476A5-3CB0-4174-88B0-F8D872B3B2C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c21f0c3339e4a3ee2ac6e668e98d25c879a23fb5","datavalue":{"value":{"entity-type":"item","numeric-id":4220228,"id":"Q4220228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1770602$9E0007AA-5D6C-4126-9960-734A2BC78A3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"88ca63bf39018711eacf0ae8f3409616f6cfc1bd","datavalue":{"value":{"entity-type":"item","numeric-id":1771855,"id":"Q1771855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1770602$1F44821B-43DF-443F-AD5D-5AEA7A380E42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a1a6d6982762289c259f6235f615ca9147186ac9","datavalue":{"value":{"entity-type":"item","numeric-id":1226513,"id":"Q1226513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1770602$E09B0C34-EE48-4401-BCA8-A6EE7D8F6A5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4dd6560a229f945959a7293d8e86ffe0f59161c","datavalue":{"value":{"entity-type":"item","numeric-id":5829061,"id":"Q5829061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1770602$DB3169C1-532B-4FB5-AD5C-5F3A7EE0354C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4de75d1d0d2ab52b650b4bdabdf32b9ac7c45381","datavalue":{"value":{"entity-type":"item","numeric-id":3822409,"id":"Q3822409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1770602$AA922EE8-76D6-4EEF-B8EB-72DD423DC43E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b23d2186eee06bf83f524a70461cf781eb7579a3","datavalue":{"value":{"entity-type":"item","numeric-id":5569554,"id":"Q5569554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1770602$6B4A94CF-FB2B-478F-909E-C9F4A5C20B0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84918f66ae03f19443ad69de709ad69bb97e30f9","datavalue":{"value":{"entity-type":"item","numeric-id":4002576,"id":"Q4002576"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1770602$54A78CA1-A7A5-4385-92DA-8D1CFB031AA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21284c448971f5be85b33b0302abb0259ff6df4d","datavalue":{"value":{"entity-type":"item","numeric-id":4947077,"id":"Q4947077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1770602$43EB648F-5067-401C-8290-ED773709ABF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"851afa855b3e2614d04df0af0e6860b4c8a5bdbb","datavalue":{"value":{"entity-type":"item","numeric-id":1771942,"id":"Q1771942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1770602$2AE8DE4D-ED10-49B8-82BE-2800F75B2D1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2d7873227df2f7be888da90e7111f87b2aea2b8","datavalue":{"value":{"entity-type":"item","numeric-id":1771941,"id":"Q1771941"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1770602$2B16279A-6E13-4A08-84CD-0B529CB2B2AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"53887268cc9091c8e593a6b61d65545325d01b90","datavalue":{"value":{"entity-type":"item","numeric-id":5950781,"id":"Q5950781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1770602$ECDF00C1-53EE-417C-9D71-10FA6FA62395","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f5f7c06079e464fb1bc7acaf041ac7c2fcd604f","datavalue":{"value":{"entity-type":"item","numeric-id":4262392,"id":"Q4262392"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1770602$0502C1A8-0613-4E1E-93F7-1405F12EF777","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5205f0c490c6e0e86265d410df0068dbf44264b6","datavalue":{"value":{"entity-type":"item","numeric-id":1866811,"id":"Q1866811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1770602$683A97C3-7D8B-4950-B44F-0D228010FF5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"24e9938f112f9a0f8c7c0596067ee4c8d2b72d1c","datavalue":{"value":{"entity-type":"item","numeric-id":1429892,"id":"Q1429892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1770602$F6D62382-DB4B-44F0-8396-C48E8D78E401","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"97c097180f7c18bb301a3034ba7487a69fa58bcb","datavalue":{"value":{"entity-type":"item","numeric-id":5651356,"id":"Q5651356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1770602$E9E60E49-EEB7-4D96-8F3D-7795196944AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8ee0b5e47e4f984442ae8d27008d5c652d958d4","datavalue":{"value":{"entity-type":"item","numeric-id":1053115,"id":"Q1053115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1770602$B29AE279-A7DA-416C-A259-77F9FC8CFB0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"112f2067489aadd6de2de5842a8a074b6f24af42","datavalue":{"value":{"entity-type":"item","numeric-id":1237171,"id":"Q1237171"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1770602$7A1AF0EA-4B22-4D76-94AD-E14E1721832B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e5136613739d0a66e292b87300c48c71002ba910","datavalue":{"value":"10.1007/S11225-005-7127-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1770602$72827551-7BA7-4810-A662-D96812A52E09","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fa43fe788aaab4547a699e0dc00a2240f74b39ae","datavalue":{"value":{"entity-type":"item","numeric-id":3546069,"id":"Q3546069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"65645423421325b33196153321577be9652c2f31","datavalue":{"value":{"amount":"+0.9185838103294371","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":"Q1770602$DCB927C6-40BE-4663-A1A0-0DEBA1843D29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8eba59fadcc19f5e43d2e3e9ae01ed9fa4f68b09","datavalue":{"value":{"entity-type":"item","numeric-id":3546134,"id":"Q3546134"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"59931331de545e5c5dd557c1565ddd56e65f4733","datavalue":{"value":{"amount":"+0.8671964406967163","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":"Q1770602$28C7E552-5153-4701-8793-0A90129EB32B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ba63a5034440489d3ed1e33c71456b3cf6f632ba","datavalue":{"value":{"entity-type":"item","numeric-id":2491961,"id":"Q2491961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bad95cc5e23908947f684d7885dcfb9afed7d3e2","datavalue":{"value":{"amount":"+0.860328197479248","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":"Q1770602$5B426090-4DD3-42EE-BADC-30694B5206A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6beef04a68a5267f40bdd3ae3dd13a3ac992d8a0","datavalue":{"value":{"entity-type":"item","numeric-id":606039,"id":"Q606039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"99c25a0fff9992fb1e60f47b89c845a4fa0b7f72","datavalue":{"value":{"amount":"+0.8452482223510742","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":"Q1770602$ED66996C-F80E-4DAB-9203-37EC5744A1B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"06b395166b2dbf6e255fe75fe4942bc96b65a311","datavalue":{"value":{"entity-type":"item","numeric-id":1866811,"id":"Q1866811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bfa22b9026932e8f552ba6629a3f0d0789a29db2","datavalue":{"value":{"amount":"+0.8414550423622131","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":"Q1770602$F258E0D9-D073-4C13-9BF8-BAFFF8500BC2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Dominions in quasivarieties of universal algebras","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Dominions_in_quasivarieties_of_universal_algebras"}}}}}