Browse · MathNet
Print67th Romanian Mathematical Olympiad
Romania algebra
Problem
Let be a ring and let be the set of all non-invertible elements of . Assuming for all in , prove that:
a) for all in and all in ; and
b) If is finite and , there exists in such that for all in .
a) for all in and all in ; and
b) If is finite and , there exists in such that for all in .
Solution
a) Let be a member of and let be a member of . If is invertible, then is a member of , so , and . If is a member of , then is invertible, so is also a member of . Hence , and consequently .
b) Let be the set of all finite non-zero products of elements of . Since , the set is non-empty. Notice that if is a product in , then for . Indeed, if for some , then , by a), which is a contradiction. Hence is a
finite set. Finally, let be a product in of maximal length , and let be a member of . If is one of the factors of , then , by a). Otherwise, the words and both have length greater than , so they cannot belong to , by maximality of , and again .
b) Let be the set of all finite non-zero products of elements of . Since , the set is non-empty. Notice that if is a product in , then for . Indeed, if for some , then , by a), which is a contradiction. Hence is a
finite set. Finally, let be a product in of maximal length , and let be a member of . If is one of the factors of , then , by a). Otherwise, the words and both have length greater than , so they cannot belong to , by maximality of , and again .
Techniques
Ring Theory