h1

000051261 001__ 51261
000051261 005__ 20220422215627.0
000051261 0247_ $$2Laufende Nummer$$a29439
000051261 0247_ $$2URN$$aurn:nbn:de:hbz:82-opus-29402
000051261 0247_ $$2HBZ$$aHT016068188
000051261 0247_ $$2OPUS$$a2940
000051261 037__ $$aRWTH-CONV-113572
000051261 041__ $$aEnglish
000051261 082__ $$a510
000051261 0847_ $$2msc$$a11T71
000051261 1001_ $$0P:(DE-82)016449$$aGünther, Annika$$b0$$eAuthor
000051261 245__ $$aAutomorphism groups of self-dual codes$$cvorgelegt von Annika Günther$$honline, print
000051261 246_3 $$aAutomorphismengruppen selbstdualer Codes$$yGerman
000051261 260__ $$aAachen$$bPublikationsserver der RWTH Aachen University$$c2009
000051261 300__ $$a149 S. : graph. Darst.
000051261 3367_ $$0PUB:(DE-HGF)11$$2PUB:(DE-HGF)$$aDissertation / PhD Thesis$$bphd$$mphd
000051261 3367_ $$02$$2EndNote$$aThesis
000051261 3367_ $$2DRIVER$$adoctoralThesis
000051261 3367_ $$2BibTeX$$aPHDTHESIS
000051261 3367_ $$2DataCite$$aOutput Types/Dissertation
000051261 3367_ $$2ORCID$$aDISSERTATION
000051261 502__ $$aAachen, Techn. Hochsch., Diss., 2009$$gFak01$$o2009-08-28
000051261 520__ $$aThis thesis treats linear block codes, which are classically used in the storage and transmission of digital information. The dual of such a code is the orthogonal space with respect to a Euclidian or Hermitian scalar product. A code which equals its dual is called self-dual. Self-dual codes are of particular interest, for instance since invariant theory provides an overview of the possible weight distributions of these codes, which can be used to prove that certain codes are optimal in error recognition and error correction. The automorphism group of a linear code consists of those coordinate permutations which leave the code (as a set) invariant. Automorphisms establish a certain additional structure on a code. In the case of cyclic codes, for instance, which are invariant under a cyclic shift of the coordinates, this additional structure gives rise to more efficient algorithms for decoding. This thesis investigates linear codes from a representation theoretic point of view, i.e. a code is viewed as a module for the group algebra A over the ground field which is formed by the code's automorphism group. For a given permutation group G, necessary and sufficient criteria are developed for the existence of a self-dual G-invariant code. In particular, a characterization is given for the existence of a self-dual G-invariant Type II code. These are codes over a finite field of characteristic 2 which form a generalization of the so-called doubly-even binary codes. A binary code is said to be doubly-even if all of its Hamming weights are multiples of 4. Moreover, imitating the Kneser neighborhood method, an algorithm is developed to find all self-dual G-invariant codes. In the case where A is semisimple, formulae are given for the number of self-dual G-invariant codes, basically depending on the composition factors of one such code, viewed as an A-module. Using a result by Dickson it is proven that there exists a self-dual G-invariant Type II code of length N, which is a multiple of 8, if and only if G lies in the alternating group on N points and there exists a G-invariant self-dual code of length N (for the latter, an easy representation theoretic criterion is given). To this aim, self-dual Type II codes are viewed as self-dual isotropic subspaces of a quadratic space V, and the group G (as a subgroup of the symmetric group) is naturally embedded into the orthogonal group O of this space. As a subgroup of O, the group G acts on the set of all self-dual isotropic subspaces of V, and a code is G-invariant if and only if the corresponding subspace is stabilized by G. The stabilizer of a self-dual isotropic subspace of V always lies in the kernel of the so-called Dickson invariant, a homomorphism of O which restricts to the sign on the symmetric group. To determine the set of all self-dual G-invariant codes of length N, the neighbor graph of all such codes is introduced. Two codes C,D are adjacent in this graph if and only if their intersection is a maximal submodule of C. It is proven that the neighbor graph is always connected, such that one can determine the whole set of all self-dual G-invariant codes by starting with just one such code, successively computing neighbors in the graph. To illustrate this very efficient algorithm, for some simple groups G all binary codes are determined for which G embeds transitively in the automorphism group. The computation can be simplified using certain canonical automorphisms of the neighbor graph, such that the computation of neighbors can be restricted to orbit representatives of a certain group action. A criterion for the completeness of such a classification is provided by the above-mentioned formulae for the number of self-dual G-invariant codes, if the characteristic of the ground field does not divide the group order. These formulae are proven via a Morita equivalence, reducing the problem to the counting of self-dual linear codes, which is well understood.$$leng
000051261 5203_ $$aDiese Arbeit behandelt klassische lineare Blockcodes, wie sie zur Fehlererkennung und Fehlerkorrektur bei der Übertragung und Speicherung von Daten verwendet werden. Der duale Code zu einem solchen linearen Code ist der Orthogonalraum bezüglich eines Euklidischen oder Hermiteschen Skalarprodukts. Ist ein Code mit seinem dualen Code identisch, so heißt er selbstdual. Selbstduale Codes sind von besonderem mathematischen Interesse, zum Beispiel da die Invariantentheorie einen Überblick über mögliche Gewichtszähler liefert und somit den Nachweis erbringen kann, das gewisse Codes optimale fehlerkorrigierende Eigenschaften haben. Die Automorphismengruppe eines Codes besteht aus den Koordinatenpermutationen, die den Code (als Menge) invariant lassen. Besitzt ein Code gewisse Automorphismen, so verleiht ihm dies zusätzliche Struktur. Im Fall der zyklischen Codes etwa, die invariant sind unter zyklischer Koordinatenpermutation, ermöglicht diese zusäzliche Struktur besonders effiziente Decodieralgorithmen. In der vorliegenden Arbeit werden Codes aus darstellungstheoretischer Sicht betrachtet, das heißt, ein Code wird als Modul über der Gruppenalgebra A aufgefasst, die durch seine Automorphismengruppe über dem Grundkörper gebildet wird. Für eine gegebene Permutationsgruppe G werden in bestimmten Fällen notwendige und hinreichende Kriterien für die Existenz eines G-invarianten selbstdualen Codes bestimmt. Insbesondere wird die Situation charakterisiert, in der ein selbstdualer G-invarianter Typ II-Code existiert. Dies sind Codes über Körpern der Charakteristik 2, die eine Verallgemeinerung der doppelt geraden binären Codes darstellen, Ein binärer Code heißt doppelt gerade, falls die Hamming-Gewichte aller Codewörter durch 4 teilbar sind. Weiter wird in Anlehnung an die Knesersche Nachbarschaftsmethode ein Verfahren entwickelt, mit dem sich die Menge C aller selbstdualen G-invarianten Codes algorithmisch bestimmen lässt. Es werden Formeln entwickelt, mit denen sich die Anzahl der selbstdualen G-invarianten Codes a priori, im Wesentlichen aus den Kompositionsfaktoren eines solchen Codes, aufgefasst als A-Modul, bestimmen lässt, falls A halbeinfach ist. Unter Zuhilfenahme eines Ergebnisses von Dickson wird bewiesen, dass genau dann ein selbstdualer G-invarianter Typ II-Code einer durch 8 teilbaren Länge N existiert, wenn G in der alternierenden Gruppe auf N Punkten liegt und ein selbstdualer G-invarianter Code der Länge N existiert (hierfür wird ein einfaches darstellungstheoretisches Kriterium gegeben). Dazu werden selbstduale Typ II-Codes als selbstduale isotrope Teilräume eines quadratischen Raums V beschrieben und G auf natürliche Weise in die orthogonale Gruppe O dieses quadratischen Raums eingebettet. Als Untergruppe von O operiert G auf dem der Menge aller selbstdualen isotropen Teilräume von V, und ein selbstdualer Typ II-Code ist G-invariant genau dann, wenn der entsprechende Teilraum von V unter G stabilisiert wird. Der Stabilisator eines selbstdualen isotropen Teilraums von V liegt nun im Kern der sogenannten Dickson-Invariante, eines Homomorphismus von O, der auf der symmetrischen Gruppe zum Signum einschränkt. Zur algorithmischen Bestimmung aller G-invarianten selbstdualen Codes der Länge N wird der Nachbarschaftsgraph aller solcher Codes eingeführt. Zwei Codes C,D sind adjazent in diesem Graphen genau dann, wenn ihr Schnitt ein maximaler Teilmodul von C ist. Es wird bewiesen, dass dieser Graph stets zusammenhängend ist und daher die Menge aller selbstdualen G-invarianten Codes durch sukzessive Berechnung von Nachbarn bestimmt werden kann, sobald ein einziger solcher Code bekannt ist. Zur Illustration werden für gewisse einfache Gruppen G alle selbstdualen binären Codes bestimmt, deren Automorphismengruppe eine transitive Untergruppe enthält, welche isomorph zu G ist. Die Berechnungen werden durch gewisse kanonische Automorphismen des Nachbarschaftsgraphen erleichtert, indem der Nachbarschaftsalgorithmus auch auf die Suche nach Bahnenvertretern beschränkt werden kann. Ein Kriterium für die Vollständigkeit einer solchen Klassifikation liefern die Formeln zur Bestimmung der Anzahl aller selbstdualen G-invarianten Codes, falls A halbeinfach ist. Diese Formeln werden mit Hilfe einer Morita-Äquivalenz bewiesen, die das Problem der Anzahlbestimmung im Wesentlichen auf das wohlbkannte Problem der Anzahlbestimmung linearer selbstdualer Codes reduziert.$$lger
000051261 591__ $$aGermany
000051261 650_7 $$2SWD$$aCode
000051261 650_7 $$2SWD$$aNachbarschaftsgraph
000051261 650_7 $$2SWD$$aMorita-Äquivalenz
000051261 650_7 $$2SWD$$aDarstellungstheorie
000051261 650_7 $$2SWD$$aExistenz
000051261 650_7 $$2SWD$$aModul
000051261 650_7 $$2SWD$$alinearer Code
000051261 650_7 $$2SWD$$aTyp 2
000051261 653_7 $$aMathematik
000051261 653_7 $$2ger$$aTyp II
000051261 653_7 $$2eng$$alinear code
000051261 653_7 $$2eng$$aneighbor graph
000051261 653_7 $$2eng$$adickson invariant
000051261 653_7 $$2eng$$atype II
000051261 7001_ $$0P:(DE-82)IDM01288$$aNebe, Gabriele$$b1$$eThesis advisor
000051261 8564_ $$uhttps://publications.rwth-aachen.de/record/51261/files/Guenther_Annika.pdf
000051261 909CO $$ooai:publications.rwth-aachen.de:51261$$pVDB$$pdriver$$purn$$popen_access$$popenaire$$pdnbdelivery
000051261 915__ $$0StatID:(DE-HGF)0510$$2StatID$$aOpenAccess
000051261 9201_ $$0I:(DE-82)114710_20140620$$k114710$$lLehrstuhl D für Mathematik$$x0
000051261 9201_ $$0I:(DE-82)110000_20140620$$k110000$$lFachgruppe Mathematik$$x1
000051261 961__ $$c2014-05-23$$x2009-11-02$$z2012-02-20
000051261 970__ $$aHT016068188
000051261 980__ $$aphd
000051261 980__ $$aI:(DE-82)114710_20140620
000051261 980__ $$aI:(DE-82)110000_20140620
000051261 980__ $$aVDB
000051261 980__ $$aUNRESTRICTED
000051261 980__ $$aConvertedRecord
000051261 9801_ $$aFullTexts
000051261 980__ $$aFullTexts