{"entities":{"Q1377632":{"pageid":1388372,"ns":120,"title":"Item:Q1377632","lastrevid":68760513,"modified":"2026-04-13T01:52:53Z","type":"item","id":"Q1377632","labels":{"en":{"language":"en","value":"On Pascal triangles modulo a prime power"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1109913"}},"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":"Q1377632$7E8AC666-4252-4D2A-A3A0-E8795D88A3DF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9a8597b8ffabcec5d5d885d8f3855bd3362e36f5","datavalue":{"value":{"text":"On Pascal triangles modulo a prime power","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1377632$329A751C-4E6E-48B7-B631-039613DBEF24","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4c16cd75232f400b28e03028aea149cc4a53f44f","datavalue":{"value":"0889.11008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1377632$98DEDE18-96A8-4A96-AA90-ED6A0A7B33A9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4665731b2e1fcc2a3f9831d46ca76678ac77ef05","datavalue":{"value":"10.1016/S0168-0072(97)85376-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1377632$F3E2853D-F50A-4394-8021-EDF4AC98EA05","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0d6e3958ecd59ef8308845d606e8ada7bd937463","datavalue":{"value":{"entity-type":"item","numeric-id":782562,"id":"Q782562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1377632$B9737DB0-ED37-4A0D-AB96-6E251E021C1A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1377632$8F7FEA77-88C0-4BD7-8F36-4B30797C53D0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7a4aa9887492d0c8972f96f0b793034d2ed1a547","datavalue":{"value":{"time":"+1998-06-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1377632$019EBE4B-F5AC-4C9F-9616-6C3C39897CC7","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"4ef60b306f1937ccb262db4e63da5f41ff953efa","datavalue":{"value":"For every integer \\(n\\geq 1\\), the Pascal triangle modulo \\(n\\) is the binary function \\(B_n\\) on \\(\\mathbb{N}^2\\) defined by  \\[ B_n(x,y) =\\text{Rem} \\left( {x+y \\choose x},n \\right),  \\]  where \\(\\text{Rem}(a,b)\\) denotes the remainder by integer division of \\(a\\) by \\(b\\), and ( ) is the binomial coefficient. In the first part of this paper, the author studies arithmetical properties of Pascal triangles modulo a prime power; the main result is the generalization of Lucas' theorem. Then he investigates the structure \\(\\langle \\mathbb{N}; B_{p^\\alpha} \\rangle\\), where \\(p\\) is a prime and \\(\\alpha\\) is an integer greater than one. It is also shown that addition is first-order definable in this structure, and that its elementary theory is decidable.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1377632$02BA24D6-BBBE-4454-BFD5-4366F847237F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"34693e52bda3b7dbf741569b62f785c0e006d8ef","datavalue":{"value":"11B65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1377632$19B3CA20-2E17-487B-80BF-2C5673BE13CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1377632$A21DD9A6-9DC5-4FF9-8B51-A5A5D7F201A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"37c1d1a297fb80e10954aeabcf16524c43d89d08","datavalue":{"value":"11U05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1377632$DFE2DB81-7190-449B-B37C-28E7A073588A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1377632$4E98EABF-5F56-487E-B3D1-9EF5CDED25FC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"354541be94e424c83df9fe75f1e35368b3ca86ab","datavalue":{"value":"1109913","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1377632$FB7755E1-1ED2-4B96-8BFC-6B79468944A8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1377632$35028B26-D81A-4EBB-8487-86E9D570085F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cd808f9554c5b90063a5f18bd0ebab59773b3ee0","datavalue":{"value":"Pascal triangle modulo \\(n\\)","type":"string"},"datatype":"string"},"type":"statement","id":"Q1377632$2229185C-0F57-451D-BEC2-EE06F6771528","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"55310483fe297b4b296cc3ce097806e1a8ed89ec","datavalue":{"value":"first-order definable addition","type":"string"},"datatype":"string"},"type":"statement","id":"Q1377632$098A42A2-9B8F-4781-A108-A900C1EAC3B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"886c4b80c7af7a359334a13a66ef44e5526d7bc2","datavalue":{"value":"binomial coefficient","type":"string"},"datatype":"string"},"type":"statement","id":"Q1377632$74E36506-3597-4B23-B12C-589254C45421","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1a64e7a6d54374e0fc2b5c9502090223eb59a7f1","datavalue":{"value":"Lucas' theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1377632$FA18A81A-D30B-47F8-96FF-F59F23D75ECF","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"35ea846fbd37eef2bf04aa3916128060dde76b2f","datavalue":{"value":{"entity-type":"item","numeric-id":277571,"id":"Q277571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1377632$0369E2C8-1E28-404A-94DE-BDE7A13C1C2E","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":"Q1377632$D6C4D4AB-C231-4F0F-960D-82B4AAA42245","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"054ebdd5e772e8c659b97a748fb110fda2d6ea04","datavalue":{"value":{"entity-type":"item","numeric-id":916684,"id":"Q916684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1377632$7926BE1A-9C20-4003-A392-193810B12FC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5de29fbd20c178037317006e502680133b13a6d7","datavalue":{"value":{"entity-type":"item","numeric-id":1326952,"id":"Q1326952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1377632$8E53E977-FEE1-447E-9AE7-851408002EB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"465c44674a94414cb55e7dc8cbdf974e7462af9b","datavalue":{"value":{"entity-type":"item","numeric-id":3287248,"id":"Q3287248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1377632$5AA12CAF-46CD-4692-A38E-64954CFB488A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c83d1953f933d7cbb48cd4c292fa176ce0fc321e","datavalue":{"value":{"entity-type":"item","numeric-id":1208165,"id":"Q1208165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1377632$036F09CF-BF47-4AF9-8D2D-4E53C85EAD4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c7aff71e8b0610f1fd3d80c040e5f66aa2745ce","datavalue":{"value":{"entity-type":"item","numeric-id":3312199,"id":"Q3312199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1377632$D65BFE47-9C66-433E-AD6D-E34D8770B933","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"85afa24b935cddedea5e0f3320e91124c4165a31","datavalue":{"value":{"entity-type":"item","numeric-id":4272745,"id":"Q4272745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1377632$54A347C5-55AC-49AE-9229-EDFD6FC2584C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5afa127611e9a5ed3cdba2b68bf8a2f443ea76d7","datavalue":{"value":{"entity-type":"item","numeric-id":4327098,"id":"Q4327098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1377632$400B74FC-EFB7-4FC9-86D2-CE705D6E9896","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"253689190d537e84d00abebd929c44885fb40c64","datavalue":{"value":{"entity-type":"item","numeric-id":1377634,"id":"Q1377634"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1377632$336C5B5E-98AE-4434-99F0-7162FBFC703E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3058b918e6e0feace5adb7c1c9e0496f2b827ca6","datavalue":{"value":{"entity-type":"item","numeric-id":4013197,"id":"Q4013197"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1377632$EB03B421-A58A-4BFF-9833-960E0A81FF16","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"faee984bab236540edf70f534975780a916c11d8","datavalue":{"value":"https://doi.org/10.1016/s0168-0072(97)85376-6","type":"string"},"datatype":"url"},"type":"statement","id":"Q1377632$209C15A9-06D4-462D-AFFD-61CF771F27FF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c4595759ccb4baee48af8cc770d31c258451221e","datavalue":{"value":"W2014920673","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1377632$6C61FC38-6C6C-451D-9E90-3F983E8CE46C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2690562979788762f99c4595cd759a3600b9132e","datavalue":{"value":{"entity-type":"item","numeric-id":3842688,"id":"Q3842688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dc6d2eecc2498d68042f41cbed68e3225d563db2","datavalue":{"value":{"amount":"+0.88249671459198","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":"Q1377632$8A0B054C-0E7B-4453-AC5D-1AC7B441B370","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c89736b290982e1c2372c380bcc2d339be92a02d","datavalue":{"value":{"entity-type":"item","numeric-id":4272745,"id":"Q4272745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5fe4261600d8a6c5781f78322b88defa095a8c54","datavalue":{"value":{"amount":"+0.8799522519111633","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":"Q1377632$9E2272EB-8C90-46CA-8EC7-AADEB7D4B0AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"063283dd23b350e9c5f17d4117d60b6da591f56d","datavalue":{"value":{"entity-type":"item","numeric-id":4327098,"id":"Q4327098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8ebe038c6e8a65cb225747e81b991644e6ad70d0","datavalue":{"value":{"amount":"+0.8577956557273865","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":"Q1377632$FBBECBB9-4E40-44B1-B8E1-FFA522EC2C90","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On Pascal triangles modulo a prime power","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_Pascal_triangles_modulo_a_prime_power"}}}}}