{"entities":{"Q1084474":{"pageid":1095226,"ns":120,"title":"Item:Q1084474","lastrevid":69600534,"modified":"2026-04-13T08:07:22Z","type":"item","id":"Q1084474","labels":{"en":{"language":"en","value":"A characterization of separable polynomials over a ring"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3979274"}},"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":"Q1084474$743B7ADA-5D2A-4CC0-8AE2-1D9D953B2FB8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3c60e09868e31aeaeac555f1e08f05772e269f15","datavalue":{"value":{"text":"A characterization of separable polynomials over a ring","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1084474$3FE1EDAE-615A-4DB8-AD8C-A053DF8A2881","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a5f6026e9b25da612a538fe81f596f280443d51e","datavalue":{"value":"0606.16001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1084474$B37D972E-540F-4F57-9F4F-01B9AE277A11","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"058d21c1311c73d9a3d51776f8e9a551934804d6","datavalue":{"value":"10.1007/BF01961006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1084474$CF9F19FE-5EBF-47FF-A335-6C19F9F7D138","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6d67b75f7925ae304be653404580965f3cd1040f","datavalue":{"value":{"entity-type":"item","numeric-id":175203,"id":"Q175203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1084474$6865E28E-F2E4-46B3-8184-0DF51A198D11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b5aeb39e6cf79b708f4dc5019548dbd15da1f6c3","datavalue":{"value":{"entity-type":"item","numeric-id":1084473,"id":"Q1084473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1084474$B5E5F503-9A44-4456-A894-3A355540789C","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":"Q1084474$AAB51D40-4C4E-40A8-88F4-21CB27796987","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3c94df5c9af0ede578c52141befd29044de13172","datavalue":{"value":{"time":"+1985-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":"Q1084474$54BC6BE1-12B0-4FB0-87DD-873EB1A421E7","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"701c1300f15eed5d35ae8c453fdb53083706114f","datavalue":{"value":"Let R be a ring, not necessarily commutative, having a unity. Write \\(S=R[X]\\) for the polynomial ring in an indeterminate X satisfying \\(rX=Xr\\) for each \\(r\\in R\\). Suppose that f(X)\\(\\in S\\) is monic and that \\(I=(f(X))\\) is the ideal of S generated by f(X). Then f(X) is called a separable polynomial over R if \\(\\bar S=S/I\\) is a separable ring extension over R having a free basis \\(\\{1,x,...,x^{n-1}\\}\\), where \\(x=X+I\\). Given \\(s\\in \\bar S\\), we define the trace t(s) to be \\(\\sum_{i}\\pi_ i(sx^ i)\\), where \\(\\pi_ i\\) is the \\(i^{th}\\) projection map, and we let T be the \\(n\\times n\\) matrix with \\(t(x^ ix^ j)\\) as the entry in position \\((i+1,j+1)\\), for \\(i,j=0,1,...,n-1.\\)    \\textit{F. DeMeyer} and \\textit{E. Ingraham} [Separable algebras over commutative rings (Lect. Notes Math. 181, 1971; Zbl 0215.366)] have shown that if R is commutative then f(X) is separable over R if and only if the determinant of T is a unit in R. This theorem is generalized in the present paper. It is shown that (i) when R is finitely generated and projective over its centre, f(X) is separable if and only if T is invertible and (ii) when R is non-commutative, finitely generated and projective over its centre C, then f(X) is separable if and only if the determinant of T is a unit in C.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1084474$B8CFC7E4-4E7A-4730-8B81-EEF0FF1CFAE9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f5701d50840ddc1d4c58c8ef7660c67b26a6a240","datavalue":{"value":"16W60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1084474$C038365E-FE08-44B7-8235-B3A0C52B5743","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"28d3bec2f6e07bd25e07bd6f80d073cd0bf2c7d8","datavalue":{"value":"16H05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1084474$D2B019E9-203B-443C-809A-FF919A097F04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"56776fd0ecdf277b9fc0f93f74f057052d6242bb","datavalue":{"value":"16S20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1084474$E6B0A34C-7818-449D-9216-D06F6E495C36","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2ce0f783e6ebedfb627e2c2e49cc6de5dda74ece","datavalue":{"value":"3979274","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1084474$D24262D5-B80A-4197-B2CF-5CED5BA1ACAF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cc78d2b80333a2fe1bc4959ce23126c928c3921f","datavalue":{"value":"polynomial ring","type":"string"},"datatype":"string"},"type":"statement","id":"Q1084474$6277B6C0-3932-480C-BC3D-5CA3B9098CEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"44254350c7b22fcbf5158d6627061bbe32422e67","datavalue":{"value":"separable polynomial","type":"string"},"datatype":"string"},"type":"statement","id":"Q1084474$613C1D5F-89E6-40C0-BD26-356DF17F720D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1af51f7527efa81c236b3803d2e458743ec674c4","datavalue":{"value":"separable ring extension","type":"string"},"datatype":"string"},"type":"statement","id":"Q1084474$71EFB883-52C3-40C5-B530-1F834733CF05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"769ec1e6467950f052463d406cb65a77d888cc63","datavalue":{"value":"free basis","type":"string"},"datatype":"string"},"type":"statement","id":"Q1084474$8603A989-7504-4898-8AA7-2EDB72C837CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"574f1053a5d0cb138eeb1d178cfc4915c70a8532","datavalue":{"value":"determinant","type":"string"},"datatype":"string"},"type":"statement","id":"Q1084474$93812EE0-101D-49B4-A598-FA52647CB3D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"416cdc6f16e111e4cff0a592c0f7bffb690346b3","datavalue":{"value":"unit","type":"string"},"datatype":"string"},"type":"statement","id":"Q1084474$92726FC0-8902-4E92-B683-E561A0BC7947","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":"Q1084474$BE5BC1C1-D2B5-44E2-BE3D-60A8AB21E697","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a79aec6c8377d1aef4231532a1d2021e6092f6f","datavalue":{"value":{"entity-type":"item","numeric-id":2545717,"id":"Q2545717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1084474$1032C1A8-3E7B-4C92-9635-C90AF1C005A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5f6819e7959ca372a33ca00c5cd04a6580bf507","datavalue":{"value":{"entity-type":"item","numeric-id":5515448,"id":"Q5515448"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1084474$72361B21-B08D-4AEE-BE51-1FAE717C5CC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b7947ccec026a324baae33abcb337f7e1a8a77a","datavalue":{"value":{"entity-type":"item","numeric-id":1136828,"id":"Q1136828"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1084474$EDEF82C4-2DF3-4762-986C-CC52473C22F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3124753059e9cdd1e7e8b1b5cd4314fb02ac23a9","datavalue":{"value":{"entity-type":"item","numeric-id":1152437,"id":"Q1152437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1084474$483A6D43-6112-4514-AED4-29F99082AA18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7df34ae489616a57e4f59f64e06cdf87114f9ef9","datavalue":{"value":{"entity-type":"item","numeric-id":3949161,"id":"Q3949161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1084474$2B9A27DB-A5B4-40B9-98A3-F55668D97A43","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1729fdab422ecc1374fa53ed5b6d1df84fc1a26d","datavalue":{"value":"https://doi.org/10.1007/bf01961006","type":"string"},"datatype":"url"},"type":"statement","id":"Q1084474$03A824EB-31AF-4148-9831-975394CF3A72","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1f08d9aaac8c0fe13201be2fa03b8a83e3249362","datavalue":{"value":"W2072827629","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1084474$7E32A883-4A7B-49D9-BFC2-94846C180E93","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0b2400aa41c4bbbffbbe73b58223c1145c813469","datavalue":{"value":{"entity-type":"item","numeric-id":3697174,"id":"Q3697174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"44806ee060cecfdbbb7452cd0ca3a83090ef4829","datavalue":{"value":{"amount":"+0.8703744411468506","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":"Q1084474$575FB2C9-C4AA-48D8-A401-1CA038316320","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"91d87559c2b169d818cd66809ddfd6777aca598b","datavalue":{"value":{"entity-type":"item","numeric-id":5618458,"id":"Q5618458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"edefdb65aca249a6da4108c128532c5895719438","datavalue":{"value":{"amount":"+0.8321238160133362","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":"Q1084474$CCBCC377-7925-47A9-B5D1-7E34F900BF52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6154caa3690041ad830bf94d662afa449441ee98","datavalue":{"value":{"entity-type":"item","numeric-id":1946863,"id":"Q1946863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d8dd92051c2670f5911746d40db3cdc70672940e","datavalue":{"value":{"amount":"+0.8242427110671997","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":"Q1084474$C4DED0A1-B64F-413D-9E18-978A817E489B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6374af44621978aa886bf3e2bd27fbde9047cb8f","datavalue":{"value":{"entity-type":"item","numeric-id":5744631,"id":"Q5744631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5bfad45b1b7b1b299dfaa11e8aeb86e70677bebe","datavalue":{"value":{"amount":"+0.8140718936920166","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":"Q1084474$1F4DE79E-B42D-4536-BA95-CB7FAEDDFA27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a49a40b7bc2d7f4372956fa462844931e281cea7","datavalue":{"value":{"entity-type":"item","numeric-id":3551438,"id":"Q3551438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"69f829f83bde708be48db4dfc0c1a52ca8939ac5","datavalue":{"value":{"amount":"+0.8046226501464844","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":"Q1084474$1368933B-C396-4EC7-A17E-DA66789E59D5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A characterization of separable polynomials over a ring","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_characterization_of_separable_polynomials_over_a_ring"}}}}}