{"entities":{"Q7016086":{"pageid":21599436,"ns":120,"title":"Item:Q7016086","lastrevid":78087020,"modified":"2026-05-06T10:45:08Z","type":"item","id":"Q7016086","labels":{"en":{"language":"en","value":"Amalgamating inverse semigroups over ample semigroups"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8005829"}},"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":"Q7016086$DC63C2FC-28C1-4B51-8A23-5EB0F6E75F14","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0a3edeefee3add9530106955123793e722ddc5bd","datavalue":{"value":{"text":"Amalgamating inverse semigroups over ample semigroups","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q7016086$0E58402A-5AD2-487D-BAA8-A83BD03A5654","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3a24d965913ce1bde4a49d81dc0dee55b7268afb","datavalue":{"value":"1562.20069","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7016086$3755C7D5-4C79-46FB-9CAA-D0B1691A8021","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9ac3616a24d15b1131e7f15b7508a28d42dd64aa","datavalue":{"value":"10.3176/PROC.2025.1.05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7016086$11B70B4D-EA1B-4753-98C3-C82F871A2754","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"734a4f7aefed918f011b9180041d0deef12bd529","datavalue":{"value":{"entity-type":"item","numeric-id":519929,"id":"Q519929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7016086$73BE9393-3EE5-42A7-8743-2CA9ADCE9A91","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"07eb4c4b05a0f98de71a3af592410103a96e7243","datavalue":{"value":{"entity-type":"item","numeric-id":2806394,"id":"Q2806394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7016086$2C69B2AB-A9F5-4A53-AE81-CBC11AC2EE10","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"20eafe2270f4aec8ddbe57e32707765ffe88e890","datavalue":{"value":{"time":"+2025-03-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":"Q7016086$D39DEAD4-60D2-4A68-9522-322D0015ED4A","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"2a2263d432d6e240f6b889265fff08399061f61d","datavalue":{"value":"A semigroup \\textit{amalgam} is a 5-tuple \\(\\mathcal{A}=(S;T_1,T_2;\\phi_1,\\phi_2)\\), where \\(S\\), \\(T_1\\), \\(T_2\\) are semigroups and \\(\\phi_i : S \\to T_i\\), \\(i=1,2\\), are semigroup monomorphisms. The amalgam \\(\\mathcal{A}\\) is said to be \\textit{strongly embeddable} (or simply \\textit{embeddable}) if there are a semigroup \\(T\\) and monomorphisms \\(\\psi_i : T_i \\to T\\), \\(i=1,2\\), such that\\N\\begin{itemize}\\N\\item[(i)] \\(\\psi_1\\circ \\phi_1 = \\psi_2\\circ\\phi_2\\),\\N\\item[(ii)] for all \\(t_1 \\in T_1\\) and \\(t_2 \\in T_2\\) if \\(\\psi_1(t_1) = \\psi_2(t_2)\\), then there exists \\(s \\in S\\) such that \\(t_1 = \\phi_1(s)\\) and \\(t_2 = \\phi_2(s)\\).\\N\\end{itemize}\\NIf only (i) above holds, then \\(\\mathcal{A}\\) is said to be \\textit{weakly embeddable}.\\N\\NA subsemigroup \\(S\\) of an inverse semigroup \\(T\\) is called \\textit{right ample} (\\textit{left ample}) in \\(T\\) if for all \\(s\\in S\\) one has \\(s^{-1}s\\in S\\) (\\(ss^{-1}\\in S\\)). Furthermore, \\(S\\) is \\textit{ample} in \\(T\\) if it is both right and left ample in \\(T\\).\\N\\NThe author also introduces stronger notions of rich ampleness. More precisely, a subsemigroup \\(S\\) of an inverse semigroup \\(T\\) is \\textit{rich right ample} (\\textit{rich left ample}) in \\(T\\) if for all \\(s,t\\in S\\) one has \\(s^{-1}t\\in S\\cup S^{-1}\\) (\\(st^{-1}\\in S\\cup S^{-1}\\)). Furthermore, \\(S\\) is \\textit{rich ample} in \\(T\\) if it is both rich right and rich left ample in \\(T\\).\\N\\NIf \\(T_1\\) and \\(T_2\\) are inverse, \\(S\\) is non-inverse and \\(\\phi_1(S)\\) is ample in \\(T_1\\), then it is proved that \\(\\mathcal{A}=(S;T_1,T_2;\\phi_1,\\phi_2)\\) is not embeddable in any semigroup.\\N\\NHowever, if \\(T_1\\) and \\(T_2\\) are inverse, \\(S\\) is non-inverse and \\(\\phi_i(S)\\) is rich ample in \\(T_i\\) for all \\(i=1,2\\), then \\(\\mathcal{A}=(S;T_1,T_2;\\phi_1,\\phi_2)\\) is weakly (but not strongly) embeddable in an inverse semigroup.","type":"string"},"datatype":"string"},"type":"statement","id":"Q7016086$4D6C69B4-5651-4249-AB12-6562503879B4","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"03b1aa900b3de5a0925aa217159ab1892f44684a","datavalue":{"value":{"entity-type":"item","numeric-id":344882,"id":"Q344882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7016086$53575DD2-C5CF-47AB-9995-86755BD6EFED","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b4ac0e84a504a59b674a6c5271111dec0d2b6bb2","datavalue":{"value":"20M18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7016086$BB71FBFD-682A-4AB7-B6AE-FF05407E020B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"161452d058224a660e3b8a96064cc184f10828db","datavalue":{"value":"20M15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7016086$762A776D-FC31-4BA9-849D-F2F61E90F434","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"da4486fba5293e43f43fa118be7b2896ee43bba4","datavalue":{"value":"20M10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7016086$19226D4F-4612-4806-A9AC-5426D9B5FFE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"308ceb1553bd4b03ccb725c738254e73fff25edb","datavalue":{"value":"08A30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7016086$4428A958-4C0B-40DE-B361-404A8FE7D712","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2af97f4f9517a06a4e22b849affcf9d6837c7e77","datavalue":{"value":"8005829","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7016086$8F58DCBE-11A3-4674-8675-30B090F0D7FC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"671b7e2851abb81699e6f9474b39e96bfcf80287","datavalue":{"value":"inverse semigroup","type":"string"},"datatype":"string"},"type":"statement","id":"Q7016086$3447BB78-F1BF-4EBF-ABDD-C19ACEAAE820","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3e79b4b86f4bb1da04d3d7bf5154f7d5d62b8a68","datavalue":{"value":"amalgam","type":"string"},"datatype":"string"},"type":"statement","id":"Q7016086$B0C52CBE-EFEE-413F-BD45-7BBF2BEDABBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d45390a342763bf63f650eac0c0ad603f97c47fe","datavalue":{"value":"antiamalgamation pair","type":"string"},"datatype":"string"},"type":"statement","id":"Q7016086$141692FD-A26C-462B-97D2-9ECB0D90FC0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0806ececc48dd316adf58684c277ddec214c892c","datavalue":{"value":"ample","type":"string"},"datatype":"string"},"type":"statement","id":"Q7016086$17D8C964-FBC1-4484-8E20-DA06E65EF793","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4f86a2a41b6a837dd3553afb2006a9a506a373bc","datavalue":{"value":"rich ample","type":"string"},"datatype":"string"},"type":"statement","id":"Q7016086$8287740A-5B6B-4C3B-AB7E-B97A657529FA","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":"Q7016086$0D2F1A7A-EA81-4BB8-B650-DEBC66529877","rank":"normal"}],"P223":[{"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":"Q7016086$A5482084-62A6-42F8-97FF-D4B4791FBACB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c65dbc3da207286a3a7d7356197c0b87ef2966f5","datavalue":{"value":{"entity-type":"item","numeric-id":3637973,"id":"Q3637973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7016086$2EEC58DE-C9BA-4DB7-A1B6-FE4026677B74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"946a32955c27ccb6fd8c0807ae3628e7e02f0754","datavalue":{"value":{"entity-type":"item","numeric-id":5703670,"id":"Q5703670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7016086$D6C6DA15-F195-4BB4-BC21-652B741900B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"abbd4368e50e5050e510c8c8aa52a518a6ec5310","datavalue":{"value":{"entity-type":"item","numeric-id":4846425,"id":"Q4846425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7016086$AFB4BFEF-5C4A-49E4-B2C7-2998D412C0EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bec31fcaf74b9d56a302745ce9dc768a850b4118","datavalue":{"value":{"entity-type":"item","numeric-id":3848245,"id":"Q3848245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7016086$BB93D918-1A30-4D35-84A5-91420E6A3B1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b728b2e2a9c0c505e1474cff8852bb6a6cc8257","datavalue":{"value":{"entity-type":"item","numeric-id":4537454,"id":"Q4537454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7016086$8B75E82F-BAFC-48D5-ABE5-8D9A3B8B8600","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb2130cf85503e4df6ce7f744805c5136e3146fa","datavalue":{"value":{"entity-type":"item","numeric-id":2814793,"id":"Q2814793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7016086$BE3FB098-1FED-4BA8-8E34-C00A3D2F2348","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f84c3838f95e8bb1fced448b9909c212251b759e","datavalue":{"value":{"entity-type":"item","numeric-id":6542680,"id":"Q6542680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7016086$C9700942-8E89-4C30-8E03-A738F311511C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Amalgamating inverse semigroups over ample semigroups","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Amalgamating_inverse_semigroups_over_ample_semigroups"}}}}}