In this paper, we continue the work initiated by Morris [5] and Saeed-ul-Islam [6,7] and determine complete sets of inequivalent irreducible projective representations (which we shall write as i.p.r.) of finite Abelian groups with respect to some additional factor sets.

We consider an Abelian group

which will be referred to as an Abelian group of type (a1, …, am).

Let be the semigroup of all total one-to-one transformations of an infinite set X. For an ƒ ∈ let the defect of ƒ def ƒ, be the cardinality of X – R(ƒ), where R(ƒ) = ƒ(X) is the range of ƒ. Then is a disjoint union of the symmetric group x on X, the semigroup S of all transformations in with finite non-zero defects and the semigroup Ā of all transformations in S with infinite defects, such that S U Ā and Ā are ideals of . The properties of x and Ā have been investigated by a number of authors (for the latter it was done via Baer-Levi semigroups, see [2], [3], [5], [6], [7], [8], [9], [10] and note that Ā decomposes into a union of Baer–Levi semigroups). Our aim here is to study the semigroup S. It is not difficult to see that S is left cancellative (we compose functions ƒ, g in S as ƒg(x) = ƒ(g(x)), for x ∈ X) and idempotent-free. All automorphisms of S are inner [4], that is of the form ƒ → hƒhfh-1 ƒ ∈ S, h ∈ x.

The α-regular classes of any finite group G are important since they are those classes on which the projective characters of G with factor set α take non-zero value, and thus a knowledge of the α-regular classes gives the number of irreducible projective representations of G with factor set α (see [4]). Here we look at the particular case of the generalized symmetric group Cm wr Sl. The analogous problem of constructing the irreducible projective representations of Cm wr Sl has been dealt with in [6] by generalizing Clifford's theory of inducing from normal subgroups, but unfortunately, it is not in general possible to determine the irreducible projective characters (and hence the α-regular classes) by this method.

The joint spectrum for a commuting n-tuple in functional analysis has its origin in functional calculus which appeared in J. L. Taylor's epoch-making paper [19] in 1970. Since then, many papers have been published on commuting n-tuples of operators on Hilbert spaces (for example, [3], [4], [5], [8], [9], [10], [21], [22]).

The simplest type of Lie semigroups are closed convex cones in finite dimensional vector spaces. In general one defines a Lie semigroup to be a closed subsemigroup of a Lie group which is generated by one-parameter semigroups. If W is a closed convex cone in a vector space V, then W is convex and therefore simply connected. A similar statement for Lie semigroups is false in general. There exist generating Lie semigroups in simply connected Lie groups which are not simply connected (Example 1.15). To find criteria for cases when this is true, one has to consider the homomorphism

induced by the inclusion mapping i:S→G, where S is a generating Lie semigroup in the Lie group G. Our main results concern the description of the image and the kernel of this mapping. We show that the image is the fundamental group of the largest covering group of G, into which S lifts, and that the kernel is the fundamental group of the inverse image of 5 in the universal covering group G. To get these results we construct a universal covering semigroup S of S. If j: H(S): = S ∩ S-1 →S is the inclusion mapping of the unit group of S into S, then it turns out that the kernel of the induced mapping

may be identfied with the fundamental group of the unit group H(S)of S and that its image corresponds to the intersection H(S)0 ⋂π1(S), where π1(s) is identified with a central subgroup of S.

In this paper, we introduce two notions of a relative operator (α, β)-entropy and a Tsallis relative operator (α, β)-entropy as two parameter extensions of the relative operator entropy and the Tsallis relative operator entropy. We apply a perspective approach to prove the joint convexity or concavity of these new notions, under certain conditions concerning α and β. Indeed, we give the parametric extensions, but in such a manner that they remain jointly convex or jointly concave.

Significance Statement. What is novel here is that we convincingly demonstrate how our techniques can be used to give simple proofs for the old and new theorems for the functions that are relevant to quantum statistics. Our proof strategy shows that the joint convexity of the perspective of some functions plays a crucial role to give simple proofs for the joint convexity (resp. concavity) of some relative operator entropies.

The c-dimension of a group is the maximum length of a chain of nested centralizers. It is proved that a periodic locally soluble group of finite c-dimension k is soluble of derived length bounded in terms of k, and the rank of its quotient by the Hirsch–Plotkin radical is bounded in terms of k. Corollary: a pseudo-(finite soluble) group of finite c-dimension k is soluble of derived length bounded in terms of k.

Let R be a commutative ring with identity. We will say that an R-module M has Nakayama property, if IM = M, where I is an ideal of R, implies that there exists a ∈ R such that aM = 0 and a − 1 ∈ I. Nakayama's Lemma is a well-known result, which states that every finitely generated R-module has Nakayama property. In this paper, we will study Nakayama property for modules. It is proved that R is a perfect ring if and only if every R-module has Nakayama property (Theorem 4.9).

