{"entities":{"Q2476016":{"pageid":2486759,"ns":120,"title":"Item:Q2476016","lastrevid":50303903,"modified":"2026-01-13T19:08:44Z","type":"item","id":"Q2476016","labels":{"en":{"language":"en","value":"Seminormal rings (following Thierry Coquand)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5248157"}},"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":"Q2476016$D39A19FD-3271-41E9-880A-2E0355CC6BB5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5456da127438886853706ec238e5ecaa48f7133c","datavalue":{"value":{"text":"Seminormal rings (following Thierry Coquand)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2476016$6F780E90-74CD-464A-9978-516AEDC46265","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"85a27234c74b39e1b9a92e9ea1b23883502df313","datavalue":{"value":"1136.13004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2476016$0CD45337-486F-463E-914E-EA7EDF02B599","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2476016$163D28E1-A1BD-437D-9289-CA76FA031DDD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c5191b06fb6cb88c011afaa0f154255cfe3a8de0","datavalue":{"value":{"time":"+2008-03-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2476016$2D4FC459-0A9E-4C71-B082-2528DD806001","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"a856330fbf11be781dd5cfc59d22555b022c305e","datavalue":{"value":"This paper provides the details of an elementary proof given by \\textit{T.~Coquand} [J. Algebra 305 577--584 (2006; Zbl 1102.13005)] of the Traverso-Swan theorem [\\textit{C.~Traverso}, Ann. Sc. Norm. Sup. Pisa 24 585--595 (1970; Zbl 0205.50501); \\textit{R.~G.~Swan}, J. Algebra 67 210--229 (1980; Zbl 0473.13001)]. The theorem states that a reduced ring is seminormal if and only if the natural homomorphism \\(\\mathrm{Pic}(A) \\to\\mathrm{Pic}(A[X])\\) is an isomorphism. The authors use the fact that the category of finitely-generated projective modules over \\(A\\) is equivalent to the category whose objects are idempotent matrices \\(P\\), \\(Q\\) with coefficients in \\(A\\), and whose morphisms from \\(P\\) to \\(Q\\) are given by matrices \\(H\\) such that \\(QH = H = HP\\). Their major strategy is to replace localisation at a generic minimal prime \\(\\mathfrak p\\) by a tree computation, which arises from the argument that any element \\(a\\) of the ring is either inside or outside the generic minimal prime. In the six page annex, the authors provide some additional details. In particular, they discuss zero-dimensional reduced rings and \\(pp\\)-rings (rings where the annihilator of each element is a prinicipal ideal generated by an idempotent) and their relations to fields and integral rings, respectively.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2476016$D9F91F59-E4A6-45A2-9B73-484B3F486CF3","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"8ec5a269bc17111433690f8f34a83594abbce3ee","datavalue":{"value":{"entity-type":"item","numeric-id":616899,"id":"Q616899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2476016$9DDD96DC-7243-4ECE-9D4B-45D019B5C5C3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c2b1f5145518dc1aaa52cc2cbf9b87458349a99f","datavalue":{"value":"13B22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2476016$9D6D1C67-0BC3-499D-93C7-9C41B9B57F10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3261dadc98deaaa969a534e2a2cb92fd4aa565f7","datavalue":{"value":"13P99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2476016$ADE8253A-1426-493E-9ADA-C7FD9C262090","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7908fff1ff53eb486bbba80fd6810bf2454a271e","datavalue":{"value":"5248157","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2476016$37584586-CFCC-4E88-8CDF-D58DAC0DA09A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bfa0d940d75d6b25b2bc25e80e29125c3aa6ec54","datavalue":{"value":"seminormal rings","type":"string"},"datatype":"string"},"type":"statement","id":"Q2476016$9AA8DDC4-0DFB-4347-9475-874F63A4B4E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4a7d4eb827e4106e2eafb882b28082e08ada4c4a","datavalue":{"value":"Traverso's Theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q2476016$56A5DC0C-CC64-4586-BCA2-1DB9910F5EF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f05b96a3b56bcbf16250553557f268d9b9e694ce","datavalue":{"value":"constructive algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q2476016$F6C6B668-7898-4117-9844-FB251840E8A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"32045fbb17e5a05dd41cf3e94d93fb1ca160f9d1","datavalue":{"value":"minimal primes","type":"string"},"datatype":"string"},"type":"statement","id":"Q2476016$A2F2F264-24AA-49C1-84D3-2F77C5FA5B76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7082ca03d79930ffb6836310d1c4a940dd444889","datavalue":{"value":"dynamical method","type":"string"},"datatype":"string"},"type":"statement","id":"Q2476016$F77448E1-A2C5-4BA8-94E6-72E7D3FE114A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"034f9a5ed642447d20b564d6effa648f9746422b","datavalue":{"value":{"entity-type":"item","numeric-id":208823,"id":"Q208823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2476016$992A76D1-E20D-4B17-B9A3-8D1BABB8FC38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"856d97088e4f2042cd2996e323de15541bb168d4","datavalue":{"value":{"entity-type":"item","numeric-id":607060,"id":"Q607060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2476016$4B20A2F3-E690-4F8A-90CF-6EE93D4C13CB","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":"Q2476016$6A745B65-FE98-4C76-830C-B8781767827C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"46e0fa5deb79f1856a9ac8b3b9fa865b0de583ce","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2007.10.007","type":"string"},"datatype":"url"},"type":"statement","id":"Q2476016$D23BDB10-7F17-4B77-BD94-A774D0140E04","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f45682eb1cd0e63871ad10b027f38f45cac9e72e","datavalue":{"value":"W2005770297","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2476016$3D3AB3B2-3178-47FF-947C-0BF5FF12C784","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"80ea52bd63a91e608418f685bc9ce12f1922dfdc","datavalue":{"value":{"entity-type":"item","numeric-id":1145735,"id":"Q1145735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2476016$3453F1F4-9A8C-48A0-BBC5-68C47F95B2CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a8abfaddacd2cbc0e2d4a61b4c4a4c872fd2cc91","datavalue":{"value":{"entity-type":"item","numeric-id":5898271,"id":"Q5898271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2476016$8ADA580D-14A9-45E5-8ABC-B1E0D38BF223","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f9e9dda7ed8c2504700ef1b47d737a544a6ef641","datavalue":{"value":{"entity-type":"item","numeric-id":1426642,"id":"Q1426642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2476016$7624328F-3F16-4D34-9059-3476D4570AD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4aa0c09f706da2719466bb681124229945ea3c5","datavalue":{"value":{"entity-type":"item","numeric-id":4736173,"id":"Q4736173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2476016$61C5752A-CAC2-4F22-BC19-4405873CCC8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a15c554b429cd2716aa00407ad0c3e5d01ed8190","datavalue":{"value":{"entity-type":"item","numeric-id":706187,"id":"Q706187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2476016$7425AB60-F425-48CC-8B6B-B2D8807B656F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b86b6e4c507b20572b7eefc937904008e6393d7f","datavalue":{"value":{"entity-type":"item","numeric-id":3620479,"id":"Q3620479"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2476016$09389A0E-3ED0-49BC-813F-917D400B2543","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"608900874faa437c565eb672a59c5c727ccbe2b7","datavalue":{"value":{"entity-type":"item","numeric-id":5718574,"id":"Q5718574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2476016$AC101C29-745B-48B8-A8F7-6CDD9688E4A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4598a2f0d8250e52c392b2217273aea85b237a5","datavalue":{"value":{"entity-type":"item","numeric-id":5946086,"id":"Q5946086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2476016$0E7A05FC-4E88-4F84-B84B-B35E3393CC37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"457aabfafb3eeaa2d8c9d292f695b633609781dd","datavalue":{"value":{"entity-type":"item","numeric-id":1060193,"id":"Q1060193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2476016$A03A6E11-DC20-4897-AC3B-9DE8BF688D0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b283b80edc5d55781cfc32a157f739605d88014","datavalue":{"value":{"entity-type":"item","numeric-id":1137075,"id":"Q1137075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2476016$BC9B2DC3-5C0B-4278-8E57-46CC52F4A2DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4692171a12438b6a4d117d58d5b11edc0f71fac0","datavalue":{"value":{"entity-type":"item","numeric-id":1073844,"id":"Q1073844"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2476016$0F725087-9FBE-4028-92FB-E80A30A1B14E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"364715fdc2f0e93e050fee5206acb2c2513c84c0","datavalue":{"value":{"entity-type":"item","numeric-id":1210701,"id":"Q1210701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2476016$AF35F587-4EA4-431B-A77A-B3E9D6B3B1D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d0442079c41920f7eb9842967dbbb4a157c7755","datavalue":{"value":{"entity-type":"item","numeric-id":4138825,"id":"Q4138825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2476016$80702D3C-DB72-4D01-9353-0172A858255B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb6cc93315798291702047216a123b9db32631fc","datavalue":{"value":{"entity-type":"item","numeric-id":4732551,"id":"Q4732551"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2476016$77623144-F9E5-490A-BDD5-2334A9D0581A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c88823221d6eb492994fe920351114fbb4994474","datavalue":{"value":{"entity-type":"item","numeric-id":5904936,"id":"Q5904936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2476016$F051B32B-6C37-4524-9A48-1F6622235567","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60dbcfe4b01f440c33a3edcae584ab53cf5c25be","datavalue":{"value":{"entity-type":"item","numeric-id":5605674,"id":"Q5605674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2476016$1339C9CC-3D3F-4C47-A39A-8637AE29F936","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c0204275e5d4ad069b72b09bd6b0fc570063327f","datavalue":{"value":{"entity-type":"item","numeric-id":2476020,"id":"Q2476020"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2476016$300A848A-3303-46BF-9BDE-0128F4592853","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7e3e9c90f8be2fc4907d9d45d357832db77c1a15","datavalue":{"value":"10.1016/J.TCS.2007.10.007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2476016$F0F31EAA-5F7B-49BF-BF62-5ADC3BC1370C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad9f7ff67c4ac411bc3b6bd304c0c8d3e15132b8","datavalue":{"value":{"entity-type":"item","numeric-id":5898271,"id":"Q5898271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7639d08485c2a3159d664c53086c45a401d7d814","datavalue":{"value":{"amount":"+0.8633013367652893","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":"Q2476016$7A5EF6EF-EC9C-4255-AE7E-FC45C096E9C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"820467db36fcc0a4aca4a28c0bee5d937286d742","datavalue":{"value":{"entity-type":"item","numeric-id":948720,"id":"Q948720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2980add06bb3e2236a3a9db427aa476431a6508e","datavalue":{"value":{"amount":"+0.8359784483909607","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":"Q2476016$E11D88F5-485F-4BA1-B03E-3622F2F59D03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"281e1e099abe395777b306fa91ee04200d782c57","datavalue":{"value":{"entity-type":"item","numeric-id":1120626,"id":"Q1120626"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b299809f2fb04b94b89d6eb51014517895b0b197","datavalue":{"value":{"amount":"+0.8165737986564636","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":"Q2476016$594947F6-943B-479F-88D2-8C070F144B77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f087fb265890e6c129ac416a8860fa2dc6032fde","datavalue":{"value":{"entity-type":"item","numeric-id":734757,"id":"Q734757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"97ac9544677f061221a55f1a0e2a91adb8f2501b","datavalue":{"value":{"amount":"+0.7672353982925415","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":"Q2476016$E97CCDD7-633E-4A1B-9685-E3504DB4CE94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d916c6bc9031150f03a5b40d29ee4cb9cfa58f9e","datavalue":{"value":{"entity-type":"item","numeric-id":4222639,"id":"Q4222639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"71a31b302061427bd9c846ff3bdb226e39e4f368","datavalue":{"value":{"amount":"+0.7350415587425232","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":"Q2476016$68601B04-7865-4CC1-A282-92A418C43B88","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2476016","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2476016"}}}}}