In [10] we associate to a crossed module (T, G, მ) an invariant abelian crossed module H2(T, G, მ). The construction uses presentations by Set-free crossed modules. Now, Set-free crossed modules are special cases of totally free crossed modules, which are algebraic models of 2-dimensional CW complexes used by several authors (see [1] and [6]). The aim of this paper is to show that H2(T, G, მ) can also be constructed from presentations by arbitrary totally free crossed modules.

Throughout this note, rings are associative with identity element but are not necessarily commutative. Let R be a left and right Noetherian ring which has an Artinian (classical) quotient ring. It was shown by S. M. Ginn and P. B. Moss [2, Theorem 10] that there is a central idempotent element e of R such that eR is the largest Artinian ideal of R. We shall extend this result, using a different method of proof, to show that the idempotent e is also related to the socle of R/N (where N, throughout, denotes the largest nilpotent ideal of R) and to the intersection of all the principal right (or left) ideals of R generated by regular elements (i.e. by elements which are not zero-divisors). There are many examples of left and right Noetherian rings with Artinian quotient rings, e.g. commutative Noetherian rings in which all the associated primes of zero are minimal together with full or triangular matrix rings over such rings. It was shown by L. W. Small that if R is any left and right Noetherian ring then R has an Artinian quotient ring if and only if the regular elements of R are precisely the elements c of R such that c + N is a regular element of R/N (for further details and examples see [5] and [6]). By the largest Artinian ideal of R we mean the sum of all the Artinian right ideals of R, and it was shown by T. H. Lenagan in [3] that this coincides in any left and right Noetherian ring R with the sum of all the Artinian left ideals of R.

Applying Hopkins's Theorem asserting that each unitary right Artinian ring is right Noetherian, G. Köthe and K. Shoda proved the following theorem (cf. Köthe [7], p. 360, Theorem 1 and p. 363, Theorem 5): If R is a unitary right Artinian ring, then the following statements hold:

(i) Each nilpotent subring of R is contained in a maximal nilpotent subring of R.

(ii) The intersection of all maximal nilpotent subrings of R is the maximal nilpotent twosided ideal of R.

(iii) All maximal nilpotent subrings of R are conjugate.

A group G is said to be an FC-group if each element of G has only a finite number of conjugates in G. We are concerned with the class of periodic locally soluble. FC-groups. Clearly subgroups and factor groups of -groups are also -groups.

Every finite soluble group is a -group, and we consider here the generalization of a concept from the theory of finite soluble groups.

If G1 and G2 are locally compact groups and the algebras Ll(G1) and Ll(G2) are isometrically isomorphic, then G1 and G2 are isomorphic (Wendel, 1952, [8]). There is evidence that the following generalization of Wendel's result is true.

If T is an algebra isomorphism of L1(G1) onto L1(G2) with ∥T∥ < √2, then G1, and G2 are isomorphic.

Djabali [1] has proved that, if R is a right and left noetherian ring with an identity and if the proper prime ideals of R are maximal, then R has a right and left artinian two-sided quotient ring. Robson [5, Theorem 2.11] and Small [6, Theorem 2.13] have proved independently that, if Ris a commutative noetherian ring, then Rhas an artinian quotient ring if and only if the prime ideals of Rthat belong to the zero ideal are all minimal. We shall generalise these results by proving the

Theorem. Let R be a right and left noetherian ring with a regular element. Then R has a right and left artinian two-sided quotient ring if and only if each prime ideal of R consisting of zero–divisors is minimal.

We compare the reduced Drinfeld doubles of the composition subalgebras of the category of representations of the Kronecker quiver and the category of coherent sheaves on ℙ1. Using this approach, we show that the Drinfeld–Beck isomorphism for the quantized enveloping algebra Uv() is a corollary of an equivalence between the derived categories Db(Rep()) and Db(Coh(ℙ1)). This technique allows to reprove several results on the integral form of Uv().

We define branching systems for finitely aligned higher-rank graphs. From these, we construct concrete representations of higher-rank graph C*-algebras on Hilbert spaces. We prove a generalized Cuntz–Krieger uniqueness theorem for periodic single-vertex 2-graphs. We use this result to give a sufficient condition under which representations of periodic single-vertex 2-graph C*-algebras arising from branching systems are faithful.

The goal of this paper is to present a solution of the cellular automaton associated with the discrete KdV equation, using an algebro-geometric solution of the discrete KP equation over a finite field out of a hyperelliptic curve.

We construct a T1-space that is not hereditarily compact, although each of its open sets is the intersection of two compact open sets. The search for such a space was motivated by a problem in the theory of quasi-proximities.

