A set of n-tuples over Z/sub 4/ is called a code over Z/sub 4/ or a Z/sub 4/ code if it is a Z/sub 4/ module. We prove that any Z/sub 4/-cyclic code C has generators of the form (fh, 2fg) where fgh=x/sup n/-1 over Z/sub 4/ and |C|=4/sup deg g/2/sup deg h/. We also show that C/sup /spl perp// has generators of the form (g/sup */h/sup */, 2f/sup */g/sup */). We show that idempotent generators exist for certain cyclic codes. A particularly interesting family of Z/sub 4/-cyclic codes are quadratic residue codes. We define such codes in terms of their idempotent generators and show that these codes also have many good properties which are analogous in many respects to properties of quadratic residue codes over a field. We show that the nonlinear binary images of the extended QR codes of lengths 32 and 48 have higher minimum weights than comparable known linear codes.