propylmagnesium noun[in compounds]1 •A chemical containing propyl functional group attached to magnesium