{"entities":{"Q1307430":{"pageid":1318180,"ns":120,"title":"Item:Q1307430","lastrevid":68418258,"modified":"2026-04-12T23:34:38Z","type":"item","id":"Q1307430","labels":{"en":{"language":"en","value":"On the simultaneous basis property in Pr\u00fcfer domains"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1355153"}},"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":"Q1307430$FB08249C-6C4F-4F80-8857-D5608ABBFAE9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"545ea3e14a34ccd69cc525309e188f90bc4e5f9f","datavalue":{"value":{"text":"On the simultaneous basis property in Pr\u00fcfer domains","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1307430$E9215D7F-3FB6-4FAD-8E9F-01B0F08DF21C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ef9ee1605fab4cfdeef22bd729bea2c3d50ffcb7","datavalue":{"value":"0929.13017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1307430$7C1188C8-2968-4EF1-8FDD-DB19CA9D5D24","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6a9734f69d9b3936f1d9053091a7a20c50eac12f","datavalue":{"value":"10.1023/A:1006537212456","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1307430$C270F073-A669-44B4-8AEE-BF35C82E4F4A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"851eba16fd860342f7bdb508650173aaafb8e9a4","datavalue":{"value":{"entity-type":"item","numeric-id":1307428,"id":"Q1307428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1307430$DBB4C8BB-5F29-4493-9FBD-D69774762D6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1f2d223ae16ca589670080b423055e7607b71d4f","datavalue":{"value":{"entity-type":"item","numeric-id":499332,"id":"Q499332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1307430$CA67B219-5B16-4D99-B901-BE9541325489","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4b942190e17083b575cb45317653fe779fdb5a77","datavalue":{"value":{"entity-type":"item","numeric-id":168571,"id":"Q168571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1307430$C9C3E320-6A5E-4367-85D8-69AE29AC0550","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bd5fe418ce0a2d6da5e54c8707dea6df216e12e0","datavalue":{"value":{"time":"+1999-10-31T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1307430$7E8F3A82-C0FD-419D-AB7E-677A7773F84D","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"3416a13afd2aa34ddf7b955aec9b923d90fefdaf","datavalue":{"value":"A pair \\((F,G)\\) of \\(n\\times n\\) and \\(n\\times m\\) matrices over the commutative ring \\(R\\) is called a system over \\(R\\). A system \\((F,G)\\) over \\(R\\) is said to be reachable if the \\(R\\)-module generated by the columns of the matrix \\([G, FG,\\ldots,F^{n-1}G]\\) is \\(R^n\\). A system \\((F,G)\\) over \\(R\\) is called pole assignable if for any \\(r_1,r_2,\\ldots, r_n\\in R\\) there exists a matrix \\(K\\) over \\(R\\) such that the characteristic polynomial of the matrix \\(F+GK\\) is \\((z-r_1)(z-r_2)\\cdots(z-r_n)\\). The ring \\(R\\) is said to have the PA-property if each reachable system over \\(R\\) is pole assignable.    The content of a matrix \\(G\\) over \\(R\\) is the ideal of \\(R\\) generated by the entries of \\(G\\). \\(G\\) is called a matrix with unit content if its content is \\(R\\).    The commutative ring \\(R\\) is said to have the UCS-property if for each \\(n\\times m\\) matrix with unit content there exists a matrix \\(V\\) such that \\(GV\\) is a vector with unit content and all \\(2\\times 2\\) minors of \\(GV\\) are zero. A Dedekind domain \\(D\\) is said to have the simultaneous basis property (SB-property) if for any two finitely generated torsion-free modules \\(N\\subseteq M\\) over \\( D\\) there exist fractional ideals \\(J_1,\\ldots,J_m\\), integral ideals \\(A_1\\supseteq \\ldots\\supseteq A_n\\) and elements \\(x_1,\\ldots,x_m\\in M\\) with \\(M=\\sum_{i=1}^m J_i x_i\\), \\(N=\\sum_{k=1}^nA_kJ_kx_k\\) (direct sums) and \\(n\\leq m\\). This property can be generalized to Pr\u00fcfer domains [see e.g. \\textit{J. Brewer, D. Katz} and \\textit{W. Ullery} [J. Algebra 106, 265-286 (1987; Zbl 0611.13016)].    The main results of the paper are the following: (1) If \\(D\\) is a Pr\u00fcfer domain such that any proper invertible integral ideal of \\(D\\) is contained in a nonemtpy finite set of finitely generated maximal ideals then \\(D\\) has the SB-property; (2) In any commutative ring the UCS-property implies the PA-property.   These results are used to answer two problems partially: Does every Pr\u00fcfer domain have the PA-property? Is every B\u00e9zout domain an elementary divisor domain?","type":"string"},"datatype":"string"},"type":"statement","id":"Q1307430$CE2880DD-BC4D-45D5-9441-E44D434F7960","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6b7d280784e3e535f98c580c25a7302405be20d","datavalue":{"value":"13F50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1307430$A00170B7-5EC3-4483-81EB-51D26E9BD282","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6f8bdb86f95f385c1922e11e3095b661f16ddd4","datavalue":{"value":"13F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1307430$846C8B7C-F371-49F6-B981-3AC31CB9BC85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9f44c3e05f007359b39a58b0e4e67e343748285e","datavalue":{"value":"13C05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1307430$9A0F8870-EF61-4401-87C3-0CB8D04E2498","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6b0dc8e83b9047d222edba8e09bb0a5a795ac0d4","datavalue":{"value":"1355153","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1307430$7B300A7D-386D-4F78-8DE2-827BDB5CE343","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ad77e7b43d21b9d410cac687c3f5b87e180501ee","datavalue":{"value":"simultaneous basis property","type":"string"},"datatype":"string"},"type":"statement","id":"Q1307430$5FF71315-39CA-4EC2-9E3F-90B534704636","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"843edf13197a9573b76a5372c2e834050044f164","datavalue":{"value":"Pr\u00fcfer domain","type":"string"},"datatype":"string"},"type":"statement","id":"Q1307430$CD75155F-DC19-409D-985C-85B4E2D05C10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9cdd7a3bde22af7c540c1d794bcabd0ba9411311","datavalue":{"value":"reachable system","type":"string"},"datatype":"string"},"type":"statement","id":"Q1307430$378640B1-374F-4090-9B06-E9D9C508C754","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"85c8e95e1c581b4703f7758ebafa0356ddcbb4e2","datavalue":{"value":"pole assignable","type":"string"},"datatype":"string"},"type":"statement","id":"Q1307430$9D8E87EC-66B0-4E1B-A892-5037D63881AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"329b3926745e1fa9efa82971bc1821f0fed3e731","datavalue":{"value":"PA-property","type":"string"},"datatype":"string"},"type":"statement","id":"Q1307430$3C3F9846-B9FE-41A0-9641-C0A4CF38AB74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bd2bb0930bea7395837a4b67cf1808d1978876a0","datavalue":{"value":"B\u00e9zout domain","type":"string"},"datatype":"string"},"type":"statement","id":"Q1307430$1B97BD78-DAE2-4D7C-9EA4-A8E511F896E9","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"49e16722b62b804bb9525323550498ce80b2c4fb","datavalue":{"value":{"entity-type":"item","numeric-id":589398,"id":"Q589398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1307430$8CDABAF6-2776-462C-93C0-5ADB71F1D55A","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":"Q1307430$2FDAC5AF-0776-4BE0-B66B-02130EA1F751","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"24ec293ab6db7a45f8d1581ca6c5f9d22dde45d1","datavalue":{"value":"https://doi.org/10.1023/a:1006537212456","type":"string"},"datatype":"url"},"type":"statement","id":"Q1307430$D220FDA2-40C3-4C43-A900-47A81EA32548","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e97f0b47a9629a993898aaebd04ad246613eb807","datavalue":{"value":"W2091844704","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1307430$D0FA0B97-87C0-490C-A1E2-3DBFF16C4836","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"07e0a37a9de7af62023278acb867abcf8e784c1d","datavalue":{"value":{"entity-type":"item","numeric-id":1107583,"id":"Q1107583"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"90cab3c94f86a9335cdfb5aee079a7d1575b843c","datavalue":{"value":{"amount":"+0.8266627788543701","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":"Q1307430$EB1B2981-DBF0-42EA-B7B0-F44EAD3D4612","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":"64a3b8438c7b78d5821f1519463d767d3f1a09b8","datavalue":{"value":{"amount":"+0.8082320094108582","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":"Q1307430$3C174A92-0E58-4E0F-BCAB-884371356FAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f314b557ac62b8094cb76e5812cd862183720f0a","datavalue":{"value":{"entity-type":"item","numeric-id":1063647,"id":"Q1063647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"08a160daf1dfbf6a81b017acc3cdbcff8e20edf8","datavalue":{"value":{"amount":"+0.8053942918777466","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":"Q1307430$512EA272-C441-4C18-9C45-ACD396F91E03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"377ad1fc2e10330057ff2377dfea457b424488ac","datavalue":{"value":{"entity-type":"item","numeric-id":3688486,"id":"Q3688486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6f66abddaa8fed3f6eb034badb3e04cfd354edc4","datavalue":{"value":{"amount":"+0.7978097200393677","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":"Q1307430$33D750A9-709C-4E4A-8897-6BCBD16FAB1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5fdd8bc42efc361ea004d86e73935965e65ab3fe","datavalue":{"value":{"entity-type":"item","numeric-id":3737578,"id":"Q3737578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fd436d4597d6d2b604ebb92ced0aa2fde0a0fb0a","datavalue":{"value":{"amount":"+0.7869230508804321","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":"Q1307430$93D1CE86-997E-4DFB-AB1E-FB92B0E0F744","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On the simultaneous basis property in Pr\u00fcfer domains","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_the_simultaneous_basis_property_in_Pr%C3%BCfer_domains"}}}}}