Kummer’s lemma for $ℤ_p$-extensions over totally real number fields

Manabu Ozaki

Displaying similar documents to “Kummer’s lemma for $ℤ_{p}$ -extensions over totally real number fields”

Ordinary differential equations and descriptive set theory: uniqueness and globality of solutions of Cauchy problems in one dimension

Alessandro Andretta, Alberto Marcone (1997)

Fundamenta Mathematicae

Similarity:

We study some natural sets arising in the theory of ordinary differential equations in one variable from the point of view of descriptive set theory and in particular classify them within the Borel hierarchy. We prove that the set of Cauchy problems for ordinary differential equations which have a unique solution is $\prod_{2}^{0}$ -complete and that the set of Cauchy problems which locally have a unique solution is $\sum_{3}^{0}$ -complete. We prove that the set of Cauchy problems which have a global solution is...

Luzin and anti-Luzin almost disjoint families

Judith Roitman, Lajos Soukup (1998)

Fundamenta Mathematicae

Similarity:

Under $M A_{ω_{1}}$ every uncountable almost disjoint family is either anti-Luzin or has an uncountable Luzin subfamily. This fails under CH. Related properties are also investigated.

Locally constant functions

Joan Hart, Kenneth Kunen (1996)

Fundamenta Mathematicae

Similarity:

Let X be a compact Hausdorff space and M a metric space. $E_{0} (X, M)$ is the set of f ∈ C(X,M) such that there is a dense set of points x ∈ X with f constant on some neighborhood of x. We describe some general classes of X for which $E_{0} (X, M)$ is all of C(X,M). These include βℕ, any nowhere separable LOTS, and any X such that forcing with the open subsets of X does not add reals. In the case where M is a Banach space, we discuss the properties of $E_{0} (X, M)$ as a normed linear space. We also build three first countable...

Definability within structures related to Pascal’s triangle modulo an integer

Alexis Bès, Ivan Korec (1998)

Fundamenta Mathematicae

Similarity:

Let Sq denote the set of squares, and let $S Q_{n}$ be the squaring function restricted to powers of n; let ⊥ denote the coprimeness relation. Let $B_{n} (x, y) = (\binom{x + y}{x}) M O D n$ . For every integer n ≥ 2 addition and multiplication are definable in the structures ⟨ℕ; Bn,⊥⟩ and ⟨ℕ; Bn,Sq⟩; thus their elementary theories are undecidable. On the other hand, for every prime p the elementary theory of ⟨ℕ; Bp,SQp⟩ is decidable.

On the diophantine equation $f (a^{m}, y) = b^{n}$

Pietro Corvaja, Umberto Zannier (2000)

Acta Arithmetica

Similarity:

Topological realization of a family of pseudoreflection groups

Dietrich Notbohm (1998)

Fundamenta Mathematicae

Similarity:

We are interested in a topological realization of a family of pseudoreflection groups $G \subset G L (n, F_{p})$ ; i.e. we are looking for topological spaces whose mod-p cohomology is isomorphic to the ring of invariants $F_{p} {[x_{1}, . . ., x_{n}]}^{G}$ . Spaces of this type give partial answers to a problem of Steenrod, namely which polynomial algebras over $F_{p}$ can appear as the mod-p cohomology of a space. The family under consideration is given by pseudoreflection groups which are subgroups of the wreath product $ℤ / q ≀ Σ_{n}$ where q divides p - 1 and...

Inhomogeneous diophantine approximation on polynomials in $ℚ_{p}$

V. Bernik, H. Dickinson, J. Yuan (1999)

Acta Arithmetica

Similarity:

Countable partitions of the sets of points and lines

James Schmerl (1999)

Fundamenta Mathematicae

Similarity:

The following theorem is proved, answering a question raised by Davies in 1963. If $L_{0} \cup L_{1} \cup L_{2} \cup . . .$ is a partition of the set of lines of $ℝ^{n}$ , then there is a partition $ℝ^{n} = S_{0} \cup S_{1} \cup S_{2} \cup . . .$ such that $| ℓ \cap S_{i} | \leq 2$ whenever $ℓ \in L_{i}$ . There are generalizations to some other, higher-dimensional subspaces, improving recent results of Erdős, Jackson Mauldin.

The normalizer splitting conjecture for p-compact groups

Kasper Andersen (1999)

Fundamenta Mathematicae

Similarity:

Let X be a p-compact group, with maximal torus BT → BX, maximal torus normalizer BN and Weyl group $W_{X}$ . We prove that for an odd prime p, the fibration $B T \to B N \to B W_{X}$ has a section, which is unique up to vertical homotopy.

