Пусть

- изоморфные друг другу алгебры, содержащие собственные одноэлментные подалгебры, и

, доказать что

допускает разложение в прямое произведение алгебр, изоморфных

, не являющееся тривиальным разложением в подпрямое произведение.
Попытки построить изморфизм

, и чтобы гомоморфизм

, где

- естественная проекция, не являлся изоморфизмом, не увенчались успехом, понятно что нужно каким-то образом использовать существование одноэлементных подалгебр, но непонятно каким...