On Galois isomorphisms between ideals in extensions of local fields

LetL/K be a totally ramified, finite abelian extension of local fields, let and be the valuation rings, and letG be the Galois group. We consider the powers of the maximal ideal of as modules over the group ring . We show that, ifG has orderp ^m (withp the residue field characteristic), ifG is not cyclic (or ifG has orderp), and if a certain mild hypothesis on the ramification ofL/K holds, then and are isomorphic iffr≡r′ modp ^m . We also give a generalisation of this result to certain extensions not ofp-power degree, and show that, in the casep=2, the hypotheses thatG is abelian and not cyclic can be removed.     

Integral-valued rational functions on valued fields

Let K be a field and a non-trivial valuation ring of K withm as its maximal ideal. Denote by and the rings of polynomials f∈K[X] and rational functions f∈K(X) resp. such that . We prove that for one variable X we have if and only if the completion of (K, ) is locally compact or algebraically closed. In the second case—i.e. if K is dense in the algebraic closure of (K, )—we even get for any number of variables X=(X₁,...,X_n). This work contains parts of the second author's thesis [Ri] written under the supervision of the first author.     

Zwei Klassen lokalkompakter maximal fastperiodischer Gruppen

In this paper we study the class of all locally compact groupsG with the property that for each closed subgroupH ofG there exists a pair of homomorphisms into a compact group withH as coincidence set, and the class of all locally compact groupG with the property that finite dimensional unitary representations of subgroups ofG can be extended to finite dimensional representations ofG. It is shown that [MOORE]-groups (every irreducible unitary representation is finite dimensional) have these two properties. A solvable group in is a [MOORE]-group. Moreover, we prove a structure theorem for Lie groups in the class [MOORE], and show that compactly generated Lie groups in [MOORE] have faithful finite dimensional unitary representations.     

Heteroclinic cycles emanating from local bifurcations

LetK be a quadratic imaginary number field. Letf denote a rational integer which is coprime to 6. We letK (f ²) (resp.K(f)) denote the ray class field ofK of conductorf ² (resp.f). We write Γ for the Galois group ofK(f ²)/K(f) and denote the unique maximal order ofK(f)Γ by . We show that the Kummer order is a free, rank one -module. An explicit generator is given by singular values of certain modular functions.     

Construction of representations of the Poincaré Lie algebra by extension of direct integrals of representations ofSL(2,C)

Summary Continuing the program initiated in the first paper of this series, representations of the Lie algebra of the Poincaré group are constructed by forming suitable direct integrals of representations of SL(2, C) and extending them to by means of four additional momentum operators whose matrix elements are derived in a basis adapted to the direct integral structure. The representations obtained here include Wigner’s representations with positive mass and spin and Wigner’s representations with zero mass, spin and helicity ± . Lavoro eseguito con contributo del C.N.R. nell’ambito dell’attività di ricerca del Gruppo Nazionale per la Fisica Matematica e per le applicazioni della Matematica alla Fisica ed all’Ingegneria. Entrata in Redazione il 12 marzo 1972.     

Zur Topologie der Dixmier-Abbildung

Summary  LetG be the coadjoint group of a finite-dimensional complex Lie algebrag. Forg solvable, the Dixmier-map is known to be a homeomorphism of the orbit space /G onto the space χ of primitive ideals in the enveloping algebra U(G) [6,15]. For , the Dixmier-map is known to be a bijection (and in general not a homeomorphism) with the space χ^l of all completely prime primitive ideals [7, 16]. Here we derive from a result ofW. SOERGEL [18], that this map issheet- wise a homeomorphism onto the image. Here a sheet is a maximal irreducible subset consisting of orbits of a fixed dimension; obviouslyg decomposes into finitely many sheets [3]. The results of this paper hold more generally forg semisimple, if one restricts to a sheet of polarizable orbits, where a Dixmier-map can be defined. Relative to a fixed polarization (a parabolic subalgebra)p ⊂g let I be the annihilator of the generic module induced from p. The „relative enveloping algebra“ ) has been studied e.g. bySOERGEL [19, 18]. Its center Z is described here by a relative Harish-Chandra isomorphism of the normalization with a suitable ring of group invariants (3.2). We study here the extension ofU by . We suggest that this very mild central extension ofU generates good properties and is very suitable for the study of the Dixmier-map (cf.4.3,5.6). In particular, we conjecture in case : Every minimal primitive ideal of is generated by a maximal ideal of the center. This would generalize for a well known theorem ofM. Duflo (casep Borel, where ). AsJ. Dixmier communicated in a letter, the main result here is exactly what he had hoped for when he first introduced a notion of sheets many years ago.

