On consistency of systems of symbolic polynomial equations and their application

Approaches to solving the systems of non-commutative polynomial equations in the form of formal power series are developed. The problems concerning the consistency of such a system are investigated on the base of the investigation of the commutative image of this system, which is obtained under the assumption that the symbols in the system denote variables taking values in the field of complex numbers and the operations in the system are commutative.