Some properties of c-covers of a pair of Lie algebras

In [H. Safa and H. Arabyani, On c-nilpotent multiplier and c-covers of a pair of Lie algebras, Commun. Algebra 45(10) (2017), 4429–4434], we characterized the structure of the c-nilpotent multiplier of a pair of Lie algebras in terms of its c-covering pairs and discussed some results on the existence of c-covers of a pair of Lie algebras. In the present paper, it is shown under some conditions that a relative c-central extension of a pair of Lie algebras is a homomorphic image of a c-covering pair. Moreover, we prove that a c-cover of a pair of finite dimensional Lie algebras, under some assumptions, has a unique domain up to isomorphism and also that every perfect pair of Lie algebras admits at least one c-cover. Finally, we discuss a result concerning the isoclinism of c-covering pairs.     

Characterizations of optimal scalings of matrices

A scaling of a non-negative, square matrixA ≠ 0 is a matrix of the formDAD ^?1, whereD is a non-negative, non-singular, diagonal, square matrix. For a non-negative, rectangular matrixB ≠ 0 we define a scaling to be a matrixCBE ^?1 whereC andE are non-negative, non-singular, diagonal, square matrices of the corresponding dimension. (For square matrices the latter definition allows more scalings.) A measure of the goodness of a scalingX is the maximal ratio of non-zero elements ofX. We characterize the minimal value of this measure over the set of all scalings of a given matrix. This is obtained in terms of cyclic products associated with a graph corresponding to the matrix. Our analysis is based on converting the scaling problem into a linear program. We then characterize the extreme points of the polytope which occurs in the linear program.     

A characterization of p-bases of rings of constants

We obtain two equivalent conditions for m polynomials in n variables to form a p-basis of a ring of constants of some polynomial K-derivation, where K is a unique factorization domain of characteristic p > 0. One of these conditions involves Jacobians while the other some properties of factors. In the case m = n this extends the known theorem of Nousiainen, and we obtain a new formulation of the Jacobian conjecture in positive characteristic.     

Picard Groups of Rings of Coinvariants

Let k be a field, H a Hopf k-algebra with bijective antipode, A a right H-comodule algebra and C a Hopf algebra with bijective antipode which is also a right H-module coalgebra. Under some appropriate assumptions, and assuming that the set of grouplike elements G(A ⊗ C) of the coring A ⊗ C is a group, we show how to calculate, via an exact sequence, the Picard group of the subring of coinvariants in terms of the Picard group of A and various subgroups of G(A ⊗ C). Presented by: Claus Ringel.     

Lattice characterization of convex 3-polytopes and of polygonizations of 2-manifolds

LetC be a polygonization of a 2-dimensional closed manifold without boundary, andL(C) the set of all the faces ofC, partially ordered by inclusion, with adjoinment of a minimal and a maximal element. ThenL(C) is a lattice, and its characterization is given here. Also a characterization of the lattice of the faces of a convex 3-polytope is given. This is a part of the author’s Ph.D. dissertation, written under the supervision of Professor H. Furstenberg, and submitted to the Hebrew University in June, 1969.     

Extensions of Isometric Dual Representations of Semigroups

Let T be a dual representation of a suitable subsemigroup Sof a locally compact abelian group G by isometries on a dualBanach space X=(X_*)^*. It is shown that (X, T) can be extendedto a dual representation of G on a dual Banach space Y containingX, and that this extension can be done in a canonical way. Inthe case of a representation by *-monomorphisms of a von Neumannalgebra, the extension is a representation of G by *-automorphismsof a von Neumann algebra.     

Products of operators of multidimensional structured model of systems

The author has previously defined the concept of a general system in terms of operators and operands. An operand is a mapping defined on a subset of an m-fold Cartesian product instead of the usual set and collection of k-ary relations on it. An operator is a kind of mapping between two collections of operands. Here subsystems, extensions, and the notion of P-semiexactness is studied. In particular we derive conditions such that P-semiexactness of a composition of operators, and of one factor, implies P-semiexactness of the other factor.     

Dichotomies of the set of test measures of a Haar-null set

We prove that ifX is a Polish space andF a face ofP(X) with the Baire property, thenF is either a meager or a co-meager subset ofP(X). As a consequence we show that for every abelian Polish groupX and every analytic Haar-null set Λ⊆X, the set of test measuresT(Λ) of Λ is either meager or co-meager. We characterize the non-locally-compact groups as the ones for which there exists a closed Haar-null setF⊆X withT(F) meager, Moreover, we answer negatively a question of J. Mycielski by showing that for every non-locally-compact abelian Polish group and every σ-compact subgroupG ofX there exists aG-invariantF _σ subset ofX which is neither prevalent nor Haar-null. Research supported by a grant of EPEAEK program “Pythagoras”.     

