Let G be a group with a subgroup H of index 2. A corepresentation is a homomorphism into a group of operators over a vector space over the complex numbers where for all u in H the image of u is a linear operator and for all a in the coset G-H the image of a is antilinear (where '*' means complex conjugation):