Interpreting reflexive theories in finitely many axioms

V. Shavrukov (1997)

Fundamenta Mathematicae

Similarity:

For finitely axiomatized sequential theories F and reflexive theories R, we give a characterization of the relation ’F interprets R’ in terms of provability of restricted consistency statements on cuts. This characterization is used in a proof that the set of $\prod_{1}$ (as well as $\sum_{1}$ ) sentences π such that GB interprets ZF+π is $Σ_{3}^{0}$ -complete.

The minimum uniform compactification of a metric space

R. Grant Woods (1995)

Fundamenta Mathematicae

Similarity:

It is shown that associated with each metric space (X,d) there is a compactification $u_{d} X$ of X that can be characterized as the smallest compactification of X to which each bounded uniformly continuous real-valued continuous function with domain X can be extended. Other characterizations of $u_{d} X$ are presented, and a detailed study of the structure of $u_{d} X$ is undertaken. This culminates in a topological characterization of the outgrowth $u_{d} ℝ^{n} ∖ ℝ^{n}$ , where $(ℝ^{n}, d)$ is Euclidean n-space with its usual metric. ...

Classical-type characterizations of non-metrizable ANE(n)-spaces

Valentin Gutev, Vesko Valov (1994)

Fundamenta Mathematicae

Similarity:

The Kuratowski-Dugundji theorem that a metrizable space is an absolute (neighborhood) extensor in dimension n iff it is $L C^{n - 1} C^{n - 1}$ (resp., $L C^{n - 1}$ ) is extended to a class of non-metrizable absolute (neighborhood) extensors in dimension n. On this base, several facts concerning metrizable extensors are established for non-metrizable ones.

Hausdorff ’s theorem for posets that satisfy the finite antichain property

Uri Abraham, Robert Bonnet (1999)

Fundamenta Mathematicae

Similarity:

Hausdorff characterized the class of scattered linear orderings as the least family of linear orderings that includes the ordinals and is closed under ordinal summations and inversions. We formulate and prove a corresponding characterization of the class of scattered partial orderings that satisfy the finite antichain condition (FAC). Consider the least class of partial orderings containing the class of well-founded orderings that satisfy the FAC and is closed under the following operations:...

From Newton’s method to exotic basins Part I: The parameter space

Krzysztof Barański (1998)

Fundamenta Mathematicae

Similarity:

This is the first part of the work studying the family $𝔉$ of all rational maps of degree three with two superattracting fixed points. We determine the topological type of the moduli space of $𝔉$ and give a detailed study of the subfamily $ℱ_{2}$ consisting of maps with a critical point which is periodic of period 2. In particular, we describe a parabolic bifurcation in $ℱ_{2}$ from Newton maps to maps with so-called exotic basins.

All solenoids of piecewise smooth maps are period doubling

Lluís Alsedà, Víctor Jiménez López, L’ubomír Snoha (1998)

Fundamenta Mathematicae

Similarity:

We show that piecewise smooth maps with a finite number of pieces of monotonicity and nowhere vanishing Lipschitz continuous derivative can have only period doubling solenoids. The proof is based on the fact that if $p_{1} < . . . < p_{n}$ is a periodic orbit of a continuous map f then there is a union set $q_{1}, . . ., q_{n - 1}$ of some periodic orbits of f such that $p_{i} < q_{i} < p_{i + 1}$ for any i.

Self-homeomorphisms of the 2-sphere which fix pointwise a nonseparating continuum

Paul Fabel (1998)

Fundamenta Mathematicae

Similarity:

We prove that the space of orientation preserving homeomorphisms of the 2-sphere which fix pointwise a nontrivial nonseparating continuum is a contractible absolute neighborhood retract homeomorphic to the separable Hilbert space $l_{2}$ .

Cofinal $Σ_{1}^{1}$ and $Π_{1}^{1}$ subsets of $ω^{ω}$

Gabriel Debs, Jean Saint Raymond (1999)

Fundamenta Mathematicae

Similarity:

We study properties of $\sum_{1}^{1}$ and $π_{1}^{1}$ subsets of $ω^{ω}$ that are cofinal relative to the orders ≤ (≤*) of full (eventual) domination. We apply these results to prove that the topological statement “Any compact covering mapping from a Borel space onto a Polish space is inductively perfect” is equivalent to the statement " $\forall α \in ω^{ω}, ω^{ω} \cap L (α)$ is bounded for ≤*".

Displaying similar documents to “Kummer’s lemma for ℤ p -extensions over totally real number fields”

Displaying similar documents to “Kummer’s lemma for $ℤ_{p}$ -extensions over totally real number fields”