Some intersections and identifications in integral group rings

LetZG be the integral group ring of a groupG and I(G) its augmentation ideal. For a free groupF andR a normal subgroup ofF, the intersectionI ⁿ⁺¹ (F) ∩I ⁿ⁺¹ (R) is determined for alln≥ 1. The subgroupsF ∩ (1+ZFI (R) I (F) I (S)) ANDF ∩ (1 + I (R)I ³ (F)) of F are identified whenR and S are arbitrary subgroups ofF.     

G-theory of group rings for groups of square-free order

The formula for the G-theory of the group ring of a finite group G conjectured by Hambleton, Taylor, and Williams is shown to be valid for ¦G¦ square-free.     

The -invariant and Gorensteinness of graded rings associated to filtrations of ideals in regular local rings

Let be a regular local ring and let be a filtration of ideals in such that is a Noetherian ring with . Let and let be the -invariant of . Then the theorem says that is a principal ideal and for all if and only if is a Gorenstein ring and . Hence , if is a Gorenstein ring, but the ideal is not principal.

     

The augmentation ideal in group near-rings

The definition of the group near-ring R[G] of the near-ring R over the group G as a near-ring of mappings from R ^(G) to itself is due to Le Riche et al. (Arch Math 52:132–139, 1989). In this paper we consider the augmentation ideal Δ of R[G]. If the exponent of G is not 2, then the structure of ΔR ^(G) is determined in terms of commutators and distributors. This is then used to show that Δ is nilpotent if and only if R is weakly distributive, has characteristic p ⁿ for some prime p and G is a finite p-group for the same prime p.      

Some remarks on almost l-groups

The divisibility group of every Bézout domain is an abelian l-group. Conversely, Jaffard, Kaplansky, and Ohm proved that each abelian l-group can be obtained in this way, which generalizes Krull’s theorem for abelian linearly ordered groups. Dumitrescu, Lequain, Mott, and Zafrullah [3] proved that an integral domain is almost GCD if and only if its divisibility group is an almost l-group. Then they asked whether the Krull-Jaffard-Kaplansky-Ohm theorem on l-groups can be extended to the framework of almost l-groups, and asked under what conditions an almost l-group is lattice-ordered [3, Questions 1 and 2]. This note answers the two questions. Received: 29 April 2008     

Some remarks on the local fundamental group scheme

We define the local fundamental group scheme and study its properties under base change of the base field.     

Basic subgroups in modular abelian group algebras

Suppose F is a perfect field of char F = p ≠ 0 and G is an arbitrary abelian multiplicative group with a p-basic subgroup B and p-component G _p . Let FG be the group algebra with normed group of all units V(FG) and its Sylow p-subgroup S(FG), and let I _p (FG; B) be the nilradical of the relative augmentation ideal I(FG; B) of FG with respect to B. The main results that motivate this article are that 1 + I _p (FG; B) is basic in S(FG), and B(1 + I _p (FG; B)) is p-basic in V(FG) provided G is p-mixed. These achievements extend in some way a result of N. Nachev (1996) in Houston J. Math. when G is p-primary. Thus the problem of obtaining a (p-)basic subgroup in FG is completely resolved provided that the field F is perfect. Moreover, it is shown that G _p (1 + I _p (FG; B))/G _p is basic in S(FG)/G _p , and G(1 + I _p (FG; B))/G is basic in V(FG)/G provided G is p-mixed. As consequences, S(FG) and S(FG)/G _p are both starred or divisible groups. All of the listed assertions enlarge in a new aspect affirmations established by us in Czechoslovak Math. J. (2002), Math. Bohemica (2004) and Math. Slovaca (2005) as well.     

Central units in p-adic group rings

If p is a natural prime and G any p-group then an exact sequence is constructed to describe the group of units in the center of the p-adic group ring _p [G].     

Some remarks on countably determined measures and uniform distribution of sequences

