Erratum: ``A note on mappings of Baire spaces' (Math. Slovaca 27 (1977), no. 2, 173--176)
In this paper, by means of the essential derived operator, the classes of topological spaces whose T0 identification spaces are TDD, TF, TY or TL are characterized. This classes are related with the classes of essentially-T1-spaces (R0 spaces), essentially-TD-spaces and essentially-TUD-spaces, already known.In this way, we introduce several axioms more general than the axioms between T1 and T0 defined by Aull and Thron, all of them weaker than R0.
The statement in the title solves a problem raised by T. Retta. We also present a variation of the result in terms of -compactness.
Using CH we construct examples of sequential topological groups: 1. a pair of countable Fréchet topological groups whose product is sequential but is not Fréchet, 2. a countable Fréchet and topological group which contains no copy of the rationals.