In mathematics, especially in the area of algebra known as group theory, the holomorph of a group is a group that simultaneously contains (copies of) the group and its automorphism group. The holomorph provides interesting examples of groups, and allows one to treat group elements and group automorphisms in a uniform context. In group theory, for a group , the holomorph of denoted can be described as a semidirect product or as a permutation group.
Typically, a semidirect product is given in the form where and are groups and is a homomorphism and where the multiplication of elements in the semidirect product is given as
A group G acts naturally on itself by left and right multiplication, each giving rise to a homomorphism from G into the symmetric group on the underlying set of G. One homomorphism is defined as λ: G → Sym(G), (h) = g·h. That is, g is mapped to the permutation obtained by left-multiplying each element of G by g. Similarly, a second homomorphism ρ: G → Sym(G) is defined by (h) = h·g−1, where the inverse ensures that (k) = ((k)). These homomorphisms are called the left and right regular representations of G. Each homomorphism is injective, a fact referred to as Cayley's theorem.
For example, if G = C3 = {1, x, x2 } is a cyclic group of order three, then
(1) = x·1 = x,
(x) = x·x = x2, and
(x2) = x·x2 = 1,
so λ(x) takes (1, x, x2) to (x, x2, 1).
The image of λ is a subgroup of Sym(G) isomorphic to G, and its normalizer in Sym(G) is defined to be the holomorphN of G. For each n in N and g in G, there is an h in G such that n· = ·n. If an element n of the holomorph fixes the identity of G, then for 1 in G, (n·)(1) = (·n)(1), but the left hand side is n(g), and the right side is h. In other words, if n in N fixes the identity of G, then for every g in G, n· = λ(n(g))·n. If g, h are elements of G, and n is an element of N fixing the identity of G, then applying this equality twice to n·· and once to the (equivalent) expression n·λ(g·h) gives that n(g)·n(h) = n(g·h). That is, every element of N that fixes the identity of G is in fact an automorphism of G. Such an n normalizes , and the only that fixes the identity is λ(1). Setting A to be the stabilizer of the identity, the subgroup generated by A and is semidirect product with normal subgroup and complementA. Since is transitive, the subgroup generated by and the point stabilizer A is all of N, which shows the holomorph as a permutation group is isomorphic to the holomorph as semidirect product.
It is useful, but not directly relevant, that the centralizer of in Sym(G) is , their intersection is ρ(Z(G)) = λ(Z(G)), where Z(G) is the center of G, and that A is a common complement to both of these normal subgroups of N.
Properties
ρ(G) ∩ Aut(G) = 1
Aut(G) normalizes ρ(G) so that canonicallyρ(G)Aut(G) ≅ G ⋊ Aut(G)
Burnside, William (2004), Theory of Groups of Finite Order, 2nd ed., Dover, p. 87
March 22, 2023
holomorph, mathematics, mathematics, especially, area, algebra, known, group, theory, holomorph, group, group, that, simultaneously, contains, copies, group, automorphism, group, holomorph, provides, interesting, examples, groups, allows, treat, group, element. In mathematics especially in the area of algebra known as group theory the holomorph of a group is a group that simultaneously contains copies of the group and its automorphism group The holomorph provides interesting examples of groups and allows one to treat group elements and group automorphisms in a uniform context In group theory for a group G displaystyle G the holomorph of G displaystyle G denoted Hol G displaystyle operatorname Hol G can be described as a semidirect product or as a permutation group Contents 1 Hol G as a semidirect product 2 Hol G as a permutation group 3 Properties 4 ReferencesHol G as a semidirect product EditIf Aut G displaystyle operatorname Aut G is the automorphism group of G displaystyle G then Hol G G Aut G displaystyle operatorname Hol G G rtimes operatorname Aut G where the multiplication is given by g a h b g a h a b displaystyle g alpha h beta g alpha h alpha beta Eq 1 Typically a semidirect product is given in the form G ϕ A displaystyle G rtimes phi A where G displaystyle G and A displaystyle A are groups and ϕ A Aut G displaystyle phi A rightarrow operatorname Aut G is a homomorphism and where the multiplication of elements in the semidirect product is given as g a h b g ϕ a h a b displaystyle g a h b g phi a h ab which is well defined since ϕ a Aut G displaystyle phi a in operatorname Aut G and therefore ϕ a h G displaystyle phi a h in G For the holomorph A Aut G displaystyle A operatorname Aut G and ϕ displaystyle phi is the identity map as such we suppress writing ϕ displaystyle phi explicitly in the multiplication given in Eq 1 above For example G C 3 x 1 x x 2 displaystyle G C 3 langle x rangle 1 x x 2 the cyclic group of order 3 Aut G s 1 s displaystyle operatorname Aut G langle sigma rangle 1 sigma where s x x 2 displaystyle sigma x x 2 Hol G x i s j displaystyle operatorname Hol G x i sigma j with the multiplication given by x i 1 s j 1 x i 2 s j 2 x i 1 i 2 2 j 1 s j 1 j 2 displaystyle x i 1 sigma j 1 x i 2 sigma j 2 x i 1 i 2 2 j 1 sigma j 1 j 2 where the exponents of x displaystyle x are taken mod 3 and those of s displaystyle sigma mod 2 Observe for example x s x 2 s x 1 2 2 s 2 x 2 1 displaystyle x sigma x 2 sigma x 1 2 cdot 2 sigma 2 x 2 1 and this group is not abelian as x 2 s x s x 1 displaystyle x 2 sigma x sigma x 1 so that Hol C 3 displaystyle operatorname Hol C 3 is a non abelian group of order 6 which by basic group theory must be isomorphic to the symmetric group S 3 displaystyle S 3 Hol G as a permutation group Editr g displaystyle rho g A group G acts naturally on itself by left and right multiplication each giving rise to a homomorphism from G into the symmetric group on the underlying set of G One homomorphism is defined as l G Sym G l g displaystyle lambda g h g h That is g is mapped to the permutation obtained by left multiplying each element of G by g Similarly a second homomorphism r G Sym G is defined by r g displaystyle rho g h h g 1 where the inverse ensures that r g h displaystyle rho gh k r g displaystyle rho g r h displaystyle rho h k These homomorphisms are called the left and right regular representations of G Each homomorphism is injective a fact referred to as Cayley s theorem For example if G C3 1 x x2 is a cyclic group of order three then l x displaystyle lambda x 1 x 1 x l x displaystyle lambda x x x x x2 and l x displaystyle lambda x x2 x x2 1 so l x takes 1 x x2 to x x2 1 The image of l is a subgroup of Sym G isomorphic to G and its normalizer in Sym G is defined to be the holomorph N of G For each n in N and g in G there is an h in G such that n l g displaystyle lambda g l h displaystyle lambda h n If an element n of the holomorph fixes the identity of G then for 1 in G n l g displaystyle lambda g 1 l h displaystyle lambda h n 1 but the left hand side is n g and the right side is h In other words if n in N fixes the identity of G then for every g in G n l g displaystyle lambda g l n g n If g h are elements of G and n is an element of N fixing the identity of G then applying this equality twice to n l g displaystyle lambda g l h displaystyle lambda h and once to the equivalent expression n l g h gives that n g n h n g h That is every element of N that fixes the identity of G is in fact an automorphism of G Such an n normalizes l G displaystyle lambda G and the only l g displaystyle lambda g that fixes the identity is l 1 Setting A to be the stabilizer of the identity the subgroup generated by A and l G displaystyle lambda G is semidirect product with normal subgroup l G displaystyle lambda G and complement A Since l G displaystyle lambda G is transitive the subgroup generated by l G displaystyle lambda G and the point stabilizer A is all of N which shows the holomorph as a permutation group is isomorphic to the holomorph as semidirect product It is useful but not directly relevant that the centralizer of l G displaystyle lambda G in Sym G is r G displaystyle rho G their intersection is r Z G l Z G where Z G is the center of G and that A is a common complement to both of these normal subgroups of N Properties Editr G Aut G 1 Aut G normalizes r G so that canonically r G Aut G G Aut G Inn G Im g l g r g displaystyle operatorname Inn G cong operatorname Im g mapsto lambda g rho g since l g r g h ghg 1 Inn G displaystyle operatorname Inn G is the group of inner automorphisms of G K G is a characteristic subgroup if and only if l K Hol G References EditHall Marshall Jr 1959 The theory of groups Macmillan MR 0103215 Burnside William 2004 Theory of Groups of Finite Order 2nd ed Dover p 87 Retrieved from https en wikipedia org w index php title Holomorph mathematics amp oldid 1141854102, wikipedia, wiki, book, books, library,