RoiterA. V.; SergeychukV. V. Existence of a Multiplicative Basis for a Finitely Spaced Module over an Aggregate. Ukr. Mat. Zhurn. 1994, 46, 567–579.