literaturverzeichnis - home - springer978-3-642-58973...groups and the sogos system....
TRANSCRIPT
Literaturverzeichnis
I. AIGNER, M.: Kombinatorik. Teilll: Matroide und Transversaltheorie. Hochschultext.Springer-Verlag, Berlin - Heidelberg - New York, 1976.
2. AssMUS JR., E. F. und H. F. MATTSON JR.: New 5-designs. J. Combinatorial Theory, 6:122-151,1969.
3. BELOV, V. I., V. N. LOGACEV und V. P. SANDIMIROV: Construction of a classof linear binary codes meeting Varsamov-Griesmer bound. Probl. Peredaci Inform.,10(3):36--44, 1974.
4. BERLEKAMP, E. R., R. J. McELIECE und H. C. A. VAN TILBORG: On the inherent intractability of certain coding problems. IEEE Trans. Information Theory, IT24(3):384-386, 1978.
5. BERMAN, S. D.: On the theory ofgroup codes. Kibemetika, 3:31-39,1967.6. BETH, TH.: Verfahren der schnellen Fourier-Transformation. Die allgemeine diskre
te Fourier-Transformation - ihre algebraische Beschreibung, Komplexitiit und Implementierung. Teubner StudienbUcher: Informatik. B. G. Teubner Verlag, Stuttgart,1984.
7. BIXBY, R. E.: A strengthenedform ofTutte's characterization of regular matroids. J.Comb. Theory, Ser. B, 20:216-221, 1976.
8. BLAHUT, R. E.: Theory and practice oferror control codes. Addison-Wesley Publishing Company, Reading, Massachusetts, 1983.
9. BOSE, R. C. und D. K. RAY-CHAUDHURI: On a class of error correcting binarygroup codes. Inf. Control, 3:68-79, 1960.
10. BROUWER, A. E.: ,Auskunjtei" iiber die besten (n, k)-Codes iiber GF(q).http://www.win.tue.nl/win/math/dw/voorlincod.html.
II. BROWN, C. A., L. FINKELSTEIN und P. W. PURDOM JR.: Backtrack searching in thepresence ofsymmetry. In: Applied algebra, algebraic algorithms and error-correctingcodes (Rome, 1988), Band 357 der Reihe Lecture Notes in Comput. Sci., Seiten 99110. Springer-Verlag, Berlin, 1989.
12. BRYLAWSKI, T. und D. LUCAS: Uniquely representable combinatorial geometries.Atti dei Convegni Lincei, 17:83-104, 1976. Colloquio intemazionale sulle TeorieCombinatoire con la Collaborazione della American Mathematical Society, 1973, Accad. Naz. Lincei, Rome.
13. BUTLER, G.: Fundamental algorithms for permutation groups, Band 559 der ReiheLecture Notes in Computer Science. Springer-Verlag, Berlin, 1991.
14. CANTEAUT, A. und F. CHABAUD: A new algorithm for finding minimum-weightwords in a linear code: application to primitive narrow-sense BCH codes of length511. Rapport de recherche 2685, INRIA, 1995.
15. CASTAGNOLI, G., 1. L. MASSEY, PH. A. SCHOELLER und N. VON SEEMANN: Onrepeated-root cyclic codes. IEEE Trans. Inf. Theory, 37(2):337-342, 1991.
16. CERASSO, M. G., J. H. B. PECK und 1. P. SINJOU: The compact disc digital audiosystem. Philips Tech. Rev., 40: 151-155, 1982.
17. CLAUSEN, M. und U. BAUM: Fast Fourier transforms. B.1. Wissenschaftsverlag,Mannheim, 1993.
328 Literaturverzeichnis
18. COHEN, H.: A course in computational algebraic number theory, Band 138 der ReiheGraduate Texts in Mathematics. Springer-Verlag, Berlin, 1993.
19. COLBOURN, CH. J. und R. C. READ: Orderly algorithms for generating restrictedclasses ofgraphs. J. Graph Theory, 3(2): 187-195, 1979.
20. DIRICHLET, G. L.: Ober die Reduktion der positiven quadratischen Formen mit dreiunbestimmten ganzen Zahlen. 1. reine angew. Math., 40:209-227, 1850.
21. DISCRETA. Ein Programrnsystem zur Konstruktion von endlichen diskreten Strukturen, insbesondere von t-Designs mit vorgeschriebener Automorphismengruppe.http://www.mathe2.uni-bayreuth.de/betten/DISCRETA/Index. html.
22. DIXON, J. D. und H. S. WILF: The random selection of unlabeled graphs. J. Algorithms, 4:205-213, 1983.
23. ELSPAS, B.: The Theory ofAutonomous Linear Sequential Networks. IRE Transactions on Circuit Theory, CT--6:45--60, 1959.
24. EMDE BOAS, P. VAN: Another NP-Complete Problem and the Complexity ofComputing Short Vectors in a Lattice. Report 81-04, Mathematische Institut, Univ. Amsterdam, 1981.
25. FINCKE, U. und M. POHST: Improved methods for calculating vectors ofshort lengthin a lattice, including a complexity analysis. Math. Comput., 44:463-471, 1985.
26. FOURNEY, G. D.: Concatenated Codes. M.LT. Press, Cambridge, MA., 1966.27. FRIPERTINGER, H.: Enumeration of isometry-classes of linear (n, k)-codes overG F(q) in SYMMETRICA. Bayreuth. Math. Schr., 49:215-223, 1995.
28. FRIPERTINGER, H.: Cycle indices of linear, affine, and projective groups. LinearAlgebra and its Applications, 263:133-156, 1997.
29. FRIPERTINGER, H. und A. KERBER: Isometry Classes of Indecomposable LinearCodes. In: COHEN, G., M. GIUSTI und T. MORA (Herausgeber): Applied Algebra,Algebraic Algorithms and Error-Correcting Codes, 11th International Symposium,AAECC-II, Paris, France, July 1995, Band 948 der Reihe Lecture Notes in ComputerScience, Seiten 194-204, Berlin, 1995. Springer-Verlag.
30. GAREY, M. R. und D. S. JOHNSON: Computers and intractability. A guide to thetheory of NP-completeness. A Series of Books in the mathematical Sciences. W. H.Freeman and Company, San Francisco, 1979.
31. GAUSS, C. F.: Disquisitiones Arithmeticae. Deutsche Ausgabe von H. Maser. ChelseaPub., New York, 1965.
32. GAUSS, C. F.: Recension der "Untersuchungen tiber die Eigenschaften der positiventerniiren quadratischen Formen von L. A. Seeber, Dr. der Philosophie, ordentlicherProfessor der Physik an der Universitiit Freiburg". In: Werke 11, Seiten 188-196.Georg Olms Verlag, Hildesheim, New York, 1973.
33. GOLAY, M. 1. E.: Notes on digital coding. Proc. IRE., 37, 1949.34. GRUND, R.: Symmetrieklassen von Abbildungen und die Konstruktion von diskreten
Strukturen. Bayreuth. Math. Schr., 31: 19-54, 1990.35. GRUND, R.: Konstruktion schlichter Graphen mit gegebener Gradpartition. Bayreuth. Math. Schr., 44:73-104, 1993.
36. HAMMING, R. W.: Error detecting and error correction codes. Bell System Tech. J.,29:147-160,1950.
37. HARRISON, M. A.: On the classification of Boolean functions by the general linearand affine groups. J. Soc. Ind. Appl. Math., 12:285-299, 1964.
38. HARRISON, M. A.: Counting Theorems and their Applications to Switching Theory.In: MUKHOPADYAY, A. (Herausgeber): Recent Developments in Switching Functions,Kapitel4, Seiten 85-120. Academic Press, 1971.
39. HARRISON, M. A. und R. G. HIGH: On the cycle index ofa product ofpermutationgroups. J. Comb. Theory, 4:277-299, 1968.
Literaturverzeichnis 329
40. HEISE, W. und P. QUATTROCCHI: Informations- und Codierungstheorie. Mathematische Grundlagen der Daten-Kompression und -Sicherung in diskreten Kommunikationssystemen. Springer-Verlag, Berlin, dritte, neubearb. Auftage, 1995.
41. HELGERT, H. J. und R. D. STINAFF: Minimum-distance bounds for binary linearcodes. IEEE Trans. Inf. Theory, 19:344-356, 1973.
42. HERMITE, CH.: Extraits de lettres de M. Ch. Hermite ii M. Jacobi sur differents objetsde la tMorie des nombres. J. reine angew. Math., 40:279-290, 1850.
43. HILL, R. und D. E. NEWTON: Optimal ternary linear codes. Designs, Codes, Cryptography, 2(2):137-157,1992.
44. HIRSCHFELD, J. W. P.: Projective geometries overfinite fields. Oxford MathematicalMonographs. Clarendon Press, Oxford, zweite Auflage, 1998.
45. HOCQUENGHEM, A.: Codes correcteurs d'erreurs. Chiffres, Revue Assoc. franc.Calcul, 2:147-156,1959.
46. HOFFMANN, CH. M.: Group-theoretic algorithms and graph isomorphism, Band 136der Reihe Lecture Notes in Computer Science. Springer-Verlag, Berlin, 1982.
47. HORNER, H. H.: Verbesserte Gitterbasenreduktion; getestet am Chor-Rivest Kryptosystem und an allgemeinen Rucksack-Problemen. Diplomarbeit, Universitat Frankfurt,1994.
48. JERRUM, M.: A compact representation for permutation groups. J. Algorithms,7(1):60-78, 1986.
49. JUNGNICKEL, D.: Codierungstheorie. Spektrum Akademischer Verlag, Heidelberg,1995.
50. JUSTESEN, J.: A class of constructive asymptotically good algebraic codes. IEEETrans. Inf. Theory, 18:652--656, 1972.
51. KAIB, M. und H. RITTER: Block reduction for arbitrary norms. Preprint, UniversitatFrankfurt, 1995.
52. KANNAN, R.: Improved algorithms for integer programming and related lattice problems. In: 15th Ann. ACM Symb. on Theory of Computing, Seiten 193-206, 1983.
53. KERBER, A.: Der Zykelindex der Exponentialgruppe. Mitt. math. Sem. Giessen,98:5-20, 1973.
54. KERBER, A.: Algebraic combinatorics via finite group actions. B.I. Wissenschaftsverlag, Mannheim, 1991.
55. KNUTH, D. E.: The art ofcomputer programming. Vol. 2. Addison-Wesley PublishingCompany, Reading, Massachusetts, zweite Auflage, 1981. Seminumerical algorithms,Addison-Wesley Series in Computer Science and Information Processing.
56. KOTTER, R.: A unified description of an error locating procedure for linear codes.In: Proc. ACCT-3, Voneshta Voda, 1992.
57. KUNG, J. P. S.: The cycle structure of a linear transformation over a finite field.Linear Algebra Appl., 36:141-155,1981.
58. KUNZ, M.: Verallgemeinerte Justesen-Codes. Diplomarbeit, Universitat Bayreuth,1995.
59. LAGRANGE, L. 1.: Recherches d'arithmetique. In: Oeuvres 3, Seiten 693-758.Gauthier-Villars, Paris, 1869.
60. LAUE, R.: Computing double coset representatives for the generation of solvablegroups. In: Computer algebra (Marseille, 1982), Band 144 der Reihe Lecture Notes in Comput. Sci., Seiten 65-70. Springer-Verlag, Berlin, 1982.
61. LAUE, R.: Zur Konstruktion und Klassifikation endlicher aufWsbarer Gruppen. Bayreuth. Math. Schr., 9, 1982.
62. LAUE, R., J. NEUBUSER und U. SCHOENWAELDER: Algorithms for finite solublegroups and the SOGOS system. In: Computational group theory (Durham, 1982),Seiten 105-135. Academic Press, London, 1984.
63. LEHMANN, H.: Ein vereinheitlichender Ansatzfiir die REDFIELD - POLYA - deBRUIJNSCHE AbZiihltheorie. Doktorarbeit, Universitat Giessen, 1976.
330 Literaturverzeichnis
64. LEHMANN, W.: Das Abziihltheorem der Exponentialgruppe in gewichteter Form.Mitt. math. Sem. Giessen, 112: 19-33, 1974.
65. LENSTRA, A. K., H. W. LENSTRA JR. und L. LOYASZ: Factoring polynomials withrational coefficients. Math. Ann., 261 :515-534, 1982.
66. LEON, J. S.: A probabilistic algorithms for computing minimum weights of largeerror-correcting codes. IEEE Trans.lnf. Theory, 34(5):1354-1359,1989.
67. LIDL, R. und H. NIEDERREITER: Finite fields, Band 20 der Reihe Encyclopedia ofMathematics and Its Applications. Cambridge Univ. Press, Cambridge, zweite Auftage,1996.
68. LUNEBURG, H.: Rechnen via Homomorphismen. Bayreuther Mathematische Schriften, 21 :279-294, 1986. Diskrete Strukturen, algebraische Methoden und Anwendungen (Bayreuth, 1985).
69. LUNEBURG, H.: On the rational normalform ofendomorphisms. B.I. Wissenschaftsverlag, Mannheim, 1987. A primer to constructive algebra.
70. MACWILLIAMS, F. 1. und N. 1. A. SLOANE: The theory of error-correcting codes. Parts I, II. (3rd repr.)., Band 16 der Reihe North-Holland Mathematical Library.North-Holland (Elsevier), Amsterdam, 1985.
71. MASSEY, J. L.: Threshold Decoding. M.I.T. Press, Cambridge, MA., 1963.72. MATHON, R. AND ROYLE, G. F.: The translation planes of order 49. Des. CodesCryptography, 5(1 ):57-72, 1995.
73. McELlECE, R. 1.: The theory of information and coding, Band 3 der Reihe Encyclopedia ofmathematics and its applications. Addison-Wesley Publishing Company,Reading, Massachusetts, 1977.
74. MCKAY, B. D.: Backtrack programming and isomorph rejection on ordered subsets.Ars Combin., 5:65-99, 1978.
75. McKAY, B. D.: Computing automorphisms and canonicallabellings of graphs. In:Combinatorial mathematics (Proc. Internat. Con! Combinatorial Theory, AustralianNat. Univ., Canberra, 1977), Band 686 der Reihe Lecture Notes in Math., Seiten 223232. Springer, Berlin, 1978.
76. MCKAY, B. D.: Practical graph isomorphism. Congr. Numer., 30:45-87, 1981.77. MCKAY, B. D.: Applications ofa technique for labelled enumeration. Congr. Numer.,40:207-221, 1983.
78. McKAY, B. D. und S. P. RADZISZOWSKI: The nonexistence of4-(12, 6, 6) designs.In: Computational and constructive design theory, Band 368 der Reihe Math. Appl.,Seiten 177-188. Kluwer Acad. Publ., Dordrecht, 1996.
79. MCKAY, B. D. und R. G. STANTON: Some graph-isomorphism computations. ArsCombin., 9:307-313, 1980.
80. MEYBERG, K.: Algebra. Teil 1. Mathematische Grundlagen fUr Mathematiker, Physiker und Ingenieure. Carl Hanser Verlag, Miinchen - Wien, zweite Auftage, 1980.
81. MULLER, D. E.: Applications of boolean algebra to switching circuit design and toerror correction. IRE Trans. Elec. Comp., 3:6-12, 1954.
82. MULLER, W.: Lineare Algebra, Band 42. Bayreuther Mathematische Schriften, zweite Auftage, 1992.
83. NUSSBAUMER, H. J.: Fast Fourier transform and convolution algorithms, Band 2 derReihe Springer Series in Information Sciences. Springer-Verlag, Berlin - Heidelberg- New York, 1981.
84. PALMER, E. M. und R. W. ROBINSON: Enumeration under two representations ofthe wreath product. Acta Math., 131:123-143, 1973.
85. PELLIKAAN, R.: On the efficient decoding ofalgebraic-geometric codes. In: Eurocode 1992. International symposium on coding theory and applications, Udine, Italien,23.08. - 30.08.1992, Seiten 231-253, Wien, 1993. Springer-Verlag.
86. READ, R. C.: Every one a winner or how to avoid isomorphism search when cataloguing combinatorial configurations. Ann. Discrete Math., 2:107-120, 1978. Algorithmic aspects of combinatorics (Conf., Vancouver Island, B.c., 1976).
Literaturverzeichnis 331
87. REED, I. S.: A class of multiple-error correcting codes and the decoding scheme.IEEE Trans. Inf. Theory, 4:38-49, 1954.
88. RITTER, H.: Breaking knapsack cryptosystems by leo-norm enumeration. In: Proceedings of the 1st International Conference on the Theory and Applications of Cryptology, PRAGOCRYPT '96, Seiten 480-492, Prague, 1996. CTU Publishing House.
89. RITTER, H.: AufZiihlung von kurzen Gittervektoren in allgemeiner Norm. Doktoratbeit, Universitat Frankurt, 1997.
90. SCHNORR, C. P.: A hierarchy ofpolynomial time lattice basis reduction algorithms.Theor. Comput. Sci., 53:201-224, 1987.
91. SCHNORR, C. P.: A more efficient algorithm for lattice basis reduction. J. Algorithms,9(1):47-62, 1988.
92. SCHNORR, C. P. und M. EUCHNER: Lattice basis reduction: Improved practical algorithms and solving subset sum problems. Math. Program., 66A(2): 181-199, 1994.
93. SHANNON, C. E.: A mathematical theory of communication. Bell System Tech. J.,27:379-423, 1948.
94. SIMS, CH. c.: Computation with permutation groups. In: Proc. Second Symp. onSymbolic and Algebraic Manipulation. ACM Press, 1971.
95. SLEPIAN, D.: On the number of symmetry types of Boolean functions ofn variables.Canadian J. Math., 5:185-193,1953.
96. SLEPIAN, D.: Some Further Theory ofGroup Codes. Bell System Tech. J., 39:12191252, 1960. Abgedruckt in: Algebraic Coding Theory: History and Development(Benchmark Papers in Electrical Engineering and Computer Science), Herausgegebenvon: Blake, 1. F., Stroudsbourg, Dowden, Hutchinson & Ross, Inc., 1973.
97. STICHTENOTH, H.: Algebraic function fields and codes. Universitext. SpringerVerlag, Berlin, 1993.
98. SYMMETRICA. Ein Programmsystem flir die Darstellungstheorie, Invariantentheorie und Kombinatorik endlicher symmetrischer Gruppen sowie verwandter Klassenvon Gruppen. VerfUgbar Uber anonymous ftp 132.180.16.20 in distlSYM.tat.Z.
99. TIETAVANIEN, A.: On the nonexistence of perfect codes over finite fields. SIAM 1.appl. Math., 24:88-96, 1973.
100. VERHOEFF, T.: An updated table ofminimum-distance bounds for binary linear codes. IEEE Trans. Inf. Theory, 33:665-680, 1987.
101. VOSSEN, G.: Datenmodelle, Datenbanksprachen und Datenbank-ManagementSysteme. Addison-Wesley, Bonn, 1994.
102. WARD, H. N.: Visible codes. Arch. Math. (Basel), 54(3):307-312, 1990.103. WHITE, N. (Herausgeber): Theory of matroids, Band 26 der Reihe Encyclopedia of
Mathematics and Its Applications. Cambridge University Press, Cambridge, 1986.104. WHITE, N. (Herausgeber): Combinatorial Geometries, Band 29 der Reihe Encyclo
pedia ofMathematics and its Applications. Cambridge University Press, 1987.105. WHITE, N. (Herausgeber): Matroid Applications, Band 40 der Reihe Encyclopedia
ofMathematics and its Applications. Cambridge University Press, 1992.106. WILD, M.: Enumeration of binary and ternary matroids and other applications of
the Brylawski-Lucas-Theorem. Preprint 1693, Technische Hochschule Darmstadt,November 1994.
107. WILD, M.: Consequences of the Brylawski-Lucas theoremfor binary matroids. Eur.J. Comb., 17(2-3):309-316, 1996.
108. WIRTZ, M.: Konstruktion und Tabellen linearer Codes. Doktorarbeit, UniversiUitMUnster, 1991.
109. WITT, E.: Die 5-fach transitiven Gruppen von Mathieu. Abh. Math. Semin. Univ.Hamburg, 12:256-264, 1938.
110. ZIMMERMANN, K.-H.: On the majority decodable distance ofcodes infiltrations ofcharacteristic p > O. Arch. Math., 61(5):434-443, 1993.
III. ZINOVlEV, V. A. und V. K. LEONTlEV: On perfect codes. Problems of Info. Trans.,8: 17-24, 1972.
Index
AbschluBoperator, 319Abzahlung- gewichtete, 192Additive Numerierung- Galoisfeld, 22affine Transformation, 109A-Konstruktion, 50Algebra, 46algebraischer AbschluB, 101Algorithmus- Backtrack,250,277,290,292,297- Kanonizitatstest, 259- Sift, 252- zur Berechnung der kanonischen Form,260
- zur Berechnung des Mengenstabilisators,262
- zur Berechnung von T~j), 242- zur Berechnung von Bahnen, 246Alphabet, 5Annullator, 153Aufblasung, 51Augmentationsabbildung, 163Augmentationsideal, 168auBere direkte Summe, 55Automorphismengruppe- zweifach transitive, III
Backtrack-Algorithmus, 250, 277, 290,292, 297
Bahn, 178Basis- E-reduzierte, 284, 285, 287, 288, 297- in Permutationsgruppen, 250Basisbahn, 250Basistransversale, 251Begleitmatrix, 167, 217Bezout- Satz von, 23, 24binlir-Iexikographische Ordnung, 255binomischer Satz, 19
B-Konstruktion, 52Block,92Blockcode, 4, 310- Isometrieklassen, 310Boolesche Funktion, 62, 316Bose-Distanz, 106Brouwer, 30burst error, 39
Cauchy-Frobenius Lemma, 180- gewichtete Form, 192Cauchy-Matrix, 140Charakter- eindimensionaler, 40- trivialer, 40Charaktergruppe, 40Charakteristik, 12charakteristische Funktion, 255, 311charakteristischer Vektor, 255charakteristisches Polynom, 218Chinesischer Restesatz, 88Code- I-MLD-Code,72- aquivalente -s, 27- Altemant-, 143- BCH-Code, 106- - im engen Sinn, 106-- primitiver, 106-- zu n = 7 und p = 2 und 8 = 3, 238- binarer Golay-, 118- Blocklange, 6- (d - I)-Fehler-erkennender, 8- Defekt,37- Dimension, 6- dualer,9- eingeschrankter, 51- Golay-, 118- - binlirer, I 18- - temarer, 118- Goppa-, 145- Goppa-MDS-Code, 142
332
- halbeinfacher, 95- Hamming-,46-48, 189- - erweiterter, 49- injektiver, 185- ISBN-, 2, 4- Justesen-Code, 150- - im engeren Sinn verallgemeinerter,148
- - im weiteren Sinn verallgemeinerter,148
- kanonische Form eines -s, 237- konkatenierter, 147- L-MLD-Code,75- Lange, 6- Iinearer, 4, 6- MDS-, 34,65-71- - trivialer, 34- Minimalgewicht, 7- mit trivialer Automorphismengruppe,264
- MLD-,71-76- (n, k)-Code, 6- (n, k, d)-Code, 7- Nullspalte, 191- Paritats-, 9, 49- perfekter, 34- p-modularer, 154- QR-Code, 118- quadratischer Reste-Code, 118, 299- Reed-Muller, 4, 62- - binarer, 63- Reed-Solomon-,4, 112- - verallgemeinerter, 140- selbstdualer, 9- Simplex-, 47,189- temarer Golay-, 118- t-Fehler-korrigierender, 8- Typ, 7- u I u + v-Konstruktion, 55- unzerlegbarer, 204- visibler, 156- Wiederholungs-, 2- zerlegbarer, 204- zyklischer, 77- - Annullator, 79- - Nullstelle, 102- - Varietiit, 102Codevektor, 6Codewort,6Codieren,5Codierer, I, 6Codierung- systematische, 27
Index 333
Decodierer, I, 7- Fallen-, 134- Kasami-, 135- mit fehlerkorrigierendem Paar, 136- Permutations-, 133Defekt,37Determinante, 279DFT siehe diskrete Fouriertransformation,90
DISCRETA, 176diskrete Fouriertransformation, 45, 90diskrete Fouriertransformierte, 41Divisionsschieberegister, 128Divisionstheorem, 22, 24Dixon-Wilf-Algorithmus, 304, 316Dreiecksungleichung, 287
Einheitswurzel, 82- primitive, 82Einschrankung- auf die ersten i + 1 Stellen, 256- einer Menge, 239endliche Gruppenaktion- siehe Operation, 194Endlicher Korper- siehe Galoisfeld, 12Entropie-Funktion, 39Entwurfsdistanz, 106erzeugende Funktion, 192Erzeugendensystem- starkes, 253Erzeugungsbaum, 241Euklidscher Algorithmus- polynomiale Fassung, 24- zahlentheoret. Fassung, 22Exponent- einer Gruppe, 40Exponent eines Polynoms, 223Exponentiation, 183, 310
Faktoroperation, 186Faltung, 46, 150Fehlerbtindel, 39Fehlerkorrekturrate, 3, 38fehlerkorrigierendes Paar, 137Fixkorper, 20Fixpunkt, 180fixpunktfrei, 180Fouriermatrix, 90Fouriertransformation- diskrete, 45Fouriertransformierte- diskrete, 41Frobenius-Abbildung, 19
334 Index
Frobenius-Automorphismus, 19,83,306Fundamentalparallelotop, 277- Volumen, 278, 279
Galoisfeld, 5, 18- additive Numerierung, 22- multiplikative Darstellung, 20Galoisgruppe, 20G-Bahn,178Generatormatrix, 6, 297- kanonische Form, 237- systematische, 27- unzerlegbare, 204- zerlegbare, 204Generatorpolynom, 79Gewicht- siehe Hamminggewicht, 7gewichtete Abzahlung, 192Gewichtsfunktion, 192- allgemeine, 193- multiplikative, 193G-Homomorphismus,265G-Isomorphismus,265Gitter, 277,300- e-reduziertes, 284- aufeinanderfolgende Minima, 279- Basis, 282- Basiswechsel, 278- Determinante, 279- Dimension, 277- ganzzahliges, 277- Rang, 277Gitterbasisreduktion, 276,277,282Goppa-Polynom, 145groBter gemeinsamer Teiler, 23, 24Grad- eines Multinoms, 62- eines Polynoms, 24Gradformeln, 24Gram-Matrix, 279, 286, 288, 289, 303Gram-Schmidt-Verfahren, 281, 283, 284,290
Gruppe- PG L3(2), 242, 253- PG L4(2), 244- affine lineare Gruppe, 108- Exponent, 40- projektive spezielle Gruppe, 120- volle monomiale, 27Gruppenaktion- endliche, siehe Operation, 194Gruppenalgebra, 150Gruppenalgebracode, 151Gruppenbaum, 252
- Teilbaum, 252Gruppencode, 151Gruppenoperation- siehe Operation, 177
Hadamard- Ungleichung von, 287Hadamardprodukt, 46, 91Halbordnung, 319Halbraum, 292, 293Hamming- -Code, 46-48, 189- -abstand, 6- -distanz, 3- -gewicht, 7- -metrik,6- -raum,6Hauptideal, 25Hauptnebenklasse, 252Hermite- Konstante, 282- Satz von, 280, 289Hesse-Form, 292homogene Koordinaten, 126Homomorphieprinzip, 316Homomorphiesatz, 25Homomorphismus- von Gruppenoperationen, 265Hyperbegleitmatrix, 218
Ideal- maximales, 92- minimales, 92- teilerfremde -e, 88- unzerlegbares, 92Idempotent- orthogonales, 96- primitives, 96- zentrales, 96improvisierter Summencode, 55Indexsequenz- fUr Gruppenelemente, 252Informationsmenge, 29Informationsrate, 3, 38Informationsstelle, 29Inhalt, 186integrales Element, 222, 225Integritatsbereich, 100Invariante, 180ISBN-Code, 2, 4Isometrie, 26, 176Isometriegruppe, 177, 184Isomorphiesatz fUr Ringe, 95Isomorphismus
- von Gruppenoperationen, 265
lacobische Normalform, 218lenningsbasis, 155, 168lenningsgewicht, 168
kanonische Form, 237- Algorithmus zur Berechnung, 260- Berechnung, 255-265- eines Codes, 237kanonische Transversale, 237kanonische Zerlegung, 271kanonischer Reprasentant, 23, 25, 78Kanonisierer, 237Kanonisierungsabbildung, 237Kanonizitatstest- Algorithmus, 259k-Bahnen, 182Kern- einer Permutationsdarstellung, 181k-fach transitiv, 183k-homogen, 182Klassifizierung- metrische, 185Kleinsche Vierergruppe, 151, 253kombinatorische Prageometrie, 319Kommunikationssystem, IKompositionsreihe, 89,216- Lange, 216Kontroll- -matrix, 9- -polynom, 79- -stellen, 27- -summen, 72Koordinaten- separierte, 185Kranzprodukt, 183, 310
Langenreduktion, 284, 285, 289Lagrange- Satz von, 15Legendre Symbol, 115Leitkoeffizient, 13Lenstra- A. K., 282, 283- H. w., 282, 283Lerneffekt, 315lexikographische Ordnung, 236linearer Code, 4Linearkombination, 277- unzerlegbare, 204- zerlegbare, 204Linksannullator, 153Linksideal, 151
Index 335
Linksmodul, 215LLL-Verfahren, 283, 284, 289Lovlisz,L., 282, 283Lyndonwort, 249, 307
MacWilliams-Gleichung, 40, 43Matrix- Gram-, 279, 286, 288, 289, 303Matroid, 319- Isomorphie, 320- regulares, 321- zusammenhangendes, 323Maximum-Likelihood-Decodierung, 7Maximum-Likelihood-Prinzip, 7MDS-Code, 65-71- trivialer, 65Menge- unabhangige,204- unzerlegbare, 204- zerlegbare, 204Mengenpartition, 178Mengenstabilisator, 261- Algorithmus zur Berechnung, 262mengenweiser Stabilisator, 179Minima- aufeinanderfolgende, 279Minimaldistanz, 3,7,276,277,289,293,294
Minimalgewicht, 7Minimalitatstest, 255Minimalpolynom, 14, 218Minterm,62MLD-Codes, 71-76MLD-Distanz,75MLD-Schranke,75Mobius-Funktion, 26Mobius-Inversion, 26, 312Modul- zyklischer, 216, 217Multiplikative Darstellung- Galoisfeld, 20
Nachricht, 1Nachrichtenraum, 5NebenklassenanfUhrer-Algorithmus, 8Nebenklassen- Linksnebenklassen, 250- Rechtsnebenklassen, 250NebenklassenanfUhrer, 10Nichtquadrat, 115Nilpotenzgrad, 169(n, k)-Code, 6(n, k, d)-Code, 7Norm, 277
336 Index
- f oo-,277- f q -,277- oo-Norm, 277- q-Norm, 277Normalbasis, 306Normalform, 218- in GLk(q), 215- Jacobische,218- von Endomorphismen, 216Normalisator, 179Normalreihe,215Normaiteiler, 33NP-schwer, 282NP-vollstandig, 282Nullkoordinate, 185Nullspaite, 185,191
Operation- Bahn, 178- einer Gruppe, 177- Fixpunkt, 180- primitive, 52- Stabilisator, 179Ordnung- binlir-Iexikographische, 255- einer Gruppe, 15- eines Gruppenelements, 15- eines Polynoms, 223- lexikographische, 236ordnungstreue Erzeugung, 315- linearer Codes, 239-276orthogonale Projektion, 284Orthogonalisierungsverfahren, 283- einstufiges, 72- mehrstufiges, 75Orthogonalitatsrelation, 45
P6lya, 193- Satz von, 311Paritatsbit, 9Paritatserweiterung, 49partielle Ordnung, 319Partition- einer Menge, 178Periode eines Polynoms, 223Permutationsdarstellung, 181PG2(2), 189PG3(2),244PGL3(2), 242, 253PGL4(2),244Polynom- erzeugendes,40- Exponent, 223- irreduzibles, 13
- Minimal-, 14- norrniertes, 13- Ordnung, 223- Periode,223- primitives, 16- reziprokes, 80- separables, 145- Subexponent, 225Post-Funktion, 316Primlirkomponente, 217Primarzerlegung, 217Primelement, 215primitives Element, 16primitives Polynom, 16Prirnkorper, 12Produktcode, 58Projektion- orthogonale, 283Projektive Geometrie- PG2 (2), 189- PG3(2),244projektive Gerade, 119projektive lineare Gruppe, 188projektiver Raum, 188Punktieren, 50punktweiser Stabilisator, 179
Quadrat, 115Quadratische Form, 279, 282- positiv definite, 280quadratischer Nichtrest, 115quadratischer Rest, 115Quadratisches Reziprozitatsgesetz, 116
Riickkopplungspolynom, 128Reads Rekursionsmethode, 175,315Rechtsannullator, 153Rechtsmodul, 215Restklassenring, 13Restklassenring modulo n, 23Ring- halbeinfacher, 95- nullteilerfreier, 22R-Linksmodul,215- einreihiger, 216- endlich erzeugter, 216
Satz- binomischer, 19- Chinesischer Reste-, 88- Eulersches Lemma, I 17- Homomorphie-,25- Isomorphie-, 95- Struktur zyklischer Codes, 92
- von Berman, 157- von Bezout, 23, 24- von der Faltung, 46- von Gleason, Prange, 120- von Lagrange, 15- von P6lya, 193, 194Schaltfunktion, 62Schaltkreise, 316Schranke- BCH-,106- Gilbert-Varshamov-, 37, 39- Griesmer-, 36- Hamming-, 34, 39- MLD-,75- Plotkin-, 35- Quadratwurzel-, 121- - verscharfte, 121- - verscharfte binare, 122- Rieger-, 39- Singleton-, 34, 38Schranken, 34-39Simplex-Code, 47, 189Sims-Kette, siehe Stabilisatorkette, 314Skalarprodukt, 277Stabilisator, 179- mengenweiser, 179- punktweiser, 179Stabilisatorkette, 249-255Standardbilinearform, 9starkes Erzeugendensystem, 253Stufe,75Subexponent eines Polynoms, 225Subzykel, 222- -Ausdruck, 223- -index, 222, 228- -lange, 223- -typ, 223Summe- auBere direkte, 55Summencode- improvisierter, 55Superkanal, 147SYMMETRICA, 176Symmetrische Gruppe- Zykelindex, 232Syndrom, 10Syndromdecodierung, 10
Teilbaum- des Gruppenbaumes, 252Teilcode, 56Teilmuster, 271Teiloperation, 181Tensor, 57
Index 337
Tensorprodukt, 57Tiefensuche, 292Trager, 71transitiv, 108- k-fach, 183- zweifach, 126Transporter- -abbildung, 238- -element, 238- -menge, 238Transversale, 178- kanonische, 237Transversalenvertreter, 25 Itrivialer Charakter, 40
Uberdeckungspolynom, 135Unterraum- separierter, 185Unzerlegbarkeitstest, 207
Vandermondesche Matrix, 70Varietlit, 10 I- irreduzibIe, 101- konsekutive, 105Varietatenverband, 102Vektor- normierter, 189Vektoren- f q -kiirzeste,279- direkt verbundene, 204- orthogonale, 71- verbundene, 204Verfahren- von Ritter, 290Verkiirzung, 50Verlangem, 50Vertauschungsschritt, 284visibel, 156volle monomiale Gruppe, 27
Warter, I
X-Konstruktion,56
Y1-Konstruktion, 52
Zech-Logarithmus, 21Zentralisator, 179Zerlegung- kanonische, 271Zerlegungssatz, 205Zirkulante, 123Zykelindex, 194- der Exponentiation, 314