Holomorph of a ring

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]

One of the people editing this page intended to fill in this information at a later stage, but hasn't gotten around to doing it yet. If you see this placeholder for a long time, file an error report at the error reporting page.

Group properties

• Metabelian group when the ring is commutative