Extension and contraction of ideals: Difference between revisions

From formulasearchengine
Jump to navigation Jump to search
en>FrescoBot
 
en>ChrisGualtieri
m General Fixes + CheckWiki 75 using AWB
Line 1: Line 1:
Bryan is really a celebrity inside the making as well as the profession progress to start with second to his 3rd hotel record& , may be the resistant. He broken to the picture in 2010 along with his unique blend of straight down-residence ease of access, movie superstar good looks and lines, is placed t within a main way. The new recor on the country graph and #2 about the put graphs, building it the second maximum debut during those times of 2011 for any nation performer. <br><br><br><br>The boy of a ,  is aware patience and determination are important elements when it comes to a prosperous profession- . His first recordKeep Me, created the very best strikes “All My Girlfriends Say” and “Country Person,” although his effort, Doin’ Factor, identified the vocalist-about three directly No. 4 singles: Different Calling Can be a Wonderful Thing.<br><br>From the tumble of 2001, Concert tour: Luke  & which had an impressive selection of , including Urban. “It’s almost like you are obtaining a   endorsement to go to another level, states all those performers that had been an  [http://lukebryantickets.lazintechnologies.com michael buble tickets] element of the  Concert touraround into a larger sized amount of artists.” It wrapped as the best tours in its ten-season record.<br><br>Also visit my homepage; garth brooks  [http://lukebryantickets.flicense.com luke bryan concert 2014] concert; [http://www.museodecarruajes.org Recommended Browsing],
{{dablink|The symbol <math> \oplus \! </math> denotes direct sum; it is also the astrological and astronomical symbol for [[Earth]], and a symbol for the [[Exclusive disjunction]].}}
{{multiple issues|
{{cleanup-rewrite|date=August 2012}}
{{technical|date=August 2012}}
{{refimprove|date=December 2013}}
}}
{{merge to|direct sum of modules|date=January 2014}}
 
The '''direct sum''' of two [[abelian group]]s <math>A</math> and <math>B</math> is another abelian group <math>A\oplus B</math> consisting of the ordered pairs <math>(a,b)</math> where <math>a \in A</math> and <math>b \in B</math>. To add ordered pairs, we define the sum <math>(a, b) + (c, d)</math> to be <math>(a + c, b + d)</math>; in other words addition is defined coordinate-wise.  This gives the structure of an abelian group to the [[Cartesian product]] of two abelian groups. An example is the [[Cartesian plane]] on which students first learn to draw the [[graph of a function|graphs]] of functions.  It can be viewed as the direct sum <math> R \oplus \! R </math> where <math> R </math> is the set of [[real numbers]].
 
The same process can be used to form the direct sum of any two algebraic structures, such as [[ring (mathematics)|rings]], [[module (mathematics)|modules]], and [[vector space]]s.
 
We can also form direct sums with any number of summands, for example <math>A \oplus \! B \oplus C</math>, provided <math>A, B,</math> and <math>C</math> are the same kinds of algebraic structures, that is, all groups or all rings, or all vector spaces.  A direct sum of infinitely many like algebraic structures usually has a restriction: if the summands are <math>(A_i)_{i \in I}</math>, the direct sum <math>\bigoplus_{i \in I} A_i</math> is defined to be the set of tuples <math>(a_i)_{i \in I}</math> with <math>a_i \in A_i</math> such that <math>a_i=0</math> for all but finitely many ''i''. Thus the direct sum <math>\bigoplus_{i \in I} A_i</math> is contained in the [[direct product]] <math>\prod_{i \in I} A_i</math>, but is usually strictly smaller when <math>I</math> is infinite, because direct products do not have the restriction that all but finitely many coordinates must be zero.<ref>Thomas W. Hungerford, ''Algebra'', p.60, Springer, 1974, ISBN 0387905189</ref>
 
== Examples ==
For example, the ''xy''-plane, a two-dimensional [[vector space]], can be thought of as the direct sum of two one-dimensional vector spaces, namely the ''x'' and ''y'' axes. In this direct sum, the ''x'' and ''y'' axes intersect only at the origin (the zero vector).  Addition is defined coordinate-wise, that is <math>(x_1,y_1) + (x_2,y_2) = (x_1+x_2, y_1 + y_2)</math>, which is the same as vector addition.
 
