The metrizability of L-topological groups

In this study, we study the metrizability of the notion of L-topological group defined by Ahsanullah 1988. We show that for any (separated) L-topological group there is an L-pseudo-metric (L-metric), in sense of Gähler which is defined using his notion of L-real numbers, compatible with the L-topology of this (separated) L-topological group. That is, any (separated) L-topological group is pseudo-metrizable (metrizable).