左C-半群的左交错积结构

给出了左C-半群的另一种结构,所谓左交错积结构,并刻画了它的特殊情形.这种结构为左C-半群在广义正则半群类中的再推广奠定了基础.     

On Residually Finite Groups with Engel-like Conditions

Let m, n be positive integers. Suppose that G is a residually finite group in which for every element x ∈ G there exists a positive integer q = q(x) ≤ m such that x^q is left n-Engel. We show that G is locally virtually nilpotent. Further, let w be a multilinear commutator and G a residually finite group in which for every product of at most 896 w-values x there exists a positive integer q = q(x) dividing m such that x^q is left n-Engel. Then w(G) is locally virtually nilpotent.     

Coherent rings of finite weak global dimension

The category of left modules over right coherent rings of finite weak global dimension has several nice features. For example, every left module over such a ring has a flat cover (Belshoff, Enochs, Xu) and, if the weak global dimension is at most two, every left module has a flat envelope (Asensio, Martínez). We will exploit these features of this category to study its objects. In particular, we will consider orthogonal complements (relative to the extension functor) of several classes of modules in this category. In the case of a commutative ring we describe an idempotent radical on its category of modules which, when the weak global dimension does not exceed 2, can be used to analyze the structure of the flat envelopes and of the ring itself.

     

IBN and Related Properties for Rings

We first tackle certain basic questions concerning the Invariant Basis Number (IBN) property and the universal stably finite factor ring of a direct product of a family of rings. We then consider formal triangular matrix rings and obtain information concerning IBN, rank condition, stable finiteness and strong rank condition of such rings. Finally it is shown that being stably finite is a Morita invariant property. This revised version was published online in June 2006 with corrections to the Cover Date.     

F q [M 2], F q [GL 2], and F q [SL 2] as Quantized Hyperalgebras

A ring R is called right Johns if R is right noetherian and every right ideal of R is a right annihilator. R is called strongly right Johns if the matrix ring M _n (R) is right Johns for each integer n ≥ 1. The Faith–Menal conjecture is an open conjecture on QF rings. It says that every strongly right Johns ring is QF. It is proved that the conjecture is true if every closed left ideal of the ring R is finitely generated. This result improves the known result that the conjecture is true if R is a left CS ring.     

MORPHIC MODULES

A module M is called morphic if M/M α ? ker(α) for all endomorphisms α in end(M), and a ring R is called a left morphic ring if _RR is a morphic module. We consider the open question when the matrix ring M_n(R) is left morphic by relating it to when Rⁿ is morphic as a left R-module. More generally, we investigate when M being morphic implies that end(M) is left morphic, and conversely. Finally, we relate the morphic condition to internal cancellation in the module.     

矩阵尾环的Morphic性质(英文)

本文的主要目的是考虑强Morphic环D上的矩阵尾环R[D]的Morphic性质。本文讨论了类似尾环的一些性质。证明了:R[D]是强左Morphic环当且仅当R[D]是左Morphic环当且仅当D是强左Morphic环。本文还构造了一些例子来说明问题。     

Gaussian Groups and Garside Groups, Two Generalisations of Artin Groups

It is known that a number of algebraic properties of the braidgroups extend to arbitrary finite Coxeter-type Artin groups.Here we show how to extend the results to more general groupsthat we call Garside groups. Define a Gaussian monoid to be a finitely generated cancellativemonoid where the expressions of a given element have boundedlengths, and where left and right lowest common multiples exist.A Garside monoid is a Gaussian monoid in which the left andright lowest common multiples satisfy an additional symmetrycondition. A Gaussian group is the group of fractions of a Gaussianmonoid, and a Garside group is the group of fractions of a Garsidemonoid. Braid groups and, more generally, finite Coxeter-typeArtin groups are Garside groups. We determine algorithmic criteriain terms of presentations for recognizing Gaussian and Garsidemonoids and groups, and exhibit infinite families of such groups.We describe simple algorithms that solve the word problem ina Gaussian group, show that these algorithms have a quadraticcomplexity if the group is a Garside group, and prove that Garsidegroups have quadratic isoperimetric inequalities. We constructnormal forms for Gaussian groups, and prove that, in the caseof a Garside group, the language of normal forms is regular,symmetric, and geodesic, has the 5-fellow traveller property,and has the uniqueness property. This shows in particular thatGarside groups are geodesically fully biautomatic. Finally,we consider an automorphism of a finite Coxeter-type Artin groupderived from an automorphism of its defining Coxeter graph,and prove that the subgroup of elements fixed by this automorphismis also a finite Coxeter-type Artin group that can be explicitlydetermined. 1991 Mathematics Subject Classification: primary20F05, 20F36; secondary 20B40, 20M05.     

On a Commuting Graph on Conjugacy Classes of Groups

We consider the graph Γ(G), associated with the conjugacy classes of a group G. Its vertices are the nontrivial conjugacy classes of G, and we join two different classes C, D, whenever there exist x ∈ G and y ∈ D such that xy = yx. The aim of this article is twofold. First, we investigate which graphs can occur in various contexts and second, given a graph Γ(G) associated with G, we investigate the possible structure of G. We proved that if G is a periodic solvable group, then Γ(G) has at most two components, each of diameter at most 9. If G is any locally finite group, then Γ(G) has at most 6 components, each of diameter at most 19. Finally, we investigated periodic groups G with Γ(G) satisfying one of the following properties: (i) no edges exist between noncentral conjugacy classes, and (ii) no edges exist between infinite conjugacy classes. In particular, we showed that the only nonabelian groups satisfying (i) are the three finite groups of order 6 and 8.     

