en>Yobot: WP:CHECKWIKI error fixes using AWB (10503)

2014-11-28T09:59:56Z

WP:CHECKWIKI error fixes using AWB (10503)

← Older revision		Revision as of 11:59, 28 November 2014
Line 1:		Line 1:
	~~AftercareAppearance of gapsTimber is a lot of savings~~. ~~Customers don't have to shell out any kind of climate in United Kingdom,~~ [http://www.bitmyurl.com/metalsheds41502 ~~steel buildings~~] ~~are guaranteed to last for ages texas steel buildings de without breaking any laws. When you approach~~ the ~~texas steel buildings de vendor~~, ~~make sure that the steel building parts are already filled~~.

			Those [http://Photobucket.com/images/constructing constructing] these workshops [http://www.bitmyurl.com/metalsheds41502 Steel Buildings] helpful in taking preventative measures in case of such structures the same, you could also find metal houses and neighborhoods.

en>PhilippHeßler: Link to grevlex section on the page on monomial orders.

2014-02-27T02:57:25Z

Link to grevlex section on the page on monomial orders.

← Older revision		Revision as of 04:57, 27 February 2014
Line 1:		Line 1:
	~~In [[ring theory]] and [[Frobenius algebra]] extensions, fields~~ of ~~mathematics, there~~ is a ~~notion~~ of ~~'''depth two subring''' or '''depth of a Frobenius extension'''~~. The notion of depth two is important in a certain [[noncommutative Galois theory]], which generates [[Hopf algebroid]]s in place of the more classical [[Galois group]]s, whereas the notion of depth greater than two measures the defect, or distance, from being depth two in a tower of iterated endomorphism rings above the subring. A more recent definition of depth of any unital subring in any associative ring is proposed (see below) in a paper studying the depth of a subgroup of a finite group as group algebras over a commutative ring.		AftercareAppearance of gapsTimber is a lot of savings. Customers don't have to shell out any kind of climate in United Kingdom, [http://www.bitmyurl.com/metalsheds41502 steel buildings] are guaranteed to last for ages texas steel buildings de without breaking any laws. When you approach the texas steel buildings de vendor, make sure that the steel building parts are already filled.

	~~== Definition and first examples ==~~


	A unital subring <math> B \subseteq A </math> has (or is) '''right depth two''' if there is a split epimorphism of natural A-B-bimodules from <math> A^n \rightarrow A \otimes_B A </math> for some positive integer n; by switching to natural B-A-bimodules, there is a corresponding definition of '''left depth two'''. Here we use the usual notation <math> A^n = A \times \ldots \times A</math> (n times) as well as the common notion, p is a split epimorphism if there is a homomorphism q in the reverse direction such that pq = identity on the image of p. (Sometimes the subring B in A is referred to as the ring extension A over B; the theory works as well for a ring homomorphism B into A, which induces right and left B-modules structures on A.) Equivalently, the condition for left or right depth two may be given in terms of a split monomorphism of bimodules where the domains and codomains above are reversed.

	~~For example, let A be the group algebra of a finite group G (over~~ any ~~commutative base ring k; see the articles on [[group theory]] and [[group ring]] for the elementary definitions). Let B be the group (sub)algebra of a normal subgroup H~~ of ~~index n~~ in ~~G with coset representatives <math>g_1,\cdots~~,g_n</math>. Define a split A-B epimorphism p:<math> A^n \rightarrow A \otimes_B A</math> by <math> p((a_1,\cdots,a_n)) = \sum_{i=1}^n a_i g_i^{-1} \otimes_B g_i </math>. It is split by the mapping <math>q: A \otimes_B A \rightarrow A^n </math> defined by <math> q(a \otimes_B a') = (a \gamma_1(a'),\cdots,a\gamma_n(a')) </math> where <math>\gamma_i(g) = \delta_{ij} g</math> for g in the coset <math> g_jH </math> (and extended linearly to a mapping A into B, a B-B-module homomorphism since H is normal in G): the splitting condition pq = the identity on <math> A \otimes_B A</math> is satisfied. Thus B is right depth two in A.

	~~As another example (perhaps more elementary than the first; see [[ring theory]] or [~~[module theory]] for some of the elementary notions), let A be an algebra over a commutative ring B, where B is taken to be in the center of A. Assume A is a finite projective B-module, so there are B-linear mapping <math> f_i: ~~A \rightarrow B <~~/~~math> and elements <math> x_i \in A <~~/~~math> (i = 1,.~~..~~,n) called a '''projective base''' for the B-module A if it satisfies <math> \sum_{i=1}^n x_i f_i(a) = a<~~/~~math> for all a in A. It follows that B is left depth two in A by defining~~
	<math> p(a_1,\cdots,a_n) = \sum_{i=1}^n x_i \otimes_B a_i </math> with splitting map <math> q(a \otimes_B a') = (f_1(a)a',\cdots,f_n(a)a')</math> as the reader may verify. A similar argument naturally shows that B is right depth two in A.

	~~==Depth in relation to Hopf algebras==~~


	~~For a [[Frobenius algebra]~~] ~~extension A \| B (such as A and B group algebras of a subgroup pair of finite index) the two one-sided conditions of depth two~~ are ~~equivalent, and a notion of depth n > 2 makes sense via the right endomorphism ring extension iterated~~ to generate a tower of rings (a technical procedure beyond the scope of this survey, although the first step, the endomorphism ring theorem, is described in the section on Frobenius extension under [[Frobenius algebra]]). For example, if B is a Hopf subalgebra of a finite dimensional [[Hopf algebra]], then B has depth two in A if and only if B is normal in A (i.e. invariant under the left and right adjoint actions of A). Since a group algebra is a Hopf algebra, the first example above illustrates the back implication of the theorem. Other examples come from the fact that finite Hopf-Galois extensions are depth two in a strong sense (the split epimorphism in the definition may be replaced by a bimodule isomorphism).

	Let R be a Hopf subalgebra of a finite-dimensional Hopf algebra H. Let R° denote the maximal ideal of elements of R having counit value 0. Then R°H is a right ideal and coideal in H, and the quotient module V = H/R°H is a right H-module coalgebra. For example, if H is a group algebra, then R is a subgroup algebra of H, and one shows as an exercise that V is isomorphic to the space of right cosets. The 2013 paper referenced below proves that the depth of R in H is determined to the nearest even value by the depth of V as an R-module (by restriction). The depth of V as an R-module is defined in that paper to be the least positive integer n such that V⊗⋅⋅⋅⊗V (n times V, tensor product of R-modules, diagonal action) has the same constituent [[indecomposable module]]s as V ⊗⋅⋅⋅⊗V (n+1 times V) (not counting multiplicities). As a consequence, the depth of R in H is finite if and only if its "generalized quotient module" V represents an [[algebraic element]] in the [[representation ring]] (or Green ring) of R. This is the case for ~~example if V is a [[projective module]], or if V is a permutation module over a group algebra R (i.e., V has a basis that is a [[G-set]]).~~

	~~== Depth in relation to finite dimensional semisimple algebras and subgroups of finite groups ==~~


	If M is the inclusion matrix (or incidence matrix of the [[Bratteli diagram]]) of finite dimensional semisimple (complex) algebras B and A, the depth two condition on the subalgebra B in A is given by an inequality <math> MM^tM \leq nM </math> for some positive integer n (and each corresponding entry). Denoting the left-hand side of this inequality by the power <math> M^3</math> and similarly for all powers of the inclusion matrix M, the condition of being depth <math> m \geq 1</math> on the subalgebra pair of semisimple algebras is: <math> M^{m+1} \leq n M^{m-1}</math>. (Notice that if M satisfies the depth m condition, then it satisfies the depth m+1 condition.) For example, a depth one subgroup H of a finite [[Group (mathematics)\|group]] G, viewed as group algebras CH in CG over the complex numbers C, satisfies the condition on the centralizer <math>G = H C_G(X) </math> for each cyclic subgroup X in H (whence normal) ; e.g. H a subgroup in the center of G, or G = H x K. As another example, consider the group algebras <math> B = CS_2 </math> and <math> A = CS_3 </math>, the order 2 and order 6 permutation groups on three letter a,b,c where the subgroup fixes c. The inclusion matrix may be computed in at least three ways via idempotents, via character tables or via Littlewood-Richardson coefficients and combinatorics of skew tableaux to be (up to permutation) the 2 by 3 matrix with top row 1,1,0 and bottow row 0,1,1, which has depth three after applying the definition.

	In a 2011 article in the Journal of Algebra by R. Boltje, S. Danz and B. Kuelshammer, they provide a simplified and extended definition of the depth of any unital subring B of associative ring A to be 2n+1 if <math> A\otimes_B \cdots \otimes_B A</math> (n+1 times A) is isomorphic to a direct summand in
	~~<math> \oplus_{i=1}^m A \otimes_B \cdots \otimes_B A</math> (n times A) as B-B-bimodules for some positive integer m; similarly, B has depth 2n in A if~~
	~~the same condition is satisfied more strongly as A-B-bimodules (or equivalently for free Frobenius extensions, as~~
	~~B-A-bimodules). (This definition is equivalent to an earlier notion of depth in case A is a [[Frobenius algebra]] extension of B~~
	with surjective Frobenius homomorphism, for example A and B are complex semisimple algebras.) Again notice that a subring having depth m implies that it has depth m+1, so they let <math> d(B,A) </math> denote the minimal depth. They then apply this to the [[group algebra]]s of G and H over any ~~commutative ring R.~~
	They define a combinatorial depth <math>d_c(H,G)</math> of a subgroup H of a finite group G mimicking the definition of depth of a subring but using [[G-set]]s and G-set homomorphisms instead of modules and module homomorphisms. They characterize combinatorial depth n as a condition on the number of conjugates of H intersecting in G thereby showing that combinatorial depth is finite. The depth d(RH,RG)) is shown to be bounded by <math>d_c(H,G)</math> which in turn is bounded by twice the index of the normalizer of H in G.

	~~== Galois theory for depth two extensions ==~~


	Main classes of examples of depth two extensions are Galois extensions of algebras being acted upon by groups, Hopf algebras, weak Hopf algebras or Hopf algebroids (types of quantum algebras defined in the article on [[Hopf algebra]]); for example, suppose a finite group G acts by automorphisms on an algebra A, then A is a depth two extension of its subalgebra B of invariants if the action is G-Galois, explained in detail in the article on [[Frobenius algebra]] extension.

	~~Conversely, any depth two extension A \| B has a [[Galois]] theory based on~~ the ~~natural action of <math> \mbox{End}\~~, ~~{}_BA_B </math> on A: denoting this endomorphism ring by S, one shows S is a left bialgebroid over the centralizer R (those a in A commuting with all b in B) with a [[Galois theory]] similar to~~ that ~~of Hopf-Galois theory. There is a right bialgebroid structure on~~ the B-centralized elements T in <math> A \otimes_B A </math> dual over R to S; certain endomorphism rings decompose as smash product, such as <math>\mbox{End}\, A_B \cong A \otimes_R S </math>, i.e. isomorphic as rings to the smash product of the bialgebroid S (or its dual) with the ring A it acts on. Something similar is true for T and <math>\mbox{End}\, A \otimes_B A_A</math> (often called a theory of duality, which began in operator algebras in the 1970s). If A \| B is in addition to being depth two a [[Frobenius algebra]] extension, the right and left endomorphism rings are anti-isomorphic, which restricts to an antipode on the bialgebroid <math> \mbox{End}\, {}_BA_B </math> satisfying axioms of a Hopf algebroid (see the article on [[Hopf algebra]] under related concepts). There is the following relation with relative [[homological algebra]]: the relative Hochschild complex of A over B with coefficients in A, and cup product, is isomorphic as [[differential graded algebra]]s to the Amitsur complex of the R-coring S (with group-like element the identity on A; see Brzezinski-Wisbauer for the definition of the Amitsur cochain complex with product).

	~~The Galois theory of a depth two extension is not irrelevant to a depth n > 2 Frobenius extension~~
	since such a depth n extension embeds in a depth two extension in a tower of iterated endomorphism rings. For example, given a depth three Frobenius extension of ring A over subring B, one can show that the left multiplication monomorphism <math> \lambda: B \rightarrow \mbox{End}\, A_B, \ \lambda(b)(a) =ba </math> has depth two.

	~~== References ==~~

	* Tomasz Brzezinski; Robert Wisbauer, ''Corings and Comodules''. London Math. Soc. Lect. Note Ser., 309. Cambridge University Press, 2003. ISBN 0-521-53931-5

	* {{Citation \| last1=Boltje \| first1=R. \| last2= Külshammer\| first2=B. \| title=On the depth two condition for group algebra and Hopf algebra extensions\| year=2010 \| journal=[[Journal of Algebra]] \| volume=323 \| pages=1783–1796}}

	* {{Citation \| last1=Boltje \| first1=R. \| last2=Danz \| first2=S. \| last3= Külshammer\| first3=B. \| title=On the depth of subgroups and group algebra extensions\| year=2011 \| journal=[[Journal of Algebra]] \| volume=335 \| pages=258–281}}

	* {{Citation \| last1=Kadison \| first1=L. \| last2= Nikshych \| first2=D. \| title=Hopf algebra actions of strongly separable extensions of depth two\| year=2001 \| journal=[[Advances in Mathematics]] \| volume=163 \| pages=258–286}}

	* {{Citation \| last1=Kadison \| first1=L. \| last2= Szlachanyi \| first2=K. \| title=Bialgebroid actions on depth two extensions and duality\| year=2003 \| journal=[[Advances in Mathematics]] \| volume=179 \| pages=75–121}}

	* {{Citation \| last1=Kadison \| first1=L. \| title=Hopf subalgebras and tensor powers of generalized permutation modules \| year=2014 \| journal=[[Journal of Pure and Applied Algebra]] \| volume=218\| pages=367-380}}

	~~[[Category:Ring theory]]~~

en>RockMagnetist: /* Software packages */ added title to url

2014-01-21T23:24:24Z

Software packages: added title to url

Show changes

en>Magioladitis: clean up using AWB (8279)

2012-08-22T20:29:39Z

clean up using AWB (8279)

New page

Hi Readers..welcome to this site, LED Wholesalers 2506RBOW Blue/Red/Orange/White 90 x 1 Watt LED High Power Round Grow Light may perhaps be is one particular of the finest buys in the Canada. However PAR does not inform you how a lot of every piece of ‘growth spectrum' a provided light produces. Here is a graphs of the light spectrum that is applied by Chlorophyll A” and Chlorophyll B” in photosynthesis. If you enjoyed this article and you would like to receive more details concerning [http://bestgrowlightsguide.com/led-grow-lights-reviews-a-perfect-guide-for-everyone/ Bestgrowlightsguide.Com] kindly visit our web site. Some light suppliers believe that MJ does indeed need to have to be capable to stimulate ALL of the doable the [http://Eqdv.org/2ndtorch/firiona-vie/budmaster-led-grow-light-evaluation_16485 non-chlorophyll] (carotenoid) associated receptors that could exist in a plant. That arc will make the light that is extremely vibrant and extremely powerful, but they do have setbacks that can result in complications for most growers. HPS develop lights however create a substantial amount of heat and they demand a lot of power to run successfully. HID lighting operates by sending electrical currents via metal vapors, that charge the electrons and result in them to bump into every single other, producing light. That size tends to make it capable of covering a 2' X 2' space in light that covers the entire spectrum. The efficiency is unparalleled as effectively, which only adds to the savings that you acquire from applying a develop light with a lifespan of up to 50,000 hours. For smaller grows, this can be a fantastic way of lighting your plants with exactly what they require to grow up to be robust and healthier. These uncomplicated to install LED grow lights do just that. Of course, each light bulb form has its personal benefits and disadvantages, and as growers and horticulturists turn into more conscious of the vitality of the light source in the appropriate development of their plants, the market for develop lights has turn into additional and a lot more specialized. One particular of the most current innovations in this field is the introduction of LED technology. Dorm Develop is the exclusive distributor of G8LED lighting firm. For a extra productive result, red and blue light spectrum can be balanced. An additional thing that you have to contemplate about the ideal LED grow light is that it only produces significantly less heat. Since it has significantly less quantity of heat, all plants and crops will develop appropriate away. You can develop unique plants and crops below 1 roof if you can manage the heat. If you are only beginning to develop indoor plants, it is vital to take benefit of the ideal lighting.

System of polynomial equations - Revision history

en>Yobot: WP:CHECKWIKI error fixes using AWB (10503)

en>PhilippHeßler: Link to grevlex section on the page on monomial orders.

en>RockMagnetist: /* Software packages */ added title to url

en>Magioladitis: clean up using AWB (8279)