---

---

Added in proof: This conjecture will be proved in a subsequent paper.     

Eine Verallgemeinerung derCW-Komplexe

In the definition ofCW-complexes, the one-point spaceP, respectively the spaceP∪* with basepoint *, play the roll of the only “building-stone”. Let be a family of compact spaces. Then the definition of a generalizedCW-complex over is obtained from the definition of aCW-complex by replacingP by the spaces of and formation of the mapping cone by a slightly modified construction. LetCW * denote the category of all pointed spaces which have the homotopy type of a generalizedCW-complex over . If , thenCW * is the category of all pointedCW-spaces.CW * is closed under the formation of direct sums and of mapping cones, cylinders and tori, and is formally characterized as the smallest such subcategory of Top * containing the spaces W∪*, . Following the methods of E. H. Brown, it is proved, that any half exact homotopy functor onCW * is representable, and any cohomology theory onCW is naturally equivalent to the cohomology theory of an Ω-spectrum; for example, the singular cohomo logy is representable onCW for any family of compact spaces.      

A new product of algebras and a type reduction theorem

A construction is defined which associates, to every algebra of a fixed but arbitrary finite similarity type, a groupoidF . The identities ofF are finitely based if and only if those of are, andF is finite if and only if is finite. Up to isomorphism,F has the same endomorphism monoid and subalgebra lattice as , but the congruence lattice ofF is the result of adjoining a new 1 to the congruence lattice of .F is functorial, preserves the satisfaction (and the non-satisfaction) of most Mal'cev conditions, and produces, by composition with the operation of forming the generated variety, an isomorphism of the lattice of varieties of fixed type to an interval in the lattice of varieties of groupoids.The construction makes use of a new product operation, applicable to two algebras of differing similarity types, which is introduced and studied in this paper.Research supported by National Science Foundation grant MCS-8103455.Presented by K. A. Baker.     

Elementary properties of free extensions

For any partial groupoid , let Fr be the free extension of to a total groupoid. We show that implies and that the theory of Fr is uniformly recursive in the theory of . These results fail if “groupoid” is replaced by “semigroup”, “commutative semigroup”, “group”, “abelian group”, “semilattice”, “K-lattice” for any nontrivial varietyK of lattices, or “Boolean algebra”. Research supported in part by NSF Grant MCS78-01867. We thank the referee for his valuable comments. Presented by B. Jónsson.     

Chu-Dualität und zwei Klassen maximal fastperiodischer Gruppen

This is a continuation of the paper Zwei Klassen lokalkompakter maximal fastperiodischer Gruppen, [6]. In [6], the classes and were introduced. We give sufficient conditions to conclude thatG is in if one knows thatG/G ₀ is in . If a groupG is in and ifG satisfies the Chu-duality then all closed subgroups ofG satisfy the Chu-duality. The Chu-quasi-dual of the Heisenberg groupH with integral coefficients is computed. It is shown thatH does not satisfy the Chu-duality, thatH is in , and thatH is not in .     

Equivariant D-modules attached to nilpotent orbits in a semisimple Lie algebra

Let _u be a compact Lie algebra and let _u be its complexification. Let ζ^−1/2 be the inverse on the set of regular elements of _u of a square root of the discriminant of . Generalizing a result of W. Lichtenstein in the case _u = (n, ℂ) or (nℝ), we prove that ∂(q).ζ^1/2 is non zero for all harmonic polynomialsq ∈S( ) \ {0}. This fact is deduced from results about equivariantD-modules supported on the nilpotent cone of .     