Given two objects <math>A</math> and <math>B</math>, their direct sum is written as <math>A\oplus B</math>.  Given an [[indexed family]] of objects <math>A_i</math>, indexed with <math>i \in I</math>, the direct sum may be written <math>\textstyle A=\bigoplus_{i\in I}A_i</math>.  Each ''A<sub>i</sub>'' is called a '''direct summand''' of ''A''.  If the index set is finite, the direct sum is the same as the direct product. In the case of groups, if the group operation is written as <math>+</math> the phrase "direct sum" is used, while if the group operation is written <math>*</math> the phrase "direct product" is used.  When the index set is infinite, the direct sum is not the same as the direct product.  In the direct sum, all but finitely many coordinates must be zero.
 
===Internal and external direct sums===
 
A distinction is made between internal and external direct sums, though the two are [[isomorphic]]. If the factors are defined first, and then the direct sum is defined in terms of the factors, we have an external direct sum. For example, if we define the real numbers <math>R</math> and then define <math>R \oplus R</math> the direct sum is said to be external. If, on the other hand, we first define some set, <math>S</math> and then write <math>S</math> as the direct sum of two of its proper subsets, then the direct sum is said to be internal. For an example of an internal direct sum, consider <math>Z_6</math>, the integers modulo six, whose elements are <math>\{0, 1, 2, 3, 4, 5\}</math>. <math> Z_6 =\{0, 3\} \oplus \{0, 2, 4\}</math>.
 
==Types of direct sum==
 
===Direct sum of abelian groups===
The '''direct sum of abelian groups''' is a prototypical example of a direct sum. Given two [[abelian groups]] <math>(A,\ast) </math> and <math>(B, \cdot) </math>, their direct sum <math>A \oplus B</math> is the same as their [[direct product of groups|direct product]], that is the underlying set is the Cartesian product <math>A \times B</math> and the group operation <math> \circ </math> is defined component-wise:
:<math>(a_1, b_1) \circ (a_2, b_2) = (a_1 \ast a_2, b_1 \cdot b_2)</math>.
This definition generalizes to direct sums of finitely many abelian groups.
 
For an infinite family of abelian groups ''A<sub>i</sub>'' for ''i'' ∈ ''I'', the direct sum
:<math>\bigoplus_{i\in I}A_i</math>
is a [[proper subgroup]] of the direct product. It consists of the elements <math>\textstyle (a_i)\in\prod_{j\in I}A_j</math> such that ''a<sub>i</sub>'' is the identity element of ''A<sub>i</sub>'' for all but finitely many ''i''.<ref>Joseph J. Rotman, ''The Theory of Groups: an Introduction'', p. 177, Allyn and Bacon, 1965</ref>
 
===Direct sum of modules===
{{main|Direct sum of modules}}
The ''direct sum of modules'' is a construction which combines several [[module (mathematics)|modules]] into a new module.
 
The most familiar examples of this construction occur when considering [[vector space]]s, which are modules over a [[field (mathematics)|field]].  The construction may also be extended to [[Banach space]]s and [[Hilbert space]]s.
 
===Direct sum of group representations===
The '''direct sum of group representations''' generalizes the [[direct sum of modules|direct sum]] of the underlying [[module (mathematics)|modules]], adding a [[group action]] to it. Specifically, given a [[group (mathematics)|group]] ''G'' and two [[group representation|representations]] ''V'' and ''W'' of ''G'' (or, more generally, two [[G-module|''G''-modules]]), the direct sum of the representations is ''V'' ⊕ ''W'' with the action of ''g'' ∈ ''G'' given component-wise, i.e.
:''g''·(''v'', ''w'') = (''g''·''v'', ''g''·''w'').
 
