Presentation Construction

The process of describing an algebraic object (group, ring, algebra, module) by a set of generators together with defining relations, i.e., producing a surjection from a free object onto the object with the kernel generated by the listed relations; a presentation encodes a concrete combinatorial or algebraic description.