Chalcopyrite ore types, from huge masses as at Timmins, Ontario, to irregular veins and disseminations associated with granitic to dioritic intrusives as in the porphyry copper deposits of Broken Hill, the American cordillera and the Andes. The largest deposit of nearly pure chalcopyrite ever discovered in Canada was at the southern end of the Temagami Greenstone Belt where Copperfields Mine extracted the high-grade copper. Chalcopyrite is present in the supergiant Olympic Dam Cu-Au-U deposit in South Australia. Chalcopyrite may also be found in coal seams associated with pyrite nodules, and as disseminations in carbonate sedimentary rocks. Crystallographically the structure of chalcopyrite
Ore condition with "u", "v" not zero divisors. In this case, Ore's theorem guarantees the existence of an over-ring called the (right or left) classical ring of quotients. Commutative domains are automatically Ore domains, since for nonzero "a" and "b", "ab" is nonzero in . Right Noetherian domains, such as right principal ideal domains, are also known to be right Ore domains. Even more generally, Alfred Goldie proved that a domain "R" is right Ore if and only if "R" has finite uniform dimension. It is also true that right Bézout domains are right Ore. A subdomain of a division ring which