Let R be a commutative local k-algebra of Krull dimension one, where k is field. α automorphism R, and define S to the skew polynomial algebra R[θ;α]. We offer, under some additional assumptions on criterion for have injective hulls all simple S-modules locally Artinian - that is, satisfy property (⋄). It easy well known if finite order, then has this property, but in order get when infinite we...