Hamilton群的主同余

研究了有限交换群和Hamilton群的主同余,利用同余的定义并构造它们的主同余公式,给出了它们的主同余刻画.     

Morita Equivalent Blocks in Non-Normal Subgroups and p-Radical Blocks in Finite Groups

Let O be a complete discrete valuation ring with unique maximalideal J(O), let K be its quotient field of characteristic 0,and let k be its residue field O/J(O) of prime characteristicp. We fix a finite group G, and we assume that K is big enoughfor G, that is, K contains all the |G|-th roots of unity, where|G| is the order of G. In particular, K and k are both splittingfields for all subgroups of G. Suppose that H is an arbitrarysubgroup of G. Consider blocks (block ideals) A and B of thegroup algebras RG and RH, respectively, where R{O, k}. We considerthe following question: when are A and B Morita equivalent?Actually, we deal with ‘naturally Morita equivalent blocksA and B’, which means that A is isomorphic to a full matrixalgebra of B, as studied by B. Külshammer. However, Külshammerassumes that H is normal in G, and we do not make this assumption,so we get generalisations of the results of Külshammer.Moreover, in the case H is normal in G, we get the same resultsas Külshammer; however, he uses the results of E. C. Dade,and we do not.     

Heights of Characters in Blocks of p-Solvable Groups

In this paper, it is proved that if B is a Brauer p-block ofa p-solvable group, for some odd prime p, then the height ofany ordinary character in B is at most 2b, where p^b is the largestdegree of the irreducible characters of the defect group ofB. Some other results that relate the heights of characterswith properties of the defect group are obtained. 2000 MathematicsSubject Classification 20C15, 20C20.     

Splendid Derived Equivalences for Blocks of Finite Groups

