请输入您要查询的字词:

 

单词 TransversalsLiftsSifts
释义

transversals / lifts / sifts


Definition 1.

Given a group G and a subgroupMathworldPlanetmathPlanetmath H of G, a transversal of H in Gis a subset TG such that for every gG there exists a uniquetT such that Hg=Ht.

Typically one insists 1T so that the coset H is described uniquelyby H1. However no standard terminology has emerged for transversals of this sort.

An alternative definition for a transversal is to use functions and homomorphismsMathworldPlanetmathPlanetmathPlanetmathPlanetmathPlanetmathPlanetmathPlanetmathPlanetmathPlanetmath in a method more conducive to a categorical setting. Here one replaces the notion of a transversal as a subset of G and instead treats it as a certain type of map T:G/HG. Since H is generally not normal in G, G/H simply means the set of cosets, and T is therefore a function not a homomorphism. We only require that T satisfy the following property: Given the canonical projection map π:GG/H given by gHg (this is generally not a homomorphism either, and so both π and T are simply functions between sets) then πT=1G/H. It follows immediately that the image of T in G is a transversal in the original sense of the term.

Remark 2.

Because it is customary in group theory to write actions to the right of elements many times it is preferable to write Tπ=1G/H to match the right side notation.

When H is a normal subgroupMathworldPlanetmath of G our terminology adjusts from transversals to lifts.

Definition 3.

Given a group G and a homomorphism π:GQ, a lift of Q to G is a function f:QG such that πf=1Q.

It follows that π must be an epimorphismMathworldPlanetmathPlanetmath if it has a lift. Once again it is nearly always requested that f(1)=1 but this restrictionPlanetmathPlanetmathPlanetmath is generally not part of the definition.

Because both lifts and transversals are injectivePlanetmathPlanetmath mappings it is common to use the word lift/transversal for the image and the map with the context of the use providing any necessary clarification.

Definition 4.

Given a group G and a homomorphism π:GQ, a splitting map of Q to G is a homomorphism f:QG such that πf=1Q.

So we see a gradual progression in the definitions: We always have a group G and a set Q, and the maps π:GQ, f:QG satisfying

πf=1Q.

It follows, f is injective and π is surjectivePlanetmathPlanetmath.

  • f is a transversal if Q=G/H for some subgroup H. Hereπ and f are simply functions.

  • f is a lift if Q is a group. Here π is a homomorphism andf a function.

  • f is a splitting map if Q is group and both π and f arehomomorphisms.

Finally we arrive at a stronger requirement for transversals and lifts which makes greater use of the group structureMathworldPlanetmath involved.

Definition 5.

Given a group G=S, there is a natural mapπ:F(S)G from the free groupMathworldPlanetmath on S onto G. A liftis a map l:GF(S) such that πl=1G. Furthermore asift is a lift s:GF(S) with the added condition thatsg=g for all gS.

Although a general sift is no more than a map that writes theelements of G as reduced words in S, in many cases the siftshave the added property of providing the words in a canonical form.This occurs when G=T0Tn-1 where Ti is a transversalof Gi/Gi+1. In such a case every element in G has a uniquedecomposition as a word t0t1tn-1 for unique tiTi.

随便看

 

数学辞典收录了18232条数学词条,基本涵盖了常用数学知识及数学英语单词词组的翻译及用法,是数学学习的有利工具。

 

Copyright © 2000-2023 Newdu.com.com All Rights Reserved
更新时间:2025/5/4 17:31:19