{"entities":{"Q1279664":{"pageid":1290414,"ns":120,"title":"Item:Q1279664","lastrevid":70062939,"modified":"2026-04-13T12:10:56Z","type":"item","id":"Q1279664","labels":{"en":{"language":"en","value":"Semitopological semigroups satisfying \\(S^2=S\\) on finite trees are topological"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1251156"}},"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":"Q1279664$391038D0-AECF-4A23-800F-13BC76A08647","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a61d20e987ef86ffab6a3d8eca1ddc3911edd6f0","datavalue":{"value":{"text":"Semitopological semigroups satisfying \\(S^2=S\\) on finite trees are topological","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1279664$AB0584E1-A374-428F-9821-1E98213FF939","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fb19956a009a76fd20343b18670026a16166a01b","datavalue":{"value":"0916.22003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1279664$98B878BE-3793-4425-ABAC-82640E682BDF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cc44e3b3af67a76b18b9a46b26d61b2ed6c29841","datavalue":{"value":"10.1007/PL00005993","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1279664$3E0535E3-15C8-4D36-BC96-E4A0E0214F2C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9403bde6079efada29e466a929f2f175942b7f7a","datavalue":{"value":{"entity-type":"item","numeric-id":1279663,"id":"Q1279663"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1279664$BE19A62C-89C2-427E-8FE0-D5FE66257A78","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"28dbf90a09492d81530507fd711b9336815e58a3","datavalue":{"value":{"entity-type":"item","numeric-id":172569,"id":"Q172569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1279664$2840B311-4D25-4A45-8221-D6FA3E9558A8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"992212daabf7759940c30dae4b868addf13cf100","datavalue":{"value":{"time":"+1999-02-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1279664$51A53C77-C210-49E3-B7E7-6CE6ED700846","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"1c21e98c61da24122a7a51310badfc472b0d0ea1","datavalue":{"value":"The purpose of this paper is to prove the following theorem: If a semitopological semigroup \\(S\\) is defined on a finite tree and if \\(S^2=S\\), then \\(S\\) is a topological semigroup. Let \\(M(S)\\) denote the minimal ideal of \\(S\\), and \\(m(s)\\) the single element contained in the intersection of all arcs \\([m,s]\\cap M(S)\\). To prove the theorem, the following results are used. Let \\(S\\) be a semitopological semigroup defined on a tree and \\(e,f\\) be idempotent elements of \\(S\\). (1) If the minimal ideal of \\(S\\) consists of left zeros, then \\(x[m(e),e]= [xm(e),x]\\) for every \\(x\\in fSe\\). (2) The arc \\([m(e),e]\\) is an \\(I\\)-semigroup with identity element \\(e\\) and zero \\(m(e)\\). (3) The set \\(S(e)=M(S) \\cup[m(e),e]\\) is a topological semigroup. The theorem is a generalization of \\textit{J. F. Berglund}'s result [J. Lond. Math. Soc., II. Ser. 4, 533-540 (1972; Zbl 0238.22003)] with respect to an interval \\(S\\) satisfying \\(S^2=S\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1279664$57671645-5DB1-44E5-9183-982F20749EB1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"279b1d270e746a57f27f67ee38ec27235f805493","datavalue":{"value":"22A15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1279664$2A36A24C-9C79-4F49-8FA3-861DDE46C216","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3f259675ee3c8fb943955f2627bd93f56c1f34e5","datavalue":{"value":"1251156","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1279664$A36E339F-29EF-4D30-91A6-30C7B25053D7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3727be482536e986f55b5e08d15e2cce8870b62b","datavalue":{"value":"semitopological semigroup","type":"string"},"datatype":"string"},"type":"statement","id":"Q1279664$B1EE3126-87FC-4BAD-B278-733B767C51F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bcc697c472da25231e196209df2eea34ddfe7cd4","datavalue":{"value":"finite tree","type":"string"},"datatype":"string"},"type":"statement","id":"Q1279664$18C06FC1-02F1-4728-9BE6-76862479E9A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2fa0fe38129969d1ae2cf5f9092f5ceab22da44c","datavalue":{"value":"topological semigroup","type":"string"},"datatype":"string"},"type":"statement","id":"Q1279664$8DE985B5-E9D3-47D5-BD85-31BFD671BD36","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"7704c679658286090f47ad64bb1b7fed7359b313","datavalue":{"value":{"entity-type":"item","numeric-id":589105,"id":"Q589105"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1279664$25192F7E-2998-44F9-BA80-E3E23CEF4AD0","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":"Q1279664$25EAF018-665E-4048-93E5-1E559CBC1AA8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bb3755ed5079a3641da05ac20cf3e44cbf823bb3","datavalue":{"value":"https://doi.org/10.1007/pl00005993","type":"string"},"datatype":"url"},"type":"statement","id":"Q1279664$7A49D00B-7307-4720-BDC7-95DA6B71BD2F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"995cf22910dbe66183e6766fa573b702461780db","datavalue":{"value":"W1996933564","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1279664$5881D4BB-44CA-4E95-9787-9DFA85B29DBB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"201e17b2b7c8512d496689d968bf85a45bacbcc7","datavalue":{"value":{"entity-type":"item","numeric-id":3320597,"id":"Q3320597"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c694b91f287ac51541b8bcc620a6085563697770","datavalue":{"value":{"amount":"+0.768453061580658","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":"Q1279664$6958A79C-8E28-446C-B4A1-5A9E126650E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e4805084796d4eb3f8d7f341eebc5c515381943c","datavalue":{"value":{"entity-type":"item","numeric-id":1958073,"id":"Q1958073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5487819d0eb82ca3438b3b63b4bf42571bdad9bf","datavalue":{"value":{"amount":"+0.7434142827987671","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":"Q1279664$29DD8B3A-139E-4A86-80B4-F0A92EFB154B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8ff8dcef6024546ab0b708cd69a9fa480701d81f","datavalue":{"value":{"entity-type":"item","numeric-id":3752584,"id":"Q3752584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"23144dddecbe2ccb212b7da4bc76210c04de82a7","datavalue":{"value":{"amount":"+0.7410126328468323","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":"Q1279664$DB5C9105-9478-4708-92EA-B1A33D114B5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"24568be3715e1315e8287c58b6e09f7c34fb0918","datavalue":{"value":{"entity-type":"item","numeric-id":3710714,"id":"Q3710714"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7cf260865ed390604e5df302ac717691909b60a4","datavalue":{"value":{"amount":"+0.7394658327102661","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":"Q1279664$5FEB9D06-092D-4368-91F0-6DDAA185263D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"50079b1e132598b4c1995ab98a3cf78c8810b856","datavalue":{"value":{"entity-type":"item","numeric-id":3988046,"id":"Q3988046"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"846257b79e2f95ee44e4aee5f0a79c06d1c960b6","datavalue":{"value":{"amount":"+0.7381646633148193","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":"Q1279664$7C2ACF96-D19C-496F-86B6-936E952A2155","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Semitopological semigroups satisfying \\(S^2=S\\) on finite trees are topological","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Semitopological_semigroups_satisfying_%5C(S%5E2%3DS%5C)_on_finite_trees_are_topological"}}}}}