{"entities":{"Q6846446":{"pageid":20575348,"ns":120,"title":"Item:Q6846446","lastrevid":84278105,"modified":"2026-05-14T13:47:35Z","type":"item","id":"Q6846446","labels":{"en":{"language":"en","value":"Superextensions of doppelsemigroups"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8170727"}},"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":"Q6846446$781D71F5-D595-42F4-BF88-73A2B5C042C9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"512daa99bb20db3114f505fa9c8d3bd0e0319251","datavalue":{"value":{"text":"Superextensions of doppelsemigroups","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6846446$EEADABAE-5C61-4D02-BFD1-07F5D201B262","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5ea08812a1ebd990b1e42d15949ddaca30277388","datavalue":{"value":{"entity-type":"item","numeric-id":1994830,"id":"Q1994830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6846446$FE79F6EA-4B23-45E1-9D03-4436DC64DEF3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a34cc7afbb4da92f1a39f6a81b063752ca5ab0b3","datavalue":{"value":{"entity-type":"item","numeric-id":2941942,"id":"Q2941942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6846446$4893D513-F7AE-4AA8-843C-C08287254F3D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3bc23e9e34c1eb7eecca8162731879d009922c7e","datavalue":{"value":{"time":"+2026-03-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6846446$34A6E7F3-0C02-44F5-9FE0-BEE4A82E9C19","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3b8e88aca142535c1ce6b8dd0de4b3c70ae16433","datavalue":{"value":"https://journals.pnu.edu.ua/index.php/cmp/article/view/8583","type":"string"},"datatype":"url"},"type":"statement","id":"Q6846446$D447E64D-ACF7-4A43-B990-714BCABDC9AC","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"d18707faecf35fc3df3170f3cfe95173538780d6","datavalue":{"value":"A \\textit{doppelsemigroup} \\((D, \\dashv, \\vdash)\\) consists of a non-empty set \\(D\\) equipped with two associative binary operations \\(\\dashv\\) and \\(\\vdash\\) satisfying the following axioms: \\( (x \\dashv y) \\vdash z = x \\dashv (y \\vdash z)\\) and \\((x \\vdash y) \\dashv z = x \\vdash (y \\dashv z)\\). An upfamily \\(\\mathcal{L}\\) of subsets of \\(D\\) is called \\textit{linked} if \\(A \\cap B \\not= \\emptyset\\) holds for all \\(A, B \\in \\mathcal{L}\\). The \\textit{superextension} \\(\\lambda(D)\\) of \\(D\\) consists of all maximal linked upfamilies on \\(D\\). By extending \\(\\dashv\\) and \\(\\vdash\\) to \\(\\lambda(D)\\), this article studies the structure of doppelsemigroups \\((\\lambda(D), \\dashv, \\vdash)\\). For example, the center of \\((\\lambda(D), \\dashv, \\vdash)\\) contains the center of \\((D, \\dashv, \\vdash)\\). Moreover, if \\((D, \\dashv, \\vdash)\\) is a countable infinite group doppelsemigroup, then \\(\\mathcal{C}(\\lambda(D), \\dashv, \\vdash)=\\mathcal{C}(D, \\dashv)\\cap \\mathcal{C}(D,\\vdash)\\). By naturally extending the homomorphisms \\(\\varphi\\colon D_1\\to D_2\\) of semigroups to the homomorphisms \\(\\lambda(\\varphi)\\colon \\lambda(D_1)\\to \\lambda(D_2)\\) of doppelsemigroups, \\(\\lambda\\) can be considered a (covariant) functor to the category of doppelsemigroups. Some properties of \\(\\lambda\\) are derived. For example, group doppelsemigroups \\(G \\) are described for which \\(\\lambda(G)\\) contains a (left) zero.","type":"string"},"datatype":"string"},"type":"statement","id":"Q6846446$B15B2F63-5772-48A1-BA54-AE0CB8462A9C","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"af2af9f0b39002fbe531b18972cee790e88d2541","datavalue":{"value":{"entity-type":"item","numeric-id":579434,"id":"Q579434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6846446$A75ADC91-5E7B-4281-A1BE-49DF39AB92CF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"983a596fcaf5e9f858c576e91f4228679d1d7d56","datavalue":{"value":"18B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6846446$83808A9D-0733-4479-9B8C-ADD96A0384DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3266b50b85fdb89c0f2d78a3d59ff37df4184a25","datavalue":{"value":"37L05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6846446$84EB0A2D-B97F-49B5-8138-55632A0243A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"279b1d270e746a57f27f67ee38ec27235f805493","datavalue":{"value":"22A15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6846446$B92E908D-A3AE-4C3A-AE9D-626881E21351","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1e0ea60c8c505c4e5917af1df3d48f8c558f6f04","datavalue":{"value":"20D45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6846446$50373283-9AD8-47D6-8B16-30A825B60CBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"161452d058224a660e3b8a96064cc184f10828db","datavalue":{"value":"20M15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6846446$23F11C6D-48F4-4BC5-96FA-981AF5C1A274","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25c8936003d39e41a9c8a541470f5aac0fe1fa32","datavalue":{"value":"20B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6846446$499B1253-5B75-489B-B63B-D63651BE8F3C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"29cddabc83dd592b66f8741e67b091dd36375c74","datavalue":{"value":"8170727","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6846446$136A6927-81B4-4299-8225-F74D3F9568F7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"353994e8fe4ea46c7967e2c391669c471c4ec902","datavalue":{"value":"semigroup","type":"string"},"datatype":"string"},"type":"statement","id":"Q6846446$0CF1F4DB-70AC-434B-BEB1-CB14A31D8003","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b327f9243b33f5b682ec67688fb87b6d4daa63a2","datavalue":{"value":"superextension","type":"string"},"datatype":"string"},"type":"statement","id":"Q6846446$2A5C530B-3708-4DCD-AD35-DF458812396F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5a79a1900af928733ed2e41107c7675f915c03ea","datavalue":{"value":"maximal linked upfamily","type":"string"},"datatype":"string"},"type":"statement","id":"Q6846446$5F18AC8D-64CC-460E-833C-3F42D1B95C08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"232d32e4786e87be375c86c059f0775b4cbfd975","datavalue":{"value":"doppelsemigroup","type":"string"},"datatype":"string"},"type":"statement","id":"Q6846446$ED656615-B825-4D86-8EBC-97684A97937A","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":"Q6846446$26A3A31F-0FBC-449F-B62F-A29215FB69BD","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a50dd053586242af380cb395f6cb730d502ff7f","datavalue":{"value":{"entity-type":"item","numeric-id":5191707,"id":"Q5191707"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6846446$5833669F-09E4-48CF-BF35-4EF61F136B2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a4358b370375443a811afffcc5c692514290d8f","datavalue":{"value":{"entity-type":"item","numeric-id":2390785,"id":"Q2390785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6846446$A31B03E1-5DCF-4A18-9486-E523730367EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"950a35a509de431da81c7e64c5c477a8bf40da93","datavalue":{"value":{"entity-type":"item","numeric-id":4898443,"id":"Q4898443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6846446$51182100-C616-472E-B818-A0D982CDC374","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"764035c0b407be3f1332308f566a07e63c0716ae","datavalue":{"value":{"entity-type":"item","numeric-id":5178707,"id":"Q5178707"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6846446$A68B58A9-6BEE-4F93-80D0-BDF3BE551C1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ba6c899a0eba2293b6c8f09f03ce87d7b19d4bb","datavalue":{"value":{"entity-type":"item","numeric-id":4595162,"id":"Q4595162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6846446$9879C0C9-6224-409D-9970-7A2A62F4865D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be93b9b7ac35a7be2efe95dae7fb82ae56bf82be","datavalue":{"value":{"entity-type":"item","numeric-id":2414373,"id":"Q2414373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6846446$3E4CE143-4A1C-4F6A-8E8A-8BE009393972","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"97151caf8f65da5e38cd7e900c02bac180844dbb","datavalue":{"value":{"entity-type":"item","numeric-id":3607857,"id":"Q3607857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6846446$A6E6C448-5CA9-4094-B6EE-0614A32DAD60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf4781661415099dbc0d1291634fa7e1078e8b66","datavalue":{"value":{"entity-type":"item","numeric-id":4228852,"id":"Q4228852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6846446$B8745B8C-D37D-43CF-BF8A-DCBC7FCB21D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b00a88a31166e3107ba81a6a7ad824ba74001b6e","datavalue":{"value":{"entity-type":"item","numeric-id":1953483,"id":"Q1953483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6846446$5668505C-47FD-47F1-80F5-E1CBFFB6338F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86abba93f33c8147c25d0d57f15490516f513f86","datavalue":{"value":{"entity-type":"item","numeric-id":1003372,"id":"Q1003372"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6846446$320303F0-DC6B-47F2-B260-525D6147BC12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f577c8837b724b06827dc2c2c6fd328d85549d5","datavalue":{"value":{"entity-type":"item","numeric-id":1003390,"id":"Q1003390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6846446$9AE1F511-C580-4D83-B8C7-0A893D027EAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d03d65384488b7ae67ece3adc68c14cdfeac7b9","datavalue":{"value":{"entity-type":"item","numeric-id":2399790,"id":"Q2399790"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6846446$D539C086-F02E-430B-8237-CF53AACA38F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8664c3fa9d227c44fb4c069222e8852affc2c001","datavalue":{"value":{"entity-type":"item","numeric-id":2414360,"id":"Q2414360"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6846446$03EA0834-E04D-46B6-A4E0-A2FD66693BDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"267eaf7a5735ef86e8fd457c854aae4868d2c638","datavalue":{"value":{"entity-type":"item","numeric-id":1994831,"id":"Q1994831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6846446$6565F839-73D3-43D6-BF3F-7E7310BD39C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"36c77edaa4afbac9d0c454c5c25831caac4f75a0","datavalue":{"value":{"entity-type":"item","numeric-id":4985421,"id":"Q4985421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6846446$A61C5FD0-4499-45D0-AE88-487AF987A070","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"83c0eba5b235f327e0d1f0fda93c4f8413012749","datavalue":{"value":{"entity-type":"item","numeric-id":5130685,"id":"Q5130685"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6846446$4328826A-B4A6-4848-B21D-6064BD3A6676","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e54888bb933e68af044f9b44577f87ffe5cc785","datavalue":{"value":{"entity-type":"item","numeric-id":6113647,"id":"Q6113647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6846446$27E04EF1-4DDF-44E7-99F6-9C4D8CB829B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0de91418acfea6986d2d17c54c62120222048962","datavalue":{"value":{"entity-type":"item","numeric-id":6589467,"id":"Q6589467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6846446$2780975C-C2E9-4206-A9AC-09EA5539D9B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3951249fbdaba6931f6663bf616906ef48d50f33","datavalue":{"value":{"entity-type":"item","numeric-id":3310829,"id":"Q3310829"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6846446$731621E2-358B-4DC5-9400-6C4E2E91DD8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dfbc417b68d6d94b924213404387c6d136c231a1","datavalue":{"value":{"entity-type":"item","numeric-id":3039573,"id":"Q3039573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6846446$C23D5DB5-CDF8-496D-8CAF-70F1033E2120","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"693cd72b7d67705854cca4c0d84a2aa9f721ffe0","datavalue":{"value":{"entity-type":"item","numeric-id":1266503,"id":"Q1266503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6846446$CBB744D2-86BE-41E4-8958-3A1DCA56D12A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"39074c0e0eb7b9425019f58bc3087dd9beb422e9","datavalue":{"value":{"entity-type":"item","numeric-id":2736579,"id":"Q2736579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6846446$56AA036D-6BD2-4EE8-BB2D-414243C00D51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8fd50d6f8b592d9361f5716715251eb5a473fb61","datavalue":{"value":{"entity-type":"item","numeric-id":4194081,"id":"Q4194081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6846446$7D2F09FF-E80C-4976-88CE-7A05F9319F68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"74617e364b014e673ab4ccb555506226b6dd42fd","datavalue":{"value":{"entity-type":"item","numeric-id":1407182,"id":"Q1407182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6846446$B38728BC-1BA6-414A-9860-7A7A58398895","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fad321dd42f7dc8cc40fcc0436a8107d93454abb","datavalue":{"value":{"entity-type":"item","numeric-id":5648588,"id":"Q5648588"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6846446$35D3989B-A8BA-43FC-A407-1EEA9BD67845","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c6778b9dcc2b74041fc7672b69b75deb5332018","datavalue":{"value":{"entity-type":"item","numeric-id":5671372,"id":"Q5671372"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6846446$9943173B-2CDF-4338-887C-879660D6A258","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"017f557b58b91f2ddf7e686e07d93e51278851d9","datavalue":{"value":{"entity-type":"item","numeric-id":5267749,"id":"Q5267749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6846446$1A8EE8D9-CC05-47F2-84C5-75BD11D540A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0861c812a7a58df20da92c4377d8efb999be30e7","datavalue":{"value":{"entity-type":"item","numeric-id":2359735,"id":"Q2359735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6846446$6699AC59-923F-40D2-B14D-C7FD7B614F25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"31ec914ba0c9e0abfbb9168a417d94234b3ab55e","datavalue":{"value":{"entity-type":"item","numeric-id":4594763,"id":"Q4594763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6846446$EBC4AD54-87C7-4183-B64B-1F72490F5749","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a943e19dcf2ddb5a13d50d8a9f47c01c2e34e9b","datavalue":{"value":{"entity-type":"item","numeric-id":4641477,"id":"Q4641477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6846446$A56CD861-3973-45A8-95D1-1C295BED55E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d516d89a2a208f8607b8065f03d918a25e02839","datavalue":{"value":{"entity-type":"item","numeric-id":5224193,"id":"Q5224193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6846446$64877A90-EA66-497B-8B15-7CD3F56FFED9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f190dc26cfc37ace7a5ffcdccbdc1fdb61d08992","datavalue":{"value":{"entity-type":"item","numeric-id":4691743,"id":"Q4691743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6846446$54E2EE9D-7C8E-4218-A99E-105C5BCC1D28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c7843b374e098833579572ed5ed64c94769d9f47","datavalue":{"value":{"entity-type":"item","numeric-id":5133854,"id":"Q5133854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6846446$76B652E3-F009-486B-8D07-3C09725E656F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"02b6b635ce600cfe8f96871df56dcb25e9db3c8f","datavalue":{"value":{"entity-type":"item","numeric-id":5130730,"id":"Q5130730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6846446$130CB39E-3C60-4B35-B822-BA226F60F895","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Superextensions of doppelsemigroups","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Superextensions_of_doppelsemigroups"}}}}}