===Direct sum of rings===
{{main|Product of rings}}
Some authors will speak of the direct sum <math>R \oplus S</math> of two rings when they mean the [[direct product]] <math>R \times S</math>, but this should be avoided<ref>[http://math.stackexchange.com/questions/345501/is-a-times-b-the-same-as-a-oplus-b Math StackExchange] on direct sum of rings vs. direct product of rings.</ref> since <math>R \times S</math> does not receive natural ring homomorphisms from ''R'' and ''S'': in particular, the map <math>R \to R \times S</math> sending ''r'' to (''r'',0) is not a ring homomorphism since it fails to send 1 to (1,1) (assuming that 0≠1 in ''S''). Thus <math>R \times S</math> is not a coproduct in the [[category of rings]], and should not be written as a direct sum(The coproduct in the [[category of commutative rings]] is the [[tensor product of rings]].<ref>{{harvnb|Lang|2002}}, section I.11</ref>)
 
Use of direct sum terminology and notation is especially problematic when dealing with infinite families of rings: If <math>(R_i)_{i \in I}</math> is an infinite collection of nontrivial rings, then the direct sum of the underlying additive groups can be equipped with termwise multiplication, but this produces a [[rng (algebra)|rng]], i.e., a ring without a multiplicative identity.
 
===Direct sum in additive categories===
That is the generalization of the category of modules.<ref>[http://www.math.jussieu.fr/~schapira/lectnotes/HomAl.pdf "p.45"]</ref>
<ref>[http://www.princeton.edu/~hhalvors/aqft.pdf "appendix"]</ref>
 
==Category Theory==
In [[category theory]] the direct sum is often, but not always, the [[coproduct]] in the [[Category (mathematics)|category]] of the mathematical objects in question.  For example, in the category of abelian groups, direct sum is a coproduct. This is also true in the category of modules.
 
==Homomorphisms==
The direct sum <math>\bigoplus_{i \in I} A_i</math> comes equipped with a [[homomorphism]] <math>\alpha_j \colon A_j \to \bigoplus_{i \in I} A_i</math> for each ''j''.  Given another abelian group ''B'' (with the same additional structure) equipped with a homomorphism <math>g_j \colon A_j \to B</math> for every ''j'', there is a unique homomorphism <math>g \colon \bigoplus_{i \in I} A_i \to B</math> (called the sum of the ''g''<sub>''j''</sub>) such that <math>g \alpha_j =g_j</math> for all ''j''.  Thus the direct sum is the [[coproduct]] in the appropriate [[category (mathematics)|category]].
 
==See also==
*[[Direct sum of modules]]
*[[Direct sum of groups]]
*[[Direct product]]
*[[Restricted product]]
*[[Whitney sum]]
 
==Notes==
{{reflist}}
 
==References==
*{{Lang Algebra|edition=3r}}
 
[[Category:Abstract algebra]]

Revision as of 04:39, 28 October 2013

Template:Dablink Template:Multiple issues

Hostgator is a large independently possessed hosting business operating from several state of the art centers in Dallas, Texas. Hostgator was founded in 2002, because then they have actually expanded rapidly and currently host over 400,000 websites.

Hostgator offers numerous different hosting packages, and deal with a broad array of customers. From the first time webmaster who needs simple, stress cost-free hosting for their personal website; all the way with to big corporations, who require specialist devoted hosting services.

Hostgator's hosting packages can be split into 3 teams; basic shared hosting plans (suitable for the huge bulk people), reseller hosting strategies (these are generally for people and companies that want to "resell" their account resources to consumers of their own), and lastly committed server strategies (these accounts give client their own server, so they don't have to share its resources with anyone else). Really few of us will every need a devoted server so this testimonial will focus on the shared hosting strategies that Hostgator offer.

Attributes

Hostgator's 3 major shared hosting plans are named: "Hatchling" (the entry level plan priced at $6.95 / month), "Child" (this is the most popular plan, and it is likely to satisfy the requirements of a really wide range of customers), and "Swamp" (similar as the "Baby" plan, however with increases in bandwidth and disk space, priced at $14.95 / month).

For a complete list of features and a side by side contrast of all hosting strategies you should see Hostgator's website below. Below is a testimonial of the most vital features of the "Baby" strategy, this is most likely the most ideal plan for the majority of users, and it is our favorite plan.

Disk space 100GB - This amount has actually been just recently upgraded by Hostgator from 5GB to a huge 100GB. All users are most likely to discover it impossible to tire this quantity of disk space.

Bandwidth 1000GB/month - Also enhanced is the bandwidth allotment, from 75GB to a relatively extreme 1000GB. Once again virtually absolutely no opportunity of making use of all that, but it's good to understand that you absolutely won't be dealing with additional costs for reviewing your limitation, even if you have an extremely hectic internet site(s).

Website Studio website home builder - This is an excellent free program that permits you to build your site from scratch. You have over 500 design templates and color schemes to select from. You require no HTML experience, or code writing understanding. It provides the most basic possible method of making an expert looking site in a really short area of time. Nonetheless, there is no have to take my word for it, as Hostgator offers us with a trial version of the software application on their internet site!

Unrestricted add-on domains - This truly is the stand out function of this hosting plan (the "Hatchling" strategy just permits 1 domain), and allows you to host as lots of internet sites as you like on a single account, at no additional expense. This permits you to make full use of your massive bandwidth and disk space allowances, and host numerous internet sites at a portion of the regular cost.

99.9 % Uptime guarantee - This generally tells us that Hostgator is a significant host offering a trusted service. If uptime drops below this figure in any provided month then you do not spend for that months hosting, it's as basic as that! We would never ever think about making use of a host that did not provide a strong uptime assurance; this is simply because there is only one great reason why a host will not offer an uptime assurance - undependable uptime!

30 Day money back guarantee - This has become a pretty conventional function in the webhosting community, though it's good to have for added assurance.

Immediate setup - Many hosting providers take 24-48 hours to setup your account however Hostgator guarantees to have you up and running in under 15 minutes (they do not charge a setup charge either)!

Endless MySQL databases - This is really helpful because each Fantastico (see below) script requires its own MySQL database.

Fantastico DeLuxe - This remarkable program permits you to instantly install over 50 scripts through your control board. Scripts include blog sites, forums, galleries, buying carts, and more.

If you cherished this article and also you would like to receive more info pertaining to Hostgator Coupons generously visit our own web site. Unrestricted e-mail accounts - Permits you to have as many, or as few, different email addresses as you like.

It contains numerous features and offers good performance. Best of all, there is a complete working demo on the Hostgator website, so you can test it out yourself!

Customer service and technical support

Hostgator offers us 24/7 phone support, and live online chat. The fact that you are provided 2 options to receive instantaneous technical support at any time of the day is excellent. Our experience has actually always been really good when speaking to Hostgator, their operatives are extremely respectful and most significantly they appear to understand their things when dealing with technical issues.

Performance

The efficiency from Hostgator's servers is outstanding! Hostgator location much tighter limitations on the variety of websites sharing the exact same server compared with most various other shared hosting carriers. This offers higher dependability since less stress is put on the servers; and it also greatly enhances the rate at which your web pages run.

Server efficiency is an additional one of the essential areas where Hostgator distinguish themselves from the crowd of various other host.

Our decision

Overall there is so much to such as about the method Hostgator does company, they actually do appear to have a great grasp on what the typical customer requires from a web hosting provider. Rarely do you come across reports of unhappy Hostgator customers, and after hosting with them ourselves we now understand why! At simply $9.95 / month for the "Baby" strategy (which includes limitless domains); anyone looking to host more than one internet site has a rather easy decision to make.

The direct sum of two abelian groups A and B is another abelian group AB consisting of the ordered pairs (a,b) where aA and bB. To add ordered pairs, we define the sum (a,b)+(c,d) to be (a+c,b+d); in other words addition is defined coordinate-wise. This gives the structure of an abelian group to the Cartesian product of two abelian groups. An example is the Cartesian plane on which students first learn to draw the graphs of functions. It can be viewed as the direct sum RR where R is the set of real numbers.

The same process can be used to form the direct sum of any two algebraic structures, such as rings, modules, and vector spaces.

We can also form direct sums with any number of summands, for example ABC, provided A,B, and C are the same kinds of algebraic structures, that is, all groups or all rings, or all vector spaces. A direct sum of infinitely many like algebraic structures usually has a restriction: if the summands are (Ai)iI, the direct sum iIAi is defined to be the set of tuples (ai)iI with aiAi such that ai=0 for all but finitely many i. Thus the direct sum iIAi is contained in the direct product iIAi, but is usually strictly smaller when I is infinite, because direct products do not have the restriction that all but finitely many coordinates must be zero.[1]

Examples

For example, the xy-plane, a two-dimensional vector space, can be thought of as the direct sum of two one-dimensional vector spaces, namely the x and y axes. In this direct sum, the x and y axes intersect only at the origin (the zero vector). Addition is defined coordinate-wise, that is (x1,y1)+(x2,y2)=(x1+x2,y1+y2), which is the same as vector addition.

Given two objects A and B, their direct sum is written as AB. Given an indexed family of objects Ai, indexed with iI, the direct sum may be written A=iIAi. Each Ai is called a direct summand of A. If the index set is finite, the direct sum is the same as the direct product. In the case of groups, if the group operation is written as + the phrase "direct sum" is used, while if the group operation is written * the phrase "direct product" is used. When the index set is infinite, the direct sum is not the same as the direct product. In the direct sum, all but finitely many coordinates must be zero.

Internal and external direct sums

A distinction is made between internal and external direct sums, though the two are isomorphic. If the factors are defined first, and then the direct sum is defined in terms of the factors, we have an external direct sum. For example, if we define the real numbers R and then define RR the direct sum is said to be external. If, on the other hand, we first define some set, S and then write S as the direct sum of two of its proper subsets, then the direct sum is said to be internal. For an example of an internal direct sum, consider Z6, the integers modulo six, whose elements are {0,1,2,3,4,5}. Z6={0,3}{0,2,4}.

Types of direct sum

Direct sum of abelian groups

The direct sum of abelian groups is a prototypical example of a direct sum. Given two abelian groups (A,) and (B,), their direct sum AB is the same as their direct product, that is the underlying set is the Cartesian product A×B and the group operation is defined component-wise:

(a1,b1)(a2,b2)=(a1a2,b1b2).

This definition generalizes to direct sums of finitely many abelian groups.

For an infinite family of abelian groups Ai for iI, the direct sum

iIAi

is a proper subgroup of the direct product. It consists of the elements (ai)jIAj such that ai is the identity element of Ai for all but finitely many i.[2]

Direct sum of modules

Mining Engineer (Excluding Oil ) Truman from Alma, loves to spend time knotting, largest property developers in singapore developers in singapore and stamp collecting. Recently had a family visit to Urnes Stave Church. The direct sum of modules is a construction which combines several modules into a new module.

The most familiar examples of this construction occur when considering vector spaces, which are modules over a field. The construction may also be extended to Banach spaces and Hilbert spaces.

Direct sum of group representations

The direct sum of group representations generalizes the direct sum of the underlying modules, adding a group action to it. Specifically, given a group G and two representations V and W of G (or, more generally, two G-modules), the direct sum of the representations is VW with the action of gG given component-wise, i.e.

g·(v, w) = (g·v, g·w).

Direct sum of rings

Mining Engineer (Excluding Oil ) Truman from Alma, loves to spend time knotting, largest property developers in singapore developers in singapore and stamp collecting. Recently had a family visit to Urnes Stave Church. Some authors will speak of the direct sum RS of two rings when they mean the direct product R×S, but this should be avoided[3] since R×S does not receive natural ring homomorphisms from R and S: in particular, the map RR×S sending r to (r,0) is not a ring homomorphism since it fails to send 1 to (1,1) (assuming that 0≠1 in S). Thus R×S is not a coproduct in the category of rings, and should not be written as a direct sum. (The coproduct in the category of commutative rings is the tensor product of rings.[4])

Use of direct sum terminology and notation is especially problematic when dealing with infinite families of rings: If (Ri)iI is an infinite collection of nontrivial rings, then the direct sum of the underlying additive groups can be equipped with termwise multiplication, but this produces a rng, i.e., a ring without a multiplicative identity.

Direct sum in additive categories

That is the generalization of the category of modules.[5] [6]

Category Theory

In category theory the direct sum is often, but not always, the coproduct in the category of the mathematical objects in question. For example, in the category of abelian groups, direct sum is a coproduct. This is also true in the category of modules.

Homomorphisms

The direct sum iIAi comes equipped with a homomorphism αj:AjiIAi for each j. Given another abelian group B (with the same additional structure) equipped with a homomorphism gj:AjB for every j, there is a unique homomorphism g:iIAiB (called the sum of the gj) such that gαj=gj for all j. Thus the direct sum is the coproduct in the appropriate category.

See also

Notes

43 year old Petroleum Engineer Harry from Deep River, usually spends time with hobbies and interests like renting movies, property developers in singapore new condominium and vehicle racing. Constantly enjoys going to destinations like Camino Real de Tierra Adentro.

References

  1. Thomas W. Hungerford, Algebra, p.60, Springer, 1974, ISBN 0387905189
  2. Joseph J. Rotman, The Theory of Groups: an Introduction, p. 177, Allyn and Bacon, 1965
  3. Math StackExchange on direct sum of rings vs. direct product of rings.
  4. Template:Harvnb, section I.11
  5. "p.45"
  6. "appendix"