University Microfilms

Total Page:16

File Type:pdf, Size:1020Kb

University Microfilms INFORMATION TO USERS This dissertation was produced from a microfilm copy of the original document. While the most advanced technological means to photograph and reproduce this document have been used, the quality is heavily dependent upon the quality of the original submitted. The following explanation of techniques is provided to help you understand markings or patterns which may appear on this reproduction. 1. The sign or "target" for pages apparently lacking from the document photographed is "Missing Page(s)". If it was possible to obtain the missing page(s) or section, they are spliced into the film along with adjacent pages. This may have necessitated cutting thru an image and duplicating adjacent pages to insure you complete continuity. 2. When an image on the film is obliterated with a large round black mark, it is an indication that the photographer suspected that the copy may have moved during exposure and thus cause a blurred image. You will find a good image o f the page in the adjacent frame. 3. When a map, drawing or chart, etc., was part of the material being photographed the photographer followed a definite method in "sectioning" the material. It is customary to begin photoing at the upper left hand corner of a large sheet and to continue photoing from left to right in equal sections with a small overlap. If necessary, sectioning is continued again — beginning below the first row and continuing on until complete. 4. The majority of users indicate that the textual content is of greatest value, however, a somewhat higher quality reproduction could be made from "photographs" if essential to the understanding of the dissertation. Silver prints of "photographs" may be ordered at additional charge by writing the Order Department, giving the catalog number, title, author and specific pages you wish reproduced. University Microfilms 300 North Zeeb Road Ann Arbor, Michigan 48106 A Xerox Education Company 73-2071 MERKLEN, Hector Alfredo, 1936- ON CROSSED PRODUCT ORDERS. The Ohio State University, Ph.D., 1972 Mathematics ; University Microfilms, A XEROX Company, Ann Arbor, Michigan THIS DISSERTATION HAS BEEN MICROFILMED EXACTLY AS RECEIVED. ON CROSSED PRODUCT ORDERS DISSERTATION Presented in Partial Fulfillment of the Requirements for the Degree Doctor of Philosophy in the Graduate School of The Ohio State University By Hector Alfredo Merklen, Licenoiado + + + + + + The Ohio State University 1972 .pproved by Advisor Department of Mathematics PLEASE NOTE: Some pages may have indistinct print. Filmed as received. Microfilms, A Xerox Education Company ACKNOWLEDGMENTS I want to thank my advisor, Prof. Hans Zassenhaus, who never felt tired of listening to me or of making valuable suggestions and remarks, and to my wife Ana, whose spiritual help made all of this possible. Hector A. Merklen VITA July 19* 1936 . Born - Montevideo, Uruguay. 1933-1958 ..... High school teacher, Durazno, Uruguay. 1938-1966 ..... High school teacher (by competitive con­ test), Montevideo, Uruguay. r 1962-1966 ..... Profesor Adjunto, Facultad de Ingenieria y Agrimensura, Universidad de la Republics Oriental del Uruguay, Montevideo, Uruguay. 1962 . ........ Licenciado en Ciencias Matematicas, Facul­ tad de Ciencias Ex&ctas y Naturales, Uni­ versidad de Buenos Aires, Buenos Aires, Argentina. 1963-1965 ........ Lecturer in several Summer-courses for the improvement of high school teachers of Mathematics, in several countries: Argen­ tina, Peru, Uruguay, Venezuela. 1965-1966 ..... Field Assistant, Interamerican Program for the Improvement of Science Teaching, Orga­ nization of the American States, Montevi­ deo, Uruguay. 1967-1968 ..... Encargado de Investigacion, Facultad de Ciencias, Universidad de Chile, Santiago, Chile. 1969 - ..... Profesor Titular, Instituto de Matematicas, iii Universidad Catolica de Valparaiso, Valpa­ raiso, Chile. 1970-1972 ..... Teaching Associate, Department of Mathema­ tics, The Ohio State University, Columbus, Ohio. PUBLICATIONS " Introduccion al estudio de las funciones de una variable real" Mimeo. Notes, Durazno, Uruguay. (1958) " Algebra lineal" , Mimeo. Notes, Buenos Aires, Argentina (1963) " Geometria" , Mimeo. Notes, Ministerio de Educacion, Caracas, Venezuela (1963) " Geometria" , IPEM, Lima, Peru (1963 and 1965 ). Introduccion a la Matematica Formal" , Mimeo. Notes, IDAL, Montevideo, Uruguay (1963 ). " Geometria" , Mimeo. Notes, Buenos Aires, Argentina (196*0 Introduccion de la Geometria en el primer ano de la Ensenanza Secundaria" , Mimeo. Notes, IPEM, Lima, Peru (196*0 " Algunas ideas para la ensenanza moderna de la Matematica" , Mimeo. Notes, Ministerio de Educacion, Buenos Aires, Ar­ gentina (1964). " Lecciones para el Seminario Pedagogico", Mimeo. Notes, IPEM, Lima, Peru (1965 ) " La ensenanza moderna de la Geometria al nivel universitario basico" , Mimeo. Notes, PIMEC, Montevideo, Uruguay (1966 ). " Lecciones de Analisis" , Mimeo. Notes, PIMEC, Montevideo, Uru­ guay (1966). iv ** Curso Cero" , Universidad Catolica de Valparaiso, Valparaiso( Chile (1970 and 1972). FIELDS OF STUDY Major Field: Mathematics Studies in Measure Theory. Professor Mischa Cotlar. Studies in Functional Analysis. Professor Mischa Cotlar and Professor Jean Dieudonne. Studies in Algebra. Professor Hans Zassenhaus. v TABLE OF CONTENTS Page ACKNOWLEDGEMENTS . .................................... ii VITA ..................................................... iii Chapter I. CROSSED PRODUCT ORDERS ...................... 1 1. Generalized crossed products .......... • . 1 2. Crossed product orders ..... 10 3. Hereditary crossed product orders ..... 19 k. Reduction to the classical case ...... 31 5. Reduction to the totally ramified case . 4^ 6. Non-commutative crossed products ...... 39 7. The wildly ramified case ........... 75 II. ON THE HULL OF REPRESENTATION OR D E R S ......... 84 8. Introduction................. 84 9. Block Orders ..... 86 10. Representation o r d e r s ................... 113 BIBLIOGRAPHY ............................................ 13^ vi I. CROSSED PRODUCT ORDERS 1. Generalized crossed products. The terminology and general notations used in this paper are the same as the ones introduced in (7)« (2*f) and (25)* We begin with a generalization of the classical idea of a crossed product, for which we refer to (7)s Definition 1.1. Let F be a field, E a semisimple, commuta­ tive E-algebra of finite dimension and G a finite subgroup of Autp(E) with the property that its fixed subalgebra coin­ cides with F: E6 = jx6E/k/cf€.G: c(x)=x} = F; in addition, let f be a 2-cocycle of the G-module E, i.e.: f: GxG --- * U(E) f (<J,T>.f (ot,6) = f (T,6)°.f(atT6) (Vc,t,6€G). (we use freely the notation x° instead of o(x) for x € E and o€G, so that if t:A — »E is any function with values 1 in E, then ttf represents the composite function o*t. It should be emphasized that we think of functions as written on the left, so that for example: means o(x(x)) or (.x*)0 OX and, if t is a function as before, t means the composite: o.ft.) Then we call the crossed product A(f,E,G) the F- algebra defined as follows: A(f,E,G) is the F-vector space of all functions t: G --- > E , together with the multiplication defined thus: given t,t': G ■ — ■ —> E, tt' is the function defined by — , - 1 tt'(o) * f(tf*-1 ,T)t(OT~1 )t'OX C*> ( V o e G ) . T 6 G The proof that this definition makes A(f,E,G) an F-al- gebra would be clear after the following considerations. Among the elements of A(f,E,G) we distinguish the family ■ft r n> where t^(x) = 6 (Kronecker delta) (Vo,t £ G). *• o; a €. g a ox It is clear that {t0}0 g g is an E-basis for the E-module A(f,E,G) and, in fact, for each element t of the crossed product we have: t a Z 2 t(o).t . O €G ° According to the definition, the multiplication table for this basis is: t t (vO «= f(pe”\ e ) . t (®) » G T o T e =» Z f ^ " 1 ,.).# ,«6_ „ a e ^,pc T »* = f(pT_1,T).6 - => f(0,T).6 a o.px"1 aXt)l = f(c,x).taT. Conversely, if we start with the free E-module over the set ^t^ / o £ g } indexed by G and define: xt^.yt^ = x.y°.f (o,x) .t0T ( V x , y £ E ; \/o ,t £G) the associative property of f assures us, as in the classi­ cal case, that we obtain a well defined structure of F-alge- bras over that module. Since this structure is clearly isomor­ phic to what we called A(f,E,G)t this is also an F-algebra. More generally, we will say that an F-algebra A is a crossed product A(f,E,G) if it is isomorphic to the one constructed above. Up to isomorphism, as in the classical case, a crossed prod­ uct A(f»E,G) does not depend on the 2-cocycle f but on the class [f] of the second cohomology group which is repre­ sented by f. If an F-algebra A is a crossed product A(i»E,G), there is a basis -{t } e G of the E-module A with the properties: A = © E.t a £G 0 xt^.yt^ = x.ya .f(o,T).tci; ( Vx,y 6 E;\f o ,t 6 G) We will say that such a basis is a natural E-basis for the crossed product A. We say that a 2-cocycle g: GxG --- > U(E) is normalized when it happens that g(l,o) = 1 = g(o,l), for all a in G. From the associative property of cocycles it follows in general that f(l,0) » f(l,l) and f(o,l) = fCl,!)** (Vc€G). Hence, a 2-cocycle f is normalized if and only if f(l,l)=l. It is immediate to check that, given the cocycle f, the func­ tion: 5 / \ f(o.T) g(<J,T) = --- is again a 2-cocycle equivalent to f which is obviously nor­ malized.
Recommended publications
  • A New Characterization of the Tate-Shafarevich Group
    Master Thesis in Mathematics Advisor: Prof. Ehud De Shalit Arithmetic of Abelian Varieties over Number Fields: A New Characterization of the Tate-Shafarevich Group Menny Aka June 2007 To Nili King 2 Acknowledgments This thesis is the culmination of my studies in the framework of the AL- GANT program. I would like to take this opportunity to thank all those who have helped me over the past two years. First, I would like to express my deepest gratitude to Professor Ehud De Shalit, for teaching me so many things, referring me to the ALGANT program and for the wonderful guid- ance he provided in preparing this thesis. I want to thank Professor Bas Edixhoven, for his oce that is always open, for teaching me all the alge- braic geometry I know and for all the help he gave me in the rst year of the program in Leiden. I also want to thank Professor Boas Erez for the great help and exibility along the way. With the help of these people, the last two years were especially enriching, in the mathematical aspect and in the other aspects of life. Introduction This thesis was prepared for the ALGANT program which focuses on the syn- thesis of ALgebra Geometry And Number Theory. The subject of this thesis shows the various inter-relations between these elds. The Tate-Shafarevich group is a number theoretic object that is attached to a geometric object (an Abelian variety). Our new characterization is a geometric one, and its proof is mainly algebraic, using Galois cohomology and theorems from class eld theory.
    [Show full text]
  • Witt Vectors. Part 1 1 by Michiel Hazewinkel CWI Pobox 94079 1090GB Amsterdam the Netherlands
    Michiel Hazewinkel 1 CWI Direct line: +31-20-5924204 POBox 94079 Secretary: +31-20-5924233 1090GB Amsterdam Fax: +31-20-5924166 E-mail: [email protected] original version: 06 October 2007 revised version: 20 April 2008 Witt vectors. Part 1 1 by Michiel Hazewinkel CWI POBox 94079 1090GB Amsterdam The Netherlands Table of contents 1. Introduction and delimitation ??? 1.4 Historical motivation for the p-adic Witt polynomials, 1.8 Historical motivation for the (generalized) Witt polynomials, 1.11 Representability of the Witt vector functor. Symmetric functions, 1.14 The plethora of structures on Symm, 1.15 Initial sources of information 2. Terminology ??? 3. The p-adic Witt vectors. More historical motivation ??? 4. Teichmüller representatives ??? 5. Construction of the functor of the p-adic Witt vectors ??? 5.1 The p-adic Witt polynomials, 5.2 ‘Miracle’ of the p-adic Witt polynomials, 5.4 Congruence formulas for the p-adic Witt polynomials, 5.9 Witt vector addition and multiplication polynomials, 5.14 Existence theorem for the p-adic Witt vectors functor, 5.16 Ghost component equations, 5.19 Ideals and topology for Witt vector rings, 5.21 Teichmüller representatives in the Witt vector case, 5.22 Multiplication with a Teichmüller representative, 5.25 Verschiebung on the p-adic Witt vectors, 5.27 Frobenius on the p-adic Witt vectors, 5.37 Taking p-th powers on the p-adic Witt vectors, 5.40 Adding ‘disjoint’ Witt vectors, 5.42. Product formula, 5.44 f p Vp = [p] 6. The ring of p-adic Witt vectors over a perfect ring of characteristic p.
    [Show full text]
  • Non-Abelian Extensions of Infinite-Dimensional Lie Groups
    R AN IE N R A U L E O S F D T E U L T I ’ I T N S ANNALES DE L’INSTITUT FOURIER Karl-Hermann NEEB Non-abelian extensions of infinite-dimensional Lie groups Tome 57, no 1 (2007), p. 209-271. <http://aif.cedram.org/item?id=AIF_2007__57_1_209_0> © Association des Annales de l’institut Fourier, 2007, tous droits réservés. L’accès aux articles de la revue « Annales de l’institut Fourier » (http://aif.cedram.org/), implique l’accord avec les conditions générales d’utilisation (http://aif.cedram.org/legal/). Toute re- production en tout ou partie cet article sous quelque forme que ce soit pour tout usage autre que l’utilisation à fin strictement per- sonnelle du copiste est constitutive d’une infraction pénale. Toute copie ou impression de ce fichier doit contenir la présente mention de copyright. cedram Article mis en ligne dans le cadre du Centre de diffusion des revues académiques de mathématiques http://www.cedram.org/ Ann. Inst. Fourier, Grenoble 57, 1 (2007) 209-271 NON-ABELIAN EXTENSIONS OF INFINITE-DIMENSIONAL LIE GROUPS by Karl-Hermann NEEB Abstract. — In this article we study non-abelian extensions of a Lie group G modeled on a locally convex space by a Lie group N. The equivalence classes of such extension are grouped into those corresponding to a class of so-called smooth outer actions S of G on N. If S is given, we show that the corresponding set Ext(G, N)S of extension classes is a principal homogeneous space of the locally 2 smooth cohomology group Hss(G, Z(N))S .
    [Show full text]
  • Some Algebraic Applications of Graded Categorical Group Theory
    Theory and Applications of Categories, Vol. 11, No. 10, 2003, pp. 215–251. SOME ALGEBRAIC APPLICATIONS OF GRADED CATEGORICAL GROUP THEORY A.M. CEGARRA AND A.R. GARZON´ ABSTRACT. The homotopy classification of graded categorical groups and their homo- morphisms is applied, in this paper, to obtain appropriate treatments for diverse crossed product constructions with operators which appear in several algebraic contexts. Precise classification theorems are therefore stated for equivariant extensions by groups either of monoids, or groups, or rings, or rings-groups or algebras as well as for graded Clif- ford systems with operators, equivariant Azumaya algebras over Galois extensions of commutative rings and for strongly graded bialgebras and Hopf algebras with operators. These specialized classifications follow from the theory of graded categorical groups after identifying, in each case, adequate systems of factor sets with graded monoidal functors to suitable graded categorical groups associated to the structure dealt with. 1. Introduction Graded categorical groups provide a suitable categorical setting for the treatment of an extensive list of subjects with recognized mathematical interest. Let us briefly recall that, if Γ is a group, then a Γ-graded categorical group is a groupoid G equipped with a grading functor gr : G → Γ and with a graded monoidal structure, by graded functors ⊗ G × G → G → G : Γ and I :Γ , such that for each object X, there is an object X with a 1-graded arrow X ⊗ X → I (see Section 2 for the details). These graded categorical groups were originally considered by Fr¨ohlich and Wall in [20] to study Brauer groups in equivariant situations (see also [18, 19, 21]).
    [Show full text]