On finite groups whose every proper normal subgroup is a union of a given number of conjugacy classes

Let G be a finite group andA be a normal subgroup ofG. We denote by ncc(A) the number ofG-conjugacy classes ofA andA is calledn-decomposable, if ncc(A)= n. SetK _G = {ncc(A)|A ⊲ G}. LetX be a non-empty subset of positive integers. A groupG is calledX-decomposable, ifK _G =X. Ashrafi and his co-authors [1-5] have characterized theX-decomposable non-perfect finite groups forX = {1, n} andn ≤ 10. In this paper, we continue this problem and investigate the structure ofX-decomposable non-perfect finite groups, forX = {1, 2, 3}. We prove that such a group is isomorphic to Z₆, D₈, Q₈, S₄, SmallGroup(20, 3), SmallGroup(24, 3), where SmallGroup(m, n) denotes the mth group of ordern in the small group library of GAP [11].     

Finite arithmetic subgroups ofGL n,III

LetG be an algebraic group inGL _n (C) defined over Q, andK an algebraic number field with the maximal orderO _k . If the groupG(O _k ) of rational points ofG inM _n (O _k ) is a finite group and if it satisfies a certain condition, which is satisfied, for example, whenK is a nilpotent extension of Q and 2 is unramified, thenG(O _k ) is generated by roots of unity inK andG(Z). Dedicated to the memory of Professor K G Ramanathan     

Multiplicity formulas for finite dimensional and generalized principal series representations

The article presents two results. (1) Let a be a reductive Lie algebra over ℂ and let b be a reductive subalgebra of a. The first result gives the formula for multiplicity with which a finite dimensional irreducible representation of b appears in a given finite dimensional irreducible representation of a in a general situation. This generalizes a known theorem due to Kostant in a special case. (2) LetG be a connected real semisimple Lie group andK a maximal compact subgroup ofG. The second result is a formula for multiplicity with which an irreducible representation ofK occurs in a generalized representation ofG arising not necessarily from fundamental Cartan subgroup ofG. This generalizes a result due to Enright and Wallach in a fundamental case.     

On subsemigroups of semisimple Lie groups

In this paper we classify the subsemigroups of any connected semisimple Lie groupG which areK-bi-invariant, whereG=KAN is an Iwasawa decomposition ofG.     

Galois groups ofp-extensions with two ramification points

LetK _p (p, q) be the maximalp-extension of the field ℚ of rational numbers with ramification pointsp andq. LetG _p (p, q) be the Galois group of the extensionK _p(p.q)/ℚ. It is known thatG _p(p, q) can be presented by two generators which satisfy a single relation. The form of this relation is known only modulo the second member of the descending central series ofG _p(p, q). In this paper, we find an arithmetical-type condition on which the form of the relation modulo the third member of the descending central series ofG _p(p, q) depends. We also consider two examples withp=3,q=19 andp=3,q=37. Translated from Lietuvos Matematikos Rinkinys, Vol. 40, No. 1, pp. 48–60, January–March, 2000. Translated by H. Markšaitis     

On complemented subgroups of finite groups

A subgroup H of a group G is said to be complemented in G if there exists a subgroup K of G such that G = HK and H ⋂ K = 1. In this paper we determine the structure of finite groups with some complemented primary subgroups, and obtain some new results about p-nilpotent groups.     

A generalization of Brauer''s map of decomposition

We first reformulate Quillen's localization theorem forG-theory in complicial bi-Waldhausen category setting. Secondly, because of this reformulation, we are able to generalize Brauer's decomposition mapd ₀:G ₀(KG)G ₀(kG) to higherG-theory leveld _n :G _n (KG)G _n (kG),n=0, 1 ..., whereG is a finite group,R a Dedekind domain,m a maximal ideal ofR,K=quotient field ofR andk=R/m.     

Some remarks on subgroups determined by certain ideals in integral group rings

LetG be a group,ZG the integral group ring ofG andI(G) its augmentation ideal. Subgroups determined by certain ideals ofZG contained inI(G) are identified. For example, whenG=HK, whereH, K are normal subgroups ofG andH∩K⊆ζ(H), then the subgroups ofG determined byI(G)I(H)I(G), andI ³(G)I(H) are obtained. The subgroups of any groupG with normal subgroupH determined by (i)I ²(G)I(H)+I(G)I(H)I(G)+I(H)I²(G), whenH′⊆[H,G,G] and (ii)I(G)I(H)I(G) when degH ²(G/H′, T)≤1, are computed. the subgroup ofG determined byI ⁿ(G)+I(G)I(H) whenH is a normal subgroup ofG withG/H free Abelian is also obtained     

The Bass Conjecture and Group von Neumann Algebras

The precise relationship between the Bass conjecture for the Hattori–Stallings trace for projective ZG-modules and the map from reduced K-theory of ZG to reduced K-theory of the von Neumann algebra, NG, of G, of G is determined. As a consequence it is shown this map is zero for all groups G. It is also shown that the map induced on K-theory from the inclusion of NG to the ring of closed, densely defined operators affiliated to NG is an isomorphism. Together with the above result, this gives some positive evidence for the validity of the Division Ring Conjecture for torsion free groups.     

A characterization of a class of [Z] groups via Korovkin theory

We characterize all the central topological groupsG for which the centreZ(L ¹(G)) of the group algebra admits a finite universal Korovkin set. It is proved thatZ(L ¹(G)) has a finite universal Korovkin set iffĜ is a finite dimensional, separable metric space. This is equivalent to the fact thatG is separable, metrizable andG/K has finite torsion free rank, whereK is a compact open normal subgroup of certain direct summand ofG.     

