{"entities":{"Q1340002":{"pageid":1350741,"ns":120,"title":"Item:Q1340002","lastrevid":70181658,"modified":"2026-04-13T12:59:33Z","type":"item","id":"Q1340002","labels":{"en":{"language":"en","value":"Wreath products of monoids with small categories whose principal one- sided ideals form trees"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 703021"}},"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":"Q1340002$AC5F6B9F-AB5B-4DDA-BD5F-EF99ED82D3F4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e48907ae1e37808a3017b3e24a63e0febdafc9df","datavalue":{"value":{"text":"Wreath products of monoids with small categories whose principal one- sided ideals form trees","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1340002$D6C893AC-F7B1-4C59-B52F-FFD6E2A7B22A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"42867d5679ec3b03d2e16e5bb62855d789e82f0a","datavalue":{"value":"0820.20075","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1340002$CAAAC9CE-50F3-4391-A121-62387E83D710","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"93541bb195a0809b1f249396bcebe99d047e6b6c","datavalue":{"value":{"entity-type":"item","numeric-id":161561,"id":"Q161561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1340002$A9427FED-42ED-48E7-B0D2-87265CCF0970","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"307580e22f2d20de23b936c4fce7539a5342cbe9","datavalue":{"value":{"time":"+1995-08-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1340002$5D7C5558-05B6-4D05-856B-6811D4B5B68E","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"7d99b9889cf9e610c949a384dc862b43948486cb","datavalue":{"value":"Let \\(S\\) be a monoid and \\(K\\) a small category whose set of objects forms a left \\(S\\)-act. \\(S\\) is said to be compatible with \\(K\\) if for all \\(a,b \\in K\\) one has \\(M(a,b) \\not = \\emptyset \\Leftrightarrow\\) there exists \\(s \\in S\\) with \\(sa = b\\). If always \\(M_ K(a,b) \\neq \\emptyset \\Leftrightarrow M_ K(b,a) \\neq \\emptyset\\) then the category \\(K\\) is called symmetric. A category \\(K\\) is a group category if every morphism in \\(M\\) is invertible. If in a symmetric category \\(K\\), there exists an element \\(z \\in K\\) such that \\(K \\backslash z\\) is a group category and \\(M(z,z)\\) is not a group then \\(K\\) is called a \\(z\\)-pointed group category. By \\(F(X,Y)\\) denote all mappings from a set \\(X\\) to a set \\(Y\\) and by \\(M(x,y)\\) denote the set of morphisms from \\(x\\) to \\(y\\) in \\(K\\). The wreath product \\(W\\) of \\(S\\) and \\(K\\) is a monoid with elements of \\(W = \\{(s,f)\\mid s \\in S, f\\in F(K,M), f(a) \\in M(a,sa)\\}\\) and with multiplication \\((s,f)(p,g) = (sp, f_ p g)\\), where \\((f_ pg)(a) = f(pa)g(a)\\). The class of monoids whose principal right ideals form a tree with respect to inclusion is denoted by \\textbf{PRIT}.   Theorem. Let \\(K\\) be a symmetric small indecomposable category, \\(S\\) be compatible with \\(K\\). Then \\(S\\text{ wr }K \\in \\)\\textbf{PRIT} (\\textbf{PLIT}) if and only if 1, 2 or 3 (1 or 2) is valid: 1. \\(K\\) is a group category and \\(S \\in \\)\\textbf{PRIT} (\\textbf{PLIT}); 2. \\(K\\) is a \\(z\\)-pointed group category, \\(S\\) is a group and \\(M(z,z) \\in \\)\\textbf{PRIT} (\\textbf{PLIT}): 3. \\(K\\) is a \\(z\\)- pointed group category with \\(S \\in \\)\\textbf{PRIT}, \\(M(z,z) \\in \\)\\textbf{PRIC} with exactly one proper right ideal, \\(\\{s \\in S\\mid sz = z\\}\\in \\)\\textbf{PRIC}, and \\(z \\in sK\\) implies that \\(s\\) is right invertible.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1340002$31C85CB7-7E61-4E5A-B1BD-13F680B224DF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1e6822c7285171de2378f029d5e65f225fd3f99c","datavalue":{"value":"20M50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1340002$F38C964E-EAE2-4A6E-83B1-589854FD5914","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"453fe1dd0f19a593316433cff78f121387fddd0a","datavalue":{"value":"20M12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1340002$B66FDFBA-B334-4F1A-B7E7-DC8E0817E4D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"36d4ee2aca74c4c0df9926d6f3cf4629e4beb1fa","datavalue":{"value":"20L05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1340002$32EA42D8-97A6-4424-8AAC-3440B85771D6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7a8ea5cea13fc044d96e7f3d55ecb16e3795fabe","datavalue":{"value":"703021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1340002$E954D1FF-8281-401D-AEE7-D8AA93E4545C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c0b1c7e83e24be7ad52568b1135025f96b4c06c3","datavalue":{"value":"small categories","type":"string"},"datatype":"string"},"type":"statement","id":"Q1340002$234338F2-01ED-4FD3-93A6-43FAA5276170","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3627753663f2c65946a93b070ddbce6306f9e2cd","datavalue":{"value":"left \\(S\\)-acts","type":"string"},"datatype":"string"},"type":"statement","id":"Q1340002$DF56FAA8-E1D4-418B-BFB2-EB7B83E0F537","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"99e7fa76047dccccd94299ec4be27b2743ffe530","datavalue":{"value":"symmetric categories","type":"string"},"datatype":"string"},"type":"statement","id":"Q1340002$65388AB5-D1DC-458F-B85E-5299BAA66B63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3ee8b11188ec5bbb313d5b60e278d19bbf374730","datavalue":{"value":"\\(z\\)-pointed group categories","type":"string"},"datatype":"string"},"type":"statement","id":"Q1340002$A7BEE253-B111-4E48-8AAF-8E452789C7CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f8c8c8c4fdc9f91696962efc35a08827e231ad2b","datavalue":{"value":"wreath products","type":"string"},"datatype":"string"},"type":"statement","id":"Q1340002$6DA4BC43-4757-46A5-AB49-9E88B054614B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"020ea4568bd289be1d165ebd0142f10be6ca5b61","datavalue":{"value":"principal right ideals","type":"string"},"datatype":"string"},"type":"statement","id":"Q1340002$719D6555-8C75-4EEF-A3FB-C881295D7DB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bc7116a9f64f3933c0d3a5fe0457d0f66fa23d67","datavalue":{"value":"small indecomposable categories","type":"string"},"datatype":"string"},"type":"statement","id":"Q1340002$933CB1A7-031C-47A3-9DC1-CD1C354D59C4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7b9296588cdfde51a2364419339051170ba97d31","datavalue":{"value":{"entity-type":"item","numeric-id":1770495,"id":"Q1770495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1340002$DA13EA89-7A91-4643-9008-668DF29E9D1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"39acba4dd747cf864eb72972e4f09f64a456f9dd","datavalue":{"value":{"entity-type":"item","numeric-id":207731,"id":"Q207731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1340002$36B1A5FB-E71E-42B8-82BD-A986CE824205","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":"Q1340002$A36A5FC7-C903-401E-9288-5690F32F6300","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":"Q1340002$302BDB99-46CD-40B0-B70C-1155F518B6A4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f74d2ca3e24255ca76ff2953a75b2374d907d4dd","datavalue":{"value":"https://doi.org/10.1006/jabr.1994.1328","type":"string"},"datatype":"url"},"type":"statement","id":"Q1340002$7C2B3B22-A39E-4A1B-8198-A2CE721F0A1A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"59cb91fee268179a77805b4b0b8bf6936a3cd5bb","datavalue":{"value":"W2067699673","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1340002$D3AD8337-B152-464E-A8BC-6DB9DD54AEB4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e59a6ae01255983bb23816a99752c8ff46c1c3cd","datavalue":{"value":"10.1006/JABR.1994.1328","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1340002$F65060A2-ED32-4B06-A0CD-A8CD01191BAE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d07abfe135c99c110a7433092c82c6f7c9dd523d","datavalue":{"value":{"entity-type":"item","numeric-id":1345732,"id":"Q1345732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"10de0852a454131217fdff874d8c3d9a63444d6b","datavalue":{"value":{"amount":"+0.9108075499534608","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":"Q1340002$32879B9A-240A-4B3F-9320-8AD1FD4F3FC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3943aa0840d402a3a3cf9458e810b15e1c7dcad4","datavalue":{"value":{"entity-type":"item","numeric-id":4723970,"id":"Q4723970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"23aaa0fa7e3123c90ec010e93a2b796e9fb0eb51","datavalue":{"value":{"amount":"+0.8217034935951233","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":"Q1340002$26321A0D-F47D-459A-A4EC-53590D456F80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"732cb256cb21870fb824b1cce6cad6ea8c1dde04","datavalue":{"value":{"entity-type":"item","numeric-id":4297726,"id":"Q4297726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4645f7ea876c19f03962ee9436391dbf1d61cf1e","datavalue":{"value":{"amount":"+0.8181143403053284","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":"Q1340002$82AFE79A-F88C-4F2D-8ED8-32BE377A7322","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Wreath products of monoids with small categories whose principal one- sided ideals form trees","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Wreath_products_of_monoids_with_small_categories_whose_principal_one-_sided_ideals_form_trees"}}}}}