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.
Given a topological system on a -compact Hausdorff space and its factor we show the existence of a largest topological factor containing such that for each -invariant measure , . When a relative variational principle holds, .
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.
A (discrete) group is said to be maximally almost periodic if the points of are distinguished by homomorphisms into compact Hausdorff groups. A Hausdorff topology on a group is totally bounded if whenever there is such that . For purposes of this abstract, a family with a totally bounded topological group is a strongly extraresolvable family if (a) \vert G\vert$">, (b) each is dense in , and (c) distinct satisfy ; a totally bounded topological group with such a family is a strongly extraresolvable topological group.
We give two theorems, the second generalizing the first.
Theorem 1. Every infinite totally bounded group contains a dense strongly extraresolvable subgroup.
Corollary. In its largest totally bounded group topology, every infinite Abelian group is strongly extraresolvable.
Theorem 2. Let be maximally almost periodic. Then there are a subgroup of and a family such that
(i) is dense in every totally bounded group topology on ;
(ii) the family is a strongly extraresolvable family for every totally bounded group topology on such that ; and
(iii) admits a totally bounded group topology as in (ii).
Remark. In certain cases, for example when is Abelian, one must in Theorem 2 choose . In certain other cases, for example when the largest totally bounded group topology on is compact, the choice is impossible.
We prove splitting results for subalgebras of tensor products of operator algebras. In particular, any -algebra s.t. is a tensor product provided is simple and nuclear.
This paper is devoted to a study of multivariate nonhomogeneous refinement equations of the form where is the unknown, is a given vector of functions on , is an dilation matrix, and is a finitely supported refinement mask such that each is an (complex) matrix. Let be an initial vector in . The corresponding cascade algorithm is given by In this paper we give a complete characterization for the -convergence of the cascade algorithm in terms of the refinement mask , the nonhomogeneous term , and the initial vector of functions .
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.
If and are Banach lattices such that is separable and has the countable interpolation property, then the space of all continuous regular operators has the Riesz decomposition property. This result is a positive answer to a conjecture posed by A. W. Wickstead.
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 .
The best available definition of a subset of an infinite dimensional, complete, metric vector space being ``small' is Christensen's Haar zero sets, equivalently, Hunt, Sauer, and Yorke's shy sets. The complement of a shy set is a prevalent set. There is a gap between prevalence and likelihood. For any probability on , there is a shy set with . Further, when is locally convex, any i.i.d. sequence with law repeatedly visits neighborhoods of only a shy set of points if the neighborhoods shrink to at any rate.
We calculate the Brauer group of the four dimensional Hopf algebra introduced by M. E. Sweedler. This Brauer group is defined with respect to a (quasi-) triangular structure on , given by an element . In this paper is a field . The additive group of is embedded in the Brauer group and it fits in the exact and split sequence of groups: where is the well-known Brauer-Wall group of . The techniques involved are close to the Clifford algebra theory for quaternion or generalized quaternion algebras.
Let be the Weinstein operator on the half space, . Suppose there is a sequence of Borel sets such that a certain tangential projection of onto forms a pairwise disjoint subset of the boundary. Let be a finite test measure on the boundary for a specific non-isotropic Hausdorff measure. The measure is carried back to a measure on a subset of by the projection. We give an upper bound for the Weinstein potential corresponding to the measure in terms of a universal constant and a Weinstein subharmonic function. We use this upper bound to deduce a result concerning tangential behavior of Weinstein potentials at the boundary with the exception of sets on the boundary of vanishing non-isotropic Hausdorff measure.
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.