QUASIREGULAR TORSION RINGS HAVING ISOMORPHIC ADDITIVE AND CIRCLE COMPOSITION GROUPS

Abstract

We investigate the role played by torsion properties in determining whether or not a commutative quasiregular ring has its additive and circle composition (or adjoint) groups isomorphic. We clarify and extend some results for nil rings, showing, in particular, that an arbitrary torsion nil ring has the isomorphic groups property if and only if the components from its primary decomposition into p-rings do too.

We look at the more specific case of finite rings, extending the work of others to show that a non-trivial ring with the isomorphic groups property can be constructed if the additive group has one of the following groups in its decomposition into cyclic groups: Z₂ ⁿ (for n ≥ 3), Z₂ ⊕ Z₂ ⊕ Z₂, Z₂ ⊕ Z₄, Z₄ ⊕ Z₄, Z _p ⊕ Z _p (for odd primes, p), or Z _p ⁿ (for odd primes, p, and n ≥ 2).

We consider, also, an example of a ring constructed on an infinite torsion group and use a specific case of this to show that the isomorphic groups property is not hereditary.     

Two theorems on the vertices of Specht modules

Two theorems about the vertices of indecomposable Specht modules for the symmetric group, defined over a field of prime characteristic p, are proved: 1. The indecomposable Specht module $S^\lambda$ has non-trivial cyclic vertex if and only if $\lambda$ has p-weight 1. 2. If p does not divide n and $S^{(n-r, 1^r)}$ is indecomposable then its vertex is a p-Sylow subgroup of $S_{n-r-1} \times S_r$.Received: 15 August 2002     

On F-inverse covers of inverse monoids

It is shown that each finite inverse monoid admits a finite F-inverse cover if and only if the same is true for each finite combinatorial strict inverse semigroup with an identity adjoined if and only if the same is true for the Margolis-Meakin expansion M(H) of each finite elementary abelian p-group H for some prime p. Additional equivalent conditions are given in terms of the existence of locally finite varieties of groups having certain properties. Ultimately, the problem of whether each finite inverse monoid admits a finite F-inverse cover, is reduced to a question concerning the Kostrikin-Zelmanov varieties K_n of all locally finite groups of exponent dividing n.     

On the lattice formed by all normal subloops of a finite loop

All normal subloops of a loopG form a modular latticeL _n (G). It is shown that a finite loopG has a complemented normal subloop lattice if and only ifG is a direct product of simple subloops. In particular,L _n (G) is a Boolean algebra if and only if no two isomorphic factors occurring in a decomposition ofG are abelian groups. The normal subloop lattice of a finite loop is a projective geometry if and only ifG is an elementary abelianp-group for some primep.     

Sylow products and the solvable radical

We study products of Sylow subgroups of a finite group G. First we prove that G is solvable if and only if G = P₁ ... P_m for any choice of Sylow p_i-subgroups P_i , where p₁,..., p_m are all of the distinct prime divisors of |G|, and for any ordering of the p_i . Then, for a general finite group G, we show that the intersection of all Sylow products as above is a subgroup of G which is closely related to the solvable radical of G. Received: 18 November 2004     

Degenerations for modules over blocks of group algebras

Let B be a block of the group algebra KG of a finite Group G over an algebraically closed field K. We prove that every degeneration of finite dimensional B-modules is given by short exact sequences if and only if B is of finite representation type. Received: 7 July 1997     

On deformations of crossed products

Let A∗Γ be a crossed product algebra, where A is semisimple, finitely generated over its center and Γ is a finite group. We give a necessary and sufficient condition in terms of the outer action of Γ on A for the existence of a multi-parametric semisimple deformation of the form A((t₁,…,t_n))∗Γ (with the induced outer action). The main tool in the proof is the solution of the so-called twisting problem. We also give an example which shows that the condition is not sufficient if one drops the condition on the finite generation of A over its center.     

Block separation in solvable groups

If π is a set of primes, a finite group G is block π-separated if for every two distinct irreducible complex characters α, β ∈ Irr(G) there exists a prime p ∈ π such that α and β lie in different Brauer p-blocks. A group G is block separated if it is separated by the set of prime divisors of |G|. Given a set π with n different primes, we construct an example of a solvable π-group G which is block separated but it is not separated by every proper subset of π. Received: 22 December 2004     

Engel Values in Residually Finite Groups

The following theorem is proved. Let n be a positive integer and q a power of a prime p. There exists a number m = m(n, q) depending only on n and q such that if G is any residually finite group satisfying the identity ([x _1,n y ₁] ⋯ [x _m,n y _m ])^q ≡ 1, then the verbal subgroup of G corresponding to the nth Engel word is locally finite.     

The Ring of Modules with Endo-permutation Source

In this paper we consider certain subalgebras of the Green algebra (representation algebra) of a finite group G. One such algebra is spanned by the isomorphism classes of all indecomposable modules whose source is an endo-permutation module. This algebra can be embedded into a finite direct product of Laurent polynomial rings in finitely many variables over a field. Another such algebra is spanned by the isomorphism classes of all irreducibly generated modules. When G is p-solvable then this algebra is finite-dimensional and split semisimple.R. Boltje was supported by the NSF, DMS-0200592 and 0128969. B. Külshammer was supported by the DAAD.     

Representations of finite partially ordered sets over commutative artinian uniserial rings

