Source author record

Francisco Araújo

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

math.DS math.GR math.NT

Catalog footprint

Research overview

2works

3topics

3close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2026arXiv

$\mathfrak{B}$ -free integers in number fields and dynamics

In 2010, Sarnak initiated the study of the dynamics of the system determined by the square of the Möbius function (the characteristic function of the square-free integers). We deal with his program in the more general context of $\mathfrak{B}$ -free integers in number fields, suggested 5 years later by Baake and Huck. This setting encompasses the classical square-free case and its generalizations. Given a number field $K$ , let $\mathfrak{B}$ be a family of pairwise coprime ideals in its ring of integers $\mathcal{O}_K$ , such that $\sum_{\mathfrak{b}\in\mathfrak{B}}1/|\mathcal{O}_K / \mathfrak{b}|<\infty$ . We study the dynamical system determined by the set $\mathcal{F}_\mathfrak{B}=\mathcal{O}_K\setminus \bigcup_{\mathfrak{b}\in\mathfrak{B}}\mathfrak{b}$ of $\mathfrak{B}$ -free integers in $\mathcal{O}_K$ . We show that the characteristic function $\mathbb{1}_{\mathcal{F}_\mathfrak{B}}$ of $\mathcal{F}_\mathfrak{B}$ is generic along the natural Følner sequence for a probability measure on $\{0,1\}^{\mathcal{O}_K}$ , invariant under the multidimensional shift. The corresponding measure-theoretical dynamical system is proved to be isomorphic to an ergodic rotation on a compact Abelian group. In particular, it is of zero Kolmogorov entropy. Moreover, we provide a description of ``patterns'' appearing in $\mathcal{F}_\mathfrak{B}$ and compute the topological entropy of the orbit closure of $\mathbb{1}_{\mathcal{F}_\mathfrak{B}}$ . Finally, we show that this topological dynamical system has a non-trivial topological joining with an ergodic rotation on a compact Abelian group.

preprint2017arXiv

Commutativity theorems for groups and semigroups

In this note we prove a selection of commutativity theorems for various classes of semigroups. For instance, if in a separative or completely regular semigroup $S$ we have $x^p y^p = y^p x^p$ and $x^q y^q = y^q x^q$ for all $x,y\in S$ where $p$ and $q$ are relatively prime, then $S$ is commutative. In a separative or inverse semigroup $S$ , if there exist three consecutive integers $i$ such that $(xy)^i = x^i y^i$ for all $x,y\in S$ , then $S$ is commutative. Finally, if $S$ is a separative or inverse semigroup satisfying $(xy)^3=x^3y^3$ for all $x,y\in S$ , and if the cubing map $x\mapsto x^3$ is injective, then $S$ is commutative.

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Francisco Araújo

Research overview

Is this your work?

2 publications

$\mathfrak{B}$ -free integers in number fields and dynamics

Commutativity theorems for groups and semigroups

See the researcher in context

Building this map preview

Francisco Araújo

Research overview

Is this your work?

2 publications

B\mathfrak{B}B-free integers in number fields and dynamics

Commutativity theorems for groups and semigroups

See the researcher in context

Building this map preview

$\mathfrak{B}$ -free integers in number fields and dynamics