{"entities":{"Q921063":{"pageid":922911,"ns":120,"title":"Item:Q921063","lastrevid":65397741,"modified":"2026-04-12T02:19:05Z","type":"item","id":"Q921063","labels":{"en":{"language":"en","value":"Lech-Hironaka inequalities for flat couples of local rings"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4165030"}},"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":"Q921063$4196D757-6754-441D-86E5-4F7446BF97BB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"927896a066351a9ef97f3d5df6cd3b755c74065d","datavalue":{"value":{"text":"Lech-Hironaka inequalities for flat couples of local rings","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q921063$173A9017-EC71-4719-BC9F-E1659A6A7A8B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6e3863e7a429244fa038580fa83b8e2faa1c2427","datavalue":{"value":"0709.13008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q921063$BAF5A784-9512-44D8-BC32-ACDD627E4821","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"305860d5e7c37c4f8f6eb3125e71426cb32da356","datavalue":{"value":"10.1007/BF02568770","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q921063$11752A18-9304-4575-BDAB-EA7C2B9A09A1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"04db4f4de4a1c1eb1c1c7527560e0b43a2b8e3ea","datavalue":{"value":{"entity-type":"item","numeric-id":921062,"id":"Q921062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q921063$3BEF2CA2-A7FD-4844-9948-2F932D63BFA9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ccf4732529e8c1929b9b7c946ba3218942108f00","datavalue":{"value":{"entity-type":"item","numeric-id":167493,"id":"Q167493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q921063$297AEBEE-1D72-46EC-86BF-AB9E55AE385F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"70d2fbf8bcd48a5ca1ac752985098b379d0dbb65","datavalue":{"value":{"time":"+1990-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q921063$E70DF37F-7541-41BB-B155-1DA0F534CD62","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1b84b7a12fd3fca3d0501914d243007de094b37e","datavalue":{"value":"https://eudml.org/doc/155533","type":"string"},"datatype":"url"},"type":"statement","id":"Q921063$98B8D334-93C9-4088-AC4C-580370AB5AD9","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"0a2782af305d92a5972c596fe38fb650e94d7c46","datavalue":{"value":"Let (A,m) be a local ring with Hilbert series \\(H^ 0_ A=\\sum^{\\infty}_{0}\\dim_{A/m}(m^ d/m^{d+1})T^ d \\), and series of i-th sums \\(H^ i_ A=(1-T)^{-i}H^ 0_ A\\), and let f: (A,m)\\(\\to (B,n)\\) be a flat local homomorphism of local rings. The general problem is to discover when \\(H^ i_ A\\leq H^ i_ B\\) in the sense that the inequality holds between coefficients. This is a stronger inequality than the 1959 suggestion of \\textit{C. Lech} [see Ark. Mat. 4, 63-86 (1960; Zbl 0192.139)] that the multiplicities satisfy e(A)\\(\\leq e(B)\\). Lech sketches a proof of the stronger inequality for \\(i=1\\) when the fibre B/mB is a zero-dimensional complete intersection. Later \\textit{H. Hironaka} [J. Math. Kyoto Univ. 10, 151-187 (1970; Zbl 0214.200)] proved the same inequality for \\(B=A[x]/(F).\\)    In this note the author reconstructs a complete version of Lech's proof and gives a different proof, using Cohen's structure theorems and an inequality of Bennett, to establish \\(H_ A^{d+1}\\leq H^ 1_ B\\) when d is the dimension of the complete intersection B/mB. Similar arguments are used to establish the same inequality in a more general setting.","type":"string"},"datatype":"string"},"type":"statement","id":"Q921063$19E96234-343F-41BC-94C9-8952714E738C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1d4a4958b9ec0502bdc37c3a756325974bf4d764","datavalue":{"value":"13D40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q921063$DE09FA9B-EA53-4B39-B7C2-F97FF13CFB19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1b0964666aa9de4434d17d9183900ad920415bee","datavalue":{"value":"13H15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q921063$21B9897A-57E9-4AE0-B703-C425FDA99D9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ba0f4aac669c7206c5a11d91d20fa0fa82450308","datavalue":{"value":"14M10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q921063$7BE327B9-8272-49A6-8042-058CA4A19EB1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"906f6d557eb83ce3b7826c7b1db57f4bfe2162f9","datavalue":{"value":"4165030","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q921063$E5B33D82-8981-4FA6-B9EA-1D7F20FDE4D4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b6e60dd669a555f62c807d64cd8c1cb6ce9ee9cc","datavalue":{"value":"Hilbert series","type":"string"},"datatype":"string"},"type":"statement","id":"Q921063$190873D5-3E40-439F-A755-5CF6CFCCAC07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f132db7b51c21ae4c44cfe9d151362419c51fd4e","datavalue":{"value":"flat local homomorphism of local rings","type":"string"},"datatype":"string"},"type":"statement","id":"Q921063$7756AB10-2A54-42E6-A822-BABF21EAB9E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6222d91a332013c1f876f2f6a89c38c2446ae41b","datavalue":{"value":"complete intersection","type":"string"},"datatype":"string"},"type":"statement","id":"Q921063$38152342-AEE2-402C-8C54-89FAD0430213","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"280df6b5556a052683fb726cc2ff2bd15f5eb008","datavalue":{"value":{"entity-type":"item","numeric-id":1331276,"id":"Q1331276"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q921063$8756D0BD-4F53-4859-9D7F-BDFAEA00F129","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":"Q921063$0FC06675-F453-4845-820D-43C885E10BC2","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"b9c10488f21e5824ba527b582a9ec88723bb8d4a","datavalue":{"value":"Q126270941","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q921063$C984DB2F-3995-4633-89B2-5592C84C47E6","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"000b52656f1a42255c561fab264deeb1cec553d5","datavalue":{"value":{"entity-type":"item","numeric-id":2540300,"id":"Q2540300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q921063$B217519C-364C-40B4-BF6B-FC2BCF245436","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8fc1163c309757b8ad103e4a925d2209dd047967","datavalue":{"value":{"entity-type":"item","numeric-id":1149481,"id":"Q1149481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q921063$956A6116-9FDA-442E-874C-336674F85D0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2fd9fb96a62044747cb99bc699c236071e54c8dd","datavalue":{"value":{"entity-type":"item","numeric-id":2538151,"id":"Q2538151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q921063$46BB98AD-A837-4D51-9A58-2FAA29B820C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c46747f3e17f020722d5e0a7b08d9c3455a8b93","datavalue":{"value":{"entity-type":"item","numeric-id":2626924,"id":"Q2626924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q921063$67AFEBFF-75AF-4F50-B8A1-779A3C32F5B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"46ddcc204209f625193d72073394c462e5192c79","datavalue":{"value":{"entity-type":"item","numeric-id":3739243,"id":"Q3739243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q921063$F5558DE6-11E8-4967-8FD2-029DF83A4A4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a0099b549e3c41c91289a99f85f2295f3718f492","datavalue":{"value":{"entity-type":"item","numeric-id":5554844,"id":"Q5554844"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q921063$1BB64DC2-169C-4864-B10A-9D5BAC174DE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e06295644ab28a8f78605159ec20ad6bde86450","datavalue":{"value":{"entity-type":"item","numeric-id":2524584,"id":"Q2524584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q921063$502F8CD8-74DB-49F5-8257-38E9ECBCAA26","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9f197f7ef8a4a6deea8746f58383b32db6b1665f","datavalue":{"value":{"entity-type":"item","numeric-id":5430227,"id":"Q5430227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f2c37944fe34844cee8e0ea009e76d138f4c6763","datavalue":{"value":{"amount":"+0.88871855","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":"Q921063$7CF6C89E-5082-433D-84F5-323931849A92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e3820cb37f099ca8944ebffaf8e738bcfc1267c2","datavalue":{"value":{"entity-type":"item","numeric-id":2370193,"id":"Q2370193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f3aa18ab2f92da823b58e563c62a51f47a130294","datavalue":{"value":{"amount":"+0.88745487","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":"Q921063$3F14FFB8-2A41-43D2-B17B-4ED0E6BA60F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6747201561f106b9a4e42efedfe35688f0f85b7e","datavalue":{"value":{"entity-type":"item","numeric-id":5856946,"id":"Q5856946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"56d0e81b3a6a95524bb44b92f8a729e19114184a","datavalue":{"value":{"amount":"+0.87467504","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":"Q921063$8D7DF1A0-EA55-4357-B859-604C9DDCF1CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"45c43d04580fe122f7346e6cbfa93f2b41c68270","datavalue":{"value":{"entity-type":"item","numeric-id":2634871,"id":"Q2634871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fa090043c444a2ec393988cf4a58b34612d103d1","datavalue":{"value":{"amount":"+0.8744099","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":"Q921063$4662FE65-D64C-44A8-8A6F-B536F10D3D3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"45593c5c763ffc59a52301cae0fb5640c7c7dc7e","datavalue":{"value":{"entity-type":"item","numeric-id":841514,"id":"Q841514"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6a32e1373df20feda84777d094fbd4729c0ad480","datavalue":{"value":{"amount":"+0.87168485","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":"Q921063$7533CC6A-DCA4-4E00-8699-9E8D8EC76F36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e1cdbdb521bf44fe69f4b23b026f29fda9d35723","datavalue":{"value":{"entity-type":"item","numeric-id":2404865,"id":"Q2404865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"99e584f5fab0481f6d1b0d8e4efaaf2384429fcd","datavalue":{"value":{"amount":"+0.8679557","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":"Q921063$DF39AFF0-EF70-421F-B7E8-7991F287C668","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"86a4c866cebe07c3ec415f72399e6e97c059f28c","datavalue":{"value":{"entity-type":"item","numeric-id":2873891,"id":"Q2873891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6ea28d877d4e99a3ae866fef8c0bcb8d486a1f6c","datavalue":{"value":{"amount":"+0.8668916","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":"Q921063$42C18768-EABE-4D7B-B59A-6544E0810C02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a997161a262c6aa7c774d9da5d70a8d67a7c72ac","datavalue":{"value":{"entity-type":"item","numeric-id":5069083,"id":"Q5069083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9cc2fde722bdbb8b555903cdf6dd6b634f00b7ab","datavalue":{"value":{"amount":"+0.8640489","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":"Q921063$C7F17C50-7616-4817-84CC-B94343035EC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dd5075b526290c6f29364500ad582b8adac865a9","datavalue":{"value":{"entity-type":"item","numeric-id":1737212,"id":"Q1737212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9538a4228aad64a75f25020489ae724e5704a7fc","datavalue":{"value":{"amount":"+0.8628903","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":"Q921063$B201E897-C080-4D11-AC24-D90576C9D54C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"40be0bd94e16b885023521ad4c3840dc90c97039","datavalue":{"value":{"entity-type":"item","numeric-id":4495376,"id":"Q4495376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d5042ff4cee3ef38cd8d6f71490ddaef8249f99d","datavalue":{"value":{"amount":"+0.8614006","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":"Q921063$668FE6E2-95D3-4724-A515-19BC72B3E51D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Lech-Hironaka inequalities for flat couples of local rings","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Lech-Hironaka_inequalities_for_flat_couples_of_local_rings"}}}}}