Principal quasi-Baerness of formal power series rings

Let R be a ring. We consider left （or right） principal quasi-Baerness of the left skew formal power series ring R[[x;α]] over R where a is a ring automorphism of R. We give a necessary and sufficient condition under which the ring R[[x; α]] is left （or right） principally quasi-Baer. As an application we show that R[[x]] is left principally quasi-Baer if and only if R is left principally quasi- Baer and the left annihilator of the left ideal generated by any countable family of idempotents in R is generated by an idempotent.     

Projectivity of acts and morita equivalence of monoids

In this paper we shall consider a non-additive category of A-modules, that is, instead of a ring A we take a monoid A which acts on sets from the left. These objects will be called A-acts. We investigate indecomposable A-acts and generators and characterize projectives in this category. For a given monoid A we describe all monoids B such that the category of B-acts is equivalent to the category of A-acts. In particular we find that equivalence of these categories yields an isomorphism between the monoids A and B if A is a group or finite or commutative. This differs from the additive case where the categories of modules over a commutative field and its ring of nxn matrices are equivalent. Finally we give examples of non-isomorphic monoids A and B such that the corresponding categories are equivalent.     

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.     

Some finiteness conditions on normalizers or centralizers in groups

We consider the following two finiteness conditions on normalizers and centralizers in a group G: (i) |N_G(H) : H| < ∞ for every H ? G, and (ii) |C_G(x):?x?|<∞ for every ?x??G. We show that (i) and (ii) are equivalent in the classes of locally finite groups and locally nilpotent groups. In both cases, the groups satisfying these conditions are a special kind of cyclic extensions of Dedekind groups. We also study a variation of (i) and (ii), where the requirement of finiteness is replaced with a bound. In this setting, we extend our analysis to the classes of periodic locally graded groups and non-periodic groups. While the two conditions are still equivalent in the former case, in the latter the condition about normalizers is stronger than that about centralizers.     

An observation on the module structure of block algebras

Let B be a p-block of the finite group G. We observe that the p-fusion of G constrains the module structure of B: Any basis of B that is closed under the left and right multiplications of a chosen Sylow p-subgroup S of G must in fact form a semicharacteristic biset for the fusion system on S induced by G. The parameterization of such semicharacteristic bisets can then be applied to relate the module structure and defect theory of B.     

Normal subgroups of symplectic groups over rings

We consider a module with an alternating form over a commutative ring. Under certain conditions, which hold, for example, when the form is nonsingular and the module is projective of rank 6 and contains a unimodular vector, we describe all subgroups of the symplectic group which are normalized by symplectic transvections. This generalizes many previous results of Dickson, Klingenberg, Abe, Bak, et al.     

Local Subgroups and Group Algebras of Finite p-Solvable Groups

Let p be a prime, k an algebraically closed field ofcharacteristic p, and G a finite group with a Sylowp-Subgroup P. In this paper, we consider the property thatNG(P)/P is Abelian. We provide somenecessary or sufficient conditions NG(P)/P to be Abelian in term of thestructure of the group algebra kG as a k-algebra, in casethat G is p-nilpotent or of p-length 1.     

Rugged modules: The opposite of flatness

Relative notions of flatness are introduced as a mean to gauge the extent of the flatness of any given module. Every module is thus endowed with a flatness domain and, for every ring, the collection of flatness domains of all of its modules is a lattice with respect to class inclusion. This lattice, the flatness profile of the ring, allows us, in particular, to focus on modules which have a smallest flatness domain (namely, one consisting of all regular modules.) We establish that such modules exist over arbitrary rings and we call them Rugged Modules. Rings all of whose (cyclic) modules are rugged are shown to be precisely the von Neumann regular rings. We consider rings without a flatness middle class (i.e., rings for which modules must be either flat or rugged.) We obtain that, over a right Noetherian ring every left module is rugged or flat if and only if every right module is poor or injective if and only if R = S×T, where S is semisimple Artinian and T is either Morita equivalent to a right PCI-domain, or T is right Artinian whose Jacobson radical properly contains no nonzero ideals. Character modules serve to bridge results about flatness and injectivity profiles; in particular, connections between rugged and poor modules are explored. If R is a ring whose regular left modules are semisimple, then a right module M is rugged if and only if its character left module M⁺ is poor. Rugged Abelian groups are fully characterized and shown to coincide precisely with injectively poor and projectively poor Abelian groups. Also, in order to get a feel for the class of rugged modules over an arbitrary ring, we consider the homological ubiquity of rugged modules in the category of all modules in terms of the feasibility of rugged precovers and covers for arbitrary modules.     

Topological Rings of Quotients and Rings Without Open Left Ideals

Simple locally compact rings without open left ideals were considered in [13] and general locally compact rings without open left ideals were studied extensively in [5] and [6]. We remove the hypothesis of local compactness and consider topological rings A without open left ideals but containing an open subring R. In section 4 we show that under these conditions A is completely determined by R. More precisely A can be identified with the topological ring of quotients C(R) introduced in [8]. As an R-module _RA is topologically isomorphic to I_*(_RR), the topological injective hull of _RR. The last statement was proved in [6] for A locally compact and R compact. Section 5 gives a characterization of those linearly topologized rings R that can be openly embedded into a ring A without open left ideals. In particular we shall show that the open left ideals form an idempotent ideal filter with quotient ring A. In section 6 we consider the class ? of all topological rings that can be openly embedded into a topological ring without open left ideals. If we restrict our attention to linearly topologized rings, then ? is Morita-invariant. In section 2 we construct a topological ring of quotients Q_*(R) and prove that it coincides with the ring C(R) of [8].