{"entities":{"Q2073372":{"pageid":2084114,"ns":120,"title":"Item:Q2073372","lastrevid":71271423,"modified":"2026-04-13T21:07:05Z","type":"item","id":"Q2073372","labels":{"en":{"language":"en","value":"Right-cancellable protomodular algebras"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7468277"}},"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":"Q2073372$9C1B305D-AF0A-4362-BD1B-3D91332A8929","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"47125a4b600a003ac776720e88e997fce740e269","datavalue":{"value":{"text":"Right-cancellable protomodular algebras","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2073372$13F8F53C-E7BA-46EE-975A-6EF28CBBABAA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cb43165b8d7c276243a5e21249f501bed31189c0","datavalue":{"value":"1485.08003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2073372$3AE4927C-FE9C-40CD-A9AD-44A622D4F911","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b32459be76cd8894feeb0d5e40515c64d78d223b","datavalue":{"value":{"entity-type":"item","numeric-id":278227,"id":"Q278227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2073372$A1E62371-D8CC-423B-A7F4-D26FDB1ECCDD","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"8fa179c8715004e2374d4db0c3ce41b39558e95d","datavalue":{"value":{"entity-type":"item","numeric-id":178112,"id":"Q178112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2073372$EFAE2082-DCDC-41D0-809D-ED30942EFF18","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b49dc9fca49651caf99815e140828b876b484fdc","datavalue":{"value":{"time":"+2022-02-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2073372$90770FC2-06FB-4270-AD41-566D32E3C005","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"033427d36ccf653852550100fecb09c5755b0ac3","datavalue":{"value":"https://arxiv.org/abs/2103.00278","type":"string"},"datatype":"url"},"type":"statement","id":"Q2073372$C634D8C0-C641-4802-8330-8856D8226A54","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"33b47fb19488a031ffae03044a3584b6b5a737fa","datavalue":{"value":"In this paper, the author introduces a new protomodular analog of the classical criterion for the existence of a group term in the algebraic theory of a group term in the algebraic theory of a variety of universal algebras. The algebraic theory of a variety of universal algebras contains a group term if and only if it contains a 0-ary term and an associative Mal'cev term. In a previous paper [Algebra Univers. 81, No. 1, Paper No. 1, 12 p. (2020; Zbl 07146745)], the author gave a protomodular analog of the above mentioned criterion for the existence of a group term in a variety of universal algebras. In this paper, the author gives another criterion for the existence of a group term in a variety of universal algebras. In Section 5, group operations on right-cancellable protomodular algebras, the author shows that right-cancellable $v_n$-algebras can be characterized as groups with simple additional structures.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2073372$0C8A6C92-08CF-4BE7-8DBF-ACDEADE74422","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4897136ea1c19614fe909b8db60c4ec176d94a78","datavalue":{"value":"08B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2073372$19E2B357-4E9E-457B-B9F6-06FB082462A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"396e0fd7e3b723e770d62f37cd362b49808d08c1","datavalue":{"value":"18C05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2073372$4EC6A938-F639-49FC-A3CC-EFDFAE37DCDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0c2591ec5b25df22c2ffdb20083debbdbf6fa8b","datavalue":{"value":"20N05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2073372$520A3CB2-D5D2-4C24-8998-5B7C6ADFFACA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"41f575f60cc2be2ae013a9dbcefa214fb1b09bd9","datavalue":{"value":"7468277","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2073372$5B920DF8-3F3B-4245-8914-59071059C74D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c64feef537c275a62eae4aee77340203127746ed","datavalue":{"value":"protomodular variety","type":"string"},"datatype":"string"},"type":"statement","id":"Q2073372$6809D20A-EE5A-4A08-8165-2828780EEC98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6d3405d9e2919d9f2fe386a6b53793b8c19c284","datavalue":{"value":"right-cancellable promodular algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q2073372$11DA6155-80BF-433E-A054-76ED6731F616","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3bed176ba7fead86d055cfaae3ac90b0ff89660f","datavalue":{"value":"group term","type":"string"},"datatype":"string"},"type":"statement","id":"Q2073372$14778026-9D78-4EF2-943E-A381C4B8B509","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"450d19987175b4eb73b72a3a886f0a1e97156c1d","datavalue":{"value":{"entity-type":"item","numeric-id":590963,"id":"Q590963"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2073372$AEF10D2D-4444-4491-AB81-D17AA88BCDDC","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":"Q2073372$08B05599-1F5C-491A-8CDE-09B757317700","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"67cc6a1f41be3e349df0cb3cfef0776ac638ce9e","datavalue":{"value":"W4220945867","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2073372$69346505-D11C-412C-88B5-EE1D23B9B340","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e202188c6cea7d85e43a9bc2a2dcf54e9bf41ce","datavalue":{"value":{"entity-type":"item","numeric-id":4827951,"id":"Q4827951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2073372$6C1C78BE-696B-4C79-979C-34CFBA1B084F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6e3cd30d75580af0669b117cf8803784bf1bd63","datavalue":{"value":{"entity-type":"item","numeric-id":4303501,"id":"Q4303501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2073372$F29AAD30-3700-402B-9EB0-8546FEF14A80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e26aa8ff8ccaa29924cdae71bfe9e4cbaf01780","datavalue":{"value":{"entity-type":"item","numeric-id":703814,"id":"Q703814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2073372$1605C3CD-6229-48AC-837E-7B368D0D8F18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f6cc32c23653bb88686de1e15bf8cf3d256ae57","datavalue":{"value":{"entity-type":"item","numeric-id":2508930,"id":"Q2508930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2073372$919DE4EB-3A85-47A7-8587-AD70695C023E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f1020749d56d90f709d9a4081cad71152e31b3f","datavalue":{"value":{"entity-type":"item","numeric-id":3978968,"id":"Q3978968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2073372$9C4B726D-939C-4EE6-92B3-6AFA799CEF06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"33eac4160a4608b07e4084e59e32fadd357ee86a","datavalue":{"value":{"entity-type":"item","numeric-id":4707050,"id":"Q4707050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2073372$AACF781E-451E-492E-A186-01D87EDDD954","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b6cb15a3e7f5b6f451d15ff64565e95e94af0ae","datavalue":{"value":{"entity-type":"item","numeric-id":5840046,"id":"Q5840046"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2073372$A0A2AF02-094A-4C9B-A228-B5232204DCC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a0e6bbf36237fb649e57691f2b2205e8d9bb7e0","datavalue":{"value":{"entity-type":"item","numeric-id":5534940,"id":"Q5534940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2073372$AEBA5357-B746-450B-AC95-7635EEED48C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b372db09ded8bd12394c63de73a17b340ac8a93","datavalue":{"value":{"entity-type":"item","numeric-id":798686,"id":"Q798686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2073372$75241345-956E-4473-9174-981B32AAE820","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c80e7b0a52f535d8b62d0b3904ab1fbabb1bfc32","datavalue":{"value":{"entity-type":"item","numeric-id":5960411,"id":"Q5960411"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2073372$B31A7A7D-4954-4EF1-8FB2-36AFADEE05C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8e633cc75d24c61c04be0178a4823018469332d","datavalue":{"value":{"entity-type":"item","numeric-id":4663636,"id":"Q4663636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2073372$34B3F666-C3BD-4DA2-B5B7-9F094D9D2FEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8575a2ada207acda50e3eb0c46b6d4d98ba96b0d","datavalue":{"value":{"entity-type":"item","numeric-id":4837705,"id":"Q4837705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2073372$3A76D93E-ED74-4021-8971-E17D3D28290F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de1789d6d9396f05ee889c9ed84cd7886cd4a22b","datavalue":{"value":{"entity-type":"item","numeric-id":5181407,"id":"Q5181407"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2073372$2A0E422F-B365-400D-AC03-500597007B5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3960d9020ddfbde8603e15a632b561e0681f5fc","datavalue":{"value":{"entity-type":"item","numeric-id":1319053,"id":"Q1319053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2073372$ED41379A-E17F-4B57-8A1F-023A84BE224D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"54d0afea06ee8b561d0932d875e6346979df1e89","datavalue":{"value":{"entity-type":"item","numeric-id":2283058,"id":"Q2283058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2073372$AE04B1F4-1983-42DC-8761-EFA7219E68D5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5d0ec7638518bb54fb6f1acf17cc166903ec0f29","datavalue":{"value":"10.1007/S00012-021-00747-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2073372$8C5643AD-B902-43D2-96CB-695333357BEE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ef0034f7b784a19fe58427090b9108dfd31e284e","datavalue":{"value":{"entity-type":"item","numeric-id":4707050,"id":"Q4707050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9761b758c7ec9182cbed12664e57944dd926b82a","datavalue":{"value":{"amount":"+0.7790926694869995","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":"Q2073372$B88F00E3-4C37-436E-9670-0A0B0F7AA0FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1a7e59649a1df51f1f77a2117b2e2858bd018e97","datavalue":{"value":{"entity-type":"item","numeric-id":2283058,"id":"Q2283058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a2ae66a9ef9d85766ca376651431beefb65064a3","datavalue":{"value":{"amount":"+0.753696620464325","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":"Q2073372$14F41F91-E74C-43EC-84F7-11D3E3E9324F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a4d884e289f195e55717f079bd010c0a93cfbbbf","datavalue":{"value":{"entity-type":"item","numeric-id":3606622,"id":"Q3606622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7256a5497c52979733ecce5607b6ea4dacb98be3","datavalue":{"value":{"amount":"+0.7494007349014282","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":"Q2073372$87F90B5C-0242-4B6A-87FB-D17A7CD1BAB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2727d74d5f839582533396354c21351bd8083938","datavalue":{"value":{"entity-type":"item","numeric-id":5003067,"id":"Q5003067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aeef84e7f84812ac6c1c71fd09c40b36611baebc","datavalue":{"value":{"amount":"+0.726144015789032","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":"Q2073372$99F1B69D-ECCD-47BF-9D13-8026C9ED71AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"df35721132244a3febb0d205e35855afa816fccf","datavalue":{"value":{"entity-type":"item","numeric-id":2508930,"id":"Q2508930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8166d549a89525913247ce772d2040e69377c4b5","datavalue":{"value":{"amount":"+0.7246526479721069","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":"Q2073372$3A215E18-0354-4597-A12C-2CA7D2585F65","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Right-cancellable protomodular algebras","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Right-cancellable_protomodular_algebras"}}}}}