{"entities":{"Q2595682":{"pageid":2606425,"ns":120,"title":"Item:Q2595682","lastrevid":44436519,"modified":"2025-11-22T22:20:46Z","type":"item","id":"Q2595682","labels":{"en":{"language":"en","value":"Canonical basis for ideals in a polynomial domain over a commutative ring with finite basis for ideals."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2514852"}},"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":"Q2595682$DFD0CB80-C582-4DB8-88DA-CA759B7C49F9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"98f0538e47f569f7a06acb95b1475708feb110ec","datavalue":{"value":{"text":"Canonical basis for ideals in a polynomial domain over a commutative ring with finite basis for ideals.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2595682$B05C976C-B5EA-4277-ABDF-C46182835509","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b332e2e2a2c2bb9ae6db401748a8e51e7c6a4f3e","datavalue":{"value":"64.0077.01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2595682$DAF70080-6CB8-435F-9E55-02AFC90067A1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6072cfb4f37e0a6305f25592d2b2bc3aebea6362","datavalue":{"value":{"entity-type":"item","numeric-id":559848,"id":"Q559848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2595682$4BCB9F7A-1F62-4A61-8675-79CE3C3CBB2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2557b0b5bb48f0a76874782cee0235bbd70abe37","datavalue":{"value":{"entity-type":"item","numeric-id":2595619,"id":"Q2595619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2595682$12B95081-F53A-4DC7-A21E-3DCEDC1D32F3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c51c96a2942ce39ff1f1fd3143ec11f48bfbdde7","datavalue":{"value":{"entity-type":"item","numeric-id":2585761,"id":"Q2585761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2595682$CA2CFFA5-D48C-4AE3-B1B7-F2FE3988C0C7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f858b81427e0400eb7de4859b32f6d4c81a704f4","datavalue":{"value":{"time":"+1938-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":"Q2595682$6772A37E-ECB0-4511-AE7B-DE1E0FB786D6","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"c68feee061db0835eb758a5573b991b57d85f8b9","datavalue":{"value":"Ist \\(A\\) ein kommutativer King mit 1-Element, in dem jedes Ideal seine endliche Basis besitzt, so hat jedes Ideal in dem Polynomring \\(A[x]\\) eine ``kanonische'' Basis  \\[  a_{11},\\ldots, a_{1r_1},a_{21},\\ldots,a_{2r_2},\\ldots, a_{tr_t},  \\]  wobei die h\u00f6chsten Koeffizienten der Polynome \\(a_{k1},\\ldots,a_{kr_k}\\) Ideale \\(\\mathfrak b_k\\) in \\(A\\) mit der Eigenschaft bilden, da\u00df \\(\\mathfrak b_k\\) ein echter Teiler von \\(\\mathfrak b_{k-1}\\) ist. Ist speziell \\(A=C\\) der Ring der ganzen rationalen Zahlen, so sind die Zahlen \\(r_i = 1\\), d. h. f\u00fcr jedes Ideal in \\(C[x]\\) existiert eine Basis  \\[  M_0x^n, M_1x^nf_1(x), M_2x^nf_1(x)f_2(x),\\ldots,  \\]  wo \\(M_i\\) ein echter Teiler von \\(M_{i-1}\\) ist. Hieraus folgt, da\u00df jedes Primideal \\(\\mathfrak P\\) von \\(C[x]\\) unter den drei folgenden Formen enthalten ist: 1) \\(\\mathfrak P = (p, f (x))\\), 2) \\(\\mathfrak P = (p)\\), 3) \\(P= (f(x))\\); dabei bedeutet \\(p\\) eine Primzahl und \\(f(x)\\) ein irreduzibles Polynom; entsprechend ist jedes Prim\u00e4rideal \\(\\mathfrak Q\\) von \\(C[x]\\) unter den drei folgenden Formen enthalten:  \\[  \\begin{aligned} \\mathfrak Q&=(p^{\\sigma_1}f^{\\varrho_1}(x), p^{\\sigma_2}f^{\\varrho_2}(x),\\ldots, p^{\\sigma_t}f^{\\varrho_t}(x)) \\tag{1} \\\\ \\noalign{\\hfill mit \\(\\sigma_1>\\sigma_2>\\cdots>\\sigma_t=0\\) und \\(\\sigma=\\varrho_1<\\varrho_2<\\cdots\\varrho_t\\),} \\mathfrak Q&=(p^\\sigma),\\tag{2} \\\\ \\mathfrak Q&=(f^\\varrho(x)). \\tag{3} \\end{aligned}  \\]","type":"string"},"datatype":"string"},"type":"statement","id":"Q2595682$D0156755-52CE-4A23-80D2-255444BEBC9A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"85ad37caf9fa5a94313f30e22c72d783c4035780","datavalue":{"value":"2514852","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2595682$384C5057-1AB0-4728-B6A5-7D062822C9C8","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":"Q2595682$22920101-1FE7-46BE-90F9-FC81263887C1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2595682","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2595682"}}}}}