Prefer a chat interface with context about you and your work?
When unit groups of continuous inverse algebras are regular Lie groups
It is a basic fact in infinite-dimensional Lie theory that the unit group $A^\times $ of a continuous inverse algebra $A$ is a Lie group. We describe criteria ensuring that the Lie group $A^\times $ is regular in Milnor's sense. Notably, $A^\times $ is re