On topological groups admitting a base at identity indexed with
A topological group is said to have a local -base if the neighbourhood system at identity admits a monotone cofinal map from the directed set . In particular, every metrizable group is such, but the class of groups with a local -base is significantly wider. The aim of this article is to better understand the boundaries of this class, by presenting new examples and counter-examples. Ultraproducts and non-arichimedean ordered fields lead to natural families of non-metrizable groups with a local -base which nevertheless are Baire topological spaces. More examples come from such constructions as the free topological group and the free Abelian topological group of a Tychonoff (more generally uniform) space , as well as the free product of topological groups. We show that 1) the free product of countably many separable topological groups with a local -base admits a local -base; 2) the group of a Tychonoff space admits a local -base if and only if the finest uniformity of has a -base; 3) the group of a Tychonoff space admits a local -base provided is separable and the finest uniformity of has a -base.