Assertion: ring's property | /r/HasProperty | any function
Facets:
Source sentences:
text: Let F be a free ring (that is, free algebra over the integers) with the set X of symbols, that is, F consists of polynomials with integral coefficients in noncommuting variables that are elements of X. A free ring satisfies the universal property: any function from the set X to a ring R factors through F so that F → R {\displaystyle F\to R} is the unique ring homomorphism.