Noncommutative frieze patterns with coefficients

Based on Berenstein and Retakh's notion of noncommutative polygons we introduce and study noncommutative frieze patterns. We generalize several notions and fundamental properties from the classic (commutative) frieze patterns to noncommutative frieze patterns, e.g. propagation formulae and $\mu$-matrices, quiddity cycles and reduction formulae, and we show that local noncommutative exchange relations and local triangle relations imply all noncommutative exchange relations and triangle relations. Throughout, we allow coefficients, so we obtain generalizations of results from our earlier paper on frieze patterns with coefficients from the commutative to the noncommutative setting.