Let and be finite groups and let be a hilbertian field. We show that if has a generic extension over and satisfies the arithmetic lifting property over , then the wreath product of and also satisfies the arithmetic lifting property over . Moreover, if the orders of and are relatively prime and is abelian, then any extension of by (which is necessarily a semidirect product) has the arithmetic lifting property.
Let be a locally compact Hausdorff space. We define a quasi-measure in , a quasi-integral on , and a quasi-integral on . We show that all quasi-integrals on are bounded, continuity properties of the quasi-integral on , representation of quasi-integrals on in terms of quasi-measures, and unique extension of quasi-integrals on to .
Let be an associative algebras over a field of characteristic zero. We prove that the codimensions of are polynomially bounded if and only if any finite dimensional algebra with has an explicit decomposition into suitable subalgebras; we also give a decomposition of the -th cocharacter of into suitable -characters.
We give similar characterizations of finite dimensional algebras with involution whose -codimension sequence is polynomially bounded. In this case we exploit the representation theory of the hyperoctahedral group.
For every normed space , we note its closed unit ball and unit sphere by and , respectively. Let and be normed spaces such that is Lipschitz homeomorphic to , and is Lipschitz homeomorphic to .
We prove that the following are equivalent:
1. is Lipschitz homeomorphic to .
2. is Lipschitz homeomorphic to .
3. is Lipschitz homeomorphic to .
This result holds also in the uniform category, except (2 or 3) 1 which is known to be false.
Let be a positive matrix-valued measure on a locally compact abelian group such that is the identity matrix. We give a necessary and sufficient condition on for the absence of a bounded non-constant matrix-valued function on satisfying the convolution equation . This extends Choquet and Deny's theorem for real-valued functions on .
Let be a locally compact group, the Fourier algebra of and the von Neumann algebra generated by the left regular representation of . We introduce the notion of -spectral set and -Ditkin set when is an -invariant linear subspace of , thus providing a unified approach to both spectral and Ditkin sets and their local variants. Among other things, we prove results on unions of -spectral sets and -Ditkin sets, and an injection theorem for -spectral sets.
We consider a class of compact spaces for which the space of probability Radon measures on has countable tightness in the topology. We show that that class contains those compact zero-dimensional spaces for which is weakly Lindelöf, and, under MA + CH, all compact spaces with having property (C) of Corson.
We prove that there is 1$"> such that the unit ball of any nonreflexive Banach space contains a -separated sequence. The supremum of these constants is estimated from below by and from above approximately by . Given any 1$">, we also construct a nonreflexive space so that if the convex hull of a sequence is sufficiently close to the unit sphere, then its separation constant does not exceed .
We show that a family of functions meromorphic in some domain is normal, if for all the derivative omits the value and if the values that can take at the zeros of satisfy certain restrictions. As an application we obtain a new proof of a theorem of Langley which classifies the functions meromorphic in the plane such that and have no zeros.
Let be an integral domain. A saturated multiplicatively closed subset of is a splitting set if each nonzero may be written as where and for all . We show that if is a splitting set in , then is a splitting set in , a multiplicatively closed subset of , and that is a splitting set in is an lcm splitting set of , i.e., is a splitting set of with the further property that is principal for all and . Several new characterizations and applications of splitting sets are given.
The behavior of the images of a fixed element of order in irreducible representations of a classical algebraic group in characteristic with highest weights large enough with respect to and this element is investigated. More precisely, let be a classical algebraic group of rank over an algebraically closed field of characteristic 2$">. Assume that an element of order is conjugate to that of an algebraic group of the same type and rank naturally embedded into . Next, an integer function on the set of dominant weights of and a constant that depend only upon , and a polynomial of degree one are defined. It is proved that the image of in the irreducible representation of with highest weight contains more than Jordan blocks of size if and are not too small and .
A Lie subalgebra of is said to be finitary if it consists of elements of finite rank. We show that, if acts irreducibly on , and if is infinite-dimensional, then every non-trivial ascendant Lie subalgebra of acts irreducibly on too. When , it follows that the locally solvable radical of such is trivial. In general, locally solvable finitary Lie algebras over fields of characteristic are hyperabelian.
Let be an -dimensional normal projective variety with only Gorenstein, terminal, -factorial singularities. Let be an ample line bundle on . Let denote the nef value of . The classification of via the nef value morphism is given for the situations when satisfies or .
Let be a rank two Chevalley group and be the corresponding Moufang polygon. J. Tits proved that is the universal completion of the amalgam formed by three subgroups of : the stabilizer of a point of , the stabilizer of a line incident with , and the stabilizer of an apartment passing through and . We prove a slightly stronger result, in which the exact structure of is not required. Our result can be used in conjunction with the ``weak -pair" theorem of Delgado and Stellmacher in order to identify subgroups of finite groups generated by minimal parabolics.