{"entities":{"Q1209627":{"pageid":1220376,"ns":120,"title":"Item:Q1209627","lastrevid":71026695,"modified":"2026-04-13T19:00:20Z","type":"item","id":"Q1209627","labels":{"en":{"language":"en","value":"Gr\u00f6bner bases and primary decomposition of modules"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 168220"}},"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":"Q1209627$C82387F2-879E-43FC-8540-A77F7F020D88","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"95ca848610e756a7bcc1fb871675a41fa976d87e","datavalue":{"value":{"text":"Gr\u00f6bner bases and primary decomposition of modules","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1209627$1DEC0798-58D9-48BE-A29B-854466C8665E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a317c0ff6d31262d75298681348919d02777b3d3","datavalue":{"value":"0776.13015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1209627$796B77D3-B79E-411E-9325-2C1CDD639C4D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"513bbf131d3c867d42082c48387d4f35b864d242","datavalue":{"value":"10.1016/0747-7171(92)90019-Z","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1209627$FE8221F4-4C27-4A84-BE98-BDCDFA655E91","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"29af143d0e2ae2d9ee261ed97f70e7b5ec727e35","datavalue":{"value":{"entity-type":"item","numeric-id":1209626,"id":"Q1209626"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1209627$B1EB1599-374B-42E4-A84D-D3D139A23668","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ea72303f92787da89554ee5fa15621068821a762","datavalue":{"value":{"entity-type":"item","numeric-id":99061,"id":"Q99061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1209627$6226EE06-B76D-476A-9990-737D8086E92F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1772b6c81a5108c06854e0de4518fb90e5a6ebdc","datavalue":{"value":{"time":"+1993-05-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1209627$AF04066F-6407-4589-9203-F739FFEEAE7A","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"e592181525652cb96be2ff7f1c4f7400e07ff25e","datavalue":{"value":"The results in this paper are a generalization to the case of modules of the results of \\textit{P. Gianni}, \\textit{B. Tragher}, and \\textit{G. Zacharias}, ``Gr\u00f6bner bases and primary decomposition of polynomial ideals'', J. Symb. Comput. 16, 149-167 (1993). In the first part of the paper it is analyzed the concept of Gr\u00f6bner bases for modules over polynomial rings over a suitable ring \\(R\\) (in which it is assumed linear algebra can be performed). Successively, the paper contains the description of an algorithm which allows the computation of the primary decomposition of a module \\(M\\) given as a submodule of a free module over the ring of polynomials \\(R[x_ 1,\\dots,x_ n]\\). In this part of the paper it is assumed that \\(R\\) is the ring of integers, the field of rationals or, more generally, any PID where linear algebra can be performed and, moreover, where there exists an algorithm for factoring polynomials over fields which are finitely generated over \\(R\\) or are residue fields of \\(R\\). As in the case of ideals it is first analyzed the case in which the module is zero-dimensional. A specific algorithm for this case is given. Successively, it is constructed the general algorithm which inductively (via localizations) uses the previous one.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1209627$70DBA9FB-FB04-497D-B748-B2065BEBCE14","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"80f116a1cdb08066811a19630fb4c8beca038913","datavalue":{"value":{"entity-type":"item","numeric-id":321274,"id":"Q321274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1209627$F408709C-AD21-41F9-89DA-F266CB2BD8F8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"173b0c3afec7c4f9f987722665cc7bdb6b8f5813","datavalue":{"value":"13P10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1209627$C9F47D4E-5147-4526-97DA-63F6825960CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9f44c3e05f007359b39a58b0e4e67e343748285e","datavalue":{"value":"13C05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1209627$035FF36A-A554-4D3B-87E4-FE13B7AB6683","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1209627$AFF67605-56AE-4050-B8FC-BBB946CB6279","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"86cddb94a9cc0d19917fc7ae089f1518f71ee99c","datavalue":{"value":"168220","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1209627$66B3B266-2459-456D-AEEC-A812DFF06C6F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1883afeb3e8bc6e03b0e7f4e1536fc414e2f5cb6","datavalue":{"value":"Gr\u00f6bner bases for modules over polynomial rings","type":"string"},"datatype":"string"},"type":"statement","id":"Q1209627$6BEEF1D7-300E-4FCA-8B51-0177764835B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"51b5d489ffcf6fef3eb70fa3444d4d836519568e","datavalue":{"value":"primary decomposition of a module","type":"string"},"datatype":"string"},"type":"statement","id":"Q1209627$6C634FFA-2327-497F-8746-A4A71B3609F0","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":"Q1209627$4ED1BD04-7671-4A39-9E08-7F0D6B656F1C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2ff57ef70bd9e86c9b7017e46b8cd84cb7965f4","datavalue":{"value":{"entity-type":"item","numeric-id":3714165,"id":"Q3714165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1209627$CA3E0ABD-2DC0-4C80-BB64-EAF0609DE07D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c14eeba7af25bd4b2f1e7dbd6d25e968035e1ac1","datavalue":{"value":{"entity-type":"item","numeric-id":1117277,"id":"Q1117277"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1209627$4D77A732-9DAA-474C-B2E2-AD40EEFC5B1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7aab24d6c1e3b5b37faa6b04e82b49b7247025ac","datavalue":{"value":{"entity-type":"item","numeric-id":4044675,"id":"Q4044675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1209627$EE40B1F6-3461-4C2D-A193-244A67E466CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e029de44b5d238652a253e8a815a22f4ee5cfcd5","datavalue":{"value":{"entity-type":"item","numeric-id":3676243,"id":"Q3676243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1209627$4BB407F3-C610-4335-AD66-A5DEBCD6DA38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d6a42e9c0843d8d55d1be1e1c1ccedd9d136e32","datavalue":{"value":{"entity-type":"item","numeric-id":1821556,"id":"Q1821556"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1209627$C9820297-621D-412C-8CAD-372A8D72046E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9cd5b4a82bf86c789e8aec14457e9e7a5412b8e","datavalue":{"value":{"entity-type":"item","numeric-id":5611879,"id":"Q5611879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1209627$6CFB3AC5-ACBC-453F-8533-D1F29A40E43D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aff2b85ce7063035de01d46a42f6c99e090760e8","datavalue":{"value":{"entity-type":"item","numeric-id":909718,"id":"Q909718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1209627$E40FB881-425E-4368-AAD3-7173DFFEFE55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"57881e54af881bc60ca495ee110644cbe6e4f4dc","datavalue":{"value":{"entity-type":"item","numeric-id":1090369,"id":"Q1090369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1209627$A35ACD14-42A7-4CFA-BCE0-1A81800F33AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2cbfea7df5a952e37b1c9a93a0db40abd77b238","datavalue":{"value":{"entity-type":"item","numeric-id":5732721,"id":"Q5732721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1209627$0591BF9A-507B-416E-828D-C541412E4938","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6e4346104b1227702687dd1502a31ec698c91aac","datavalue":{"value":{"entity-type":"item","numeric-id":1117277,"id":"Q1117277"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a9df6d56b3d8509e82de03c613af0fa3030289f6","datavalue":{"value":{"amount":"+0.8909305930137634","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":"Q1209627$62C1FEC5-4BD8-4EC4-8813-A355DFEAE911","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c5d07a401aacf53dc8fc7cd6869f4d9da0fe66a7","datavalue":{"value":{"entity-type":"item","numeric-id":5326617,"id":"Q5326617"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2cc114da9b8280c1216e1247979ffbbcb1440abc","datavalue":{"value":{"amount":"+0.855716347694397","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":"Q1209627$CE9B4543-4161-4A21-B952-9719EAF17F4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4d5493c3eaaa1bbc8582ec0608ed6ccbaa0d613b","datavalue":{"value":{"entity-type":"item","numeric-id":2368065,"id":"Q2368065"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3978c5d1a90a22840ee39b47cadbc72c94bd5bdc","datavalue":{"value":{"amount":"+0.8330103754997253","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":"Q1209627$1F56E468-80BF-4D4A-BD37-CAC1FE46C5AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"515c8a74e775a790d9cc7b6bb85654e2dc649ac3","datavalue":{"value":{"entity-type":"item","numeric-id":3499413,"id":"Q3499413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d5212ef43b7132b21812834d74c75a2cff155313","datavalue":{"value":{"amount":"+0.8271359205245972","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":"Q1209627$F019FA2C-3CE3-457F-B46E-72215FD1C10F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d7807b8a9fe98ed65c72c94f95b1563e98ab46d","datavalue":{"value":{"entity-type":"item","numeric-id":1821556,"id":"Q1821556"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7b7d3b4fb46bfe4670b68c178fbbe98840cceba7","datavalue":{"value":{"amount":"+0.8241084218025208","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":"Q1209627$C646539C-ADFF-49E3-B0D1-CB58BA318FCF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Gr\u00f6bner bases and primary decomposition of modules","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Gr%C3%B6bner_bases_and_primary_decomposition_of_modules"}}}}}