-identities on associative algebras

Let be an algebra over a field and a finite group of automorphisms and anti-automorphisms of . We prove that if satisfies an essential -polynomial identity of degree , then the -codimensions of are exponentially bounded and satisfies a polynomial identity whose degree is bounded by an explicit function of . As a consequence we show that if is an algebra with involution satisfying a -polynomial identity of degree , then the -codimensions of are exponentially bounded; this gives a new proof of a theorem of Amitsur stating that in this case must satisfy a polynomial identity and we can now give an upper bound on the degree of this identity.

     

Group rings whose symmetric elements are Lie nilpotent

Let be the group ring of a group over a field , with characteristic different from . Let denote the natural involution on sending each group element to its inverse. Denote by the set of symmetric elements with respect to this involution. A paper of Giambruno and Sehgal showed that provided has no -elements, if is Lie nilpotent, then so is . In this paper, we determine when is Lie nilpotent, if does contain -elements.

     

Sharper changes in topologies

Let be a Polish group, a Polish topology on a space , acting continuously on , with -invariant and in the Borel algebra generated by . Then there is a larger Polish topology on so that is open with respect to , still acts continuously on , and has a basis consisting of sets that are of the same Borel rank as relative to .

     

Some corollaries of Frobenius' normal -complement theorem

For a prime divisor of the order of a finite group , we present the set of -subgroups generating . In particular, we present the set of primary subgroups of generating the last member of the lower central series of . The proof is based on the Frobenius Normal -Complement Theorem and basic properties of minimal nonnilpotent groups. Let be a group and a group-theoretic property inherited by subgroups and epimorphic images such that all minimal non--subgroups (-subgroups) of are not nilpotent. Then (see the lemma), if is generated by all -subgroups of it follows that is a -group.

     

Denjoy's theorem with exponents

If is the (unique) minimal set for a diffeomorphism of the circle without periodic orbits, , then the upper box dimension of is at least . The method of proof is to introduce the exponent into the proof of Denjoy's theorem.

     

Existence of unliftable modules

Let be a commutative Noetherian local ring, and let where is a non-zerodivisor of contained in . Then a finitely generated -module is said to lift to if there exists a finitely generated -module such that is -regular and . In this paper we give a general construction of finitely generated -modules of finite projective dimension over which fail to lift to provided and the depth of is at least 2.

     

On zeros of characters of finite groups

We present several results connecting the number of conjugacy classes of a finite group on which an irreducible character vanishes, and the size of some centralizer of an element. For example, we show that if is a finite group such that , then has an element , such that , where is the maximal number of zeros in a row of the character table of . Dual results connecting the number of irreducible characters which are zero on a fixed conjugacy class, and the degree of some irreducible character, are included too. For example, the dual of the above result is the following: Let be a finite group such that ; then has an irreducible character such that , where is the maximal number of zeros in a column of the character table of .

     

Projections from

Let and be two infinite dimensional real Banach spaces. The following question is classical and long-standing. Are the following properties equivalent?

a) There exists a projection from the space of continuous linear operators onto the space of compact linear operators.

b) .

The answer is positive in certain cases, in particular if or has an unconditional basis. It seems that there are few results in the direction of a general solution. For example, suppose that and are reflexive and that or has the approximation property. Then, if , there is no projection of norm 1, from onto . In this paper, one obtains, in particular, the following result:

Theorem. Let be a real Banach space which is reflexive (resp. with a separable dual), of infinite dimension, and such that has the approximation property. Let be a real scalar with . Then can be equivalently renormed such that, for any projection from onto , one has . One gives also various results with two spaces and .

     

Tensor products of subnormal operators

We shall use a -algebra approach to study operators of the form where is subnormal and is normal. We shall determine the spectral properties for these operators, and find the minimal normal extension and the dual operator. We also give a necessary condition for to contain a compact operator and a sufficient condition for the algebraic equivalence of and .

We also consider the existence of a homomorphism satisfying . We shall characterize the operators such that exists for every operator .

The problem of when is unitarily equivalent to is considered. Complete results are given when and are positive operators with finite multiplicity functions and has compact self-commutator. Some examples are also given.

     

On almost representations of groups

We say that a group belongs to the class if every nonunit quotient group of has an element of order two.

Let be a Hilbert space and let be its group of unitary operators. Suppose that groups and belong to the class and the order of is more than two. Then the free product has the following property. For any there exists a mapping satisfying the following conditions :

