 The most general way to construct a ring is by specifying generators and relations.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