{"entities":{"Q2199500":{"pageid":2210243,"ns":120,"title":"Item:Q2199500","lastrevid":57776736,"modified":"2026-04-02T11:56:14Z","type":"item","id":"Q2199500","labels":{"en":{"language":"en","value":"Automaticity of the sequence of the last nonzero digits of \\(n!\\) in a fixed base"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7246525"}},"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":"Q2199500$F4DA9946-7051-4A30-8DBB-F268A8DC2FE3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a83ee23f1fec86ada148cc29c06abd8f36e3ee73","datavalue":{"value":{"text":"Automaticity of the sequence of the last nonzero digits of \\(n!\\) in a fixed base","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2199500$A7E427AE-F9B6-4138-9330-8EC1D801DD43","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"eb9713f0fec1b55bc7056db855e1c024217e2c09","datavalue":{"value":"1475.11039","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2199500$FC98A7BA-1CFF-4BF7-BF89-BC6F5193AE44","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e7ae371bb688bbc22747555c71c8011448b61606","datavalue":{"value":{"entity-type":"item","numeric-id":2108518,"id":"Q2108518"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2199500$CA2F056E-2706-4B6E-994E-AB9C8EDD41AD","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2af5fe3b27a04082f1eae9cf17090e68be06cc07","datavalue":{"value":{"entity-type":"item","numeric-id":194678,"id":"Q194678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2199500$0C6DE80B-8EB0-4CEA-9373-1447E979CC1A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c0e7f9373818ac2c3374d4c29cd76a7b411d60b6","datavalue":{"value":{"time":"+2020-09-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2199500$B69896AB-6520-4EE7-B7D3-1D8FE506BA7B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0cb4781bb07b587a365a4e9ced58a977bb73cf1e","datavalue":{"value":"https://arxiv.org/abs/1806.02560","type":"string"},"datatype":"url"},"type":"statement","id":"Q2199500$2925FBB8-43D7-4235-A222-6414567D7409","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"83cac41a941fda3de6444e69fb6c8809c47d8007","datavalue":{"value":"Let \\(b \\ge 2\\) be an integer. A sequence \\((a_n)_{n \\ge 0}\\) taking finitely many values is said to be \\(b\\)-\\textit{automatic} if there is a finite machine which permits to know the value of \\(a_n\\) by reading one after the other the digits of \\(n\\) in its expansion in base \\(b\\). Moreover, the sequence \\((a_n)_n\\) is said to be \\textit{automatic} if it is \\(k\\)-automatic for some \\(k\\). This classical notion is recalled in Section 2 as well as its main properties -- a useful point.  The author addresses the question of the automaticity of the sequence \\((\\ell_b(n!))_n\\), where \\(\\ell_b(n!)\\) - an integer in \\([1, b-1]\\) - denotes the \\textit{last nonzero digit} of \\(n!\\) in base \\(b\\), defined in the following way: if one writes \\(n! = b^r m\\), where \\(\\gcd(m, b) \\neq 0\\), then \\(\\ell_b(n!) \\) is congruent to \\(\\gcd(m,b)\\) modulo \\(b\\).  It is folklore that \\((\\ell_b(n!))_n\\) is automatic if \\(b\\) is a power of a prime, or a small number like \\(6\\) or \\(10\\). It was proved in the paper quoted as [4] that the sequence \\((\\ell_{12}(n!))_n\\) is \\textit{not} automatic.  The paper completely characterizes the values of \\(b\\) for which the sequence \\((\\ell_b(n!))_n\\) is automatic. More precisely, Theorem 3, proved in Section 3, states the following  Let \\(b = p_1^{a_1} p_2^{a_2}\\cdots\\) with \\(a_1(p_1-1) \\ge a_2(p_2-1)\\ge \\cdots\\). The sequence \\((\\ell_b(n!))_n\\) is \\(p_1\\)-automatic if \\(a_1(p_1-1) > a_2(p_2-1)\\) or \\(b = p_1^{{a_1}}\\) and is not automatic otherwise.  Notice that \\(12=2^2 \\times 3^1\\) with \\(2\\times (2-1) = 1 \\times (3-1)\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q2199500$DE75840B-A0CC-432A-8688-28357E8389A2","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"daad5f55cbac6e0c62871511da016650936d01a4","datavalue":{"value":{"entity-type":"item","numeric-id":187639,"id":"Q187639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2199500$BAD82BB0-FBBD-4484-B31A-DA8807721AD5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1d3e055a17ce7fb6036131cf10d782136e2d9314","datavalue":{"value":"11B85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2199500$5D2298D6-E8C6-484C-8A18-FD6E0777370D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e840e979351f221ec22f6596521c1e78c9e12ea1","datavalue":{"value":"11A63","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2199500$1E255BE1-C2BA-4CEF-BFE6-F19D1B921F66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2199500$CFFCCA31-8DAB-4710-9479-5C8062D7365E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"23149673dde05813672617e26c3fcb130092997c","datavalue":{"value":"68R15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2199500$2814F59F-58E3-4A92-A967-A2BD7313108C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d1e256c99b45f68745d804b520d8070b8a9d37ae","datavalue":{"value":"7246525","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2199500$FF19301D-1450-4FC2-9C08-4BB0F4C26899","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8be4f3423059009e8324bd94d368a40b3cb8f1d1","datavalue":{"value":"automatic sequence","type":"string"},"datatype":"string"},"type":"statement","id":"Q2199500$FA4ED86B-92EA-4730-A315-8BEE0B86CF94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0b22cb6eafc35dd79843d76b4fd21d938354c1ec","datavalue":{"value":"factorial","type":"string"},"datatype":"string"},"type":"statement","id":"Q2199500$0A051A4B-C458-496F-BC07-AFFC00B7EFD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8329255e3c35680ebb78c6f8a6e10693a184a601","datavalue":{"value":"the last nonzero digit","type":"string"},"datatype":"string"},"type":"statement","id":"Q2199500$F59A0BA1-8C33-4421-B99A-786ED0710FF9","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":"Q2199500$3916118A-E0FC-4CB8-BDEC-6E53857C787C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"52059b0f34a06bc8c0bb3cf74517c0cb54b5921e","datavalue":{"value":"W2969977520","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2199500$10BED812-C5B3-4039-94DE-8C6172F120FC","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"950f3bf0951443eb1e5bcbf62abe86752f7308ef","datavalue":{"value":{"entity-type":"item","numeric-id":4431260,"id":"Q4431260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2199500$3C5D4783-86BA-4975-A7DF-845CA09E4FC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"acc3d4bb71d445576048277e66ab89f293bc2191","datavalue":{"value":{"entity-type":"item","numeric-id":5220090,"id":"Q5220090"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2199500$A832D733-0FBE-4E0B-8412-DABA2B1171A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"669a65f21dab5c38effcd600a9037a0d5cb9c998","datavalue":{"value":{"entity-type":"item","numeric-id":2879391,"id":"Q2879391"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2199500$52C7D7F7-FF8F-4482-84FD-401C7D23265B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b068471ecd3365d99f51154f8e2ef80a941b506d","datavalue":{"value":{"entity-type":"item","numeric-id":4604717,"id":"Q4604717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2199500$56C96D12-2064-4516-9EE3-F52A2E89CD09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06b2ad08c431419309fca20fe83eb04ca3a54c49","datavalue":{"value":{"entity-type":"item","numeric-id":2898844,"id":"Q2898844"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2199500$7E46FFC4-9CC4-49DE-A275-4CE13A79FBB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c2fe947c6d02e7ffa746c6a5106e9dcd9f73d26","datavalue":{"value":{"entity-type":"item","numeric-id":4585904,"id":"Q4585904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2199500$2552498F-5CD1-4C8A-80BE-F44CFD2F2030","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"765b8d231aec64905d6b3716ff6487a833685f93","datavalue":{"value":{"entity-type":"item","numeric-id":3861463,"id":"Q3861463"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2199500$3C6CC29C-8C4A-45B1-A988-B6FE58068D7C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b10284d88be224cb8ecee4f3baf9ea8ec17ed87b","datavalue":{"value":"10.5802/JTNB.1080","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2199500$0BDB8ABD-4070-4B9D-8560-8F93AD9B6477","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1587abc5f2da7a47f39339339cf08238b85b4395","datavalue":{"value":{"entity-type":"item","numeric-id":5237121,"id":"Q5237121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cb1a3bc1e7469b163385274b8bdeed5878b26222","datavalue":{"value":{"amount":"+0.9453784227371216","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":"Q2199500$D3CB4AB3-DA6E-4566-B117-C440B625CA73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0b62bf391d91ba5db18f7ebe100530ef2d52dbcf","datavalue":{"value":{"entity-type":"item","numeric-id":4710189,"id":"Q4710189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6479f43acbac2bb6afbf193670425e7716f613d7","datavalue":{"value":{"amount":"+0.90957111120224","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":"Q2199500$EAE40E85-EE94-41F9-9C69-A444B0E2A943","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6e2906d87227af50a9c5f64cf0a66921a9f64a2b","datavalue":{"value":{"entity-type":"item","numeric-id":4604717,"id":"Q4604717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"959ee2cf5ac748a6d7676e75e7575c0461be9aa0","datavalue":{"value":{"amount":"+0.8663235306739807","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":"Q2199500$26E744F6-C424-40CC-98D7-E0B40D8102BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"63e420bce3d2ac88ac419d611d1406891586ccad","datavalue":{"value":{"entity-type":"item","numeric-id":4547568,"id":"Q4547568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3bff70113d1d25a4b703c4a2f2ac047fd5f9f059","datavalue":{"value":{"amount":"+0.8477481007575989","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":"Q2199500$DB2C84B0-C14F-4E26-80B5-2CBB8BFD3066","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d3c94559ac920bcdc70408a35eaa0948d861630e","datavalue":{"value":{"entity-type":"item","numeric-id":5220090,"id":"Q5220090"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a1bda135751879fa88518d88d5e28c456696ca7c","datavalue":{"value":{"amount":"+0.8174413442611694","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":"Q2199500$5430DFEF-9A03-4CC9-B78A-BFE65D1BABE2","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"6a554977dfac80e46d734f83d88900a7dc80a6ee","datavalue":{"value":{"entity-type":"item","numeric-id":6830589,"id":"Q6830589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2199500$6D69437C-2256-461C-B7C3-DDDF16EE9CB5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2199500","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2199500"}}}}}