{"entities":{"Q580438":{"pageid":582205,"ns":120,"title":"Item:Q580438","lastrevid":62935227,"modified":"2026-04-11T09:05:26Z","type":"item","id":"Q580438","labels":{"en":{"language":"en","value":"Invariant factor theorem for Pr\u00fcfer domains of finite character"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4017049"}},"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":"Q580438$0BECA85C-A347-4C96-B930-4EF9C8E37A60","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"03917a3fd88ca43cdd73f43ee157f75308618c75","datavalue":{"value":{"text":"Invariant factor theorem for Pr\u00fcfer domains of finite character","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q580438$4DCAA6A1-E5E1-4BEF-859E-E832AD242651","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"93f7e692506f3a02896c3e13cecb045f5afbbff5","datavalue":{"value":"0626.13005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q580438$DB03B3A4-0D55-4B04-8FF3-44E6F1B8948E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8487a8a9522b39016f834590ce8ab82504261290","datavalue":{"value":"10.1016/0021-8693(87)90030-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q580438$AB915D45-8852-4307-87EF-08015124A00B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5a3b7b23388f817d4d694771690086c1d13ea75b","datavalue":{"value":{"entity-type":"item","numeric-id":580437,"id":"Q580437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q580438$D2C227E8-8D1C-47C2-994B-012AA0FCFAA3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"93541bb195a0809b1f249396bcebe99d047e6b6c","datavalue":{"value":{"entity-type":"item","numeric-id":161561,"id":"Q161561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q580438$289D84E3-BE7B-4BD5-977F-73CA0464DC22","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5ae48c61eed19d1e1e1f33f9255d5b329362d064","datavalue":{"value":{"time":"+1987-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":"Q580438$63721FD0-AD89-410B-86DB-E109E702CBCC","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"9b0362b3ef5637b3078096a36d847bb9c697692b","datavalue":{"value":"Es sei R ein Pr\u00fcferring von endlichem Charakter, d.h. jedes von Null verschiedene Element ist nur in endlich vielen maximalen Idealen enthalten.    Der folgende Satz (``invariant factor theorem'') ist das zentrale Ergebnis: Sind \\(M\\supseteq N\\) endlich erzeugte R-Moduln derart, da\u00df M/N ein Torsionsmodul ist, dann besitzen M, N kompatible Zerlegungen: \\(M=M_ 1\\oplus...\\oplus M_ n,\\quad N=E_ 1M_ 1\\oplus...\\oplus E_ nM_ n.\\) Hierbei ist n der Rang von M; jeder Summand \\(M_ i\\) ist projektiv vom Rang 1, jedes \\(E_ i\\) ist ein endlich erzeugtes Ideal von R. \u00dcberdies k\u00f6nnen die Ideale \\(E_ i\\) so gew\u00e4hlt werden, da\u00df gilt: \\(M/N\\cong \\oplus_{i}R/E_ i,\\quad E_ i\\subseteq E_{i+1}\\). Die so gew\u00e4hlten Ideale \\(E_ i\\), invariante Faktoren genannt, kennzeichnen die Isomorphieklasse von M/N.    Eine Anwendung dieses Satzes: (Die Elemente des \\(R^ n\\) werden als \\(1\\times n\\) Matrizen geschrieben.) Sei \\(A=(a_{ij})\\) eine \\(m\\times n\\) Matrix \u00fcber R mit der Eigenschaft, da\u00df das von den Elementen \\(\\{a_{ij}\\}\\) erzeugte Ideal der Ring R ist. Dann enth\u00e4lt der R- Untermodul \\(R^ mA\\) von \\(R^ n\\) einen direkten Summanden von \\(R^ n\\), welcher projektiv vom Rang 1 ist.","type":"string"},"datatype":"string"},"type":"statement","id":"Q580438$AF5FA360-FB1E-47A1-8618-34BB18D9C256","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9f44c3e05f007359b39a58b0e4e67e343748285e","datavalue":{"value":"13C05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q580438$DCBC0D44-5C9D-4CF3-98B2-C9FF734DC189","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6f8bdb86f95f385c1922e11e3095b661f16ddd4","datavalue":{"value":"13F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q580438$95951768-7740-4695-B870-6AC6FADA54A8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a7cd21ef07dd8570da31dd4a6190823fa55fbc07","datavalue":{"value":"4017049","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q580438$45BDBA7A-8E6E-4E53-BA4B-6FCA5343E8FC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"781e0e460b2d272d1721aacaaca55c439511d38c","datavalue":{"value":"Pr\u00fcfer domains","type":"string"},"datatype":"string"},"type":"statement","id":"Q580438$EF791DB0-9FF7-4140-B279-DE575C56F83E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a79eeab5e2673203e3cdcd14652394538643f38d","datavalue":{"value":"invariant factor theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q580438$12C901B1-6849-4755-8531-554833D2A5DB","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":"Q580438$6D237793-CBD9-4C15-8342-BA4766DD62B2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"69429d1d2837d117eec917a60af41e1073f32c12","datavalue":{"value":"https://doi.org/10.1016/0021-8693(87)90030-5","type":"string"},"datatype":"url"},"type":"statement","id":"Q580438$01494C3B-FA27-4388-A676-C43FE473274B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0c981597e7c251ca9978c195d4616990d9b8ee09","datavalue":{"value":"W2085283445","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q580438$924030A4-A201-4B84-81D3-D58B3D716789","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"094a4487f33eaa65a0cccb5bcf91b9fa744050dd","datavalue":{"value":{"entity-type":"item","numeric-id":1087595,"id":"Q1087595"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q580438$E19CBEC6-6D4A-4FA7-B1D1-4D0423E7407D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c216aa04883f3c27ac38d32ad4bf54c6a35c9cb","datavalue":{"value":{"entity-type":"item","numeric-id":3240881,"id":"Q3240881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q580438$6461D6A8-EA44-49DF-8C2F-5119D84145CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06e18cb83392ec87177d6e399407e9c8fc68529c","datavalue":{"value":{"entity-type":"item","numeric-id":2536834,"id":"Q2536834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q580438$0ED6E145-A593-47A3-BD2A-864ED7F7B542","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65cbaecd66ddec7338d9c66772ac62687a5a2a60","datavalue":{"value":{"entity-type":"item","numeric-id":5599247,"id":"Q5599247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q580438$F13634CC-7686-4692-871F-66E82BE59E34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"57f180f0afe42aa94c1c7013f611fbc48c73496d","datavalue":{"value":{"entity-type":"item","numeric-id":1243318,"id":"Q1243318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q580438$26768799-15A5-40BC-91AE-BD1EDA2579CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0ded7734b1c0d260fd68b1f2fcfb0644c5a310c","datavalue":{"value":{"entity-type":"item","numeric-id":5811265,"id":"Q5811265"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q580438$DD8C4D29-DDD9-44BD-B5DB-37D277D13761","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b845d5fed950c46044934696a0e88c9325955567","datavalue":{"value":{"entity-type":"item","numeric-id":4769125,"id":"Q4769125"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q580438$0A89A12C-9B90-4363-807F-3331A04CBE93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f40170e727c2e462567a72cfc4cedc4071e67f9","datavalue":{"value":{"entity-type":"item","numeric-id":5521578,"id":"Q5521578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q580438$4014CF37-666E-42A5-A751-3B8B6E668FE6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c90844ddd81df1948f02f03e2f4b8155b5bcb6d1","datavalue":{"value":{"entity-type":"item","numeric-id":3325837,"id":"Q3325837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"470684c9492b07950ad76b627149c40cd1d72915","datavalue":{"value":{"amount":"+0.7890310883522034","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":"Q580438$F2E56438-6764-4A3D-9BF1-FEF6F745699A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1566d2dac17c7c4762599eb5a8439cfede1d986b","datavalue":{"value":{"entity-type":"item","numeric-id":1187062,"id":"Q1187062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b17183a1ffc51625a8f2244c1d4572ca23459885","datavalue":{"value":{"amount":"+0.7844136953353882","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":"Q580438$FCEDBE64-3A8B-4D3A-A775-8B4862E1EF13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"15f5c3148bc44e51d9831f93cd1cbb9b9fe3bc12","datavalue":{"value":{"entity-type":"item","numeric-id":4300609,"id":"Q4300609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0ad46a66abd5e7e06be18306bb17cb422ed1a171","datavalue":{"value":{"amount":"+0.784231424331665","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":"Q580438$8C7D05AE-CCF6-4CEC-880A-028E58184B50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"841f778ea6def4bc396aa273508a7036b1253584","datavalue":{"value":{"entity-type":"item","numeric-id":4243657,"id":"Q4243657"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3dd296a6a16a9bd80fc871b28e009607189274d4","datavalue":{"value":{"amount":"+0.7762759923934937","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":"Q580438$0AE3030F-51ED-4B30-8A18-CB7130F3A257","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5d2ff5ad7eb0c62111a706f6f9ebb0fb5f549b84","datavalue":{"value":{"entity-type":"item","numeric-id":1112117,"id":"Q1112117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3dd296a6a16a9bd80fc871b28e009607189274d4","datavalue":{"value":{"amount":"+0.7762759923934937","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":"Q580438$BB8A8F4E-179F-4264-90FE-FDEA146BFE45","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Invariant factor theorem for Pr\u00fcfer domains of finite character","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Invariant_factor_theorem_for_Pr%C3%BCfer_domains_of_finite_character"}}}}}