: H.E.A. Eddy Campbell, David Wehlau
: Modular Invariant Theory
: Springer-Verlag
: 9783642174049
: 1
: CHF 114.00
:
: Arithmetik, Algebra
: English
: 234
: Wasserzeichen
: PC/MAC/eReader/Tablet
: PDF
This book covers the modular invariant theory of finite groups, the case when the characteristic of the field divides the order of the group, a theory that is more complicated than the study of the classical non-modular case. Largely self-contained, the book develops the theory from its origins up to modern results. It explores many examples, illustrating the theory and its contrast with the better understood non-modular setting. It details techniques for the computation of invariants for many modular representations of finite groups, especially the case of the cyclic group of prime order. It includes detailed examples of many topics as well as a quick survey of the elements of algebraic geometry and commutative algebra as they apply to invariant theory. The book is aimed at both graduate students and researchers-an introduction to many important topics in modern algebra within a concrete setting for the former, an exploration of a fascinating subfield of algebraic geometry for the latter.
Preface5
Contents6
Index of notations9
First Steps11
Groups Acting on Vector Spaces and Coordinate Rings12
V Versus V*14
Constructing Invariants16
On Structures and Fundamental Questions17
Bounds for Generating Sets17
On the Structure of K[V]G: The Non-modular Case18
Structure of K[V]G: Modular Case19
Invariant Fraction Fields20
Vector Invariants21
Polarization and Restitution21
The Role of the Cyclic Group Cp in Characteristic p26
Cp Represented on a 2 Dimensional Vector Space in Characteristic p27
A Further Example: Cp Represented on 2V2 in Characteristic p30
The Vector Invariants of V233
Elements of Algebraic Geometry and Commutative Algebra35
The Zariski Topology35
The Topological Space Spec(S)37
Noetherian Rings37
Localization and Fields of Fractions39
Integral Extensions39
Homogeneous Systems of Parameters40
Regular Sequences41
Cohen-Macaulay Rings42
The Hilbert Series44
Graded Nakayama Lemma45
Hilbert Syzygy Theorem46
Applications of Commutative Algebra to Invariant Theory48
Homogeneous Systems of Parameters49
Symmetric Functions53
The Dickson Invariants54
Upper Triangular Invariants55
Noether's Bound55
Representations of Modular Groups and Noether's Bound57
Molien's Theorem59
The Hilbert Series of the Regular Representation of the Klein Group60
The Hilbert Series of the Regular Representation of C462
Rings of Invariants of p-Groups Are Unique Factorization Domains63
When the Fixed Point Subspace Is Large64
Examples67
The Cyclic Group of Order 2, the Regular Representation69
A Diagonal Representation of C270
Fraction Fields of Invariants of p-Groups70
The Alternating Group72
Invariants of Permutation Groups73
Göbel's Theorem74
The Ring of Invariants of the Regular Representation of the Klein Group77
The Ring of Invariants of the Regular Representation of C480
A 2 Dimensional Representation of C3, p=283
The Three Dimensional Modular Representationof Cp83
Prior Knowledge of the Hilbert Series84
Without the Use of the Hilbert Series86
Monomial Orderings and SAGBI Bases90
SAGBI Bases92
Symmetric Polynomials96
Finite SAGBI Bases98
SAGBI Bases for Permutation Representations100
Block Bases105
A Block Basis for the Symmetric Group107
Block Bases for p-Groups109
The Cyclic Group Cp111
Representations of Cp in Characteristic p111
The Cp-Module Structure of F[Vn]116
Sharps and Flats116
The Cp-Module Structure of F[V]119
The First Fundamental Theorem for V2121
Dyck Paths and Multi-Linear Invariants123
Proof of Lemma 7.4.3128
Integral Invariants130
Invariant Fraction Fields and Localized Invariants136
Noether Number for Cp138
Hilbert Functions144
Polynomial Invariant Rings146
Stong's Example152
A Counterexample153
Irreducible Modular Reflection Groups154
Reflection Groups155
Groups Generated by Homologies of Order Greater than 2156
Groups Generated by Transvections156
The Transfer157
The Transfer for Nakajima Groups168
Cohen-Macaulay Invariant Rings of p-Groups174
Differents in Modular Invariant Theory177
Construction of the Various Different Ideals178
Invariant Rings via Localization182
Rings of Invariants which are Hypersurfaces188
Separating Invariants193
Relation Between K[V]G and Separating Subalgebras197
Polynomial Separating Algebras and Serre's Theorem200
Polarization and Separating Invariants203
Using SAGBI Bases to Compute Rings of Invariants206
Ladders212
Group Cohomology214
Cohomology and Invariant Theory215
References223
Index230