Quasi-Permutation Representations of p-Groups of Class 2

If G is a finite linear group of degree n, that is, a finitegroup of automorphisms of an n-dimensional complex vector space(or, equivalently, a finite group of non-singular matrices oforder n with complex coefficients), we shall say that G is aquasi-permutation group if the trace of every element of G isa non-negative rational integer. The reason for this terminologyis that, if G is a permutation group of degree n, its elements,considered as acting on the elements of a basis of an n-dimensionalcomplex vector space V, induce automorphisms of V forming agroup isomorphic to G. The trace of the automorphism correspondingto an element x of G is equal to the number of letters leftfixed by x, and so is a non-negative integer. Thus, a permutationgroup of degree n has a representation as a quasi-permutationgroup of degree n. See [8].     

On obtaining close estimates in the approximation of functions of many variables by sums of functions of a fewer number of variables

We present a simple method for finding the values of the best approximation of a function of n variables of a given class by means of sums of two functions of a fewer number of variables; we establish close upper and lower bounds for the value of the best approximation to the functionf(x₁, ..., x_n), having the mixed derivativef x₁ ... x_n, by means of sums of a function of n–1 variables.Translated from Matematicheskie Zametki, Vol. 12, No. 1, pp. 105–114, July, 1972.     

Rigidity of harmonic maps of maximum rank

Thehomotopical rank of a mapf:M →N is, by definition, min{dimg(M) ¦g homotopic tof}. We give upper bounds for this invariant whenM is compact Kähler andN is a compact discrete quotient of a classical symmetric space, e.g., the space of positive definite matrices. In many cases the upper bound is sharp and is attained by geodesic immersions of locally hermitian symmetric spaces. An example is constructed (Section 9) to show that there do, in addition, exist harmonic maps of quite a different character. A byproduct is construction of an algebraic surface with large and interesting fundamental group. Finally, a criterion for lifting harmonic maps to holomorphic ones is given, as is a factorization theorem for representations of the fundamental group of a compact Kähler manifold. The technique for the main result is a combination of harmonic map theory, algebra, and combinatorics; it follows the path pioneered by Siu in his ridigity theorem and later extended by Sampson.     

Existence of normal Hall subgroups by means of orders of products

Let G be a finite group, let π be a set of primes and let p be a prime. We characterize the existence of a normal Hall π‐subgroup in G in terms of the order of products of certain elements of G. This theorem generalizes a characterization of A. Moretó and the second author by using the orders of products of elements for those groups having a normal Sylow p‐subgroup 6 . As a consequence, we also give a π‐decomposability criterion for a finite group also by means of the orders of products.     

Extensions and generalizations of a theorem of Widder and of the theory of symmetric local semigroups

The theory of symmetric local semigroups due to A. Klein and L. Landau (J. Funct. Anal.44 (1981), 121–136) is generalized to semigroups indexed by subsets of $\text{R}$ⁿ for n > 1. The result implies a similar result of A. E. Nussbaum (J. Funct. Anal.48 (1982), 213–223). It is further generalized to semigroups that are symmetric local in some directions and unitary in others. The results are used to give a simple proof of A. Devinatz's (Duke Math. J.22 (1955), 185–192) and N. I. Akhiezer's (“the Classical Moment Problem and Some Related Questions,” Hafner, New York, 1965) generalization of a theorem of Widder concerning the representation of functions as Laplace integrals. This result is extended to the representation as a Laplace integral of a function taking values in $\text{B}$($\text{R}$), the set of bounded linear operators on a Hilbert space $\text{R}$. Also, a theorem is proved encompassing both the result of Devinatz and Akhiezer, and Bochner's theorem on the representation of positive definite functions as Fourier integrals.     

On the stability of invariant sets of leaves of three-dimensional periodic systems

The small C ¹ perturbations of differential equations are studied. The concepts of a weakly hyperbolic set K and a leaf ? are introduced for a system of ordinary differential equations. The Lipschitz condition is not supposed. It is shown that, if the perturbation is small enough, then there exists a continuous mapping h: ? → ? ^Y , where ? ^Y is a leaf of the perturbed system.     

Rings of quotients of f-rings by gabriel filters of ideals

