Related papers: Exponentiation in power series fields

We use high girth, high chromatic number hypergraphs to show that there are finite models of the equational theory of the semiring of nonnegative integers whose equational theory has no finite axiomatisation, and show this also holds if…

For a number field K and a finite abelian group G, we determine the probabilities of various local completions of a random G-extension of K when extensions are ordered by conductor. In particular, for a fixed prime p of K, we determine the…

We show that a linear group without unipotent elements of infinite order possesses properties akin to those held by groups of non positive curvature. Moreover in positive characteristic any finitely generated linear group acts properly and…

Suppose $\ell$ is a prime number, ${\mathbf Q}_\ell$ is the field of $\ell$-adic numbers, ${\mathbf F}_\ell$ is the finite field of $\ell$ elements, and $d$ is a positive integer. Suppose $G$ is a finite subgroup of a symplectic group…

Let $F$ be a locally compact non-archimedean field of residue characteristic $p$, $\textbf{G}$ a connected reductive group over $F$, and $R$ a field of characteristic $p$. When $R$ is algebraically closed, the irreducible admissible…

It is proved that each of compact linear groups of one special type admits a polynomial factorization map onto a real vector space. More exactly, the group is supposed to be non-commutative one-dimensional and to have two connected…

In this paper we present an extension of the removal lemma to integer linear systems over abelian groups. We prove that, if the $k$--determinantal of an integer $(k\times m)$ matrix $A$ is coprime with the order $n$ of a group $G$ and the…

Let $G$ be a $(2,m,n)$-group and let $x$ be the number of distinct primes dividing $\chi$, the Euler characteristic of $G$. We prove, first, that, apart from a finite number of known exceptions, a non-abelian simple composition factor $T$…

Let $K/F$ be a quadratic extension of $p$-adic fields, and $n$ a positive integer. A smooth irreducible representation of the group $GL(n,K)$ is said to be distinguished, if it admits on its space a nonzero $GL(n,F)$-invariant linear form.…

We formulate for function fields an analog of Serre's conjecture on the modularity of 2-dimensional irreducible mod l representations of the absolute Galois group of Q: our analog is not restricted to 2-dimensional represntations. While the…

We develop a new setting for the exponential principle in the context of multisort species, where indecomposable objects are generated intrinsically instead of being given in advance. Our approach uses the language of functors and natural…

Let $G$ be a finite group. Let $\rho(G) = \prod_{g \in G} o(g)={p_1}^{\alpha_1} {p_2}^{\alpha_2} \cdots {p_k}^{\alpha_k}$, where $p_1, p_2, \cdots, p_k$ are distinct prime numbers and $o(g)$ denotes the order of $g \in G$. The set of…

We study infinite groups interpretable in three families of valued fields: $V$-minimal, power bounded $T$-convex, and $p$-adically closed fields. We show that every such group $G$ has unbounded exponent and that if $G$ is dp-minimal then it…

Let V be an even dimensional vector space over a field K of characteristic 2 equipped with a non-degenerate alternating bilinear form f. The divided power algebra DV is considered as a complex with differential defined from f. We examine…

This is an expository account of the proof of the theorem of Bourgain, Glibichuk and Konyagin which provides non-trivial bounds for exponential sums over very small multiplicative subgroups of prime finite fields.

We study properties of two families, $E_{+}(g)$ and $E_-(g)$, of non-weight modules over the orthosymplectic Lie superalgebra $\mathfrak{osp}(1|2)$ that are parameterized by a nonconstant polynomial $g(x) \in \mathbb C [x]$. These families…

Let $R$ be a semilocal principal ideal domain. Two algebraic objects over $R$ in which scalar extension makes sense (e.g. quadratic spaces) are said to be of the same genus if they become isomorphic after extending scalars to all…

We prove that any multiplicative subgroup G of the prime field f_p with |G| < p^{1/2} satisfies |3G| \gg |G|^2 / \log |G|. Also, we obtain a bound for the multiplicative energy of any nonzero shift of G, namely E^* (G+x) \ll |G|^2 log |G|,…

A finite group G is K-admissible if there exists a G-crossed product K-division algebra. In this manuscript we study the behavior of admissibility under extensions of number fields M/K. We show that in many cases, including Sylow metacyclic…

We develop multisummability, in the positive real direction, for generalized power series with natural support, and we prove o-minimality of the expansion of the real field by all multisums of these series. This resulting structure expands…