Holomorph of a ring
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 symbolsPLACEHOLDER FOR INFORMATION TO BE FILLED IN: [SHOW MORE]
- Metabelian group when the ring is commutative