The article examines the role of Gabriel filters of ideals in the ontext of semiprime f-rings. It is shown that for every 2-convex semiprime f-ring Aand every multiplicative filter B of dense ideals the ring of quotients of A by B, namely the direct limit of the Hom _A (I, A) over all I∈ B, is an l-subring of QA, the maximum ring of quotients. Relative to the category of all commutative rings with identity, it is shown that for every 2-convex semiprime f-ring A qA, the classical ring of quotients, is the largest flat epimorphic extension of A. If Ais also a Prüfer ring then it follows that every extension of Ain qA is of the form S ^-1A for a suitable multiplicative subset S. The paper also examines when a Utumi ring of quotients of a semiprime f-ring is obtained from a Gabriel filter. For a ring of continuous functions C(X), with Xcompact, this is so for each C(U) and C ^*(U), when Uis dense open, but not for an arbitrary direct limit of C(U),taken over a filter base of dense open sets. In conclusion, it is shown that, for a complemented semiprime f-ring A, the ideals of Awhich are torsion radicals with respect to some hereditary torsion theory are precisely the intersections of minimal prime ideals of A.     

Approximation of coincidence points and common fixed points of a collection of mappings of metric spaces

On a complete metric space X, we solve the problem of constructing an algorithm (in general, nonunique) of successive approximations from any point in space to a given closed subsetA. We give an estimate of the distance from an arbitrary initial point to the corresponding limit points. We consider three versions of the subset A: (1) A is the complete preimage of a closed subspace H under a mapping from X into the metric space Y; (2) A is the set of coincidence points of n (n > 1) mappings from X into Y; (3) A is the set of common fixed points of n mappings of X into itself (n = 1, 2, …). The problems under consideration are stated conveniently in terms of a multicascade, i.e., of a generalized discrete dynamical system with phase space X, translation semigroup equal to the additive semigroup of nonnegative integers, and the limit set A. In particular, in case (2) for n = 2, we obtain a generalization of Arutyunov’s theorem on the coincidences of two mappings. In case (3) for n = 1, we obtain a generalization of the contraction mapping principle.     

The groups of the semigroup of compact subsets of a topological group

The compact subsets of a topological groupG form a semigroup,S(G), when multiplication is defined by set product. This semigroup is a topological semigroup when given the Vietoris topology. It would be expected that the subgroups ofS(G) should in some way be related to the groupG. This is the case. It is shown that the subgroups ofS(G) are both algebraically and topologically exactly the groups obtained as quotients of certain subgroups ofG. One consequence of this is that every subgroup ofS(G) is a topological group. Conditions are also given for these subgroups to be open or closed. Green's relations inS(G) have a particularly nice formulation. As a result, the relationsD andJ are equal inS(G). Moreover, the Schützenberger group of aD-class is a topological group that is topologically isomorphic to a quotient of certain subgroups ofG.     

Eigenvector p-Bases of Rings of Constants of Derivations

Let A be a UFD of characteristic p > 0, let 𝒵 be a set of some eigenvectors of a derivation of A. We prove, under some additional assumptions, a necessary and sufficient condition for 𝒵 to be a p-basis of the minimal ring of constants containing 𝒵. The main preparatory result is the unique decomposition theorem with respect to a factor from a given subalgebra containing A^p.     

On the generation of bicliques of a graph

An independent set of a graph is a subset of pairwise non-adjacent vertices. A complete bipartite set B is a subset of vertices admitting a bipartition B=X∪Y, such that both X and Y are independent sets, and all vertices of X are adjacent to those of Y. If both X,Y≠∅, then B is called proper. A biclique is a maximal proper complete bipartite set of a graph. When the requirement that X and Y are independent sets of G is dropped, we have a non-induced biclique. We show that it is NP-complete to test whether a subset of the vertices of a graph is part of a biclique. We propose an algorithm that generates all non-induced bicliques of a graph. In addition, we propose specialized efficient algorithms for generating the bicliques of special classes of graphs.     

Nilpotent Ranks of Semigroups of Partial Transformations

A subset U of a semigroup S is a generating set for S if every element of S may be written as a finite product of elements of U. The rank of a finite semigroup S is the size of a minimal generating set of S, and the nilpotent rank of S is the size of a minimal generating set of S consisting of nilpotents in S. A partition of a q-element subset of the set X_n = {1,2,..., n} is said to be of type τ if the sizes of its classes form the partition τ of the positive integer q ≤ n. A non-trivial partition τ of q consists of k < q elements. For a non-trivial partition τ of q < n, the semigroup S(τ), generated by all the transformations with kernels of type τ, is nilpotent-generated. We prove that if τ is a non-trivial partition of q < n, then the rank and the nilpotent rank of S(τ) are both equal to the number of partitions X_n of type τ.