{"entities":{"Q2054672":{"pageid":2065414,"ns":120,"title":"Item:Q2054672","lastrevid":78481976,"modified":"2026-05-06T11:42:02Z","type":"item","id":"Q2054672","labels":{"en":{"language":"en","value":"Dedekind-Mertens lemma for power series in an arbitrary set of indeterminates"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7438380"}},"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":"Q2054672$9B86247E-CE49-422E-B927-0FF04CBD36FB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f04c609ce7c1f161c430a75784afed640ab77896","datavalue":{"value":{"text":"Dedekind-Mertens lemma for power series in an arbitrary set of indeterminates","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2054672$AE66036D-62E8-454D-B04C-14DC776994C9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cf5c782aee8f98ee6ffd09f2eb0b5f630deb32cf","datavalue":{"value":"1476.13010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2054672$9D9AF223-83A7-45D5-A943-BFC2431BAA84","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"af38fa6b4e00c307888bf8777969a04c4c9ce91f","datavalue":{"value":{"entity-type":"item","numeric-id":308136,"id":"Q308136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2054672$08C43755-27E1-45FB-95E3-C3F84A5E516E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1db2c71d5c9206c5a915e2986a5d093d20cda888","datavalue":{"value":{"entity-type":"item","numeric-id":398940,"id":"Q398940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2054672$B824B0B3-43CA-48C8-A094-32FD226B9078","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"849e47e696210603c79219f9d1db2f394f0bea8d","datavalue":{"value":{"entity-type":"item","numeric-id":1647938,"id":"Q1647938"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2054672$54188234-262B-4C88-A84E-2CFE99EEBDCD","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"0b2751fb71d212e9eab0a41abf35a593195e2694","datavalue":{"value":{"entity-type":"item","numeric-id":172186,"id":"Q172186"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2054672$760EF5DE-3F53-468B-9906-DFEEECD4875D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b7b96a758805bdeb47bb61cb1b2b3e6013568fae","datavalue":{"value":{"time":"+2021-12-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2054672$589A4FE6-2646-42C8-B344-709E7069E1F5","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"8638b736bd7d9bb95c2566f9c9e0824d92921a10","datavalue":{"value":"Let \\(R\\) be a commutative ring with identity and \\(X=\\{X_{\\lambda}\\}_{\\lambda\\in\\Lambda}\\) be an arbitrary set of indeterminates over \\(R\\). Recall that there are three types of formal power series rings \\(R[[X]]_1\\subseteq R[[X]]_2\\subseteq R[[X]]_3\\) defined in the following way, and the two containments can be strict. The ring \\(R[[X]]_1=\\cup R[[X_{\\lambda_1},\\ldots,X_{\\lambda_n}]]\\) where \\(\\{\\lambda_i\\}_{1\\leq i\\leq n}\\) runs over all finite subsetes of \\(\\Lambda\\). The ring \\(R[[X]]_2\\) is defined to be the set of all formal sums \\(\\sum_{i:0}^{\\infty}f_i\\) where for each \\(i\\), \\(f_i\\in R[X]\\) is zero or a homogeneous polynomial of degree \\(i\\). To define \\(R[[X]]_3\\), let \\(B=\\oplus_{\\lambda\\in\\Lambda}\\mathbb{N}_{\\lambda}\\) be the direct sum of \\(|\\Lambda|\\) copies of the set of the natural numbers. For \\(e=(e(\\lambda))_{\\lambda\\in\\Lambda}\\in B\\), we call \\(X^e=\\prod_{\\lambda\\in\\Lambda}X_{\\lambda}^{e(\\lambda)}\\) a \\(X-\\)monomial of degree \\(n=\\sum_{\\lambda\\in\\Lambda}e(\\lambda)\\in\\mathbb{N}\\). Then define \\(R[[X]]_3\\) to be the set of all formal sums \\(\\sum a_eX^e\\), where \\(a_e\\in R\\). Now, for \\(g\\in R[[X]]_3\\), we denote \\(A_g\\) the ideal of \\(R\\) generated by the coefficients of \\(g\\). In a technical way, the authors define the locally minimal number of special generators of \\(A_g\\). Then they show that if such number is \\(k+1\\), we have \\(A_f^{k+1}A_g=A_f^kA_{fg}\\) for all \\(f\\in R[[X]]_3\\). The same formula is true for \\(f\\in R[[X]]_i\\), \\(i=1,2\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q2054672$DA0E7763-9B6E-4129-BFA2-641BEEC95A64","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"fc59e24f42123b98018d27cae448b70123584685","datavalue":{"value":{"entity-type":"item","numeric-id":194503,"id":"Q194503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2054672$0B541A89-3034-446D-951D-B4E34A271B2F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"23117a89d3983e500a3b09b9e4836cdf368918b3","datavalue":{"value":"13A15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2054672$8E6BC9EE-63F6-4E02-B012-BB8D2744DBE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"50ee67d9d4438349bdf7aacbe2911ee07a4388dc","datavalue":{"value":"13F25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2054672$1B89C27A-8857-4925-8690-BEC320F512C1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0fbbaa8c24dd2f93b3ebc9d7fff71e1862b302ba","datavalue":{"value":"7438380","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2054672$82D80E44-FBF5-41EA-9A0E-A8BABA358442","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f8b4ad556131f2c1070d9a6c78aae90a9d821248","datavalue":{"value":"content ideal","type":"string"},"datatype":"string"},"type":"statement","id":"Q2054672$A3A42097-D9C1-4408-82BA-421CC6531CDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4784018a7b6d32dee90cd3dc63ac10c9c78a796a","datavalue":{"value":"Dedekind-Mertens lemma","type":"string"},"datatype":"string"},"type":"statement","id":"Q2054672$49C172F7-B0A7-460E-9104-CC6E1290D891","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c592c1930543ebe1aacec6b42f2c9553ca3287d0","datavalue":{"value":"power series ring","type":"string"},"datatype":"string"},"type":"statement","id":"Q2054672$84CCAB5F-8BA4-4604-B1E1-24C2F3D69FA1","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":"Q2054672$08D81877-E591-40EE-8316-03B337EA5F04","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"850fd725870aa0c152507f872337efc0ac2dbae4","datavalue":{"value":"https://doi.org/10.1007/s10013-020-00466-4","type":"string"},"datatype":"url"},"type":"statement","id":"Q2054672$27E9F536-0534-442C-AF51-567187A8FC01","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c856aebf8d4a6b00dd3a017645d1551ec4cc346d","datavalue":{"value":"W3119106883","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2054672$60D79651-60BF-4093-BE02-7B544DA77BF3","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"495dc9cc8e69ea3a63dd8b5131ce55287d0b56ee","datavalue":{"value":"Q125023122","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2054672$DD2AC170-4C15-4DC4-96BB-827E75B1FCB1","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f3a7732e475089cead6536c2422474789937e60","datavalue":{"value":{"entity-type":"item","numeric-id":1913940,"id":"Q1913940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2054672$297AA1E4-9DF8-46D8-A84B-8267BF22B73F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"97d4a36b0572a9b445c2cba29f9ae9a7476fc330","datavalue":{"value":{"entity-type":"item","numeric-id":5588725,"id":"Q5588725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2054672$0ACD6BE3-F814-44FA-84C9-C99E82AEBE18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"631d533e830edeb060f4330e8941e6d122911f63","datavalue":{"value":{"entity-type":"item","numeric-id":4226271,"id":"Q4226271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2054672$CBA7E561-6239-49D4-8C58-4A3377FAED8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0083aca3b915bcbea8167a278ca7bc0008566050","datavalue":{"value":{"entity-type":"item","numeric-id":4211873,"id":"Q4211873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2054672$D3E5E81A-A30A-4510-91E8-925E835A60B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"10a4b38bd1b39916b58324915898a1cddf1391cf","datavalue":{"value":{"entity-type":"item","numeric-id":2790166,"id":"Q2790166"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2054672$326EDB27-6FEC-4E11-88EF-7C0920D16BA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9aba26c3893bf25af0b1ef86d9eac69c88ad9f83","datavalue":{"value":{"entity-type":"item","numeric-id":5552794,"id":"Q5552794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2054672$E45F1B90-2266-4A38-A334-4A4A21EAFC92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8228093cd06ddd83f66ca90b6a38b8864d83cf8","datavalue":{"value":{"entity-type":"item","numeric-id":5661989,"id":"Q5661989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2054672$C50C7AB4-B582-4AD6-830B-1F767CFB7903","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ccedf8f70a4fc5e042be12f1d08f76d0260095a2","datavalue":{"value":{"entity-type":"item","numeric-id":4067195,"id":"Q4067195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2054672$C1B96A0D-B5FC-4F3D-87AA-90948EA43E2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"659d040a0f614da9722db4a492c3854ca31c9afb","datavalue":{"value":{"entity-type":"item","numeric-id":4383126,"id":"Q4383126"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2054672$7B0FDBBB-869D-454C-9115-3233EEC64C56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"87128e205931692dc874881c21c0e8ef5b171991","datavalue":{"value":{"entity-type":"item","numeric-id":4180922,"id":"Q4180922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2054672$8A219386-9EE7-4EC2-B058-89F7AE0529A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27bcd1d57edb708d14b9283d933e5687a6124e11","datavalue":{"value":{"entity-type":"item","numeric-id":2528174,"id":"Q2528174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2054672$4966E2A4-04A0-4DC6-8053-04744E6DAC23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a0c3dba395f86f9e1b74ca7b87e6272b92c3cb4","datavalue":{"value":{"entity-type":"item","numeric-id":3287307,"id":"Q3287307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2054672$3E9D87B8-7AB3-4767-B356-7DB8161EFDDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3828ed6f47e48c96b3b3f8aee9d3d68f253fa35a","datavalue":{"value":{"entity-type":"item","numeric-id":1743015,"id":"Q1743015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2054672$2563A657-F84E-4275-AB41-90BA6D680B50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b389fbbb7ce113968a6da1f4170e69f19682f031","datavalue":{"value":{"entity-type":"item","numeric-id":4967375,"id":"Q4967375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2054672$8B348ABE-2B29-4E31-AF88-842B67E7A05D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2cba9e8ce7728e0affef062e49d8452e353332ec","datavalue":{"value":"10.1007/S10013-020-00466-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2054672$79669C25-6E94-49B0-A12A-57B29C91F8E6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"be9667e2e431a71d6deb786102fc8512a9d970f5","datavalue":{"value":{"entity-type":"item","numeric-id":2790166,"id":"Q2790166"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"975919c6691e54e137ab2868262c13182e6ba424","datavalue":{"value":{"amount":"+0.8698377013206482","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":"Q2054672$29C38D48-A847-4DC1-9115-3C3218C9C202","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"145c6e38370f6b4bb48e515911f16589ace38eee","datavalue":{"value":{"entity-type":"item","numeric-id":4967375,"id":"Q4967375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e1570f79b4792087f588a6e0b7c198d9fb594900","datavalue":{"value":{"amount":"+0.8663199543952942","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":"Q2054672$86E22C34-6DF4-42CB-8575-501E2429C7B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a8b6323cdf20cf9ef55eb4ec3cfe6030750eb358","datavalue":{"value":{"entity-type":"item","numeric-id":5120248,"id":"Q5120248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4570216af20eab37fe4b43e8a48225c2201a7d51","datavalue":{"value":{"amount":"+0.8426629304885864","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":"Q2054672$25DB8108-93EB-4049-9FA8-11C87B23396D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aba9157f3b6c3e11e1a6483b785bc78299596ea9","datavalue":{"value":{"entity-type":"item","numeric-id":1743015,"id":"Q1743015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f5d0f8f2e5852766599377432cb196fc45414d56","datavalue":{"value":{"amount":"+0.8336005806922913","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":"Q2054672$B0EA5E0C-6387-4DAD-BBB7-0F5C3BAC3A08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7161e75fe34825c5b898debf29cfc7f769fc406c","datavalue":{"value":{"entity-type":"item","numeric-id":3187183,"id":"Q3187183"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"63a2c27d204598ebbe187093333962a2b41d8dee","datavalue":{"value":{"amount":"+0.8325528502464294","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":"Q2054672$7F7A0E1B-0D18-4110-9CD0-A1385F3258DF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Dedekind-Mertens lemma for power series in an arbitrary set of indeterminates","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Dedekind-Mertens_lemma_for_power_series_in_an_arbitrary_set_of_indeterminates"}}}}}