Two topics are investigated: countably determined (regular Borel probability) measures on compact Hausdorff spaces, and uniform distribution of sequences regarding mainly this kind of measures. We prove several characterizations of countably determined measures, and apply the results in order to show the existence of a well distributed sequence in the support of a countably determined measure. We also generalize a result of Losert on the existence of uniformly distributed sequences in compact dyadic spaces.     

Rieffel projections in certain transformation group C*-algebras

LetA be the transformation groupC ^*-algebra associated with an arbitrary orientation-preserving homeomorphism of . ThisC ^*-algebra contains an infinite family of projections, called Rieffel projections, each of which generates theK ₀-groupK ₀(A). Although these projections must beK-theoretically equivalent, it is easy to see that most are not Murray-von Neumann equivalent. The mystery of how large the matrix algebra must be to implement theK-theory equivalence, is solved by explicitly constructing the equivalence in the smallest possible algebra:A with unit adjoined.Partially supported by NSF Grant DMS 8901923.     

Representations of 2-Groups by Polynomials

It is known that any finite p-group can be represented by polynomials. However, how to represent p-groups and how to classify p-groups up to isomorphism are interesting and open questions. In this article, we investigate the 2-groups of order 8, and represent the dihedral group D_2n, the generalized quaternion group Q_2n, and the infinite dihedral group D.2000 Mathematics Subject Classification: 20C99, 20E99     

On <Emphasis Type="Italic">S</Emphasis>-quasinormal and <Emphasis Type="Italic">c</Emphasis>-normal subgroups of a finite group

Let be a saturated formation containing the class of supersolvable groups and let G be a finite group. The following theorems are presented: (1) G ∈ if and only if there is a normal subgroup H such that G/H ∈ and every maximal subgroup of all Sylow subgroups of H is either c-normal or S-quasinormally embedded in G. (2) G ∈ if and only if there is a normal subgroup H such that G/H ∈ and every maximal subgroup of all Sylow subgroups of F*(H), the generalized Fitting subgroup of H, is either c-normal or S-quasinormally embedded in G. (3) G ∈ if and only if there is a normal subgroup H such that G/H ∈ and every cyclic subgroup of F*(H) of prime order or order 4 is either c-normal or S-quasinormally embedded in G. Supported by the Natural Science Foundation of China and the Natural Science Foundation of Guangxi Autonomous Region (No. 0249001). Corresponding author. Supported in part by the Natural Science Foundation of China (10571181), NSF of Guangdong Province (06023728) and ARF(GDEI).     

Solvable infinite-dimensional linear groups with restrictions on the nonabelian subgroups of infinite rank

Under study are the solvable nonabelian linear groups of infinite central dimension and sectional p-rank, p ≥ 0, in which all proper nonabelian subgroups of infinite sectional p-rank have finite central dimension. We describe the structure of the groups of this class.     

Random fixed point theorems for a certain class of mappings in banach spaces

Let (, ) be a measurable space and C a nonempty bounded closed convex separable subset of p-uniformly convex Banach space E for some p > 1. We prove random fixed point theorems for a class of mappings T: × C C satisfying: for each x, y C, and integer n 1,

Infinite-dimensional linear groups with restrictions on subgroups that are not soluble <Emphasis Type="Italic">A</Emphasis><Subscript>3</Subscript>-groups

We are concerned with infinite-dimensional locally soluble linear groups of infinite central dimension that are not soluble A₃-groups and all of whose proper subgroups, which are not soluble A₃-groups, have finite central dimension. The structure of groups in this class is described. The case of infinite-dimensional locally nilpotent linear groups satisfying the specified conditions is treated separately. A similar problem is solved for infinite-dimensional locally soluble linear groups of infinite fundamental dimension that are not soluble A₃-groups and all of whose proper subgroups, which are not soluble A₃-groups, have finite fundamental dimension. __________ Translated from Algebra i Logika, Vol. 46, No. 5, pp. 548–559, September–October, 2007.