1)

2) for any representation the relation

holds.

     

The number of knot group representations is not a Vassiliev invariant

For a finite group and a knot in the -sphere, let be the number of representations of the knot group into . In answer to a question of D.Altschuler we show that is either constant or not of finite type. Moreover, is constant if and only if is nilpotent. We prove the following, more general boundedness theorem: If a knot invariant is bounded by some function of the braid index, the genus, or the unknotting number, then is either constant or not of finite type.

     

Normalizers of the congruence subgroups of the Hecke group

Let cos and let be the Hecke group associated to . In this article, we show that for a prime ideal in , the congruence subgroups of are self-normalized in .

     

The distribution of solutions of the congruence

For a cube of size , we obtain a lower bound on so that is nonempty, where is the algebraic subset of defined by

a positive integer and an integer not divisible by . For we obtain that is nonempty if , for we obtain that is nonempty if , and for we obtain that is nonempty if . Using the assumption of the Grand Riemann Hypothesis we obtain is nonempty if .

     

Smith equivalence of representations for finite perfect groups

Using smooth one-fixed-point actions on spheres and a result due to Bob Oliver on the tangent representations at fixed points for smooth group actions on disks, we obtain a similar result for perfect group actions on spheres. For a finite group , we compute a certain subgroup of the representation ring . This allows us to prove that a finite perfect group has a smooth -proper action on a sphere with isolated fixed points at which the tangent representations of are mutually nonisomorphic if and only if contains two or more real conjugacy classes of elements not of prime power order. Moreover, by reducing group theoretical computations to number theory, for an integer and primes , we prove similar results for the group , , or . In particular, has Smith equivalent representations that are not isomorphic if and only if , , .

     

On permutation representations of polyhedral groups

We answer affirmatively the following question of Derek Holt: Given integers , can one, in a simple manner, find a finite set and permutations such that has order , has order and has order ? The method of proof enables us to prove more general results (Theorems 2 and 3).

     

Special-valued subgroups of lattice-ordered groups

We prove that the intersection of all maximal special-valued subgroups of a lattice-ordered group is the special-valued quasi-torsion radical of a lattice-ordered group , which extends our earlier result that the intersection of all maximal finite-valued subgroups of a lattice-ordered group is the finite-valued torsion radical of . We also show that the class of almost finite-valued lattice-ordered groups is a quasi-torsion class, and the quasi-torsion radical of a group is equal to the intersection of the group with the lateral completion of the finite-valued torsion radical of the group.

     

Schreier theorem on groups which split over free abelian groups

Let be either a free product with amalgamation or an HNN group where is isomorphic to a free abelian group of finite rank. Suppose that both and have no nontrivial, finitely generated, normal subgroups of infinite indices. We show that if contains a finitely generated normal subgroup which is neither contained in nor free, then the index of in is finite. Further, as an application of this result, we show that the fundamental group of a torus sum of -manifolds and , the interiors of which admit hyperbolic structures, have no nontrivial, finitely generated, nonfree, normal subgroup of infinite index if each of and has at least one nontorus boundary.

     

Behaviour of holomorphic automorphisms on equicontinuous subsets of the space

Consider a compact Hausdorff topological space , a -triple and , the -triple of all continuous -valued functions with the pointwise operations and the norm of the supremum. Let be the group of all holomorphic automorphisms of the unit ball of that map every equicontinuous subset lying strictly inside into another such a set. The real Banach-Lie group and its Lie algebra are investigated. The identity connected component of is identified when has the strong Banach-Stone property. This extends to the infinite dimensional setting a well known result concerning the case .

     

Centralizers in residually finite torsion groups

Let be a residually finite torsion group. We show that, if has a finite 2-subgroup whose centralizer is finite, then is locally finite. We also show that, if has no -torsion, and is a finite 2-group acting on in such a way that the centralizer is soluble, or of finite exponent, then is locally finite.

     

Common fixed points of commuting holomorphic maps in the unit ball of

Let be the unit ball of (). We prove that if are holomorphic self-maps of such that , then and have a common fixed point (possibly at the boundary, in the sense of -limits). Furthermore, if and have no fixed points in , then they have the same Wolff point, unless the restrictions of and to the one-dimensional complex affine subset of determined by the Wolff points of and are commuting hyperbolic automorphisms of that subset.