Generalized Clifford Theory (Group Ring, Frobenius Extensions)
Uno, Katsuhiro
This item is only available for download by members of the University of Illinois community. Students, faculty, and staff at the U of I may log in with your NetID and password to view the item. If you are trying to access an Illinois-restricted dissertation or thesis, you can request a copy through your library's Inter-Library Loan office or purchase a copy directly from ProQuest.
Permalink
https://hdl.handle.net/2142/71232
Description
Title
Generalized Clifford Theory (Group Ring, Frobenius Extensions)
Author(s)
Uno, Katsuhiro
Issue Date
1985
Department of Study
Mathematics
Discipline
Mathematics
Degree Granting Institution
University of Illinois at Urbana-Champaign
Degree Name
Ph.D.
Degree Level
Dissertation
Keyword(s)
Mathematics
Abstract
Let R and S be two rings with identity elements and let l : R (--->) S be a ring homomorphism preserving their identity elements. Then any S-module W can be regarded as an R-module W(,R). Also, for any right R-module V, we can form the "induced" S-Module V('S) = V (CRTIMES)(,R) S. Fixing a right R-module V, we let A = End(,R)(V) and B = End(,S)(V('S)). Then there is a natural ring homomorphism l' : A (--->) B. The R-module V is said to be weakly S-invariant if V('S) is isomorphic to a direct summand of a direct sum of a finite number of copies of V as R-modules. (We say that (V('S))(,R) weakly divides V in this case.)
The notion of weak invariance is introduced in Chapter 2. In Chapter 3, we prove a correspondence theorem, which generalizes the classical Clifford theorem studied by several authors such as Clifford, Cline, Conlon, Dade and Tucker. Let Mod(S(VBAR)V) denote the category whose objects are all right S-modules W such that W(,R) weakly divides V and whose morphisms are all S-homomorphisms among those modules. Likewise, we define Mod(B(VBAR)A). Then the theorem says that the two additive functors (.) (CRTIMES)(,R) S and Hom(,S)(V('S),(.)) form an equivalence between Mod(S(VBAR)V) and Mod(B(VBAR)A).
The map l : R (--->) S is called Frobenius if S(,R) is finitely generated projective and S (TURNEQ) Hom(,R)(S(,R),R(,R)) as (R,S)-bimodules. Such ring homomorphisms are studied in Chapter 4. They satisfy the "other" Frobenius Reciprocity Law. Also, it is shown that if l : R (--->) S is Frobenius and V is weakly S-invariant, then l' : A (--->) B is Frobenius.
Let l(,1) : S (--->) T be another homomorphism of rings. Let C = End(,T)(V('T)) with A and B being the same as before. Suppose that V is weakly S- and T-invariant and that V('S) is weakly T-invariant. Assuming that l(,1) : S (--->) T is Frobenius, we prove that an object W of Mod(S(VBAR)V) is weakly T-invariant if and only if the object Y of Mod(B(VBAR)A) corresponding to W is weakly C-invariant. We then establish the compounding of Clifford correspondences constructed in Chapter 3. This is done in Chapter 5.
Use this login method if you
don't
have an
@illinois.edu
email address.
(Oops, I do have one)
IDEALS migrated to a new platform on June 23, 2022. If you created
your account prior to this date, you will have to reset your password
using the forgot-password link below.