{"entities":{"Q686973":{"pageid":688822,"ns":120,"title":"Item:Q686973","lastrevid":47194282,"modified":"2025-12-31T23:31:22Z","type":"item","id":"Q686973","labels":{"en":{"language":"en","value":"Two remarks on independent sets"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 429044"}},"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":"Q686973$CF2A4032-3324-411B-81D4-7DC93C99683B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bf6ea4335e89336755f08830936ff19dd702b941","datavalue":{"value":{"text":"Two remarks on independent sets","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q686973$40EDD550-BCAD-42B9-B3ED-2FCCC1044F4E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"170752e81dd2861f5017342eb14d3247e08e4fb2","datavalue":{"value":"0807.13013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q686973$856386C8-F6A4-4C75-AEAC-967025F74145","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c26f194eee9049d407916d16fa2c5e7804dedab0","datavalue":{"value":"10.1023/A:1022459607909","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q686973$463CFB71-B1AE-4EDB-B7B0-F64EDDDA3821","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3658865588278b8b18148a38f4c868244a1ca5c3","datavalue":{"value":{"entity-type":"item","numeric-id":686972,"id":"Q686972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q686973$A4E82B09-A4BA-43F6-8BE3-3208225ABB70","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b5e010d4525286f928f56a14a06a3a3ef373d646","datavalue":{"value":{"entity-type":"item","numeric-id":162910,"id":"Q162910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q686973$76841B33-7EDE-43A9-9D8D-86E794AB1D95","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"60c2b639ed933d9c3ab73b6b321aab5ff3dea7d5","datavalue":{"value":{"time":"+1993-10-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q686973$3EE33079-B6A7-455C-99ED-0D12507D7079","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"9d5303b778c072aef4e70948520b3f338c6ac09f","datavalue":{"value":"Let \\(S = k[x_ v,\\;v \\in V]\\) be a polynomial ring over a field \\(k\\), equipped with a noetherian term order \\(<\\), \\(I \\subset S\\) an ideal, and in\\((I)\\) the initial ideal of \\(I\\), i.e., the ideal generated by the leading term lt\\((f)\\) of all \\(f \\in I\\).   \\(\\sigma \\subseteq V\\) is an independent set modulo \\(I\\) iff \\(k[x_ v : v \\in \\sigma] \\cap I = (0)\\). In general it is difficult to find (maximal) independent sets. In J. Symb. Comput. 6, No. 2/3, 231-247 (1988; Zbl 0665.68024), \\textit{H. Kredel} and \\textit{V. Weispfenning} therefore investigated the connections between independent sets of \\(I\\) and independent sets of in\\((I)\\), strongly independent sets in their notion.   In the first part of this paper we generalize this notion to submodules of free modules and explain their computational relevance. We discuss also two algorithms to compute strongly independent sets that rest on the primary decomposition of squarefree monomial ideals.   Usually the initial ideal \\(in(I)\\) of a polynomial ideal \\(I\\) is worse than \\(I\\). -- \\textit{M. Kalkbrener} and \\textit{B. Sturmfels} [``Initial complexes of prime ideals'' (to appear)] observed that nevertheless in\\((I)\\) is not as bad as one should expect, showing that \\(in(I)\\) is connected in codimension one if \\(I\\) is prime. -- In the second part of the paper we add more evidence to that observation. We show that in\\((I)\\) inherits (radically) unmixedness, connectedness in codimension one and connectedness outside a finite set of points from \\(I\\) and prove the same results also for initial submodules of free modules. The proofs use a deformation from \\(I\\) to in\\((I)\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q686973$16DAEBF9-CB6D-4A64-B63B-329AAA5D0606","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"173b0c3afec7c4f9f987722665cc7bdb6b8f5813","datavalue":{"value":"13P10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q686973$989452BA-0977-4DC3-82F3-DBCB8212F09D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"391950414a099d56bc54d4355f229d909cdcb643","datavalue":{"value":"13F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q686973$F898FB6A-6757-4FB6-B0A4-73955AF0951D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"91ea9e05402ad8645f3ea31f9b939b0831701693","datavalue":{"value":"429044","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q686973$362889C6-BD26-41DE-84B7-0F0AE1AA719C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f166dd6f238ec6104f06cee439e5cf423251f873","datavalue":{"value":"initial ideal","type":"string"},"datatype":"string"},"type":"statement","id":"Q686973$71C7F652-318E-4F35-9902-762C37C848FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a36f1f661169e98576879579295ecf0220457b9c","datavalue":{"value":"independent set","type":"string"},"datatype":"string"},"type":"statement","id":"Q686973$AF50AD77-FB33-4C93-9DC2-1CECBE11BE0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b13a809c9a00e210ff9eb961fb7df85833db440b","datavalue":{"value":"strongly independent sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q686973$54CD568C-231B-4C3D-9136-837C706AF71C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a77732f335aa8a1476e227adae477a0950c4ee32","datavalue":{"value":"polynomial ideal","type":"string"},"datatype":"string"},"type":"statement","id":"Q686973$0BB9E669-D814-4901-83A0-F0A55F0E440E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"25162f493e7e9d279214fd219d35a5b363d3a93d","datavalue":{"value":"unmixedness","type":"string"},"datatype":"string"},"type":"statement","id":"Q686973$251E91EA-0145-4F37-8649-8746D5FAFE6C","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f5373772bdbae0715590edd58c3436e99e5ffca7","datavalue":{"value":{"entity-type":"item","numeric-id":19778,"id":"Q19778"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q686973$4427A919-6759-42D4-A1C5-A0993CE3168E","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":"Q686973$94FBC6EE-51D2-42C8-87C8-60412390A6E8","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"106856daac1952126e113caacbd4d461b6691f93","datavalue":{"value":{"entity-type":"item","numeric-id":1199706,"id":"Q1199706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q686973$F7DF8B70-4DAC-46BF-8212-82548B036CC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c228ae9376769653d4c12e2b58069df9ad377f97","datavalue":{"value":{"entity-type":"item","numeric-id":4279508,"id":"Q4279508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q686973$5E29121F-F192-4AE2-A6FE-6D268D5E0A16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2bba58faa62e204d190c0bcb6fc2177454a0abbd","datavalue":{"value":{"entity-type":"item","numeric-id":3769013,"id":"Q3769013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q686973$E3AD74FA-0B4D-4398-95AA-F2FE64CAD8E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f1c2a98ab42a80d54fd85ee1066564f91ac2d37","datavalue":{"value":{"entity-type":"item","numeric-id":3712414,"id":"Q3712414"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q686973$2B7F0D55-F3D2-49A4-91FF-7EB2DD2C5A97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2aa1f1d40b80d545e4943f49cad0c92c66e2844","datavalue":{"value":{"entity-type":"item","numeric-id":908971,"id":"Q908971"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q686973$9E8B2421-17EB-4066-943B-3D7AEF8C8C76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c365048921f8cb9af44dad96f5c4b7c82bfe06b9","datavalue":{"value":{"entity-type":"item","numeric-id":1910398,"id":"Q1910398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q686973$01160A05-F059-42EF-9358-996608B6F6C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ebc6e8d13e05a14c46f07369785e27204cfe6bc","datavalue":{"value":{"entity-type":"item","numeric-id":1116332,"id":"Q1116332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q686973$B42CC27E-82CD-4014-9FBA-3BA82655957F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ccc0e2cb71dec289fa656048151a59981f47f2bb","datavalue":{"value":{"entity-type":"item","numeric-id":4124934,"id":"Q4124934"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q686973$BDC2FDAE-647D-4466-8877-6B4985FE086B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15cdc60e527b7efbb68173a4b345611ec7a26903","datavalue":{"value":{"entity-type":"item","numeric-id":1086630,"id":"Q1086630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q686973$EC8CA0B1-DC3C-401C-9FBE-A5E78BCAFFC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3d13be78fe2738a88632147141983e4f62279d0","datavalue":{"value":{"entity-type":"item","numeric-id":5896310,"id":"Q5896310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q686973$8D89125A-7D62-4EA4-8697-4A297DB1CE3B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4567e82fedf55b657c02cff94b65821e680404f3","datavalue":{"value":{"entity-type":"item","numeric-id":1116332,"id":"Q1116332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5b9557bc13e16a3f658624a7e913fe2132415ed1","datavalue":{"value":{"amount":"+0.8043898940086365","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":"Q686973$B7BE8BE3-2FF6-457B-8008-B3141F433312","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"165c91a157e9b0c22fbc0c2c20160c46d725310d","datavalue":{"value":{"entity-type":"item","numeric-id":4501655,"id":"Q4501655"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b590070b322fa273756e91abaacd02b4fc1ac5a0","datavalue":{"value":{"amount":"+0.7841609716415405","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":"Q686973$D810BEC1-0FE3-4270-B2AE-1F246DC5060E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1cc2af5e2bbccf423332c4027fac2f37743f2b57","datavalue":{"value":{"entity-type":"item","numeric-id":5946860,"id":"Q5946860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b590070b322fa273756e91abaacd02b4fc1ac5a0","datavalue":{"value":{"amount":"+0.7841609716415405","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":"Q686973$6BB61720-534E-4919-A89B-D4FEE8667415","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"12692f931bdc650897bed8c58cab5f6bf9164f26","datavalue":{"value":{"entity-type":"item","numeric-id":1910398,"id":"Q1910398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bf0c8f2668d60d4fa6f46b701587a759ea40495b","datavalue":{"value":{"amount":"+0.7685033679008484","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":"Q686973$412861D5-B70A-4BD2-B4F8-058E3315182B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e011ec3918c0d76c5a323387518a0c02fbdd0d89","datavalue":{"value":{"entity-type":"item","numeric-id":3688484,"id":"Q3688484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0f38b424b4961af08b139016440e2fe2c4d27e40","datavalue":{"value":{"amount":"+0.7685032486915588","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":"Q686973$BECD849E-20B8-4806-9C50-2ABD43B7D989","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:686973","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:686973"}}}}}