In this paper we study rational Cherednik algebras at t = 1 in positive characteristic. We study a finite-dimensional quotient of the rational Cherednik algebra called the restricted rational Cherednik algebra. When the corresponding pseudo-reflection group belongs to the infinite series G(m, d, n), we describe explicitly the block decomposition of the restricted algebra. We also classify all pseudo-reflection groups for which the centre of the corresponding rational Cherednik algebra is regular for generic values of the deformation parameter.

We develop an essentially algebraic method to study biharmonic curves into an implicit surface. Although our method is rather general, it is especially suitable to study curves in surfaces defined by a polynomial equation: In particular, we use it to give a complete classification of biharmonic curves in real quadrics of the three-dimensional Euclidean space.

Let n be a positive integer. In this paper, we consider the diophantine equation We prove that this equation has only the positive integer solutions (n, x, y, z) = (1, t, 1, 1), (1, t, 3, 2), (3, 2, 2, 2). Therefore we extend the work done by Leszczyński (Wiadom. Mat., vol. 3, 1959, pp. 37–39) and Makowski (Wiadom. Mat., vol. 9, 1967, pp. 221–224).

This note is concerned with an inequality for even order positive definite hermitian matrices together with an application to vector spaces.

The abbreviations p.d. and p.s-d. are used for positive definite and positive semi-definite respectively. An asterisk denotes the conjugate transpose of a matrix.

1. Introduction. Given a series we define , by the relations

The series Σan is said to be summable (C, k) to the sum s, if

as n→∞, and strongly summable (C, k), k>0, with index p, to the sum s, or summable [C; k, p] to the sum s, if

Let U(RG) be the group of units of a group ring RG over a commutative ring R with 1. We say that a group is an SIT-group if it is an extension of a group which satisfies a semigroup identity by a torsion group. It is a consequence of the main result that if G is torsion and R = Z, then U(RG) is an SIT-group if and only if G is either abelian or a Hamiltonian 2-group. If R is a local ring of characteristic 0 only the first alternative can occur.

Let T(N) be the least integer such that one can assign ±l's to any N points in the unit square so that the sum of these values in any rectangle with sides parallel to those of the square have absolute value at most T(N). In [1] Beck showed, among other results, that (for N≥2)

.

[7] Sands raised the following questions:

(1) Must a hereditary radical which is right strong be left strong?

(2) Must a right hereditary radical be left hereditary?

(3) (Example 6) Does there exist a right strong radical containing the prime radical β which is not left strong or hereditary?

Negative answers to questions (1) and (2) were given by Beidar [1].

In this paper we present different examples to answer (1) and (2), and we answer (3). We prove that the strongly prime radical defined in [4, 5] is right but not left strong. In the proof we use an example given by Parmenter, Passman and Stewart [6]. The same example and the strongly prime radical are used to answer (2) and (3).

Let ℒ V denote the algebra of all linear transformations on an n-dimensional vector space V over a field Φ. A subsemigroup S of the multiplicative semigroup of ℒ V will be said to be an affine semigroup over Φ if S is a linear variety, i.e., a translate of a linear subspace of ℒ V.

This concept in a somewhat different form was introduced and studied by Haskell Cohen and H. S. Collins [1]. In an appendix we give their definition and outline a method of describing possibly infinite dimensional affine semigroups in terms of algebras and supplemented algebras.

Let f(x) denote a polynomial of degree d defined over a finite field k with q = pnelements. B. J. Birch and H. P. F. Swinnerton-Dyer [1] have estimated the number N(f) of distinct values of y in k for which at least one of the roots of

is in k. They prove, using A. Weil's deep results [12] (that is, results depending on the Riemann hypothesis for algebraic function fields over a finite field) on the number of points on a finite number of curves, that

where λ is a certain constant and the constant implied by the O-symbol depends only on d. In fact, if G(f) denotes the Galois group of the equation (1.1) over k(y) and G+(f) its Galois group over k+(y), where k+ is the algebraic closure of k, then it is shown that λ depends only on G(f), G+(f) and d. It is pointed out that “in general”

There are a number of theorems which bound d.l.(G), the derived length of a group G, in terms of the size of the set c.d.(G) of irreducible character degrees of G assuming that G is in some particular class of solvable groups ([1], [3], [4], [7]). For instance, Gluck [4] shows that d.l.(G)≤2 |c.d.(G)| for any solvable group, whereas Berger [1] shows that d.l.(G)≤|c.d.(G)| if G has odd order. One of the oldest (and smallest) such bounds is a theorem of Taketa [7] which says that d.l.(G)≤|c.d.(G)| if G is an M-group. Most of the existing theorems are an attempt to extend Taketa's bound to all solvable groups. However, it is not even known for M-groups whether or not this is the best possible bound. This suggests that given a class of solvable groups one might try to find the maximum derived length of a group with n character degrees (i.e. the best possible bound).

Given N a finite separable normal extension of a field F, it is well known that the Brauer group Br(N/F) of classes of central simple F-algebras split by N is isomorphic with Ext(N*, G), the classes of group extensions of N* by the Galois group G of N over F. In the construction of this isomorphism, a key role is played by the Skolem-Noether Theorem which extends automorphisms to inner automorphisms in central simple algebras.