Some Ring and Module Properties of Skew Power Series

All rings are assumed to be associative and with nonzero identity element. Let ϕ be an injective endomorphism of a ring A. We denote by A ℓ [[x, ϕ]] the left skew power series ring consisting of formal series $$\sum\nolimits_{i = 0}^\infty {{a_i}{x^i}} $$ of an indeterminate x with canonical coefficients a i ∈ A, where addition is defined naturally and multiplication is defined by the rule x i a = ϕ i (a)x i The ring A ℓ [[x, ϕ]] contains the left skew polynomial ring A ℓ [x, ϕ]. For every right A-module M, we denote by M ℓ [[x, ϕ]] the set of all formal sums of the form $$f \equiv \sum\nolimits_{i = 0}^\infty {{m_i}{x^i}} $$ , where m i ∈ M. The coefficient fo is the constant term of the series f 0. It is directly verified that the set M ℓ [[x, ϕ]] is a right module over the left skew power series ring A ℓ [[x, ϕ]] such that addition is defined naturally and multiplication by elements of the ring A ℓ [[x, ϕ]] is defined by the rule $$(\sum\nolimits_{i = 0}^\infty {{m_i}{x^i})(\sum\nolimits_{j = 0}^\infty {{a_j}{x^j}} )}\mathop {}\limits_{}{ = _{}}\sum\nolimits_{k = 0}^\infty {(\sum\nolimits_{i + j = k}{{m_j}{\varphi ^i}({a_j})){x^k}} } $$ . The right A ℓ [[x, ϕ]-module M ℓ [[x, ϕ]] is called the skew power series module.