theorem Th168: :: MATGRP_0:148

for R being Ring
for n being Nat
for G being b₂,b₁ -linear Group holds the multF of G = the multF of (GL (n,R)) || the carrier of G