{"entities":{"Q796664":{"pageid":798512,"ns":120,"title":"Item:Q796664","lastrevid":64404714,"modified":"2026-04-11T19:38:20Z","type":"item","id":"Q796664","labels":{"en":{"language":"en","value":"Right ideals in a right distributive groupoid"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3865590"}},"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":"Q796664$D98BD2CE-2346-4B8E-B6C3-8BBFB9302607","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b0cb2191634915a5f61f6f4f73980852ccac8a15","datavalue":{"value":{"text":"Right ideals in a right distributive groupoid","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q796664$D6C52EEF-2694-4850-9D29-29E882FD7BAB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1e319725253aaf6a4c3ba33a7ef77789cdc5e107","datavalue":{"value":"0544.20052","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q796664$D256E41F-BA7F-4779-A82E-905A805DFAAD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d145f233568b397ffbd5cd61658139817fe42867","datavalue":{"value":"10.1007/BF01224016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q796664$468F28E5-916D-4A92-BB1A-EB22283B227D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5e3d90602f2af4312d6ead96fd7582896ff37e3d","datavalue":{"value":{"entity-type":"item","numeric-id":185986,"id":"Q185986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q796664$DF567C6E-6478-4713-AF02-2A7DD0D368AC","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":"Q796664$54819A7B-6701-4D71-BEC2-10BEC52F9A06","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":"Q796664$0A2E71F8-2B1E-4284-A4D0-019BAA84B1F1","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"bd662ba099a8182360177dee2b09556a1600c744","datavalue":{"value":"Let G denote a groupoid, \\(<G>\\) denotes the groupoid generated by G under set product [e.g. \\(GG^ 2\\in<G>\\) where \\(GG^ 2=\\{a(bc)| \\quad a,b,c\\in G\\}],\\) R(G) denotes the set of right ideals of G, and \\(P(G)=\\{G^ n|\\) n is a positive integer\\} where \\(x^{n+1}=x^ nx\\) for \\(x\\in G\\). It is well known that if G is a semigroup then: (i) R(G) is a semigroup under set product, (ii) \\(<G>\\subseteq R(G)\\), (iii) \\(<G>\\) is totally ordered under inclusion. In general (i), (ii), (iii) are not true. However, in this paper, it is shown that if G is a right distributive groupoid [i.e. \\((xy)z=(xz)(yz)]\\) then R(G) is a right distributive groupoid and conditions (ii) and (iii) are satisfied. Examples indicate that, in general, \\(P(G)\\neq<G>\\) and that \\(<G>\\) is right distributive does not imply G is right distributive (although the converse is true). The following are equivalent: (a) \\(<G>\\) is right distributive; (b) if \\(Y,V\\in<G>\\) such that \\(Y\\neq G\\) then \\(YV=YG\\) and \\((GV)G=G^ 3\\); if \\(A,B,C\\in<G>\\), then \\((AB)C=(AG)G\\). Finally if \\(<G>\\) is right distributive the following conditions, on \\(<G>\\), are characterized: \\(<G>=P(G)\\), commutativity, associativity, distributivity (both sides).","type":"string"},"datatype":"string"},"type":"statement","id":"Q796664$1B5996FF-08CE-4269-882B-DBA352EAC0E2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"da4486fba5293e43f43fa118be7b2896ee43bba4","datavalue":{"value":"20M10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q796664$E7A253B5-9C0B-4AC9-AFB5-4A7CA61160C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"453fe1dd0f19a593316433cff78f121387fddd0a","datavalue":{"value":"20M12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q796664$A8E283F5-84F3-4037-A88D-7C80ADC851ED","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1b372fb747f21bc874bc804ef6658ab47b7571bb","datavalue":{"value":"3865590","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q796664$5A9E2692-028C-47B0-A671-157D1A02D5E3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e8129d6a5288d508d9010dbbb15b42efa9cc2974","datavalue":{"value":"right ideals","type":"string"},"datatype":"string"},"type":"statement","id":"Q796664$6C0D29DF-4D54-4B1C-B442-193DBD84435D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"15dcb4b7f84ca7a47aca19ea684dc15219624ecf","datavalue":{"value":"semigroup under set product","type":"string"},"datatype":"string"},"type":"statement","id":"Q796664$44462F8A-DEFC-45E1-8086-4712D67DC5BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4c2422889cb43bce40e4eea23a159471a0a1daee","datavalue":{"value":"right distributive groupoid","type":"string"},"datatype":"string"},"type":"statement","id":"Q796664$B63D001C-5B41-43F7-8342-9C1165A494D7","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":"Q796664$B1BDD436-5928-451A-B55A-B9226D7E0D3F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9efd9f3525812a61e2df6838d694830dd53c99a7","datavalue":{"value":{"entity-type":"item","numeric-id":3220767,"id":"Q3220767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q796664$B6C80802-7362-4A2A-8B49-15531E6DF11A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"85d7b24ebf2e6090aaa5d1b34424b2202aad96c1","datavalue":{"value":{"entity-type":"item","numeric-id":5606623,"id":"Q5606623"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q796664$E498C7E1-5A99-4AAC-9702-8FF8B2E69636","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5afbf744a209bae591f2001b963f84ed85dc6a7","datavalue":{"value":{"entity-type":"item","numeric-id":3848243,"id":"Q3848243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q796664$BC508ED9-3952-48C3-9A27-1B75032F48CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"18b699f2a468485689561f2bb284f512757fa422","datavalue":{"value":{"entity-type":"item","numeric-id":3665341,"id":"Q3665341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q796664$3D487F01-0540-4B7B-B7D0-7C8715024A25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f3ca23da8f0eac0f2b115431ccc170c048214b5","datavalue":{"value":{"entity-type":"item","numeric-id":3310840,"id":"Q3310840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q796664$83C96CB8-0B87-4171-9401-380E28ADD634","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"13a498a3e51de310a5aced1cc6c6fe025f754238","datavalue":{"value":{"entity-type":"item","numeric-id":4299121,"id":"Q4299121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b6554fbdfbed594f85772906018e93574c369427","datavalue":{"value":{"amount":"+0.8349800109863281","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":"Q796664$FD012F9F-90B5-4EDF-82F4-E53BA4BD64E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f0843ab78796eee53e67945472cbeed5d91844f7","datavalue":{"value":{"entity-type":"item","numeric-id":3220767,"id":"Q3220767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d3f26dc936cf3c7e2f8f3104149846adc5f998f2","datavalue":{"value":{"amount":"+0.7983781695365906","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":"Q796664$FAC8CFE2-E07A-4422-AD15-504970A2D19A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"41526cc4e2f2ccc6ef6e155fadb1b7be14872790","datavalue":{"value":{"entity-type":"item","numeric-id":3788206,"id":"Q3788206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9301d4b4a140a0a7e834037db3e0517b50525cab","datavalue":{"value":{"amount":"+0.7946332693099976","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":"Q796664$D70075D4-65C5-439D-AE3E-FE1DD3CDC3CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"56efa87a3ef4cb2ae9cd5c93496b09d9b9c8ce87","datavalue":{"value":{"entity-type":"item","numeric-id":4389816,"id":"Q4389816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1576749af3b19a08d05cd0ee5d5e971457d73891","datavalue":{"value":{"amount":"+0.7684923410415649","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":"Q796664$F9EAB99F-FF50-41FC-A68F-BFE3B136C239","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eacd4122a0defe6f30553e431b00026a0384be3a","datavalue":{"value":{"entity-type":"item","numeric-id":4209995,"id":"Q4209995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b1d9b16bb4d7f8650666b486784ab28522e2375c","datavalue":{"value":{"amount":"+0.7498471140861511","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":"Q796664$2C770263-7C9C-4E1B-8885-68DC807AAA6E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Right ideals in a right distributive groupoid","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Right_ideals_in_a_right_distributive_groupoid"}}}}}