An extension of properties of symmetric group to monoids and a pretorsion theory in a category of mappings