A local duality theorem for categories of modules

Let Λ be an associative ring with identity and let be the category of left unitary Λ-modules. A subcateqory of the category is said to be small if the pairwise nonisomorphic objects of form a set. The main result of this paper consists of the fact that for every small full subcategory , there exists a ring Γ such that is dual to a small full subcategory of the category . Some applications of this result are indicated. Bibliography: 3 titles. Translated fromZapiski Nauchnykh Seminarov POMI, Vol. 227, 1995, pp. 66–73.     

On the representation of differentiations by Hamiltonians,operating from an algebra of local observable spin systems

Let and be algebras of local and quasilocal observable spin systems corresponding to the group Zr, be a differentiation invariant with respect to displacements. The question of representation of D in the form of formal Hamiltonian formed by the displacements of an elementx ε is considered. It is shown that such a representation exists if the condition holds, where means an element obtained from the elements [T_kX,a] by some r-multiple process of summation. Translated from Matematicheskii Zametki, Vol. 21, No. 1, pp. 93–98, January, 1977.     

Asymptotic bounds for estimators without limit distribution

Let be a general family of probability measures,κ : a functional, and the optimal limit distribution for regular estimator sequences of κ. On intervals symmetric about 0, the concentration of this optimal limit distribution can be surpassed by the asymptotic concentration of an arbitrary estimator sequence only forP in a “small” subset of . For asymptotically median unbiased estimator sequences the same is true for arbitrary intervals containing 0. The emphasis of the paper is on “pointwise” conditions for , as opposed to conditions on shrinking neighbourhoods, and on “general” rather than parametric families.     

On automorphism groups of connected Lie groups

We prove that ifG is a connected Lie group with no compact central subgroup of positive dimension then the automorphism group ofG is an almost algebraic subgroup of , where is the Lie algebra ofG. We also give another proof of a theorem of D. Wigner, on the connected component of the identity in the automorphism group of a general connected Lie group being almost algebraic, and strengthen a result of M.Goto on the subgroup consisting of all automorphisms fixing a given central element.     

The space of minimal prime ideals in a 0-distributive semilattice

LetS be a 0-distributive semilattice and be its minimal spectrum. It is shown that is Hausdorff. The compactness of has been characterized in several ways. A representation theorem (like Stone's theorem for Boolean algebras) for disjunctive, 0-distributive semilattices is obtained.     

Factorizations of composition formations

It is proved that, if is a singly generated composition formation, where , then is a composition formation. Translated fromMatematicheskie Zametki, Vol. 65, No. 3, pp. 389–395, March, 1999.     

A relative cohomological invariant for group pairs

We define a cohomological invariantE(G, S, M) whereG is a group,S is a non empty family of (not necessarily distinct) subgroups of infinite index inG andM is a -module ( is the field of two elements). In this paper we are interested in the special case where the family of subgroups consists of just one subgroup, andM is the -module . The invariant will be denoted byE(G, S). We study the relations of this invariant with other endse(G), e(G, S) ande(G,S)), and some results are obtained in the case whereG andS have certain properties of duality.     

$$\mathfrak{X}$$ - permutable subgrou ps and p-nil potency of finite grou ps II

Let be a complete set of Sylow subgroups of a finite group G, that is, for each prime p dividing the order of G, contains one and only one Sylow p-subgroup of G. A subgroup H of G is said to be -permutable in G if H permutes with every member of . In this paper we characterize p-nilpotency of finite groups G; we will assume that some minimal subgroups or 2-minimal subgroups of G are -permutable in G. Moreover, the duals of some recent results are obtained. Supported by the NSF of China(10571128) and the NSF of Colleges and Suzhou City Senior Talent Supporting Project. Project supported in part by NSF of China (10571181), NSF of Guangdong Province (06023728) and ARF(GDEI). Project supported in part by the NSF for youth of Shanxi Province (2007021004) and TianYuan Fund of Mathematics of China (10726002).