Related papers: Any countable topological $\mathbb F_p$-vector spa…
We obtain several results concerning the concept of isotypic structures. Namely we prove that any field of finite transcendence degree over a prime subfield is defined by types; then we construct isotypic but not isomorphic structures with…
Local fields, and fields complete with respect to a discrete valuation, are essential objects in commutative algebra, with applications to number theory and algebraic geometry. We formalize in Lean the basic theory of discretely valued…
We prove that for any infinite countable amenable group $G$, any $\epsilon > 0$ and any finite subset $K\subset G$, there exists a tiling (partition of $G$ into finite "tiles" using only finitely many "shapes"), where all the tiles are $(K;…
We give an elementary proof of the theorem which states that a finite unramified algebra over a discrete field is tracically \'etale. -- Nous donnons une d\'emonstration \'el\'ementaire du th\'eor\`eme selon lequel toute alg\`ebre nette sur…
We offer a counterexample to a theorem in the literature and then repair the theorem as follows: The fundamental group of a locally path connected metric space inherits the discrete topology in a natural way if and only if the underlying…
We show that dp-minimal valued fields are henselian and that a dp-minimal field admitting a definable type V topology is either real closed, algebraically closed or admits a non-trivial definable henselian valuation. We give classifications…
For every given $p\in [1,+\infty)$ and $n\in\mathbb{N}$ with $n\ge 1$, the authors identify the strong $L^p$-closure $L_{\mathbb{Z}}^p(D)$ of the class of vector fields having finitely many integer topological singularities on a domain $D$…
A B-group is a group such that all its minimal generating sets (with respect to inclusion) have the same size. We prove that the class of finite B-groups is closed under taking quotients and that every finite B-group is solvable. Via a…
A `discrete differential manifold' we call a countable set together with an algebraic differential calculus on it. This structure has already been explored in previous work and provides us with a convenient framework for the formulation of…
It is shown that if a $T_2$ topological space contains an uncountable closed discrete set, then $\omega_1 \times (\omega_1 + 1)$ embeds as a closed subspace of $(CL(X),\tau_F)$, the hyperspace of nonempty closed subsets of $X$ equipped with…
We consider the Zariski space of all places of an algebraic function field $F|K$ of arbitrary characteristic and investigate its structure by means of its patch topology. We show that certain sets of places with nice properties (e.g., prime…
We introduce the open degree of a compact space, and we show that for every natural number n, the separable Rosenthal compact spaces of degree n have a finite basis.
In this paper, we classify the possible group structures on the set of $R$-valued points of an abelian variety, where $R$ is any real closed field. We make use of a family of abelian varieties that, in effect, allows one to quantify over…
We discuss dense embeddings of surface groups and fully residually free groups in topological groups. We show that a compact topological group contains a nonabelian dense free group of finite rank if and only if it contains a dense surface…
Every bounded definable open set is a union of finitely many open strong cells in a weakly o-minimal expansion of a real closed field. We prove this fact and another theorem similar to it.
In 2008, the author proposed a version of duality theory for (not necessarily, Abelian) complex Lie groups, based on the idea of using the Arens-Michael envelope of topological algebra and having an advantage over existing theories in that…
It is proved that, on any Abelian group of infinite cardinality ${\bf m}$, there exist precisely $2^{2^{\bf m}}$ nonequivalent bounded Hausdorff group topologies. Under the continuum hypothesis, the number of nonequivalent compact and…
In this paper we investigate the compact and weakly compact multipliers of the Herz-algebras $A_p(G)$. Let $B_p(G)$ be the space of pointwise multipliers of $A_p(G)$. We show that there is a topological invariant mean on $B^*_p (G)$.…
We discuss the finiteness of the topological entropy of continuous endomorphims for some classes of locally compact groups. Firstly, we focus on the abelian case, imposing the condition of being compactly generated, and note an interesting…
In this note we prove the Borel Conjecture for closed, irreducible and sufficiently collapsed three-dimensional Alexandrov spaces. We also pose several questions related to characterization of fundamental groups of three-dimensional…