Table of Contents - 18.1. Additional material on group theory (deprecated)
This section contains an earlier development of groups that was defined
before extensible structures were introduced.
The intent is for this deprecated section to be deleted once the
corresponding definitions and theorems for complex topological vector spaces,
which are using them, are revised accordingly.