{"entities":{"Q2444983":{"pageid":2455726,"ns":120,"title":"Item:Q2444983","lastrevid":51973763,"modified":"2026-01-20T16:17:40Z","type":"item","id":"Q2444983","labels":{"en":{"language":"en","value":"On trace codes and Galois invariance over finite commutative chain rings"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6283052"}},"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":"Q2444983$A184E963-F541-4717-87E0-4275B2975402","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b4a66c03d7fdc76a0a2e97af80ca8793a3c58541","datavalue":{"value":{"text":"On trace codes and Galois invariance over finite commutative chain rings","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2444983$CEE3080F-7AFA-43AB-A6DC-BA652362B0AA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4f000e83859fc50ab1c7277e54cc72ab4cbd75c6","datavalue":{"value":"1295.51015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2444983$EC236C0A-70D2-4775-99A3-71F3F1E1E6AE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2ea962667c96e5aa5f94339eb19b681fc0bb3b44","datavalue":{"value":{"entity-type":"item","numeric-id":307906,"id":"Q307906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2444983$D5785744-C0B5-4E2C-AC2F-ADE80366DF36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8f8b068582541ca057e32b0c0b04919846830b49","datavalue":{"value":{"entity-type":"item","numeric-id":652167,"id":"Q652167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2444983$601BBCEA-B9D8-4640-8171-08637B1D0536","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9d49cbdca7b20b31e6eeed08e850915a7deb237f","datavalue":{"value":{"entity-type":"item","numeric-id":776284,"id":"Q776284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2444983$2EC8D83C-2CCD-4E0B-84B3-55CC28ACDD47","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"33122a93dfb64681be222c65bf841053fa198b88","datavalue":{"value":{"entity-type":"item","numeric-id":165874,"id":"Q165874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2444983$8693A372-239E-4BAD-A369-C2F4E1C92D05","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d2dd13c681d94857fdfa1db570998862f586c283","datavalue":{"value":{"time":"+2014-04-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":"Q2444983$1E75C8C8-05D9-499B-B2D1-650192B8F87B","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"95a1b4b82460a9adbb8066a8622d2adfbf72f925","datavalue":{"value":"Let \\(\\mathbb{F}_{q^e}\\) be a finite field with \\(q^e\\) elements and consider a linear code \\(\\mathcal{C}\\) over \\(\\mathbb{F}_{q^m}\\) of length \\(n\\). The subfield code \\(\\mathrm{Res}_{\\mathbb{F}_q}(\\mathcal{C})\\) is defined as the \\(\\mathbb{F}_q\\)-linear code \\(\\mathcal{C}\\cap \\mathbb{F}_q^n\\), while the trace code of \\(\\mathcal{C}\\) is  \\[ \\mathrm{Tr}_{\\mathbb{F}_{q^e}|\\mathbb{F}_q}(\\mathcal{C})=\\left\\{(\\mathrm{Tr}_{\\mathbb{F}_{q^e}|\\mathbb{F}_q}(c_1),\\ldots,\\mathrm{Tr}_{\\mathbb{F}_{q^e}|\\mathbb{F}_q}(c_n))| (c_1,\\ldots,c_n) \\in \\mathcal{C}\\right\\}. \\]  It has been proven [\\textit{M. Giorgetti} and \\textit{A. Previtali}, Finite Fields Appl. 16, No. 2, 96--99 (2010; Zbl 1191.94130)] that \\(\\mathrm{Res}_{\\mathbb{F}_q}(\\mathcal{C})\\subset \\mathrm{Tr}_{\\mathbb{F}_{q^e}|\\mathbb{F}_q}(\\mathcal{C})\\) and that equality holds if and only if \\(\\mathcal{C}\\) is Galois invariant, that is \\(\\mathcal{C}^\\gamma=\\mathcal{C}\\) for each \\(\\gamma \\in \\mathrm{Gal}(\\mathbb{F}_{q^e}|\\mathbb{F}_q)\\).  A commutative ring \\(R\\) is called \\textit{chain ring} if the lattice of all its ideals is a chain. Given two finite commutative chain rings \\(R\\) and \\(S\\) with \\(R\\subset S\\) and \\(1_R=1_S\\), \\(S\\) is called an \\textit{extension} of \\(R\\). If \\(M_R\\) and \\(M_S\\) are the maximal ideals of \\(R\\) and \\(S\\), the extension \\(S|R\\) is called \\textit{separable} if \\(M_RS=M_S\\). Also, the group \\(G\\) of all the automorphisms \\(\\gamma\\) of \\(S\\) such that \\(\\gamma|R\\) is the identity is called the \\textit{Galois group} of the extension \\(S|R\\).  The main result of the paper is the following.  { Theorem.} For any separable extension \\(S|R\\) of finite commutative chain rings and for any \\(S\\)-linear code \\(\\mathcal{C}\\),  \\[ \\mathrm{Res}(\\mathcal{C})= \\mathrm{Tr}(\\mathcal{C}) \\]  if and only if \\(\\mathcal{C}\\) is invariant under the Galois group of \\(S|R\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q2444983$9311FCA7-C370-479D-80D9-32F883A17098","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"2faa2eb6aa0981a61e868b73b70aa50805fbd14e","datavalue":{"value":{"entity-type":"item","numeric-id":265609,"id":"Q265609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2444983$B38ED87E-ACB9-4786-BC9B-2A51DB7376C3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e51adb5fded8427aba510fd00c59eaf339cb8e95","datavalue":{"value":"94B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2444983$2BD1A8B0-2ED5-4CB1-A743-36FFC5928D2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"044a6417f50e877f58916922b712e29e3796314e","datavalue":{"value":"51E22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2444983$FBD442D5-8BF8-4C15-BCAB-A565E8A08EA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"256bc1c0f3979e9d53efc55b6963eb85a63517fb","datavalue":{"value":"13M99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2444983$4F49B736-139A-43E8-AFB6-E26B8AD1F16F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"32ca7a4ebbb364017242b8df1cdc189d7f77e30f","datavalue":{"value":"6283052","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2444983$AEBA45F8-4FEA-4E44-9A51-2B7E5A0D77DA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"57d479bca8b16ab1a857a6540e7ac2db5ab19491","datavalue":{"value":"Galois invariance","type":"string"},"datatype":"string"},"type":"statement","id":"Q2444983$23D7A318-5DA7-4624-AC8C-6DB7D660289D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4abc59c4e2f6a833555839d4ae2cda366de31484","datavalue":{"value":"trace code","type":"string"},"datatype":"string"},"type":"statement","id":"Q2444983$4407EEA4-4A99-4E3B-BB4B-DDBAAF82A1D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ecc3040463d86708f0270fd79fee826a52d486a","datavalue":{"value":"finite chain ring","type":"string"},"datatype":"string"},"type":"statement","id":"Q2444983$506BC893-6696-4A11-B9E4-99BD6DAC10F6","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":"Q2444983$6D701F4E-CCAB-4373-93B2-D19F14101AC3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8d4b1233c366878f70b10739e9b97d527066c4b3","datavalue":{"value":"https://doi.org/10.1016/j.ffa.2013.03.004","type":"string"},"datatype":"url"},"type":"statement","id":"Q2444983$90A5ED71-A889-4507-ADAC-EBEB5C6B51F3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2c82bb0586db46c7a2f23dcf00f2e29535df52c0","datavalue":{"value":"W2070918924","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2444983$FCA62965-0906-486A-A27B-E7ABF8A6C2BB","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"451177d59b2bfc3c3d3554a6b9de071963985c3b","datavalue":{"value":{"entity-type":"item","numeric-id":4822436,"id":"Q4822436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2444983$261CED30-49C5-459E-8927-B23CC73B2E64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"328972c1ce66744fcaf51331579a93ce80f450e1","datavalue":{"value":{"entity-type":"item","numeric-id":4066975,"id":"Q4066975"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2444983$1ECDEC0F-F6DF-4830-9603-FC8DA047BE2E","rank":"normal"},{"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":"Q2444983$2457DD7D-B25C-4864-B41D-C928B598D4FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"613f900a4050bada3616eaf0c08f213aa635dbd5","datavalue":{"value":{"entity-type":"item","numeric-id":964416,"id":"Q964416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2444983$E748AC19-E2D0-4EDF-A552-675B8823E6FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"67659a3385bf42f1d31a0e2f5fc0982a760b32f7","datavalue":{"value":{"entity-type":"item","numeric-id":4308766,"id":"Q4308766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2444983$BC8A1F98-9B9B-4888-872E-92F5B1A41FC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0dae09d9f52be704e7ffc590d170272b75c39f7","datavalue":{"value":{"entity-type":"item","numeric-id":5834678,"id":"Q5834678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2444983$50D97B1F-3C3B-4971-964D-5496E119D539","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"41281e852a498d3fd7506b41ebc07121908fc6a9","datavalue":{"value":{"entity-type":"item","numeric-id":438902,"id":"Q438902"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2444983$7FCB5119-7604-4F69-A6B0-67E3F50AAB92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b804e34e6f1b9089e88b72a600e35a5ec75cae88","datavalue":{"value":{"entity-type":"item","numeric-id":1952268,"id":"Q1952268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2444983$33ED3161-2180-4FEA-8323-1E94E18EDA98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e7f5b6a5f18ae9a099b22dd0c099a7c1c7752657","datavalue":{"value":{"entity-type":"item","numeric-id":2705940,"id":"Q2705940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2444983$00940F97-D85C-4D1C-871B-CCB6E3C1BC3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e27db5bfb9fe0b03d3201aaa290bf2e55d646ce9","datavalue":{"value":{"entity-type":"item","numeric-id":5426883,"id":"Q5426883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2444983$DBCCE5AE-DEE0-4027-8D3D-12A4D11ED821","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f1cf4043bb3eb17debc1ff1552bba85361a4c66","datavalue":{"value":{"entity-type":"item","numeric-id":4046212,"id":"Q4046212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2444983$6262D785-DFF1-4806-96A8-991C305F835C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"370df8d88042184ec658fc3efad724ebe718caf2","datavalue":{"value":{"entity-type":"item","numeric-id":3363241,"id":"Q3363241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2444983$93EFD333-5B19-492C-A241-0933E20E1F6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9dd7e6803079638ec196dfdd040426f0c283d488","datavalue":{"value":{"entity-type":"item","numeric-id":3053873,"id":"Q3053873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2444983$972E5855-3586-46DB-B857-9B8A03E45338","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"723c94a0a96c6345d398f01209250455fd95e688","datavalue":{"value":"10.1016/J.FFA.2013.03.004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2444983$A89E747B-392F-425C-9032-1395E409154C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a02996f4b4ed6388ada5b0d5cf8d4f4aa05eaf49","datavalue":{"value":{"entity-type":"item","numeric-id":964416,"id":"Q964416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9e58558775318eb28529f734186d6c179ddd2cad","datavalue":{"value":{"amount":"+0.8895100355148315","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":"Q2444983$EF803914-7C3B-4038-9F15-F876522F9E00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0224a2a971590911074d924b30083a244b4b610d","datavalue":{"value":{"entity-type":"item","numeric-id":2194507,"id":"Q2194507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c8f1a836b6f00fc4aaf1b6aae71119dc123670ee","datavalue":{"value":{"amount":"+0.8626481294631958","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":"Q2444983$4306F1B3-E6D3-408D-BECE-EB1756BAAE54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"74995dc7f37a0d199874115726d8d73e97db14e1","datavalue":{"value":{"entity-type":"item","numeric-id":2279976,"id":"Q2279976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dbe0c07a766fc445c83dbeffa639a7c19d467e2d","datavalue":{"value":{"amount":"+0.8476654887199402","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":"Q2444983$FA81EABD-B48B-4B4B-A313-C976631A02BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f6c7a185ec1200082395d77288b29f2a05d08eeb","datavalue":{"value":{"entity-type":"item","numeric-id":5260447,"id":"Q5260447"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6cf2c1cac518ac262e685810d9f6b2198d3a4426","datavalue":{"value":{"amount":"+0.8448578119277954","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":"Q2444983$B0EE1FA3-7D19-4F29-AEE0-9040892B7614","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c9267d5f8613886af476c49c6efe0c5407855a11","datavalue":{"value":{"entity-type":"item","numeric-id":2185921,"id":"Q2185921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c9d7bfd95ddabfdec80416d0061b14a3c3e0812d","datavalue":{"value":{"amount":"+0.8082919120788574","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":"Q2444983$4ED34FCB-E371-436A-A446-F53FA3010F18","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2444983","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2444983"}}}}}