Center not is closed in T0 quasitopological group

From Groupprops

Statement

It is possible to have a T0 quasitopological group such that the center is not a closed subgroup of .

Related facts

Facts used

  1. Infinite group with cofinite topology is a quasitopological group

Proof

Let be an infinite group whose center is a proper infinite subgroup. Equip with the cofinite topology (so the proper closed subsets are precisely the finite subsets). By Fact (1), thereby becomes a quasitopological group. By the definition of the cofinite topology, it is . however, by construction, the center is not closed.

An example of such a group might be unitriangular matrix group:UT(3,Z).