Mooihoekite to chalcopyrite CuFeS, making it helpful in the study of ore deposits and the study of the central portion of the Cu-Fe-S phase system. Mooihoekite, chalcopyrite, talnakhite, and haycockite all play key roles in the study of ore genesis and beneficiation. Mooihoekite Mooihoekite is a copper iron sulfide mineral with chemical formula of CuFeS. The mineral was discovered in 1972 and received its name from its discovery area, the Mooihoek mine in Transvaal, South Africa. Mooihoekite crystallizes in the tetragonal crystal system. It has a short optical c-axis that is perpendicular to two longer a-axes of equal length. For Mooihoekite,
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