we shall extend the results of [5] and prove that if f = z o a x ? z [[x]] is algebraic over q (x), where a = 1, ƒ 1 and if ? , ? ,..., ? are p-adic integers, then 1 ? , ? ,..., ? are linkarly independent over q if and only if (1+x) ,(1+x) ,…,(1+x) are algebraically independent over q (x) if and only if f , f ,.., f are algebraically independent over q (x)

we give a proof of the generalisation of mendes-france and van der poorten's recent result over an arbitrary field of positive characteristic and then by extending a result of carlitz, we shall introduce a class of algebraically independent series.

with coefficients ak ∈ C (k ∈ Z ) are important in many branches of mathematics. Maple supports the computation of truncated series with its series command, and through the powerseries package [6] infinite series are available. In the latter case, the series is represented as a table of coefficients that have already been determined together with a function for computing additional coefficients...

The set S[[x]] of formal power series in x over a set S is the set of functions from the nonnegative integers to S. However, the way that we represent elements of S[[x]] will be as an infinite series, and operations in S[[x]] will be closely linked to the addition and multiplication of finite-degree polynomials. This paper will introduce a bit of the structure of sets of formal power series and...

Quotient is a basic operation of formal languages, which plays key role in the construction minimal deterministic finite automata (DFA) and universal automata. In this paper, we extend to power series systemically investigate its implications study weighted particular, define two quotient operations for are called (left or right) quotients residuals respectively. Algebraic properties closure (w...