{"entities":{"Q442423":{"pageid":444190,"ns":120,"title":"Item:Q442423","lastrevid":61855440,"modified":"2026-04-11T02:06:59Z","type":"item","id":"Q442423","labels":{"en":{"language":"en","value":"On the smallest number of generators and the probability of generating an algebra"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6064710"}},"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":"Q442423$F0DA4478-322C-4FEB-89CE-EF4CE43EB034","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3361d470070d5e6ce675cd2f283747a7f1e4fc0e","datavalue":{"value":{"text":"On the smallest number of generators and the probability of generating an algebra","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q442423$312ED157-04C6-4CAA-937C-01A1009180DB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e637aaa04695185d0c8a8673d2024da111ecf090","datavalue":{"value":"1282.11154","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q442423$E9BB0C5F-C588-4510-A5E2-AEB04533B1E2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f2a35ed852091e867c796b7db8e063fe2813d194","datavalue":{"value":{"entity-type":"item","numeric-id":442422,"id":"Q442422"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q442423$CC0298EB-1757-499F-8F9F-E5E07032153E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e2aa0ada11ff2f6483dcc956ed51d30fd4b6f7ae","datavalue":{"value":{"entity-type":"item","numeric-id":241609,"id":"Q241609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q442423$1C95EADC-AE62-42B6-A3B6-887544B1AA30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"60a59a1ddaf6e43d84a524e78bb9d5e015740be5","datavalue":{"value":{"entity-type":"item","numeric-id":431053,"id":"Q431053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q442423$571D2EDC-0974-4C57-8844-FB6AF460B07D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3867057a7d0226a86475a68a428f5c0a32f79af8","datavalue":{"value":{"entity-type":"item","numeric-id":246406,"id":"Q246406"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q442423$EBDE2082-2E65-4173-8E18-AB817F241D67","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0a441d8d0715752b5706ed908d152eb5ee7e7874","datavalue":{"value":{"time":"+2012-08-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q442423$F234392F-993C-4C40-B3E9-719D64075731","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b13043671b01fd1aed27c48e990958df63054175","datavalue":{"value":"https://arxiv.org/abs/1001.2873","type":"string"},"datatype":"url"},"type":"statement","id":"Q442423$6F9F296B-9BFD-4B68-9DC9-F05063043532","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"02b8e7089e64e79000e1afeeda3b8ba94476694f","datavalue":{"value":"http://msp.berkeley.edu/ant/2012/6-2/p03.xhtml","type":"string"},"datatype":"url"},"type":"statement","id":"Q442423$7256202F-5A40-4E53-9848-E84B1FD984A5","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"92a64adc62fb1a24a70e0c2b2fc4f21c4bb7eedb","datavalue":{"value":{"entity-type":"item","numeric-id":558127,"id":"Q558127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q442423$0E94B194-C0CB-4275-A126-B0141425867D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2906cdbd478e162917fef23a854d050b1bdac3b","datavalue":{"value":"11R54","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q442423$23C0A380-AEB3-4A8A-B53C-9FDBFD922963","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c87799adec94bf8b9b9eb5f19b936a1d5c6fca89","datavalue":{"value":"11C08","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q442423$AC97E426-BA7D-47C5-970A-0DCA4B9D8A46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d92207e5132f33177f4a9d633493fc0d8d742c6d","datavalue":{"value":"11C20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q442423$E4ED46E0-D52F-40A9-8A7D-D788B0E4ABB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bbe2dde55566c57c31463992aac9b72d0f8c104e","datavalue":{"value":"15B33","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q442423$E1211BE9-DDF4-44C9-9AAD-864C0BEA7A76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a06299a38dab9dd1c28e96fe2a7f8cac0943d746","datavalue":{"value":"15B36","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q442423$60DDED1B-B733-42DA-A313-EBE43AD27AA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"28d3bec2f6e07bd25e07bd6f80d073cd0bf2c7d8","datavalue":{"value":"16H05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q442423$0B7E937B-F0E9-436E-A86C-43F1632CC1B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"46cc6f74904d93d783c1cf8007a9494ea0b980f2","datavalue":{"value":"16P10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q442423$2FC11640-7F2F-451B-9058-1664326F1BB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdc86b12961d2cdd08e1c70489b829d401a5a704","datavalue":{"value":"16S15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q442423$35D4142C-FBBE-4F0A-AF27-F36BAEE4568D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b1df9f316799012ec78b6207fc2caf4f81d3e11c","datavalue":{"value":"6064710","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q442423$C9F5F2BA-636B-4453-9A51-537F43E2904E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4837c3c1f976c8fd620f12674941a9c2cc49d852","datavalue":{"value":"number of generators","type":"string"},"datatype":"string"},"type":"statement","id":"Q442423$55BD8DDE-50F5-4A3A-9D68-D75DE161C443","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2288de0b75809db77e94e2018ee2f7fca368bd99","datavalue":{"value":"finitely generated algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q442423$0E5F397C-2F7F-4E29-9A39-7B7F6BD9FDC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0c31414f753e774571063d2d948f3a3ddd0198c2","datavalue":{"value":"matrix algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q442423$68110090-B996-4832-A410-AD726AC44C2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a20d478e06a1f08df970c17460ac6ed775fb8e21","datavalue":{"value":"orders in number fields","type":"string"},"datatype":"string"},"type":"statement","id":"Q442423$3C78B914-1131-4634-B8ED-CA18DC9B511C","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":"Q442423$5C79DFC4-4EE9-4289-9A58-DFAEEA4EBF17","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ca606254430471297d0f2133892237838411b459","datavalue":{"value":"W2963345204","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q442423$97955CE0-BEC3-4BE2-83FD-5F24D49B4A64","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"063b2fb0220100a53b8ebff9f5a14c2c31335aff","datavalue":{"value":"10.2140/ANT.2012.6.243","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q442423$9F783FDB-51F9-4AA4-A4F8-571C373CFBF0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fd240517e8a26d9faf2140fcbb2e384029896234","datavalue":{"value":{"entity-type":"item","numeric-id":501867,"id":"Q501867"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c741102b34ec9cbe50b8a05c9d8e9c797d5acd4d","datavalue":{"value":{"amount":"+0.9159016","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q442423$3A1B6209-8DF8-4158-B20C-7B3AA00CE70D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0459b5d1c52ed8f81291d9b79aa65598370f65be","datavalue":{"value":{"entity-type":"item","numeric-id":1972724,"id":"Q1972724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b9ccc62d97d222ad997f5750374aee8c15ae10eb","datavalue":{"value":{"amount":"+0.88987756","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q442423$E2C0BC03-A617-4D8B-946F-C26FE806927E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d24c8b44d7e1dd8386e56caee5ab2d828241fda1","datavalue":{"value":{"entity-type":"item","numeric-id":5926412,"id":"Q5926412"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4852147451e96f6c302b353cae832326c4ab2df4","datavalue":{"value":{"amount":"+0.88928413","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q442423$0EFF4190-4020-4EDD-8B51-B26E5D7492E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3a3f10cdf107b7fb1970319f8cd85637e6aab11b","datavalue":{"value":{"entity-type":"item","numeric-id":6108373,"id":"Q6108373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9a254e50462ea1442bef93339f6b47d4b2bd1a16","datavalue":{"value":{"amount":"+0.88735104","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q442423$A8114D1B-8F5B-40DD-AD69-20B24B4973D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"58aff15a88c5b76bbb9efe0f9ac668a832cce6ed","datavalue":{"value":{"entity-type":"item","numeric-id":895876,"id":"Q895876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f9722a22bc7adbccd913e5ba5e8fe795c853bf9b","datavalue":{"value":{"amount":"+0.8867004","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q442423$DA8126BE-8438-4F0C-8789-5B303B849620","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d874d2bea5185ebdf58383e612d86c8b89fd365e","datavalue":{"value":{"entity-type":"item","numeric-id":3322000,"id":"Q3322000"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bec4185fea9d86e7fc86f5b5844f7ca521dd248a","datavalue":{"value":{"amount":"+0.8823458","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q442423$424A6537-BFFE-4B23-9A0F-B8DE12711684","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"624214136d20addc42b938efeef6c1d68a36ac10","datavalue":{"value":{"entity-type":"item","numeric-id":3485068,"id":"Q3485068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ac9da89a9cd2c984ba4697a69b371fc2b3c030d3","datavalue":{"value":{"amount":"+0.8821314","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q442423$D4122030-9D5F-4BA8-B274-F45B1667DAEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8177371b5049a017a152723af2e8a1b21e5efbcd","datavalue":{"value":{"entity-type":"item","numeric-id":5039061,"id":"Q5039061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"15ddc74bd49eaee8e22925036d6b4ef373cbea6e","datavalue":{"value":{"amount":"+0.88197374","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q442423$F0BC86FA-1BA1-498D-97F1-B661FF18F86B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"956ddf967af82dcb822129e1cfc64cf137599447","datavalue":{"value":{"entity-type":"item","numeric-id":3314635,"id":"Q3314635"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"083fd3cb331304642e2a1b9c98d8d10d64f48ae6","datavalue":{"value":{"amount":"+0.8732909","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q442423$9E2D8E02-1567-43C0-8504-5530E5F11270","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"b831ae735391c47c7a8974133f054df47f807f04","datavalue":{"value":"Let \\(R\\) be an order in \\(K\\), an extension of degree \\(d\\) of the rationals, and let \\(\\omega_1,\\dots,\\omega_d\\) be an integral basis of \\(R\\). For positive \\(N\\) let \\(R(N)=\\{\\sum_{i=1}^dx_j\\omega_j:\\;x_j\\in Z,\\;|x_j|\\leq N\\}\\). The authors show that if \\(f_1,\\dots,f_s\\) are polynomials in \\(n\\) variables over \\(R\\), and \\(S\\) denotes the set of \\({\\mathbf x}\\in R^n\\) such that the set \\(\\{f_i({\\mathbf x}):\\;i=1,2,\\dots,s\\}\\) generates the unit ideal, then NEWLINE\\[NEWLINE\\lim_{N\\to\\infty}{\\#(S\\cap R(N))\\over (2N+1)^{dn}}=\\prod_M\\left(1-{t_M\\over N(M)^n}\\right),NEWLINE\\]NEWLINE where \\(M\\) runs over all maximal ideals of \\(R\\), and \\(t_M\\) is the number of common zeros of \\(f_i \\bmod M\\).NEWLINENEWLINEThis result is used to establish the following assertion on sets generating an \\(R\\)-algebra. Let \\(A\\) be an \\(R\\)-algebra which is free of finite rank \\(m\\) as an \\(R\\)-module. If \\(e_1,\\dots,e_m\\) is an \\(R\\)-basis of \\(A\\), then the set \\(\\{e_i\\omega_j\\}\\) forms a \\(Z\\)-basis of \\(A\\). For positive integers \\(N\\) let \\(A(N)\\) be the set of elements of \\(A\\) whose all coefficients in that basis lie in the interval \\([-N,N]\\). Moreover let \\(Gen_k(A)\\) be the set of all \\(k\\)-element generators of \\(A\\) as an \\(R\\)-algebra. The authors define the density of the family of these sets by NEWLINE\\[NEWLINE\\text{den}_k(A)=\\lim_{N\\to\\infty}{(\\# Gen_k(A)\\cap A(N)^k)\\over\\#A(N)},NEWLINE\\]NEWLINE and show that this limit exists and can be expressed as the product of the analogously defined local densities.NEWLINENEWLINEThis is used to answer a question of Kapovich, asking for the probability that \\(k\\) elements chosen at random generate the group \\(Z^n\\). This probability turned out to be equal to the product NEWLINE\\[NEWLINE\\prod_{m=k-n+1}^k{1\\over\\zeta(m)},NEWLINE\\]NEWLINE \\(\\zeta(s)\\) being Riemann's zeta-function. The authors provide also several other applications, dealing with the smallest numbers of generators of \\(R\\)-algebras, generating sets of matrix algebras over finite fields and of generating sets of finite products of matrix algebras over rings of algebraic integers.","type":"string"},"datatype":"string"},"type":"statement","id":"Q442423$A6785DBD-9DE8-4BD8-B961-5E73B6EF4508","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On the smallest number of generators and the probability of generating an algebra","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_the_smallest_number_of_generators_and_the_probability_of_generating_an_algebra"}}}}}