In this paper, we show that any finitely generated abelian-byfinite group is an elementary submodel of its profinite completion. It follows that two finitely generated abelian-by-finite groups are elementarily equivalent if and only if they have the same finite images. We give an example of two finitely generated abelian-by-finite groups G, H which satisfy these properties while G x Z and H x Z...

We present a polynomial-time reduction of the discrete logarithm problem in any periodic (a.k.a. torsion) semigroup (Semigroup DLP) to the classic DLP in a subgroup of the same semigroup. It follows that Semigroup DLP can be solved in polynomial time by quantum computers, and that Semigroup DLP has subexponential algorithms whenever the classic DLP in the corresponding groups has subexponential...

This survey paper presents the success story of the topological approach to automata theory. It is based on profinite topologies, which are built from finite topogical spaces. The survey includes several concrete applications to automata theory. In mathematics, p-adic analysis is a powerful tool of number theory. The p-adic topology is the emblematic example of a profinite topology, a topology ...

We systematically analyze regularization of different kinds of ultradistribution semigroups and sines, in general, with nondensely defined generators and contemplate several known results concerning the regularization of Gevrey type ultradistribution semigroups. We prove that, for every closed linear operator A which generates an ultradistribution semigroup (sine), there exists a bounded inject...

The interaction of automatic semigroups and Bruck–Reilly extensions is studied. It is proved that every automatic Bruck–Reilly extension has an automatic base semigroup. This result is then applied to answer negatively the question of Andrade et al. on whether automatic structures for Bruck–Reilly extensions of groups are characterized by the fellow traveller property. An example is exhibited t...

We derive the actions for type II Green-Schwarz strings up to second order in the fermions, for general bosonic backgrounds. We base our work on the so-called normal coordinate expansion. The resulting actions are κ-symmetric and, for the case of surviving background supersymmetries, supersymmetric. We first obtain the type IIa superstring action from the 11D supermembrane by double dimensional...