( Bir kuramın fiziksel olmayan simetrilerine verilen addır. Bir kuramda bazı ayar dönüşümleri yapıyorsak ve gözlemlenebilen fiziksel nicelikler bundan etkilenmiyorsa deriz ki, kuram belirli bir ayar simetrisine sahiptir. [Newton'un klasik mekaniği, tüm evrenin ötelemeleri altında simetriktir. Evrendeki maddeyi bir metre yukarı (bunun yerine kendi favori yönünüzü de seçebilirsiniz) taşıdığımızda evren yine bildiğimiz evrendir. Hiçbir şey değişmemiştir. Bundan dolayı Newton mekaniğinin öteleme simetrisi vardır diyebiliriz.]

İLE/VE/||/

Ayar dönüşümlerinin oluşturduğu gruptur. Bunun için ayar dönüşümlerinin bazı özellikleri sağlaması gerekir (bunlara grup belitleri/aksiyomları denir):
– Birim öğe. [Sisteme hiçbir işlem yapmayan bir simetri vardır.]
– Ters öğe. Bir simetri dönüşümünün etkilerini geri alabilecek bir simetri dönüşümü vardır. [Newton mekaniğinde tüm evreni bir metre yukarı kaydırdık. Sonra da bir metre aşağı kaydırdık. Aşağı kaydırma işlemi, yukarı kaydırma işleminin tersidir. Ve birbirine ters olan dönüşümlerin art arda uygulanması birim elemanı verir.]
– Kapalılık. [Art arda uygulanan ayar dönüşümlerinin de bir ayar dönüşümü olması gerekir.]
– Birleşme özelliği. [Birer ayar dönüşümü olsun ve art arda uygulansın. 'dan önce ikilisini uygulamakla 'dan sonra ikilisini uygulamak arasında fark yoktur.]

İLE/VE/||/

Bir kuramın izin verdiği tüm hallerin bir kümesidir, uzayıdır.

İLE/VE/||/

Bir kümenin birbirine denk [birbirine denk demek bir denklik bağıntısıyla birbirine bağlı olmak demektir] olan öğelerinin oluşturduğu kümedir. )