On fuzzy metric groups (Q1349183)

Based on a modification of the concept of metric fuzziness given by \textit{I. Kramosil} and \textit{J. Michálek} [Kybernetica, Praha 11, 336-344 (1975; Zbl 0319.54002)], \textit{A. George} and \textit{P. Veeramani} [Fuzzy Sets Syst. 64, No. 3, 395-399 (1994; Zbl 0843.54014)] introduced and studied a notion of fuzzy metric space which permits to extend several well-known results on complete and compact metric spaces to the fuzzy setting. The work of \textit{V. Gregori} and \textit{S. Romaguera} [ibid. 115, No. 3, 485-489 (2000; Zbl 0985.54007)] further created considerable interest in this direction. In this paper the authors show that the fuzzy metric notion studied by George and Veeramani can be used as an efficient tool to obtain a satisfactory notion of a fuzzy metric group. The results proved here extend classical theorems on metric groups. To analyze some properties of the quotient subgroups of a fuzzy metric group the authors propose a weaker notion of fuzzy metric space termed as lower fuzzy metric space. Using this concept the authors obtain some interesting results for lower fuzzy metric groups.