Categories of representations of finite partially ordered sets over commutative artinian uniserial rings arise naturally from categories of lattices over orders and abelian groups. By a series of functorial reductions and a combinatorial analysis, the representation type of a category of representations of a finite partially ordered set S over a commutative artinian uniserial ring R is characterized in terms of S and the index of nilpotency of the Jacobson radical of R. These reductions induce isomorphisms of Auslander-Reiten quivers and preserve and reflect Auslander-Reiten sequences. Included, as an application, is the completion of a partial characterization of representation type of a category of representations arising from pairs of finite rank completely decomposable abelian groups.     

Broué's conjecture for non-principal 3-blocks of finite groups

In representation theory of finite groups, there is a well-known and important conjecture due to M. Broué. He conjectures that, for any prime p, if a p-block A of a finite group G has an abelian defect group D, then A and its Brauer correspondent p-block B of N_G(D) are derived equivalent. We demonstrate in this paper that Broué's conjecture holds for two non-principal 3-blocks A with elementary abelian defect group D of order 9 of the O'Nan simple group and the Higman-Sims simple group. Moreover, we determine these two non-principal block algebras over a splitting field of characteristic 3 up to Morita equivalence.     

Covering a Finite Abelian Group by Subset Sums

Let G be an abelian group of order n. The critical number c(G) of G is the smallest s such that the subset sums set (S) covers all G for eachs ubset SG\{0} of cardinality |S|s. It has been recently proved that, if p is the smallest prime dividing n and n/p is composite, then c(G)=|G|/p+p–2, thus establishing a conjecture of Diderrich.We characterize the critical sets with |S|=|G|/p+p–3 and (S)=G, where p3 is the smallest prime dividing n, n/p is composite and n7p²+3p.We also extend a result of Diderrichan d Mann by proving that, for n67, |S|n/3+2 and S=G imply (S)=G. Sets of cardinality for which (S) =G are also characterized when n183, the smallest prime p dividing n is odd and n/p is composite. Finally we obtain a necessary and sufficient condition for the equality (G)=G to hold when |S|n/(p+2)+p, where p5, n/p is composite and n15p².* Work partially supported by the Spanish Research Council under grant TIC2000-1017 Work partially supported by the Catalan Research Council under grant 2000SGR00079     

Characterization of Abelian groups with a minimal generating set

Abstract

We characterize Abelian groups with a minimal generating set: Let τ A denote the maximal torsion subgroup of A. An infinitely generated Abelian group A of cardinality κ has a minimal generating set iff at least one of the following conditions is satisfied:

1. dim(A/pA) = dim(A/qA) = κ for at least two different primes p, q.

2. dim(t A/pt A) = κ for some prime number p.

3. Σ{dim(A/(pA + B)) ∣ dim(A/(pA + B)) < κ} = κ for every finitely generated subgroup B of A.

Moreover, if the group A is uncountable, property (3) can be simplified to (3') Σ{dim(A/pA) ∣ dim(A/pA) < κ} = κ, and if the cardinality of the group A has uncountable cofinality, then A has a minimal generating set iff any of properties (1) and (2) is satisfied.     

Simulated factorizations II

Summary A factorization of a finite abelian group is said to be simulated if it is obtained from a factorization into a direct product of subgroups by changing at mostk elements in each subgroup. The question has been asked as to which values ofk imply that in fact at least one subgroup must be left unaltered. This has been shown to be true fork = 1 but to be false, in general, fork = p – 1, wherep is the least prime dividing the order ofG. In this paper it is shown to be true fork = p – 2.     

Almost maximally almost-periodic group topologies determined by T-sequences

A sequence {an} in a group G is a T-sequence if there is a Hausdorff group topology τ on G such that . In this paper, we provide several sufficient conditions for a sequence in an abelian group to be a T-sequence, and investigate special sequences in the Prüfer groups Z(p^∞). We show that for p≠2, there is a Hausdorff group topology τ on Z(p^∞) that is determined by a T-sequence, which is close to being maximally almost-periodic—in other words, the von Neumann radical n(Z(p^∞),τ) is a non-trivial finite subgroup. In particular, n(n(Z(p^∞),τ))?n(Z(p^∞),τ). We also prove that the direct sum of any infinite family of finite abelian groups admits a group topology determined by a T-sequence with non-trivial finite von Neumann radical.     

On harmonic tori in compact rank one symmetric spaces

In this paper we prove that, in contrast with the Sn and CPn cases, there are harmonic 2-tori into the quaternionic projective space HPn which are neither of finite type nor of finite uniton number; we also prove that any harmonic 2-torus in a compact Riemannian symmetric space which can be obtained via the twistor construction is of finite type if and only it is constant; in particular, we conclude that any harmonic 2-torus in CPn or Sn which is simultaneously of finite type and of finite uniton number must be constant.     

Abelian groups admitting a Fréchet-Urysohn pseudocompact topological group topology

We show that every Abelian group G with r₀(G)=|G|=|G|^ω admits a pseudocompact Hausdorff topological group topology T such that the space (G,T) is Fréchet-Urysohn. We also show that a bounded torsion Abelian group G of exponent n admits a pseudocompact Hausdorff topological group topology making G a Fréchet-Urysohn space if for every prime divisor p of n and every integer k≥0, the Ulm-Kaplansky invariant f_p,k of G satisfies (f_p,k)^ω=f_p,k provided that f_p,k is infinite and f_p,k>f_p,i for each i>k.Our approach is based on an appropriate dense embedding of a group G into a Σ-product of circle groups or finite cyclic groups.