Computability of finite quotients of finitely generated groups

We systematically study groups whose marked finite quotients form a recursive set. We give several definitions, and prove basic properties of this class of groups, and in particular emphasize the link between the growth of the depth function and solvability of the word problem. We give examples of infinitely presented groups whose finite quotients can be effectively enumerated. Finally, our main result is that a residually finite group can fail to be recursively presented and still have computable finite quotients, and that, on the other hand, it can have solvable word problem but not have computable finite quotients.

COMPOSITION SERIES OF THE SOLVABLE ABELIAN FACTOR GROUP SOURCE OF EQUATION OF ALL POLYNOMIAL EQUATIONS

This work penciled down the Composition Series of Factor Abelian Group over the source of all polynomial equations gleaned through the nth roots of unity regular gons on a unit circle, a circle of radius one and centered at zero. To get the composition series, the third isomorphism theorem has to be passed through. But, the third isomorphism theorem itself gleaned via the first which is a deduction of the naturally existing canonical map. The solution of the source atom of the equation of all equation of polynomials are solvable by the intertwine of the Euler’s Formula and the De Moivre’s Theorem which after the inter-math, they become within the domain of complex analysis. For the source root of the equations, there is a recursive set of homomorphisms and ontoness of the mappings geneting the sequential terms in the composition series.

The Equation of the Set of Natural Numbers Just to Sum

Systems of equations of the form X = Y + Z and X = C, in which the unknowns are sets of integers,”+” denotes pairwise sum of sets S + T = m + n m S, n T , and C is an ultimately periodic constant. When restricted to sets of natural numbers, such equations can be equally seen as language equations over a one-letter alphabet with concatenation and regular constants, and it is shown that such systems are computationally universal, in the sense that for every recursive set S N there exists a system with a unique solution containing T with S = n 16n + 13 T. For systems over sets of all integers, both positive and negative, there is a similar construction of a system with a unique solution S = {n|16n ∈ T} representing any hyper-arithmetical set S ⊆ N. Keywords: Language equations, Natural numbers, Equations of natural number.

SAFE RECURSIVE SET FUNCTIONS

We introduce the safe recursive set functions based on a Bellantoni–Cook style subclass of the primitive recursive set functions. We show that the functions computed by safe recursive set functions under a list encoding of finite strings by hereditarily finite sets are exactly the polynomial growth rate functions computed by alternating exponential time Turing machines with polynomially many alternations. We also show that the functions computed by safe recursive set functions under a more efficient binary tree encoding of finite strings by hereditarily finite sets are exactly the quasipolynomial growth rate functions computed by alternating quasipolynomial time Turing machines with polylogarithmic many alternations.We characterize the safe recursive set functions on arbitrary sets in definability-theoretic terms. In its strongest form, we show that a function on arbitrary sets is safe recursive if and only if it is uniformly definable in some polynomial level of a refinement of Jensen's J-hierarchy, relativized to the transitive closure of the function's arguments.We observe that safe recursive set functions on infinite binary strings are equivalent to functions computed by infinite-time Turing machines in time less than ωω. We also give a machine model for safe recursive set functions which is based on set-indexed parallel processors and the natural bound on running times.