An existence result for super Lie groups

An analogue of the classical global third Lie theorem is proved to hold for super Lie groups whose ground Banach—Grassmann algebra is (possibly) infinite-dimensional, provided that this algebra has an ordered basis. It is also proved that the superanalytic structure of a connected super Lie group having a prescribed Lie module is unique, although in a weaker sense than in the case of ordinary Lie groups.