27Heute würde man dafür G ×G' schreiben. K' relativ zu k in bezug auf K fremd“ bedeutet, dass K und K' linear disjunkt über k sind.

@