Bugün

Gruplar
Alt Gruplar
Genel Lineer Grup
 .

• bir işlem olduğundan eşitliğin iki yanını aynı elemanla çarpınca eşitlik bozulmaz
• G grup olduğundan

G grup old. vardır.

, a nın tersi olduğundan)

( e etkisiz eleman olduğundan)

Böylece = denkleminin çözümünü bulmuş olduk.

Benzer şekilde
Kabul edelim ki
1. * , G üzerinde bir işlem olduğundan kapalılık sağlanır.
2. G nin birleşme özelliğine sahip olduğu teoremin ana hipotezi olduğundan bu özellik sağlanır.
3. Yukarıdaki iki denklem için sağlanır. Özel olarak b=a alalım

nin bir çözümü z olsun yani: z dir.

Benzer şekilde
( .

u=v dir. G nin birim elemanı vardır.

4.
gösterelim:

Her elemanın tersi vardır.

(1), (2), (3) ve (4) den bir gruptur.

 1. Durum:

2. Durum:

H sonlu olduğundan

Teorem 4.1.9 dan

U(7)

U(7) dir

G kümesi matris çarpımı işlemine

göre kapalıdır. GL(3) ün sonlu bir alt
kümesidir. Teoremden dolayı