No CrossRef data available.
Published online by Cambridge University Press: 14 February 2012
The commutative and entropic congruence relations determine a homomorphism on the free logarithmetic , the arithmetic of the indices of powers of the generating element of a free cyclic groupoid. A necessary and sufficient condition that two indices should be concordant (i.e. congruent in the free commutative entropic logarithmetic) is that the bifurcating trees corresponding to these indices should have the same number of free ends at each altitude. It follows that the free commutative entropic logarithmetic can be represented faithfully by index ψ-polynomials (or θ-polynomials) in one indeterminate.
In the concluding section enumeration formulæ are obtained for the number of non-concordant indices of a given altitude and for the number of indices concordant to a given index.