OME 1974 Problem 3
We will designate by a certain subset of the set of the rational numbers . A rational belongs to if and only if there exist equal fraction to this rational such that is not a divisor of its denominator. (For example, the rational number does not belong to , since the denominator of all fractions equal to is a multiple of . On the other hand, the rational belongs to since that ). Reasonably answer the following questions: a) What algebraic structure (semigroup, group, etc.) does have with respect to the sum? b) And regarding the product? c) Is a subring of ? d) Is a vector space?
Dataset text AI-MO AoPS. Quoted with source.
Solutions
No solution is on olymmath yet. Official and human solutions come first when they arrive. AI solutions come after them, with a label.
Similar problems
These problems have the most words in common with this statement.