A proof of Nogura's conjecture

Answering a question of T. Nogura (1985), we show using the Open Coloring Axiom that the weak diagonal sequence property is preserved by taking products whenever the products themselves are Fréchet. As an application we show, using the same assumption, that the product of two Fréchet groups is Fréchet provided it is sequential. Recall that the product of two Fréchet groups may not be sequential.