We show that if R is a commutative ring and (S, \leq ) a strictly totally ordered monoid, then the ring [[R^{S, \leq }]] of generalized power series is Baer if and only if R is Baer.

Let $p^m$ be a power of a prime number $p$, $\mathbb{Dacute;_{p^m}$ be the dihedral group of order $2p^m$ and $k$ be a field where $p$ is invertible and containing a primitive $2p^m$-th root of unity. The aim of this paper is computing the Brauer group $BM(k,\mathbb{D}_{p^m},R_z)$ of the group Hopf algebra of $\mathbb{D}_{p^m}$ with respect to the quasi-triangular structure $R_z$ arising from the group Hopf algebra of the cyclic group $\mathbb{Z}_{p^m}$ of order $p^m,$ for $z$ coprime with $p$. The main result states that $BM(k,\mathbb{D}_{p^m},R_z)\cong \mathbb{Z}_2 \times k^{\cdot}/k^{\cdot 2} \times Br(k)$ when $p$ is odd and when $p=2,$$BM(k,\mathbb{D}_{2^m},R_z) \cong \mathbb{Z}_2\times \mathbb{Z}_2 \times k^{\cdot}/k^{\cdot 2} \times k^{\cdot}/k^{\cdot 2} \times Br(k).$

In this note, we establish a Schwarz–Pick type inequality for holomorphic mappings between unit balls Bn and Bm in corresponding complex spaces. We also prove a Schwarz-Pick type inequality for pluri-harmonic functions.

We prove that each positive power of the maximal ideal of a commutative Noetherian local ring is Tor-rigid and strongly rigid. This gives new characterizations of regularity and, in particular, shows that such ideals satisfy the torsion condition of a long-standing conjecture of Huneke and Wiegand.

We show that the set of complex numbers which are badly approximable by ratios of elements of the ring of integers in , where D ∈ {1, 2, 3, 7, 11, 19, 43, 67, 163} has maximal Hausdorff dimension. In addition, the intersection of these sets is shown to have maximal dimension. The results remain true when the sets in question are intersected with a suitably regular fractal set.

It is well known that the category of finite groups has no non-trivial injective objects. In general, a group is said to be quasi-injective if for every subgroup H of G and homomorphism f:H → G there exists an endomorphism F:G → G such that F|H = G. In other words, a group is quasi-injective whenever each homomorphism from a subgroup into the group can be extended to the whole group.

We consider order and type properties of Marcinkiewicz and Lorentz function spaces. We show that if $0<p<1$, a $p$-normable quasi-Banach space is natural (i.e. embeds into a $q$-convex quasi-Banach lattice for some $q>0$) if and only if it is finitely representable in the space $L_{p,\infty}.$ We also show in particular that the weak Lorentz space $L_{1,\infty}$ do not have type $1$, while a non-normable Lorentz space $L_{1,p}$ has type $1$. We present also criteria for upper $r$-estimate and $r$-convexity of Marcinkiewicz spaces.

In their paper [1], Campbell and Jamison attempted to give necessary and sufficient conditions for a weighted composition operator on an L2 space to be normal, and to be quasinormal. Those conditions, specifically Theorems I and II of that paper, are not valid (see [2] for precise comments on the other results in that paper). In this paper we present a counterexample to those theorems and state and prove characterizations of quasinormality (Theorem 1 below) and normality (Theorem 2 and Corollary 3 below). We also discuss additional examples and information concerning normal weighted composition operators which contribute to the further understanding of this class.

In a recent paper [5] one of us has given a sufficient condition to be satisfied by a given property of radical classes within a universal class w in order that, for any subclass ℳ of w, there should be a smallest radical class having the given property and containing ℳ. The sufficient condition is that the classof all radical classes with the given property can be characterised as the class of all radical classes fixed by an admissible function F (see Section 1 below). In this paper a necessary and sufficient condition is derived and the corresponding result for semi-simpleclasses is also presented. These results are given in Section 2.

Let H be a subgroup of Γ, the modular group. Let h be the number of orbits of under the action of H. In each orbit, the stabilizers are H-conjugate. Let U be the mapping z↦z + 1. Each stabilizer is Γ-conjugate to 〈Uc〉 for some non-negative integer c. The integer c is the cusp-width of the orbit. Let h0 be the number of orbits with non-trivial stabilizer, i.e. with c>0. The sequence (c(1), …, c(h0)) of non-zero cuspwidths is the cusp-split of H. Clearly, h0<h, and h∞ = h−h0 is the number of orbits with trivial stabilizer.