{"entities":{"Q1279670":{"pageid":1290420,"ns":120,"title":"Item:Q1279670","lastrevid":70062984,"modified":"2026-04-13T12:10:57Z","type":"item","id":"Q1279670","labels":{"en":{"language":"en","value":"Defining relations for non-permutational finite transformations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1251161"}},"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":"Q1279670$17DD96EB-A39F-4B1F-BDCC-B515C4B1688F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0f2b2fe07b3f8c17b6beaaabeaab00b90a670113","datavalue":{"value":{"text":"Defining relations for non-permutational finite transformations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1279670$A16662EF-3EA4-4246-A280-E4F96A64FA63","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d32d1cfd6472a1c1cc9932f6cceee6c797a535f4","datavalue":{"value":"0919.20036","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1279670$D5521E72-841F-425E-8F63-CDD77B62669C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"04b520da5bf14584da428ca719bdcbbf01373c0d","datavalue":{"value":"10.1007/PL00005997","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1279670$E212FED0-E9FA-450F-8605-0EF01F4B331C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e71c19e87340dba88ba954fa31440b4fe6e422a9","datavalue":{"value":{"entity-type":"item","numeric-id":861611,"id":"Q861611"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1279670$83CD85AC-5C4D-49F9-B6A3-DE264C502416","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":"Q1279670$ED69D2A1-4D00-437A-B10B-D035B90B76E1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d4e938bedfb93bf82dc85457bba26370c88b0340","datavalue":{"value":{"time":"+1999-09-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1279670$A901871E-398C-4347-A8D0-4F7E7B52715C","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"f0cecf8df4b56589a5f9e36608192c5471c9e7a4","datavalue":{"value":"Let \\(I\\) denote an arbitrary set and for \\(i,j\\in I\\), denote by \\([i/j]\\) the transformation of \\(I\\) which maps \\(i\\) to \\(j\\) and fixes all other elements of \\(I\\). Such a transformation is referred to as a replacement on \\(I\\). Let \\(T=\\{[i/j]:i,j\\in I\\}\\). The semigroup \\(NP(I)\\) which is generated by \\(T\\) is the semigroup of all nonpermutational finite transformations of I. \\textit{R. J. Thompson} [Banach Cent. Publ. 28, 327-342 (1993; Zbl 0797.03062)] proved that \\(NP(I)\\) is presentable with finitely many schemas of defining relations. The author of the paper under review gives a simpler proof of this result. In addition, the length of the relations of his schemas is bounded and this settles a conjecture of \\textit{I. Fleischer} [Algebra Univers. 33, No. 2, 186-190 (1995; Zbl 0821.03030)].","type":"string"},"datatype":"string"},"type":"statement","id":"Q1279670$A8B1AE22-4B32-4B2B-B15D-6662C954758E","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"4880fd1a9270e5b25133de71f895948a3bdbbc68","datavalue":{"value":{"entity-type":"item","numeric-id":233325,"id":"Q233325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1279670$ECDADCCC-AC69-4217-A5CD-7D7F5B544CD3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"03468f1d5abafefed311cc9ccae9ddd73ff4dbd8","datavalue":{"value":"20M05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1279670$5DDDAC20-F729-4206-9EE9-52B7F81201E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"28c26f343d909e4a66e25387c3adc02e650c67e8","datavalue":{"value":"20M20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1279670$EB714363-2CDE-48FF-9275-5F8166F620F2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8682f0e0f88990fa79006ee836ad2fe2c70eb9fe","datavalue":{"value":"1251161","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1279670$DC761C2A-F6C7-416E-9B1C-408A09F0FA7B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b4a9016a796d20e6d55fde65b10dfbf35ef5755c","datavalue":{"value":"transformation semigroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1279670$8608014E-79F7-447D-8174-E82691662D7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"14525c9e8ff3dbccb573fc44b47d6e0833e83615","datavalue":{"value":"finite transformations","type":"string"},"datatype":"string"},"type":"statement","id":"Q1279670$6B957804-9A6A-4EA0-BCC8-CE1D7B4CC3FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"11b95c7182255c8e0e8ecfdca7f5a7528a1c597e","datavalue":{"value":"defining relations","type":"string"},"datatype":"string"},"type":"statement","id":"Q1279670$BD7B6E90-7E0E-40F1-8805-981AD8090B49","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":"Q1279670$1A5768E8-E14C-4153-A743-7ECE8FCF6466","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c3ca617d93c85991e28eb862e145f00fc87404c0","datavalue":{"value":"https://doi.org/10.1007/pl00005997","type":"string"},"datatype":"url"},"type":"statement","id":"Q1279670$E52CF1D3-92EE-4290-BFEB-9B1AF3CCB377","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"368145f26878a97816f2472c15eb1540fd19aae3","datavalue":{"value":"W2018927350","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1279670$EB7532B3-C063-45D3-A0F1-2816128F80E3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0d6c23a6e2b6ea76abf84218728a707dc53f04f2","datavalue":{"value":{"entity-type":"item","numeric-id":1955584,"id":"Q1955584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9d741652af9093896fbf91d7e94d5d01068d249b","datavalue":{"value":{"amount":"+0.7804262638092041","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":"Q1279670$9E8D23D6-68AD-4E6C-BBFE-D8972E91E077","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b8893b1a8dfb3f95aaafd6d386a62538467f2661","datavalue":{"value":{"entity-type":"item","numeric-id":4273440,"id":"Q4273440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"063cf2787007f1e7102d5ae0dc74a1c36662a7c5","datavalue":{"value":{"amount":"+0.7333366870880127","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":"Q1279670$79A45936-8B27-468F-ACF8-55CFA8EE72A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8fdde2d1958f30c3967e03e7048ce1558461cffd","datavalue":{"value":{"entity-type":"item","numeric-id":3552218,"id":"Q3552218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"353d28c965155c5013535ac358a9bc8ee5c500c4","datavalue":{"value":{"amount":"+0.7280519604682922","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":"Q1279670$393591C3-3306-40DD-9891-E45DB09BCE96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3da038a4f62315ea17b217d2074bcc1c5b5cbc66","datavalue":{"value":{"entity-type":"item","numeric-id":2820787,"id":"Q2820787"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1485371f3deec2c816eaf100071e5dbaaa5349fb","datavalue":{"value":{"amount":"+0.7111073136329651","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":"Q1279670$8E22DEC7-60EC-4E63-B2DB-F5CA4C6FACDF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Defining relations for non-permutational finite transformations","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Defining_relations_for_non-permutational_finite_transformations"}}}}}