Related papers: A characterization of strongly dependent ordered A…

By the well-known Heyde theorem, the Gaussian distribution on the real line is characterized by the symmetry of the conditional distribution of one linear form of independent random variables given another. In the case of two independent…

A subgroup $H$ of a topological abelian group $X$ is said to be characterized by a sequence $\mathbf v =(v_n)$ of characters of $X$ if $H=\{x\in X:v_n(x)\to 0\ \text{in}\ \mathbb T\}$. We study the basic properties of characterized…

Let X be a finite Abelian group, xi_i, i=1,2,...,n,n>1, be independent random variables with values in X and distributions mu_i. Let alpha_{ij},i,j=1,2,...,n, be automorphisms of X. We prove that the independence of n linear forms…

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…

A complete first-order theory is equational if every definable set is a Boolean combination of instances of equations, that is, of formulae such that the family of finite intersections of instances has the descending chain condition.…

We show that the first-order logical theory of the binary overlap-free words (and, more generally, the ${\alpha}$-free words for rational ${\alpha}$, $2 < {\alpha} \leq 7/3$), is decidable. As a consequence, many results previously obtained…

Baer characterized capable finite abelian groups (a group is capable if it is isomorphic to the quotient of some group by its center) by a condition on the size of the factors in the invariant factor decomposition (the group must be…

We provide a characterization of distal ordered abelian groups: An ordered abelian group is distal if and only if, for each prime number $p$, the sizes of ribs with respect to the "valuation" $\mathfrak{s}_p$ are uniformly bounded. This…

The conjecture that semi-p-abelian groups is strongly semi-p-abelian is flase for p=3.And it's true for metabelian semi-p-abelian groups.

In this note we give a characterization of elementary abelian 2-groups in terms of their maximal sum-free subsets.

First Order Team Semantics is a generalization of Tarskian Semantics in which formulas are satisfied with respect to sets of assignments. In Team Semantics, it is possible to extend First Order Logic via new types of atoms that describe…

We investigate an extension of nominal many-sorted signatures in which abstraction has a form of instantiation, called generalised concretion, as elimination operator (similarly to lambda-calculi). Expressions are then classified using a…

A famous conjecture attributed to Dardano-Dikranjan-Rinauro-Salce states that any uniformly fully inert subgroup of a given group is commensurable with a fully invariant subgroup (see, respectively, [5] and [6]). In this short note, we…

Given a unitary representation $U$ of an Abelian group $G$ and a subgroup $H$, we characterise the positive operator valued quotient group $G/H$ and covariant with respect to $U$.

Let $X$ be a second countable locally compact Abelian group. We prove some group analogues of the Skitovich--Darmois, Heyde and Kac--Bernstein characterisation theorems for $Q$-independent random variables taking values in the group $X$.…

Consider an expansion $\mathcal R=(R,<,+,\ldots)$ of an ordered divisible Abelian group of finite burden defining no nonempty subset $X$ of $R$ which is dense and codense in a definable open subset $U$ of $R$ with $X \subseteq U$. We…

Let $X$ be a countable discrete Abelian group containing no elements of order 2, $\alpha$ be an automorphism of $X$, $\xi_1$ and $\xi_2$ be independent random variables with values in the group $X$ and distributions $\mu_1$ and $\mu_2$. The…

A lattice-ordered group (an $\ell$-group) $G(\oplus, \vee, \wedge)$ can be naturally viewed as a semiring $G(\vee,\oplus)$. We give a full classification of (abelian) $\ell$-groups which are finitely generated as semirings, by first showing…

It is proved that, in certain subgroups of direct products of countable groups, the property of being an unconditionally closed set coincides with that of being an algebraic set. In particular, these properties coincide in all Abelian…

We develop a first-order theory of ordered transexponential fields in the language $\{+,\cdot,0,1,<,e,T\}$, where $e$ and $T$ stand for unary function symbols. While the archimedean models of this theory are readily described, the study of…