Holomorph of a ring

From Groupprops
Jump to: navigation, search

Definition

Symbol-free definition

The holomorph of a ring is a group obtained as a semidirect product of its additive group by its multiplicative group of units, where the group of units acts by left multiplication (since the rings we consider for holomorph are usually commutative, we can omit the left qualifier).

Note that for a cyclic group, the holomorph of the ring is the same as the holomorph of the underlying additive group (because every automorphism of the additive group can be expressed as a multiplication).

Definition with symbols

PLACEHOLDER FOR INFORMATION TO BE FILLED IN: [SHOW MORE]

Group properties