El grup circular és un subgrup de C×, el grup multiplicatiu de tots els nombres complexos no-nuls. Com que C× és abelià, llavors T també ho és. El grup circular també és el grup U(1) de matrius unitàries de dimensió 1×1 amb entrades complexes; aquestes matrius actuen sobre el pla complex per rotació al voltant de l'origen. El grup circular es pot parametritzar per l'angle θ de rotació mitjançant
Aquesta és l'aplicació exponencial per al grup circular.
La notació T per al grup circular prové del fet que, amb la topologia estàndard, el grup circular és un 1-tor. Més en general, Tn (el producte directe de T amb ell n vegades) és geomètricament un n-tor.
Introducció
Una manera de pensar en el grup circular és que descriu com sumar angles, on els valors dels angles poden variar entre 0° i 360°. Per exemple, la figura il·lustra com sumar 150° i 270°. La resposta hauria de ser 150° + 270° = 420°, però quan es pensa en termes del grup circular, cal tenir en compte que s'ha donat una volta sencera, i cal descartar-la. Per això, si ajustem la nostra resposta en un valor de 360° es té 420° = 60° (mod 360°).
Una altra descripció és en termes de la suma habitual, on els únics nombres permesos són entre 0 i 1 (el valor 1 correspon a una rotació completa). Per aconseguir això, podríem necessitar descartar els dígits que apareixen abans de la coma decimal. Per exemple, quan sumem 0,784 + 0,925 + 0,446, la resposta hauria de ser 2,155, però descartem la part entera 2, així que la resposta (en el grup circular) és 0,155.
Estructura topològica i analítica
El grup circular no és només un objecte algebraic abstracte; té una topologia natural quan es considera com un subespai del pla complex. Com que la multiplicació i la inversió són funcions contínues en C×, el grup circular té l'estructura d'un grup topològic. A més, com que la circumferència unitat és un subconjunt tancat del pla complex, el grup circular és un subgrup tancat de C× (considerat com a grup topològic).
Addicionalment, la circumferència és una varietat unidimensional, i la multiplicació i la inversió són funcions analítiques reals sobre la circumferència. Això dota la circumferència d'una estructura de grup uniparamètric, un cas d'un grup de Lie. De fet, llevat d'isomorfisme, és l'únic grup de Lie connexcompacte unidimensional. És més, tot grup de Lie abelià connex compacte n-dimensional és isomorf a Tn.
Isomorfismes
El grup circular apareix en molts camps de les matemàtiques. Per exemple, es té que
El conjunt de totes les matrius unitàries 1×1 clarament coincideix amb el grup circular; la condició de ser unitàries és equivalent a la condició de què el seu únic element tingui valor absolut 1. Per això, el grup circular és canònicament isomorf a U(1), el primer grup unitari.
La igualtat és la fórmula d'Euler o l'exponencial complexa. El nombre real θ correspon a l'angle (en radians) sobre la circumferència unitat, mesurat en el sentit contrari de les agulles del rellotge des de l'eix positiu de les x. Aquesta aplicació és un homomorfisme perquè la multiplicació de nombres complexos unitaris correspon a la suma d'angles:
Aquest isomorfisme té la interpretació geomètrica de què la multiplicació per un nombre complex unitari és una rotació pròpia en el pla complex (i en el real), i qualsevol rotació és d'aquesta forma.
Propietats
Tot grup de LieG compacte de dimensió > 0 té un subgrup isomorf al grup circular. Això significa que, pensant en termes de simetria, un grup de simetria compacte que actuacontínuament conté subgrups circulars uniparamètrics que actuen; algunes conseqüències en sistemes físics són, per exemple, la invariància rotacional, i la ruptura espontània de simetria.
El grup circular té molts subgrups, però els seus únics subgrups tancats propis consisteixen en les arrels de la unitat: per a qualsevol enter n > 0, les arrels n-simes de la unitat formen un grup cíclic d'ordre n, el qual és únic llevat d'isomorfisme.
Representacions
Les representacions del grup circular són senzilles de descriure. Una conseqüència del Lema de Schur és que les representacions complexesirreductibles d'un grup abelià són totes unidimensionals. Com que el grup circular és compacte, qualsevol representació ρ : T → GL(1, C) ≅ C× ha de prendre valors en U(1) ≅ T. Per tant, les representacions irreductibles del grup circular són només els homomorfismes del grup circular a ell mateix.
Cap representació és equivalent a cap altra. La representació φ−n és conjugada a φn,
Aquestes representacions són simplement els caràcters del grup circular. El grup de caràcters de T és clarament un grup cíclic infinit generat per φ1:
Les representacions reals irreductibles del grup circular són la representació trivial (que és unidimensional) i les representacions
que pren valors a SO(2). Aquí només s'obtenen enters positius n, ja que la representació és equivalent a .