Any U(1) that comes from a grand unified theory is compact – because only compact higher gauge groups make sense.
Секоја U (1) која доаѓа од голема унифицирана теорија е компактна - бидејќи само компактните групи со повисоки мерачи имаат смисла.