|
|
| Line 1: |
Line 1: |
| In [[mathematics]], in particular the theory of [[Lie algebra]]s, the '''Weyl group''' of a [[root system]] Φ is a [[subgroup]] of the [[isometry]] group of the [[root system]]. Specifically, it is the subgroup which is generated by reflections through the [[hyperplane]]s [[orthogonal]] to the roots, and as such is a [[finite reflection group]]. Abstractly, Weyl groups are [[finite Coxeter group]]s, and are important examples of these.
| | Như các bạn đã biết, Vsoft chuyên cung cấp phần mềm quản lý và các giải pháp phần mềm quản lý, Vsoft không chỉ có phần mềm quản lý kinh doanh dành cho các đơn vị kinh doanh có công nợ mà còn có [http://phan-mem-quan-ly-ban-hang.com/ phần mềm quản lý bán hàng], bán lẻ chuyên biệt cho các đơn vị quản lý bán hàng trực tiếp<br><br>Về định hướng công nghệ, được thiết kế cho phép doanh nghiệp triển khai mạng lưới ứng dụng qua internet với giao diện sử dụng hướng tới từng nhóm đối tượng người dùng. Đặc biệt, còn giúp nhà cung cấp dịch vụ viễn thông nâng cao khả năng cạnh tranh thông qua một nền tảng tiền điện tử (e-money/airtime), giúp tối ưu hóa dòng tiền [http://Search.huffingtonpost.com/search?q=tr%C3%AAn+m%E1%BA%A1ng&s_it=header_form_v1 trên mạng] lưới bán hàng. cũng cho phép thiết lập mạng lưới bán hàng trên nền công nghệ di động (mobile-sales). Người dùng có thể thực hiện các giao dịch bán hàng cũng như tra cứu thông tin & chăm sóc khách hàng trên điện thoại di dộng.<br><br>Quản lý hàng hóa tốt hơn Phần mềm quản lý bán lẻ sẽ cung cấp thông tin về những sản phẩm trong kho hiện tại và nhận diện được những sản phẩm nào cần tăng cường trong kho để có thể vận hành cửa hàng thuận lợi hơn. Các nhà bán lẻ cũng có thể xác định số lượng của từ[http://Data.Gov.uk/data/search?q=ng+s%E1%BA%A3n ng sản] phẩm chi tiết được bán trong ngày và số lượng sản phẩm còn tồn đọng. Tất cả những chi tiết trên sẽ hỗ trợ các nhà bán lẻ đặt đơn hàng chính xác từ đó có thể hạn chế được tình trạng dư thừa và giảm thiểu sự lãng phí.<br><br>Tỉnh/TP An Giang Bà Rịa Vũng Tàu Bắc Cạn Bắc Giang Bạc Liêu Bắc Ninh Bến Tre Bình Dương Bình Phước Bình Thuận Bình Định Cà Mau Cần Thơ Cao Bằng Gia [http://plus.google.com/117640548518997587494/posts/hs95kkr1kgq tải phần mềm quản lý bán hàng free] Lai Hà Giang Hà Nam Hà Nội Hà Tây Hà Tỉnh Hải Dương Hải Phòng Hòa Bình Hưng Yên Khánh Hòa Kiên Giang Kon Tum Lai Châu Lâm Đồng Lạng Sơn Lào Cai Long An Nam Định Nghệ An Ninh Bình Ninh Thuận Nơi khác Phú Thọ Phú Yên Quảng Bình Quảng Nam Quảng Ngãi Quảng Ninh Quảng Trị Sóc Trăng Sơn La Tây Ninh Thái Bình Thái Nguyên Thanh Hóa Thừa Thiên Huế Tiền Giang Trà Vinh Tuyên Quang Vĩnh Long Vĩnh Phúc Yên Bái Đà Nẵng Đắc Lắc Đắc Nông Điện Biên Đồng Nai Đồng Tháp<br><br>Chúng tôi gọi đây là "Phần mềm quản lý dành cho Hai Lúa" vì nó dễ sử dụng hơn bất cứ một chương trình về quản lý nào khác. Bạn cần phải biết những gì để có thể làm việc được với S1368 ? Gõ văn bản và sử dụng chuột, vậy là xong! Tất cả những gì mà bạn thường phải ghi chép trên sổ sách thì nay được thể hiện lại hết sức quen thuộc trong chương trình, chính vì vậy mà nó trở nên gần gũi và thân thiện, một điều ít thấy ở các chương trình về quản lý khác. |
| | |
| The Weyl group of a [[Semisimple Lie group|semi-simple]] [[Lie group]], a semi-simple [[Lie algebra]], a semi-simple [[linear algebraic group]], etc. is the Weyl group of the [[Root system of a semi-simple Lie algebra|root system of that group or algebra]].
| |
| | |
| It is named after [[Hermann Weyl]].
| |
| | |
| ==Examples==
| |
| For example, the [[root system]] of ''A''<sub>2</sub> consists of the vertices of a regular hexagon centered at the origin. The Weyl group of this root system is a subgroup of index two of the [[dihedral group]] of [[order (group theory)|order]] 12. It is isomorphic to ''S''<sub>3</sub>, the [[symmetric group]] generated by the three reflections on the main diagonals of the hexagon.
| |
| | |
| ==Weyl chambers==
| |
| Removing the hyperplanes defined by the roots of Φ cuts up [[Euclidean space]] into a finite number of open regions, called '''Weyl chambers'''. These are permuted by the action of the Weyl group, and it is a theorem that this action is [[group action|simply transitive]]. In particular, the number of Weyl chambers equals the order of the Weyl group. Any non-zero vector ''v'' divides the Euclidean space into two half-spaces bounding the hyperplane ''v''<sup>∧</sup> orthogonal to ''v'', namely ''v''<sup>+</sup> and ''v''<sup>−</sup>. If ''v'' belongs to some Weyl chamber, no root lies in ''v''<sup>∧</sup>, so every root lies in ''v''<sup>+</sup> or ''v''<sup>−</sup>, and if α lies in one then −α lies in the other. Thus Φ<sup>+</sup> := Φ∩''v''<sup>+</sup> consists of exactly half of the roots of Φ. Of course, Φ<sup>+</sup> depends on ''v'', but it does not change if ''v'' stays in the same Weyl chamber. The [[Dynkin diagram|base]] of the root system with respect to the choice Φ<sup>+</sup> is the set of ''simple roots'' in Φ<sup>+</sup>, i.e., roots which cannot be written as a sum of two roots in Φ<sup>+</sup>. Thus, the Weyl chambers, the set Φ<sup>+</sup>, and the base determine one another, and the Weyl group acts simply transitively in each case. The following illustration shows the six Weyl chambers of the root system A<sub>2</sub>, a choice of ''v'', the hyperplane ''v''<sup>∧</sup> (indicated by a dotted line), and positive roots α, β, and γ. The base in this case is {α,γ}.
| |
| | |
| [[image:Weyl chambers.png]] | |
| | |
| ==Coxeter group structure==
| |
| Weyl groups are examples of finite reflection groups, as they are generated by reflections; the abstract groups (not considered as subgroups of a linear group) are accordingly [[finite Coxeter group]]s, which allows them to be classified by their [[Coxeter–Dynkin diagram]].
| |
| | |
| Concretely, being a Coxeter group means that a Weyl group has a special kind of [[presentation of a group|presentation]] in which each generator ''x<sub>i</sub>'' is of order two, and the relations other than ''x<sub>i</sub><sup>2</sup>'' are of the form (''x''<sub>''i''</sub>''x''<sub>''j''</sub>)<sup>''m''<sub>''ij''</sub></sup>. The generators are the reflections given by simple roots, and ''m<sub>ij</sub>'' is 2, 3, 4, or 6 depending on whether roots ''i'' and ''j'' make an angle of 90, 120, 135, or 150 degrees, i.e., whether in the [[Dynkin diagram]] they are unconnected, connected by a simple edge, connected by a double edge, or connected by a triple edge.
| |
| | |
| Weyl groups have a [[Bruhat order]] and [[length function]] in terms of this presentation: the ''[[Length of a Weyl group element|length]]'' of a Weyl group element is the length of the shortest word representing that element in terms of these standard generators. There is a unique [[longest element of a Coxeter group]], which is opposite to the identity in the Bruhat order.
| |
| | |
| ===Example===
| |
| The Weyl group of the Lie algebra <math>\mathfrak{sl}_n</math> is just the [[symmetric group]] on ''n'' elements, ''S<sub>n</sub>''. The action can be realized as follows. If <math>\mathfrak{h}</math> is the [[Cartan subalgebra]] of all diagonal matrices with trace zero, then ''S<sub>n</sub>'' acts on <math>\mathfrak{h}</math> via conjugation by [[permutation matrix|permutation matrices]]. This action induces an action on the dual space <math>\mathfrak{h}^\ast</math>, which is the required Weyl group action.
| |
| | |
| ==Definition== | |
| The Weyl group can be defined in various ways, depending on context (Lie algebra, Lie group, [[symmetric space]], etc.), and a specific realization depends on a choice – of Cartan subalgebra for a Lie algebra, of [[maximal torus]] for a Lie group.<ref name="springer">{{Harv|Popov|Fedenko|2001}}</ref> The Weyl groups of a Lie group and its corresponding Lie algebra are isomorphic, and indeed a choice of maximal torus gives a choice of Cartan subalgebra.
| |
| | |
| For a Lie algebra, the Weyl group is the reflection group generated by reflections in the roots – the specific realization of the root system depending on a choice of Cartan subalgebra (maximal abelian).
| |
| | |
| For a Lie group ''G'' satisfying certain conditions,<ref group="note">Different conditions are sufficient – most simply if ''G'' is connected and either compact, or an affine algebraic group. The definition is simpler for a semisimple (or more generally reductive) Lie group over an [[algebraically closed field]], but a ''relative'' Weyl group can be defined for a [[split Lie group|''split'' Lie group]].</ref> given a torus ''T'' < ''G'' (which need not be maximal), the Weyl group ''with respect to'' that torus is defined as the quotient of the [[normalizer]] of the torus ''N'' = ''N''(''T'') = ''N<sub>G</sub>''(''T'') by the [[centralizer]] of the torus ''Z'' = ''Z''(''T'') = ''Z<sub>G</sub>''(''T''),
| |
| | |
| :<math>W(T,G) := N(T)/Z(T).\ </math>
| |
| | |
| The group ''W'' is finite – ''Z'' is of finite [[Index of a subgroup|index]] in ''N''. If ''T'' = ''T''<sub>0</sub> is a [[maximal torus]] (so it equals its own centralizer: <math>Z(T_0) = T_0</math>) then the resulting quotient ''N''/''Z'' = ''N''/''T'' is called ''the'' Weyl group of ''G'', and denoted ''W''(''G''). Note that the specific quotient set depends on a choice of maximal [[torus]], but the resulting groups are all isomorphic (by an inner automorphism of ''G''), since maximal tori are conjugate. However, the isomorphism is not natural, and depends on the choice of conjugation.
| |
| | |
| For example, for the general linear group ''GL,'' a maximal torus is the subgroup ''D'' of invertible diagonal matrices, whose normalizer is the [[generalized permutation matrices]] (matrices in the form of [[permutation matrices]], but with any non-zero numbers in place of the '1's), and whose Weyl group is the [[symmetric group]]. In this case the quotient map ''N'' → ''N''/''T'' splits (via the permutation matrices), so the normalizer ''N'' is a [[semidirect product]] of the torus and the Weyl group, and the Weyl group can be expressed as a subgroup of ''G''. In general this is not always the case – the quotient does not always split, the normalizer ''N'' is not always the [[semidirect product]] of ''N'' and ''Z,'' and the Weyl group cannot always be realized as a subgroup of ''G.''<ref name="springer"/>
| |
| | |
| ==Bruhat decomposition==
| |
| {{See|Bruhat decomposition}}
| |
| | |
| If ''B'' is a [[Borel subgroup]] of ''G'', i.e., a maximal [[connected space|connected]] [[solvable group|solvable]] subgroup and a maximal torus ''T'' = ''T''<sub>0</sub> is chosen to lie in ''B'', then we obtain the [[Bruhat decomposition]]
| |
| | |
| :<math>G = \bigcup_{w\in W} BwB</math> | |
| | |
| which gives rise to the decomposition of the [[flag variety]] ''G''/''B'' into '''Schubert cells''' (see [[Grassmannian]]).
| |
| | |
| The structure of the [[Hasse diagram]] of the group is related geometrically to the cohomology of the manifold (rather, of the real and complex forms of the group), which is constrained by [[Poincaré duality]]. Thus algebraic properties of the Weyl group correspond to general topological properties of manifolds. For instance, Poincaré duality gives a pairing between cells in dimension ''k'' and in dimension ''n'' - ''k'' (where ''n'' is the dimension of a manifold): the bottom (0) dimensional cell corresponds to the identity element of the Weyl group, and the dual top-dimensional cell corresponds to the [[longest element of a Coxeter group]].
| |
| | |
| ==Analogy with algebraic groups==
| |
| {{Main|q-analog}}
| |
| {{See also|Field with one element}}
| |
| There are a number of analogous results between [[algebraic group]]s and Weyl groups – for instance, the number of elements of the symmetric group is ''n''!, and the number of elements of the general linear group over a finite field is the [[q-factorial|''q''-factorial]] <math>[n]_q!</math>; thus the symmetric group behaves as though it were a linear group over "the field with one element". This is formalized by the [[field with one element]], which considers Weyl groups to be simple algebraic groups over the field with one element.
| |
| | |
| ==Cohomology==
| |
| For a non-abelian connected compact Lie group ''G,'' the first [[group cohomology]] of the Weyl group ''W'' with coefficients in the maximal torus ''T'' used to define it,<ref group="note">''W'' acts on ''T'' – that is how it is defined – and the group <math>H^1(W; T)</math> means "with respect to this action".</ref> is related to the [[outer automorphism group]] of the normalizer <math>N = N_G(T),</math> as:<ref name="hms">{{Harv|Hämmerli|Matthey|Suter|2004}}</ref>
| |
| :<math>\operatorname{Out}(N) \cong H^1(W; T) \rtimes \operatorname{Out}(G).</math>
| |
| The outer automorphisms of the group Out(''G'') are essentially the diagram automorphisms of the [[Dynkin diagram]], while the group cohomology is computed in {{Harv|Hämmerli|Matthey|Suter|2004}} and is a finite elementary abelian 2-group (<math>(\mathbf{Z}/2)^k</math>); for simple Lie groups it has order 1, 2, or 4. The 0th and 2nd group cohomology are also closely related to the normalizer.<ref name="hms"/>
| |
| | |
| ==Notes==
| |
| {{Reflist| group = note}}
| |
| | |
| ==See also==
| |
| *[[Affine Weyl group]]
| |
| *[[Finite Coxeter group]]
| |
| *[[Hasse diagram]]
| |
| *[[Linear algebraic group]]
| |
| *[[Root system]]
| |
| | |
| ==References==
| |
| {{Reflist}}
| |
| {{refbegin}}
| |
| * {{Citation | chapter = Weyl group | title = Encyclopaedia of Mathematics | publisher = SpringerLink | first1 = V.L. | last1 = Popov | author1-link = Vladimir L. Popov | first2 = A.S. | last2 = Fedenko | year = 2001 | url = http://eom.springer.de/W/w097710.htm }}
| |
| * {{Citation | journal = Journal of Lie Theory | volume = 14 | year = 2004 | pages = 583–617 | publisher = Heldermann Verlag | title = Automorphisms of Normalizers of Maximal Tori and First Cohomology of Weyl Groups | first1 = J.-F. | last1 = Hämmerli | first2 = M. | last2 = Matthey | first3 = U. | last3 = Suter | url = http://www.heldermann-verlag.de/jlt/jlt14/mattla2e.pdf }}
| |
| {{refend}}
| |
| | |
| ==Further reading==
| |
| * {{Citation
| |
| |doi=10.2307/1968753
| |
| |authorlink=H.S.M. Coxeter
| |
| |first=H.S.M.
| |
| |last=Coxeter
| |
| |title=Discrete groups generated by reflections
| |
| |journal=Ann. Of Math.
| |
| |volume=35
| |
| |year=1934
| |
| |issue=3
| |
| |pages=588–621
| |
| |jstor=1968753
| |
| }}
| |
| * {{Citation
| |
| |authorlink=H.S.M. Coxeter
| |
| |first=H.S.M.
| |
| |last=Coxeter
| |
| |title=The complete enumeration of finite groups of the form <math>r_i^2=(r_ir_j)^{k_{ij}}=1</math>
| |
| |journal=J. London Math. Soc.
| |
| |volume=10
| |
| |year=1935
| |
| |pages=21–25
| |
| }}
| |
| * {{citation | title = The Geometry and Topology of Coxeter Groups
| |
| |first = Michael W. | last = Davis | year = 2007 | url = http://www.math.osu.edu/~mdavis/davisbook.pdf | isbn = 978-0-691-13138-2 }}
| |
| * Larry C Grove and Clark T. Benson, ''Finite Reflection Groups'', Graduate texts in mathematics, vol. 99, Springer, (1985)
| |
| * James E. Humphreys, ''Reflection Groups and Coxeter Groups'', Cambridge studies in advanced mathematics, 29 (1990)
| |
| * Richard Kane, ''Reflection Groups and Invariant Theory'', CMS Books in Mathematics, Springer (2001)
| |
| * [[Anders Björner]] and Francesco Brenti, ''Combinatorics of Coxeter Groups'', [[Graduate Texts in Mathematics]], vol. 231, Springer, (2005)
| |
| *Howard Hiller, ''Geometry of Coxeter groups.'' Research Notes in Mathematics, 54. Pitman (Advanced Publishing Program), Boston, Mass.-London, 1982. iv+213 pp. ISBN 0-273-08517-4
| |
| *Nicolas Bourbaki, ''Lie Groups and Lie Algebras: Chapter 4-6'', Elements of Mathematics, Springer (2002). ISBN 978-3-540-42650-9
| |
| | |
| *{{Citation
| |
| |title=On the Schur Multipliers of Coxeter Groups
| |
| |first=Robert B.
| |
| |last=Howlett
| |
| |journal=Journal of the London Mathematical Society
| |
| |year=1988
| |
| |series = 2
| |
| |volume=38
| |
| |issue=2
| |
| |pages=263–276
| |
| |doi=10.1112/jlms/s2-38.2.263
| |
| }}
| |
| | |
| * {{citation| first =E. B. |last=Vinberg| author-link=E. B. Vinberg|title=Absence of crystallographic groups of reflections in Lobachevski spaces of large dimension|journal=Trudy Moskov. Mat. Obshch. |volume=47|year=1984}}
| |
| | |
| * {{Citation
| |
| |first1 = S.
| |
| |last1 = Ihara
| |
| |first2 = Takeo
| |
| |last2 = Yokonuma
| |
| |title = On the second cohomology groups (Schur-multipliers) of finite reflection groups
| |
| |year = 1965
| |
| |journal = Jour. Fac. Sci. Univ. Tokyo, Sect. 1
| |
| |volume = 11
| |
| |pages = 155–171
| |
| |url = http://repository.dl.itc.u-tokyo.ac.jp/dspace/bitstream/2261/6049/1/jfs110203.pdf
| |
| }}
| |
| * {{Citation
| |
| |first = Takeo
| |
| |last = Yokonuma
| |
| |title = On the second cohomology groups (Schur-multipliers) of infinite discrete reflection groups
| |
| |year = 1965
| |
| |journal = Jour. Fac. Sci. Univ. Tokyo, Sect. 1
| |
| |volume = 11
| |
| |pages = 173–186
| |
| }}
| |
| {{refend}}
| |
| | |
| ==External links==
| |
| * {{springer|title=Coxeter group|id=p/c026980}}
| |
| * {{MathWorld | urlname=CoxeterGroup | title=Coxeter group }}
| |
| * {{Citation|url=http://www.jenn3d.org/index.html|title= Jenn software for visualizing the Cayley graphs of finite Coxeter groups on up to four generators}}
| |
| | |
| | |
| | |
| | |
| {{DEFAULTSORT:Weyl Group}}
| |
| [[Category:Finite reflection groups]]
| |
| [[Category:Lie groups]]
| |
| [[Category:Lie algebras]]
| |
| | |
| [[de:Weyl-Gruppe]]
| |
Như các bạn đã biết, Vsoft chuyên cung cấp phần mềm quản lý và các giải pháp phần mềm quản lý, Vsoft không chỉ có phần mềm quản lý kinh doanh dành cho các đơn vị kinh doanh có công nợ mà còn có phần mềm quản lý bán hàng, bán lẻ chuyên biệt cho các đơn vị quản lý bán hàng trực tiếp
Về định hướng công nghệ, được thiết kế cho phép doanh nghiệp triển khai mạng lưới ứng dụng qua internet với giao diện sử dụng hướng tới từng nhóm đối tượng người dùng. Đặc biệt, còn giúp nhà cung cấp dịch vụ viễn thông nâng cao khả năng cạnh tranh thông qua một nền tảng tiền điện tử (e-money/airtime), giúp tối ưu hóa dòng tiền trên mạng lưới bán hàng. cũng cho phép thiết lập mạng lưới bán hàng trên nền công nghệ di động (mobile-sales). Người dùng có thể thực hiện các giao dịch bán hàng cũng như tra cứu thông tin & chăm sóc khách hàng trên điện thoại di dộng.
Quản lý hàng hóa tốt hơn Phần mềm quản lý bán lẻ sẽ cung cấp thông tin về những sản phẩm trong kho hiện tại và nhận diện được những sản phẩm nào cần tăng cường trong kho để có thể vận hành cửa hàng thuận lợi hơn. Các nhà bán lẻ cũng có thể xác định số lượng của từng sản phẩm chi tiết được bán trong ngày và số lượng sản phẩm còn tồn đọng. Tất cả những chi tiết trên sẽ hỗ trợ các nhà bán lẻ đặt đơn hàng chính xác từ đó có thể hạn chế được tình trạng dư thừa và giảm thiểu sự lãng phí.
Tỉnh/TP An Giang Bà Rịa Vũng Tàu Bắc Cạn Bắc Giang Bạc Liêu Bắc Ninh Bến Tre Bình Dương Bình Phước Bình Thuận Bình Định Cà Mau Cần Thơ Cao Bằng Gia tải phần mềm quản lý bán hàng free Lai Hà Giang Hà Nam Hà Nội Hà Tây Hà Tỉnh Hải Dương Hải Phòng Hòa Bình Hưng Yên Khánh Hòa Kiên Giang Kon Tum Lai Châu Lâm Đồng Lạng Sơn Lào Cai Long An Nam Định Nghệ An Ninh Bình Ninh Thuận Nơi khác Phú Thọ Phú Yên Quảng Bình Quảng Nam Quảng Ngãi Quảng Ninh Quảng Trị Sóc Trăng Sơn La Tây Ninh Thái Bình Thái Nguyên Thanh Hóa Thừa Thiên Huế Tiền Giang Trà Vinh Tuyên Quang Vĩnh Long Vĩnh Phúc Yên Bái Đà Nẵng Đắc Lắc Đắc Nông Điện Biên Đồng Nai Đồng Tháp
Chúng tôi gọi đây là "Phần mềm quản lý dành cho Hai Lúa" vì nó dễ sử dụng hơn bất cứ một chương trình về quản lý nào khác. Bạn cần phải biết những gì để có thể làm việc được với S1368 ? Gõ văn bản và sử dụng chuột, vậy là xong! Tất cả những gì mà bạn thường phải ghi chép trên sổ sách thì nay được thể hiện lại hết sức quen thuộc trong chương trình, chính vì vậy mà nó trở nên gần gũi và thân thiện, một điều ít thấy ở các chương trình về quản lý khác.