A central issue in finite group modular representation theoryis the relationship between the p-local structure and the p-modularrepresentation theory of a given finite group. In [5], Brouéposes some startling conjectures. For example, he conjecturesthat if e is a p-block of a finite group G with abelian defectgroup D and if f is the Brauer correspondent block of e of thenormalizer, N_G(D), of D then e and f have equivalent derivedcategories over a complete discrete valuation ring with residuefield of characteristic p. Some evidence for this conjecturehas been obtained using an important Morita analog for derivedcategories of Rickard [11]. This result states that the existenceof a tilting complex is a necessary and sufficient conditionfor the equivalence of two derived categories. In [5], Brouéalso defines an equivalence on the character level between p-blockse and f of finite groups G and H that he calls a ‘perfectisometry’ and he demonstrates that it is a consequenceof a derived category equivalence between e and f. In [5], Brouéalso poses a corresponding perfect isometry conjecture betweena p-block e of a finite group G with an abelian defect groupD and its Brauer correspondent p-block f of N_G(D) and presentsseveral examples of this phenomena. Subsequent research hasprovided much more evidence for this character-level conjecture. In many known examples of a perfect isometry between p-blockse, f of finite groups G, H there are also perfect isometriesbetween p-blocks of p-local subgroups corresponding to e andf and these isometries are compatible in a precise sense. In[5], Broué calls such a family of compatible perfectisometries an ‘isotypy’. In [11], Rickard addresses the analogous question of defininga p-locally compatible family of derived equivalences. In thisimportant paper, he defines a ‘splendid tilting complex’for p-blocks e and f of finite groups G and H with a commonp-subgroup P. Then he demonstrates that if X is such a splendidtilting complex, if P is a Sylow p-subgroup of G and H and ifG and H have the same ‘p-local structure’, thenp-local splendid tilting complexes are obtained from X via theBrauer functor and ‘lifting’. Consequently, in thissituation, we obtain an isotypy when e and f are the principalblocks of G and H. Linckelmann [9] and Puig [10] have also obtained important resultsin this area. In this paper, we refine the methods and program of [11] toobtain variants of some of the results of [11] that have widerapplicability. Indeed, suppose that the blocks e and f of Gand H have a common defect group D. Suppose also that X is asplendid tilting complex for e and f and that the p-local structureof (say) H with respect to D is contained in that of G, thenthe Brauer functor, lifting and ‘cutting’ by blockindempotents applied to X yield local block tilting complexesand consequently an isotypy on the character level. Since thep-local structure containment hypothesis is satisfied, for example,when H is a subgroup of G (as is the case in Broué'sconjectures) our results extend the applicability of these ideasand methods.     

Restriction Between Cohomology Algebras of Blocks of Finite Groups

Let k be an algebraically closed field of characteristic p and G be a finite group. Let N be a normal subgroup of G and c be a G-stable block of kN. We shall discuss the cohomology algebra of the block c, defined by M. Linckelmann and, in this case a generalized block cohomology which can be defined using some generalized Brauer pairs, denoted (c, G)-Brauer pairs, which are introduced by R. Kessar and R. Stancu. We also analyze the restriction map between these two cohomology algebras associated to the block c through transfer maps between the Hochschild cohomology algebras of kGc and of the block c.     

Transfer in Hochschild Cohomology of Blocks of Finite Groups

We develop the notion of a cohomology ring of blocks of finite groups and study its basic properties by means of transfer maps between the Hochschild cohomology rings of symmetric algebras associated with bounded complexes of finitely generated bimodules which are projective on either side.     

Nilpotent Blocks of Quasisimple Groups for the Prime Two

We examine nilpotency amongst blocks of positive defect of the quasisimple groups for the prime 2. We show that every nilpotent block of a quasisimple group has abelian defect groups, and prove a conjecture of Puig concerning the recognition of nilpotent blocks in the case of quasisimple groups. Explicit characterisations of nilpotent blocks are given for the classical, alternating and sporadic simple groups.     

Cohomology Algebras of Blocks of Finite Groups and Brauer Correspondence

M. Linckelmann defined the cohomology algebras of blocks of finite groups. This note is an attempt to analyze an inclusion of cohomology algebras of blocks that corresponds under Brauer correspondence through transfer maps between the Hochschild cohomology algebras of the blocks.Presented by Jon Carlson.     

Equivalent Blocks of Finite General Linear Groups in Non-describing Characteristic

J. Chuang, R. Kessar, and J. Rickard have proved Broué's Abelian defect group conjecture for many symmetric groups. We adapt the ideas of Kessar and Chuang towards finite general linear groups (represented over non-describing characteristic). We then describe Morita equivalences between certain p-blocks of GL_n(q) with defect group C_p^α × C_p^α, as q varies (see Theorem 2). Here p and q are coprime. This generalizes work of S. Koshitani and M. Hyoue, who proved the same result for principal blocks of GL_n(q) when p = 3, α = 1, in a different way.     

Modular Representation Theory of Blocks with Trivial Intersection Defect Groups

We show that Uno's refinement of the projective conjecture of Dade holds for every block whose defect groups intersect trivially modulo the maximal normal p-subgroup. This corresponds to the block having p-local rank one as defined by Jianbei An and Eaton. An immediate consequence is that Dade's projective conjecture, Robinson's conjecture, Alperin's weight conjecture, the Isaacs–Navarro conjecture, the Alperin–McKay conjecture and Puig's nilpotent block conjecture hold for all trivial intersection blocks. Presented by A. Verschoren Mathematics Subject Classification (2000) Primary 20C20. Charles W. Eaton: Current address: School of Mathematics, University of Manchester, Sackville Street, PO Box 88, Manchester M60 1QC, U.K. e-mail: charles.eaton@manchester.ac.uk This research was supported in part by the Marsden Fund of New Zealand via grant #9144/3368248.     

Cohomology Algebras of Blocks of Finite Groups and Brauer Correspondence II

Let k be an algebraically closed field of characteristic p. We shall discuss the cohomology algebras of a block ideal B of the group algebra kG of a finite group G and a block ideal C of the block ideal of kH of a subgroup H of G which are in Brauer correspondence and have a common defect group, continuing (Kawai and Sasaki, Algebr Represent Theory 9(5):497–511, 2006). We shall define a (B,C)-bimodule L. The k-dual L ^* induces the transfer map between the Hochschild cohomology algebras of B and C, which restricts to the inclusion map of the cohomology algebras of B into that of C under some condition. Moreover the module L induces a kind of refinement of Green correspondence between indecomposable modules lying in the blocks B and C; the block varieties of modules lying in B and C which are in Green correspondence will also be discussed.     

Ergodic Actions of Semisimple Lie Groups on Compact Principal Bundles

Let G = SL(n, ?) (or, more generally, let G be a connected, noncompact, simple Lie group). For any compact Lie group K, it is easy to find a compact manifold M, such that there is a volume-preserving, connection-preserving, ergodic action of G on some smooth, principal K-bundle P over M. Can M can be chosen independent of K? We show that if M = H/Λ is a homogeneous space, and the action of G on M is by translations, then P must also be a homogeneous space H′Λ′. Consequently, there is a strong restriction on the groups K that can arise over this particular M.     

On Fusion in Unipotent Blocks

The context of this note is as follows. One considers a connectedreductive group G and a Frobenius endomorphism F: G G definingG over a finite field of order q. One denotes by G^F the associated(finite) group of fixed points. Let l be a prime not dividing q. We are interested in the l-blocksof the finite group G^F. Such a block is called unipotent ifthere is a unipotent character (see, for instance, [6, Definition12.1]) among its representations in characteristic zero. Roughlyspeaking, it is believed that the study of arbitrary blocksof G^F might be reduced to unipotent blocks (see [2, Théorème2.3], [5, Remark 3.6]). In view of certain conjectures aboutblocks (see, for instance, [9]), it would be interesting tofurther reduce the study of unipotent blocks to the study ofprincipal blocks (blocks containing the trivial character).Our Theorem 7 is a step in that direction: we show that thelocal structure of any unipotent block of G^F is very close tothat of a principal block of a group of related type (notionof ‘control of fusion’, see [13, 49]). 1991 MathematicsSubject Classification 20Cxx.     

On Certain Blocks of Schur Algebras

In this paper, what is already known about defect 2 blocks ofsymmetric groups is used to deduce information about the correspondingblocks of Schur algebras. This information includes Ext-quiversand decomposition numbers, as well as Loewy structures of theWeyl modules, principal indecomposable modules and tilting modules.     

Formal Groups of Building Blocks Completely Defined Over Finite Abelian Extensions of Q

Let C be an elliptic curve defined over Q. We can associatetwo formal groups with C: the formal group (X, Y) determinedby the formal completion of the Néron model of C overZ along the zero section, and the formal group F_L(X, Y) of theL-series attached to l-adic representations on C of the absoluteGalois group of Q. Honda shows that F_L(X, Y) is defined overZ, and it is strongly isomorphic over Z to (X, Y). In this paperwe give a generalization of the result of Honda to buildingblocks over finite abelian extensions of Q. The difficulty isto define new matrix L-series of building blocks. Our generalizationcontains the generalization of Deninger and Nart to abelianvarieties of GL₂-type. It also contains the generalization ofour previous paper to Q-curves over quadratic fields. 2000 MathematicsSubject Classification 11G10 (primary), 11F11 (secondary).     

On Blocks with Nilpotent Coefficient Extensions

For modular group algebras over an arbitrary field we define new type of blocks: blocks with nilpotent extensions, and describe their source algebras. To do it, a general pattern is proposed for relations between the source algebra of a block and the source algebra of a block appearing in its decomposition in a suitable extension of the field of coefficients.