{"entities":{"Q863518":{"pageid":865366,"ns":120,"title":"Item:Q863518","lastrevid":64921782,"modified":"2026-04-11T23:07:16Z","type":"item","id":"Q863518","labels":{"en":{"language":"en","value":"Transformation semigroups and exact sequences"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5118984"}},"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":"Q863518$13A43A5B-0216-43CF-816B-1848DBA8ACB2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"196fedcc5d9677c70f70b701e00fc3089b380b89","datavalue":{"value":{"text":"Transformation semigroups and exact sequences","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q863518$15044DD1-D222-4966-9815-0AF1E32F7057","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"85f371ea2025eb8e51ad245c750364e380c81987","datavalue":{"value":"1114.54024","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q863518$E3F3F30E-26F1-4A59-BD6E-2FA11C2509FE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6721e2b1eb987ba2390f9abdb34c9100dded7229","datavalue":{"value":{"time":"+2007-01-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q863518$5D519A52-002C-4518-BEB6-3182C16FEAE2","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"c0d4421d0e2f7268ab0917c9572a24d5db99b6eb","datavalue":{"value":"Let \\((X,S)\\) be a transformation semigroup such that \\(X\\) is a compact space and \\(S\\) is a discrete topological semigroup with identity \\(e\\), which acts continuously on \\(X\\). Denote by \\(E(X,S)\\) the enveloping (Ellis) semigroup of \\((X,S)\\); that is, the closure of \\(S\\) in \\(X^X\\) with pointwise convergence. Given another transformation semigroup \\((Y,S)\\) and a map \\(\\phi:(X,S)\\longrightarrow (Y,S)\\) that preserves the action of \\(S\\), set \\(R(\\phi)=\\{(x,y)\\in X\\times Y: \\phi(x)=\\phi(y) \\}\\) and \\(\\Delta_Y=\\{(y,y): y\\in Y\\}\\). A sequence (finite or infinite) of transformations \\(\\dots@>\\phi_{n-1}>> (X_n,S)@>\\phi_n>> ((X_{n+1},S)@>\\phi_{n+1}>> (X_{n+2},S) @>\\phi_{n+2}>> \\dots\\) is called exact if for each \\(i\\in \\mathbb Z,\\;\\phi_i\\times \\phi_i(X_i\\times X_i)\\cup \\Delta_{X_{i+1}}=R(\\phi_{i+1}).\\) In the paper under review the author considers exact sequences of transformation semigroups. First, a version of the well-known five-lemma within this context is proved. Then the author studies further properties of these exact sequences. For instance, if \\(P(X,S)=\\{(x,y)\\in X\\times X: \\exists p\\in E(X,S)\\;xp=yp \\}\\), the sequence above is called P-exact if for each \\(i\\in \\mathbb Z,\\;\\phi_i\\times \\phi_i(P(X_i))\\cup \\Delta_{X_{i+1}}=R(\\phi_{i+1});\\) the follo\\-wing result is obtained: let \\(e\\) be the identity of the semigroup \\(S\\); and let \\(S_1,\\dots,S_m\\) be subsemigroups of \\(S\\) such that \\(e\\in \\cap_{i=1}^mS_i\\) and \\(S=\\cup_{i=1}^mS_i\\). If the sequences \\(\\dots@>\\phi_{n-1}>> (X_n,S_i)@>\\phi_n>> ((X_{n+1},S_i)@>\\phi_{n+1}>> (X_{n+2},S_i) @>\\phi_{n+2}>> \\dots\\) are P-exact for \\(i=1,\\dots,m\\) and \\(A_i\\) is a nonempty subset of \\(X_i\\) for all \\(i\\in \\mathbb Z\\), then the sequence \\(\\dots@>\\phi_{n-1}>> (X_n,S)@>\\phi_n>> ((X_{n+1},S)@>\\phi_{n+1}>> (X_{n+2},S) @>\\phi_{n+2}>>\\dots\\) is P-exact. The paper also contains several examples which illustrate the relations among the different notions considered.","type":"string"},"datatype":"string"},"type":"statement","id":"Q863518$A6D330C8-2246-48CC-BBD9-8F57B8E5584D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"68b51577a1dd4998c37632bce89096914f601ab7","datavalue":{"value":"54H15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q863518$D1189606-6A6A-4632-9358-B225F3502C84","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"01ddb91ad08867b96f252ecc994fe70ab6929bb3","datavalue":{"value":"5118984","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q863518$7B2C7E67-F071-403D-BF72-7899F312681C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"95d437cd4adb798311a3947621184ff7abacffbc","datavalue":{"value":"\\(a\\)-minimal set","type":"string"},"datatype":"string"},"type":"statement","id":"Q863518$64B7B49E-9866-4175-B722-27E641EBDF9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"689b65561f64a4798cb1a20688ead5f777d09583","datavalue":{"value":"exact sequence","type":"string"},"datatype":"string"},"type":"statement","id":"Q863518$0E1270B1-5086-4F23-BD83-85785E143603","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"acf7ea9877269e5fffeb7a8a937b9b9aa37208a6","datavalue":{"value":"P-exact sequence","type":"string"},"datatype":"string"},"type":"statement","id":"Q863518$2C961AAD-0CF4-420F-9D13-E0E90256B322","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eea66398cb080bffc5a8ac039abee15cfcc4ffda","datavalue":{"value":"proximal relation","type":"string"},"datatype":"string"},"type":"statement","id":"Q863518$2E208A28-8FAB-4106-86E7-7A3532E291B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e72875abb503cf78ea37b307f56b9a19ef339253","datavalue":{"value":"transformation semigroup","type":"string"},"datatype":"string"},"type":"statement","id":"Q863518$2D18315B-6F69-47A6-9589-E8BEF45C323F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"37a0787b5b691039caf47b6d1440c84c91a7391b","datavalue":{"value":{"entity-type":"item","numeric-id":206899,"id":"Q206899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q863518$BA5A5440-EFB9-48B6-A062-1182D731845B","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"d4cccbe6056f9ded1b6e4dc2e5b0c2f3970b933f","datavalue":{"value":{"entity-type":"item","numeric-id":169664,"id":"Q169664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q863518$0567B6D5-EB3D-4DC5-9269-7318A2A0D18F","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":"Q863518$497CAC00-D8AD-4448-A162-867F8421B090","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"01886238cc4bc9d508b9ff4d7f86e46c0668f97d","datavalue":{"value":{"entity-type":"item","numeric-id":74070,"id":"Q74070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q863518$CEF231D4-96DC-4DD6-9801-787988BAEA13","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"96d7ef7c45ba30f6a8df2e279216cace27b7dc62","datavalue":{"value":{"entity-type":"item","numeric-id":4427484,"id":"Q4427484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8b07278d8623a6455b17724e0c3671e4dd6b3bc7","datavalue":{"value":{"amount":"+0.7261321544647217","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":"Q863518$F7FD6D34-E1B5-47AB-8D38-3B2A8B8A660B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4cac986bf7d10ecfb8c88e67038a86ac5f1409c5","datavalue":{"value":{"entity-type":"item","numeric-id":2272624,"id":"Q2272624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2a88428a71aa4a446f3adc3dfd52f19e99f5026a","datavalue":{"value":{"amount":"+0.7084516286849976","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":"Q863518$277372F7-34F0-4D55-84CE-D8923C1E219A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ae9ce209c2fd0ef40ab3bcf36a90ce5e100d88fd","datavalue":{"value":{"entity-type":"item","numeric-id":3131633,"id":"Q3131633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4cd4ee77bd724dce1a3464834bad3fe99bf40bef","datavalue":{"value":{"amount":"+0.7054700255393982","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":"Q863518$1E0406F9-EB04-4903-A6B7-E5BD5435ABD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4441959b45ed9d035c76787b14b374b5c223f7b8","datavalue":{"value":{"entity-type":"item","numeric-id":4548023,"id":"Q4548023"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"63111695c9a1e6cd4a017d676f60290c025d162a","datavalue":{"value":{"amount":"+0.7014210820198059","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":"Q863518$84F0C566-A503-4F97-9847-27DD07A376D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fa5b0ec2031fef129d64909b10db51f5506abe5a","datavalue":{"value":{"entity-type":"item","numeric-id":5939029,"id":"Q5939029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8c5a532bbadfb21f2258cf6efeddb74202b092af","datavalue":{"value":{"amount":"+0.695969820022583","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":"Q863518$DDE3D54F-75A5-45F0-A60E-1FE698DD454C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Transformation semigroups and exact sequences","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Transformation_semigroups_and_exact_sequences"}}}}}