Relative K0 and relative cycle class map

We apply it to the pair (X,D) of a scheme X and an affine closed subscheme D of X, and get a description of the relative K0-group K0(X,D) in terms of perfect complexes; it is generated by pairs of two perfect complexes of X together with quasi-isomorphisms along D. This description makes it possible to assign a cycle class in K0(X,D) to a cycle on X not meeting D in an intuitive way. When X is a separated regular scheme of finite type over a field and D is an affine effective Cartier divisor on X, we prove that the cycle classes induce a surjective group homomorphism from the Chow group with modulus CH⁎(X|D) defined by Binda-Saito to a suitable subquotient of K0(X,D).