{"entities":{"Q1330684":{"pageid":1341434,"ns":120,"title":"Item:Q1330684","lastrevid":70157673,"modified":"2026-04-13T12:49:50Z","type":"item","id":"Q1330684","labels":{"en":{"language":"en","value":"Fibonacci semigroups"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 609790"}},"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":"Q1330684$6C6F0E22-6C26-4CAE-BD14-D1AE63830AB3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5a2830cfacf84cdd2ed3d44b64644f70ecae2294","datavalue":{"value":{"text":"Fibonacci semigroups","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1330684$BE127F33-2357-4FE2-B008-72B2CDB8966D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4029c95307e3741bbcf34d2a6032abe46dafafaa","datavalue":{"value":"0805.20049","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1330684$532AC333-DB63-4A45-8D77-E9B4F4C0E66F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fc6da072111fc60be6504207109c5883c802fe60","datavalue":{"value":"10.1016/0022-4049(94)90005-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1330684$6A32B5BC-9413-413F-926D-AF8CDC629E7C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"31bf537b8d33f43f27f392b7409d272c7e527e24","datavalue":{"value":{"entity-type":"item","numeric-id":724911,"id":"Q724911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1330684$4A556FB9-691B-400E-81B1-B5F2758DB443","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cf259cca190e165fade42bb2bf8ce8c8090da867","datavalue":{"value":{"entity-type":"item","numeric-id":1110649,"id":"Q1110649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1330684$A8C43E36-57D8-4070-85E7-099462FDA928","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cd78d4bdb808fac2af34ccbd95e95e6e263f6f7e","datavalue":{"value":{"entity-type":"item","numeric-id":1330683,"id":"Q1330683"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1330684$A9A475CB-E8B9-490C-A789-A74D92DC370A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"99637ff12ce766661a0940b08e197a328f933923","datavalue":{"value":{"entity-type":"item","numeric-id":585356,"id":"Q585356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1330684$183D3AAF-C56B-4B45-923C-88C0A6CD12D6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"34a2791b3d9645796ba9cdff19dd05bcf40f0161","datavalue":{"value":{"entity-type":"item","numeric-id":168348,"id":"Q168348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1330684$EBBE4E50-F747-48F7-AC50-4CE48B0EAB12","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"46337c6155461ff715bfa3dc870fce689befffea","datavalue":{"value":{"time":"+1994-08-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1330684$CD08BAB4-C35A-4FD8-AF63-56275BD4A76D","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"1d60fc90d3a3ae4db16ec93a360118e9d3f78441","datavalue":{"value":"The Fibonacci group \\(F(r,n)\\) [resp. Fibonacci semigroup \\(S(r,n)\\)] is the group [resp. semigroup] with presentation  \\[ \\begin{multlined}\\langle a_ 1,a_ 2,\\ldots,a_ n : a_ 1a_ 2 \\ldots a_ r = a_{r + 1},\\;a_ 2a_ 3 \\ldots a_{r + 1} = a_{r + 2},\\;\\ldots \\\\ \\ldots,\\;a_{n - 1} a_ na_ 1 \\ldots a_{r - 2} = a_{r - 1},\\;a_ na_ 1a_ 2 \\ldots a_{r - 1} = a_ r\\rangle.\\end{multlined} \\]  It is proved that \\(S(r,n)\\) is a union of \\(d = (r,n)\\) pairwise disjoint right ideals, each of which is a subgroup of \\(S(r,n)\\) isomorphic to \\(F(r,n)\\). In particular, \\(S(r,n)\\) and \\(F(r,n)\\) are both finite or infinite together. A generalization of this is proved concerning the group, semigroup pair, \\(F(r,n,k)\\) and \\(S(r,n,k)\\), in which the index of the letter on the right side of each relation differs by \\(k\\) from that of the last letter on the left (so that \\(S(r,n,1) = S(r,n)\\)). A table of the orders of these so-called generalized Fibonacci groups \\(F(r,n,k)\\) is provided which includes some new entries, such as that for \\(F(6,6,4)\\) which equals 10.655.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1330684$93C3A5F4-C23E-4A39-8AB3-3D2E00DF38EB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"03468f1d5abafefed311cc9ccae9ddd73ff4dbd8","datavalue":{"value":"20M05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1330684$5397E37C-B47C-429D-952D-2C5293B57ADA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5608e4dbe85e8f6c220cc8afcea2a4ada066e3fa","datavalue":{"value":"20F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1330684$3616D5B1-17DB-4E95-A481-1EB6FBE7638C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5326a9e7c9d3cf94dc9899077d5e4871f93c6686","datavalue":{"value":"609790","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1330684$AC79D08F-43B5-4454-B0A7-0CDA96E7FFD4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6ac1fabf106ac1d29f414f41df0c0edd882a5d67","datavalue":{"value":"Fibonacci groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1330684$82E00B3A-1B3C-48F2-ADAC-9C0ACE93D43D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8b774ab953c6540bd5e0b825b3865bfa1e87c5b9","datavalue":{"value":"Fibonacci semigroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1330684$5E7A8D15-0BC6-4FE7-A7A5-3FD0D19D48AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4e230deab86b759c7a9e477b6f36eb01e4e4db2f","datavalue":{"value":"presentations","type":"string"},"datatype":"string"},"type":"statement","id":"Q1330684$13D7A7A4-645F-4F13-AF8F-B10E16B7EBEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e958c43da61e8f7c9192eea25385fc65a928905f","datavalue":{"value":"orders","type":"string"},"datatype":"string"},"type":"statement","id":"Q1330684$93251604-8FBE-4125-9B95-3CD4FB80F2E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c4584cc891d02777a6f2436a17f10a2e1425fdf","datavalue":{"value":"generalized Fibonacci groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1330684$2E3A01BA-69D3-44BF-9B25-FDD1D728AEE5","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"054529b5e09e7b9cb181f02f83c3b0d20bf30124","datavalue":{"value":{"entity-type":"item","numeric-id":444661,"id":"Q444661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1330684$B87D1A69-B6D9-45A0-BE32-384CB8A2C57B","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":"Q1330684$A27E2151-3C66-43B3-B668-05C6DF6B6E39","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9717b1347b84e7ae34ebf95aa80a235b4271345d","datavalue":{"value":"https://doi.org/10.1016/0022-4049(94)90005-1","type":"string"},"datatype":"url"},"type":"statement","id":"Q1330684$D0485278-EE90-4E08-BF84-3C97E012E86D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"178f99f03a44df54e4143e9eb7e86587a54d4f05","datavalue":{"value":"W4210529770","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1330684$D705EC59-B41D-4F5F-B116-BD28C19CD81E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8fdf147337c6e57e84083a9c2ab78522701abf74","datavalue":{"value":{"entity-type":"item","numeric-id":5602108,"id":"Q5602108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1330684$83653218-EBB9-45A6-9671-9E4F8FA1CF75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"141e8cb144452d1f436928630270ea94fc354e1e","datavalue":{"value":{"entity-type":"item","numeric-id":4767900,"id":"Q4767900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1330684$21AC5003-476D-4328-BA7C-ADD756EDE7C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bee2b23db6cd5a5c2cccbd35b491aa387570a28f","datavalue":{"value":{"entity-type":"item","numeric-id":4102048,"id":"Q4102048"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1330684$AA336BC6-D29E-4FA2-8DC7-0D1D2B8FB82D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae88b7792dc198cb3f61f13eec7ea0b23b4c92f7","datavalue":{"value":{"entity-type":"item","numeric-id":4281068,"id":"Q4281068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1330684$278A8E2B-AA40-4C06-915D-3E4B40566587","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93cadfa201fa473e51b996c6c7f73163acd15c6f","datavalue":{"value":{"entity-type":"item","numeric-id":4173559,"id":"Q4173559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1330684$0FF8AA78-0349-4D69-BF3E-7BA17F642776","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d376930c2f07bcbbb720ef55c807a9c9473d26bd","datavalue":{"value":{"entity-type":"item","numeric-id":2649409,"id":"Q2649409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1330684$FEE4F549-2579-4259-85F0-810FEF362153","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60be892f0ae8df0882ef75647a89f73c108de3a5","datavalue":{"value":{"entity-type":"item","numeric-id":4097916,"id":"Q4097916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1330684$29D96EB1-5702-4D74-9ACF-54C8F12FCBF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a771da5a4143614d66e61e5eb1c065796a9fe46","datavalue":{"value":{"entity-type":"item","numeric-id":4126563,"id":"Q4126563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1330684$600B45D6-31E9-48DD-9015-E5AF71B0A4D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b6baea53d5eeda526725e650bc2476babb2493e8","datavalue":{"value":{"entity-type":"item","numeric-id":1113281,"id":"Q1113281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1330684$DE40B275-CD0A-4CC5-B186-B6A03884C5A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3dcca98669bd2028547fa0bf649a1da34cda8f6c","datavalue":{"value":{"entity-type":"item","numeric-id":4289431,"id":"Q4289431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1330684$590CC0C3-A103-473D-A31B-D008EB5A4FA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"830a80b6ea3a12c6fb7eb7164130b036d8768a3f","datavalue":{"value":{"entity-type":"item","numeric-id":3973776,"id":"Q3973776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1330684$1A51CD01-07CF-46BD-8D65-CFB28872CC8C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1ccc569e4bfc8457deb155d11ea872547525260a","datavalue":{"value":{"entity-type":"item","numeric-id":4384692,"id":"Q4384692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"40987682f162bc44bcc3bf2c72b454d890814ac8","datavalue":{"value":{"amount":"+0.9284669160842896","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":"Q1330684$71395141-B196-4BAB-A966-54F9F9AC32BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2be1c164d7c195642dc153c9690fd657d03db2d9","datavalue":{"value":{"entity-type":"item","numeric-id":4527164,"id":"Q4527164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"40987682f162bc44bcc3bf2c72b454d890814ac8","datavalue":{"value":{"amount":"+0.9284669160842896","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":"Q1330684$94FE3B7B-FC33-4EEC-8656-BB5E1957BF42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"25d5c1adb7722e4013b0e225c7799b23a6e84c40","datavalue":{"value":{"entity-type":"item","numeric-id":2928448,"id":"Q2928448"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb3054bfd9afae1de6a6e73927a24c31c1eec153","datavalue":{"value":{"amount":"+0.8563631772994995","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":"Q1330684$80A716D2-229E-4277-B6E0-CF5006D45403","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d67486fb8e64d78b341af0f694f9b50192a40b77","datavalue":{"value":{"entity-type":"item","numeric-id":4904508,"id":"Q4904508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dd9c22d7a256693ff4b3e8fd258ef56cd2a08a25","datavalue":{"value":{"amount":"+0.8404058218002319","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":"Q1330684$38DE9782-4729-429B-BB09-572C01F60E59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"36220a4d37f479790ec71894078c83f3237cd4aa","datavalue":{"value":{"entity-type":"item","numeric-id":3726333,"id":"Q3726333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"42eef468ccabf1b6e1a5ac55a766fe8c9f463a6b","datavalue":{"value":{"amount":"+0.8246235251426697","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":"Q1330684$B8765640-863E-48F6-BEFB-91BFF8394693","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Fibonacci semigroups","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Fibonacci_semigroups"}}}}}