Given an iterated skew polynomial ring C[y1; τ1, δ1] . . . [yn; τn, δn] over a complete local ring C with maximal ideal m, we prove, under suitable assumptions, that the completion at the ideal m+ 〈y1, y2, . . . , yn〉 is an iterated skew power series ring. When C is a field, this completion is a local, noetherian, Auslander regular domain with Krull, classical Krull and global dimension all equ...

In this paper we prove the universal property of skew PBW extensions generalizing this way the well known universal property of skew polynomial rings. For this, we will show first a result about the existence of this class of non-commutative rings. Skew PBW extensions include as particular examples Weyl algebras, enveloping algebras of finite-dimensional Lie algebras (and its quantization), Art...

The second cohomology group of a left skew brace with coefficients in trivial non-trivial actions is defined, its connection extensions by braces established and Wells' like exact sequence relating the inducible automorphisms an extension constructed.