On precover classes

Sunto LetG andH be abstract classes of modules. The classH is said to have theG-property if to each infinite cardinal λ there exists a cardinal κ>λ such that for everyF∈H with |F|≥κ and every its submoduleK with |F/K|≤λ there exists a submoduleL ofK such thatF/L/teG and |F/L|<κ. This condition is stronger than the condition (P) requiringL≠0 instead of |F/L|<κ, which was introduced and investigated in [8]. In this note we are going to study the relations of this more general condition to the existence of precovers with respect to some classes of modules. As an application we obtain some sufficient conditions for the existence of σ-torsionfree precovers related to a given hereditary torsion theory σ for the categoryR-mod. This result is closely related to and in some sense extends that of [5]. The research has been partially supported by the Grant Agency of the Czech Republic, grant #GAČR 201/03/0937 and also by the institutional grant MSM 113 200 007.     

Module Correspondences for Twisted Group Algebras

Abstract

Let G and A be finite groups such that (|G|, |A|) = 1. Let K be an algebraically closed field with Char K = 0. Denote by K ^α G the twisted group algebra of G over K with factor set α. In this paper we prove that if A acts homogeneously on K ^α G, then there exists an action of A on G, and there is a one-to-one correspondence between the set of A-invariant irreducible K ^α G-modules and the set of irreducible K ^α C _G (A)-modules.     

On component factors

LetK be a connected graph. A spanning subgraphF ofG is called aK-factor if every component ofF is isomorphic toK. On the existence ofK-factors we show the following theorem: LetG andK be connected graphs andp be an integer. Suppose|G| = n|K| and 1 <p < n. Also suppose every induced connected subgraph of orderp|K| has aK-factor. ThenG has aK-factor.     

The Bass-Heller-Swan formula for the equivariant topological Whitehead group

In the first part of this paper, a geometric definition of theK-theory equivariant nilpotent groups is given. For a finite groupG, the Nil-groups are defined as functors from the category ofG-spaces andG-homotopy classes ofG-maps to Abelian groups. In the nonequivariant case, these groups are isomorphic to the classical algebraic Nil-groups.In the second part, the Bass-Heller-Swan formula is proved for the equivariant topological Whitehead group. The main result of this work is that ifX is a compactG-ANR andG acts trivially onS ¹, then

Generalized frobenius groups. II

A pair (G, K) in whichG is a finite group andK a normal nontrivial proper subgroup ofG is said to be an F2-pair (a Frobenius type pair) if |C _G (x)|=|C _G/K (xK)| for allx∈G\K. A theorem of Camina asserts that in this case eitherK orG/K is ap-group or elseG is a Frobenius group with Frobenius kernelK. The structure ofG will be described here under certain assumptions on the Sylowp-subgroups ofG. This author’s research was partially supported by the Technion V.P.R. fund — E.L.J. Bishop research fund. This author’s research was partially supported by the MPI fund.     

On Tate-Shafarevich groups over galois extensions

LetA be an abelian variety defined over a number fieldK. LetL be a finite Galois extension ofK with Galois groupG and let III(A/K) and III(A/L) denote, respectively, the Tate-Shafarevich groups ofA overK and ofA overL. Assuming these groups are finite, we compute [III(A/L) ^G ]/[III(A/K)] and [III(A/K)]/[N(III(A/L))], where [X] is the order of a finite abelian groupX. Especially, whenL is a quadratic extension ofK, we derive a simple formula relating [III(A/L)], [III(A/K)], and [III(A ^x/K)] whereA x is the twist ofA by the non-trivial characterχ ofG.     

Banach space representations and Iwasawa theory

We develop a duality theory between the continuous representations of a compactp-adic Lie groupG in Banach spaces over a givenp-adic fieldK and certain compact modules over the completed group ringo _K[[G]]. We then introduce a “finiteness” condition for Banach space representations called admissibility. It will be shown that under this duality admissibility corresponds to finite generation over the ringK[[G]]: =K ⊗o _K[[G]]. Since this latter ring is noetherian it follows that the admissible representations ofG form an abelian category. We conclude by analyzing the irreducibility properties of the continuous principal series of the groupG: = GL₂(ℤ _p ).     

Admissible wavelets on the Siegel domain of type one

LetSp(n, R) be the sympletic group, and letK _n * be its maximal compact subgroup. ThenG=Sp(n,R)/K _n * can be realized as the Siegel domain of type one. The square-integrable representation ofG gives the admissible wavelets AW and wavelet transform. The characterization of admissibility condition in terms of the Fourier transform is given. The Bergman kernel follows from the viewpoint of coherent state. With the Laguerre polynomials, Hermite polynomials and Jacobi polynomials, two kinds of orthogonal bases for AW are given, and they then give orthogonal decompositions ofL ²-space on the Siegel domain of type one ℒ(ℋ _n , |y| *dxdy). Project supported in part by the National Natural Science Foundation of China (Grant No. 19631080).     

Sums of lengtht in Abelian groups

LetG be an Abelian group written additively,B a finite subset ofG, and lett be a positive integer. Fort≦|B|, letB _t denote the set of sums oft distinct elements overB. Furthermore, letK be a subgroup ofG and let σ denote the canonical homomorphism σ:G→G/K. WriteB _t (modB _t) forB _tσ and writeB _t (modK) forBσ. The following addition theorem in groups is proved. LetG be an Abelian group with no 2-torsion and letB a be finite subset ofG. Ift is a positive integer such thatt<|B| then |B _t (modK)|≧|B (modK)| for any finite subgroupK ofG.