To date, integral bases for the centre of the Iwahori-Hecke algebra of a finite Coxeter group have relied on character theoretical results and the isomorphism between the Iwahori-Hecke algebra when semisimple and the group algebra of the finite Coxeter group. In this paper, we generalize the minimal basis approach of an earlier paper, to provide a way of describing and calculating elements of the minimal basis for the centre of an Iwahori-Hecke algebra which is entirely combinatorial in nature, and independent of both the above mentioned theories.
This opens the door to further generalization of the minimal basis approach to other cases. In particular, we show that generalizing it to centralizers of parabolic subalgebras requires only certain properties in the Coxeter group. We show here that these properties hold for groups of type and , giving us the minimal basis theory for centralizers of any parabolic subalgebra in these types of Iwahori-Hecke algebra.
For a finite group G, let Cent(G) denote the set of centralizers of single elements of G and #Cent(G) = |Cent(G)|. G is called an n-centralizer group if #Cent(G) = n, and a primitive n-centralizer group if #Cent(G) = #Cent(G/Z(G)) = n. In this paper, we compute #Cent(G) for some finite groups G and prove that, for any positive integer n 2, 3, there exists a finite group G with #Cent(G) = n, which is a question raised by Belcastro and Sherman [2]. We investigate the structure of finite groups G with #Cent(G) = 6 and prove that, if G is a primitive 6-centralizer group, then G/Z(G) A4, the alternating group on four letters. Also, we prove that, if G/Z(G) A4, then #Cent(G) = 6 or 8, and construct a group G with G/Z(G) A4 and #Cent(G) = 8.This research was in part supported by a grant from IPM.2000 Mathematics Subject Classification: 20D99, 20E07 相似文献
For a finite group G,let S(G)be the set of minimal subgroups of odd order of G which are complemented in G.It is proved that if every minimal subgroup X of odd order of G which does not belong to S(G),C_G(X)is either subnormal or abnormal in G.Then G solvable. 相似文献
Various classes of simple torsion modules are classified over the quantum spatial ageing algebra (this is a Noetherian algebra of Gelfand-Kirillov dimension 4). Explicit constructions of these modules are given and for each module its annihilator is found. 相似文献
P. Shumyatsky’s question 11.126 in the “Kourovka Notebook” is answered in the affirmative: it is proved that there exist a
constant c and a function of a positive integer argument f(m) such that if a finite group G admits an automorphism ϕ of order
4 having exactly m fixed points, then G has a normal series G ⩾ H ⩽ N such that |G/H| ⩽ f(m), the quotient group H/N is nilpotent
of class ⩽ 2, and the subgroup N is nilpotent of class ⩽ c (Thm. 1). As a corollary we show that if a locally finite group
G contains an element of order 4 with finite centralizer of order m, then G has the same kind of a series as in Theorem 1.
Theorem 1 generalizes Kovács’ theorem on locally finite groups with a regular automorphism of order 4, whereby such groups
are center-by-metabelian. Earlier, the first author proved that a finite 2-group with an almost regular automorphism of order
4 is almost center-by-metabelian. The proof of Theorem 1 is based on the authors’ previous works dealing in Lie rings with
an almost regular automorphism of order 4. Reduction to nilpotent groups is carried out by using Hall-Higman type theorems.
The proof also uses Theorem 2, which is of independent interest, stating that if a finite group S contains a nilpotent subgroup
T of class c and index |S: T | = n, then S contains also a characteristic nilpotent subgroup of class ⩽ c whose index is bounded
in terms of n and c. Previously, such an assertion has been known for Abelian subgroups, that is, for c = 1.
__________
Translated from Algebra i Logika, Vol. 45, No. 5, pp. 575–602, September–October, 2006. 相似文献
A linear mapping φ from an algebra A into its bimodule M is called a centralizable mapping at G ∈ A if φ(AB)=φ(A)B=Aφ(B) for each A and B in A with AB=G. In this paper, we prove that if M is a von Neumann algebra without direct summands of type I1 and type II, A is a *-subalgebra with M ⊆ A ⊆ LS(M) and G is a fixed element in A, then every continuous (with respect to the local measure topology t(M)) centralizable mapping at G from A into M is a centralizer. 相似文献