A primer on ideal theoretical operation in non-commutative polynomial rings