{"entities":{"Q645235":{"pageid":647084,"ns":120,"title":"Item:Q645235","lastrevid":63252669,"modified":"2026-04-11T11:38:03Z","type":"item","id":"Q645235","labels":{"en":{"language":"en","value":"Enumerating palindromes and primitives in rank two free groups."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5969515"}},"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":"Q645235$E212CD9E-C1CA-4D9F-94FA-0E039CA8DF12","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"09b086d247acffb6292fe3bf6ab59dc57cfa8170","datavalue":{"value":{"text":"Enumerating palindromes and primitives in rank two free groups.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q645235$19975C65-1B27-4E7D-A721-461C6B5DEE17","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c2a8bf3f67c36a7a8f8b3f5145bd6949ed8103ac","datavalue":{"value":"1237.20023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q645235$5F3E4374-B177-4FC5-88EB-12707DBDA17D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"86e1873ae4cae872ecbcc9826d6786fe927acd00","datavalue":{"value":{"entity-type":"item","numeric-id":645233,"id":"Q645233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q645235$B7DB03D5-E69D-423E-91D9-E247E0BE5F4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9491ca457dc17a1b1262f5ec9b57ebaac541b44d","datavalue":{"value":{"entity-type":"item","numeric-id":645234,"id":"Q645234"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q645235$9ECA8079-28CC-41C7-BEFE-CC9D7F5E6FD4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"93541bb195a0809b1f249396bcebe99d047e6b6c","datavalue":{"value":{"entity-type":"item","numeric-id":161561,"id":"Q161561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q645235$E1B96F95-CD6B-4610-AE78-8CA8F20FFCD4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"97a2a7f718152fb114133f4e0547b811f82bed7b","datavalue":{"value":{"time":"+2011-11-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":"Q645235$4956D9F0-1E2D-4BBF-9563-EDFA62DEDA73","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2780b0f1b50078590c7e54ca4bd0cbb35125c3b6","datavalue":{"value":"https://arxiv.org/abs/0802.2731","type":"string"},"datatype":"url"},"type":"statement","id":"Q645235$127715B8-394F-4E24-A62F-D230480F1214","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"5711017406e18538ea7ec6a5170fb9a412d2b8d6","datavalue":{"value":"In a free group \\(F\\) of finite rank \\(n\\) an element is called primitive if it is a member of a basis of \\(F\\). In particular if \\(F\\) is of rank two, then an element \\(A\\) is primitive if there is another element \\(B\\) of \\(F\\) such that \\(A,B\\) generate \\(F\\). On the other hand a word \\(w(A,B)\\) in \\(F\\) is called a palindrome if it reads the same forwards and backwards. It is known that in a rank two free group, for any fixed set of two generators a primitive element will be conjugate either to a palindrome or to the product of two palindromes.   In this paper the authors use (simple) continued fraction expansions to state their main result. Let \\(p,q\\) relatively prime positive integers. Let \\(p/q=[a_0,a_1,\\dots,a_k]\\) be the expansion of \\(p/q\\) in a simple continued fraction. Set \\(E_{0/1}=A^{-1}\\), \\(E_{1/0}=B\\) and \\(E_{1/1}=BA^{-1}\\). Suppose \\(p/q\\) has continued fraction expansion \\([a_0,a_1,\\dots,a_k]\\). Consider the two rationals defined by the continued fractions \\([a_0,a_1,\\dots,a_{k-1}]\\) and \\([a_0,a_1,\\dots,a_k-1]\\). One is smaller than \\(p/q\\) and the other is larger; call the smaller one \\(m/n\\) and the larger one \\(r/s\\) so that \\(m/n<p/q<r/s\\). The induction step in the scheme is given by {\\parindent=5mm \\begin{itemize}\\item{}Case 1. \\(pq\\) odd: \\(E_{p/q}=E_{r/s}E_{m/n}\\). \\item{}Case 2. \\(pq\\) even: \\(E_{p/q}=E_{m/n}E_{r/s}\\).   \\end{itemize}}  A similar scheme is given for negative rationals.   The main result is the following: Theorem (Enumeration of primitives by rationals). Up to conjugacy and taking formal inverses, the primitive elements of a two generator free group can be enumerated by the rationals using continued fraction expansions. The resulting primitive words are cyclically reduced and denoted by \\(E_{p/q}\\) so that: {\\parindent=5mm \\begin{itemize}\\item[{\\(\\bullet\\)}]For \\(pq\\) even, \\(E_{p/q}\\) is a palindrome. It is the unique palindrome in its conjugacy class. \\item[{\\(\\bullet\\)}]For \\(pq\\) odd, \\(E_{p/q}\\) is a product of palindromes that have already appeared in the scheme; that is, \\(E_{p/q}=E_{m/n}E_{r/s}\\) and both \\(E_{m/n}\\) and \\(E_{r/s}\\) are palindromes.  \\end{itemize}} There is a detailed exposition of their methods and the paper ends with some enlightening examples.","type":"string"},"datatype":"string"},"type":"statement","id":"Q645235$BD0A1FE4-10E6-4DE7-8D72-37A67A4FF4F4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e478659c80ac196196a2283c8b16b79c8d8cd8d5","datavalue":{"value":"20E05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q645235$E3EAB7C6-94B1-4158-A0B2-D5E8283994DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5608e4dbe85e8f6c220cc8afcea2a4ada066e3fa","datavalue":{"value":"20F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q645235$D034BCCB-1CFE-42C8-AC50-14C1B63FB08D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a8acf59d9a51452d06a0a763bc7f84f8a525b80e","datavalue":{"value":"5969515","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q645235$0D1B1C6B-8326-4BAF-A229-1071F52F050C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"683b94a58089a21633aa3052a505cff2cffc49be","datavalue":{"value":"enumerating palindromes","type":"string"},"datatype":"string"},"type":"statement","id":"Q645235$95F5739F-06B8-4414-AAA2-18AAD253F0F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b490574e68402c933d6d26cafba6d53e12220cd8","datavalue":{"value":"primitive elements of free groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q645235$1FBD1EBD-2D7B-43E8-A6D5-DEB68926B39B","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":"Q645235$3B7EDCCB-0679-4ABB-9991-5643FAE4F1B5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"32dfbb1ae76ffaf14734e93e9a09a0dd29c0afd4","datavalue":{"value":"W2963909527","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q645235$D29C2ED4-E7A2-4EBA-9624-A6059DD67B07","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4871ade8a5c9a44f0b1cb52737896cd6bc4330d5","datavalue":{"value":{"entity-type":"item","numeric-id":1772434,"id":"Q1772434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q645235$3DBD671D-7462-4572-BD43-9BD59A174068","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9af7ac6cf1d517ff29ebe457879e2c9fa78afb56","datavalue":{"value":{"entity-type":"item","numeric-id":1105845,"id":"Q1105845"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q645235$1971AAD2-19BC-41D0-B338-44EA78C6E2DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"592f09c77229188ab4221e1854ea37ff29764d29","datavalue":{"value":{"entity-type":"item","numeric-id":1151453,"id":"Q1151453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q645235$2664E7E4-66BC-4F84-81AE-95E621604A73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"217dc9f61d73eb94e9c31e70d70e9179eeae2984","datavalue":{"value":{"entity-type":"item","numeric-id":3442579,"id":"Q3442579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q645235$3038ABBD-13DF-4B65-9736-B31E56CD0074","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"89de4383844d3907fb207e89b9ccf7bd0ed7c23b","datavalue":{"value":{"entity-type":"item","numeric-id":1385406,"id":"Q1385406"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q645235$BD58960F-7193-4120-B9D6-6B853F8F9B43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dbb400b174df1762f24c74e666330430377a4bd1","datavalue":{"value":{"entity-type":"item","numeric-id":4797618,"id":"Q4797618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q645235$A27CF326-8FB4-4A58-9E5C-E6433AAC060C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"753087ae7f0f9fb1a3ba4cd310fa93d166805bab","datavalue":{"value":{"entity-type":"item","numeric-id":3567909,"id":"Q3567909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q645235$9A67DBCC-585C-48C2-ABC2-DFD8B7CEF81A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"87b3f7878a6886fcef8e2289613b3b563f653018","datavalue":{"value":{"entity-type":"item","numeric-id":3559528,"id":"Q3559528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q645235$749F830A-885F-4C03-BC7E-B1A9528F716B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c145721e8d54da1a43c49c813d48ac130bc783f","datavalue":{"value":{"entity-type":"item","numeric-id":2644772,"id":"Q2644772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q645235$1BABFED9-419A-4C6C-977B-E310826A1C0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb40aa93777a7cd41d54dcf43b55867cf1b75c38","datavalue":{"value":{"entity-type":"item","numeric-id":5772619,"id":"Q5772619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q645235$E7B7DBB4-66AD-448D-91FB-C0EB853D2354","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7aca7b66c192997bdfaff4e0dfbc09e6ae58d10d","datavalue":{"value":{"entity-type":"item","numeric-id":4537179,"id":"Q4537179"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q645235$13E2E0FB-8C87-44CF-AC0A-2EDC75E736BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b3be7944a1795a92d80ec4659223045853dab2d","datavalue":{"value":{"entity-type":"item","numeric-id":997566,"id":"Q997566"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q645235$4FFE5595-9CA9-4038-AD7B-5FE8FFEEA612","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"960c524cb4acfc4f193fa406d5849f363330d53d","datavalue":{"value":{"entity-type":"item","numeric-id":1319600,"id":"Q1319600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q645235$AF71AC88-8623-4FA0-B97F-B4BD90135B0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a968ff88051357fd16f3b77d8195ef755a3ab21","datavalue":{"value":{"entity-type":"item","numeric-id":3582315,"id":"Q3582315"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q645235$670F033C-4CF1-44F0-B531-72972D1037C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"823e2328202f2501bb4c0a3bf0d9b4af246ee89b","datavalue":{"value":{"entity-type":"item","numeric-id":5513066,"id":"Q5513066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q645235$4F545DAA-C6CC-4EF5-8DB8-B7735951FF50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fd23a663656ac784f8c7c83a2e11ed3eaac98e5d","datavalue":{"value":{"entity-type":"item","numeric-id":1141749,"id":"Q1141749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q645235$2B7F6E3F-A685-4DAB-B88E-BD224EC3CB22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e15b5ec950f08e88fcd1794d08c0c02b84fa3b83","datavalue":{"value":{"entity-type":"item","numeric-id":853926,"id":"Q853926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q645235$FDA901C3-2E32-4207-8EF4-9E76A68595CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c1c6724551dbc8795703ce1b4d34e9edeab58bb1","datavalue":{"value":{"entity-type":"item","numeric-id":1169505,"id":"Q1169505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q645235$D8AE639E-399B-48E8-B003-CB72B5F5EE0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c5cdef2b3a24a0299af59dd67721551212a1fe7f","datavalue":{"value":{"entity-type":"item","numeric-id":3336004,"id":"Q3336004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q645235$0C427638-20A8-4DBC-A418-5B0162A15C12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9d116f9be5dc7609845ac63a14f320a516c5d09","datavalue":{"value":{"entity-type":"item","numeric-id":1059104,"id":"Q1059104"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q645235$10ED9C9D-5F25-47E4-AF22-1B320D862DA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4997cdc60f41447e52d00d655a1481de7d4126f2","datavalue":{"value":{"entity-type":"item","numeric-id":5488763,"id":"Q5488763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q645235$4EB00D72-DEE2-4585-9601-826A5125704C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"11f8198a0cf86ac7e09ee7dba4b9364182d11ae4","datavalue":{"value":"10.1016/J.JALGEBRA.2011.02.010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q645235$DAA8F12B-2598-4E98-AA92-732F75FA8ED8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"869968e390c862f61585a843d56b7f8fd0e94e1c","datavalue":{"value":{"entity-type":"item","numeric-id":853926,"id":"Q853926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"88df1d395b5829132c92bbb87db032cb6791d478","datavalue":{"value":{"amount":"+0.9097241163253784","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":"Q645235$B4B78EC5-F801-4BCC-86AA-5061A6A8F87B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e0efc2ff76d8e8ee3ce964fde84fe5071ed4ff80","datavalue":{"value":{"entity-type":"item","numeric-id":2491804,"id":"Q2491804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b94aeed5df9a4f6a3bb50897886c2808573c7641","datavalue":{"value":{"amount":"+0.90617573261261","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":"Q645235$FE6A3927-0EB2-4DFE-A46C-0982C191DA4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c3e6a0240629e3364f6f76a556aad61e838ac657","datavalue":{"value":{"entity-type":"item","numeric-id":4946065,"id":"Q4946065"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c9fde0a48b226676a50baa24c3a5c953fa6b9e26","datavalue":{"value":{"amount":"+0.8893849849700928","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":"Q645235$31EFC914-1998-4304-8674-B51E6A12462A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"16f318a41fce4071eaed6fb3df25753c8aa984f4","datavalue":{"value":{"entity-type":"item","numeric-id":1970973,"id":"Q1970973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b9b9c4a95e4cb6a055fb72d108b2f017a60001ce","datavalue":{"value":{"amount":"+0.8140649199485779","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":"Q645235$D25CA283-9159-4313-8F62-AE5F7A6A3E5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"91b84d49b570135fed6b67269261db6bfb4fe8cd","datavalue":{"value":{"entity-type":"item","numeric-id":1772434,"id":"Q1772434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"93568461b52765506df04431c7d904040403d241","datavalue":{"value":{"amount":"+0.8118777871131897","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":"Q645235$A9602D46-8C36-4E9C-AECE-609D9D9AF0E6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Enumerating palindromes and primitives in rank two free groups.","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Enumerating_palindromes_and_primitives_in_rank_two_free_groups."}}}}}