Magma (algebra)

In mathematics (especially algebraic topology and abstract algebra), homology (in part from Greek ὁμός homos "identical") is a certain general procedure to associate a sequence of abelian groups or modules with a given mathematical object such as a topological space or a group. See singular homology for a concrete version for topological spaces, or group cohomology for a concrete version for groups.

For a topological space, the homology groups are generally much easier to compute than the homotopy groups, and consequently one usually will have an easier time working with homology to aid in the classification of spaces.

The original motivation for defining homology groups is the observation that shapes are distinguished by their holes. But because a hole is "not there", it is not immediately obvious how to define a hole, or how to distinguish between different kinds of holes. Homology is a rigorous mathematical method for defining and categorizing holes in a shape. As it turns out, subtle kinds of holes exist that homology cannot "see" — in which case homotopy groups may be what is needed.

Construction of homology groups

The construction begins with an object such as a topological space X, on which one first defines a chain complex C(X) encoding information about X. A chain complex is a sequence of abelian groups or modules C₀, C₁, C₂, ... connected by homomorphisms $\partial_{n} : C_{n} \to C_{n - 1},$ which are called boundary operators. That is,

\dots \overset{\partial_{n + 1}}{⟶} C_{n} \overset{\partial_{n}}{⟶} C_{n - 1} \overset{\partial_{n - 1}}{⟶} \dots \overset{\partial_{2}}{⟶} C_{1} \overset{\partial_{1}}{⟶} C_{0} \overset{\partial_{0}}{⟶} 0

where 0 denotes the trivial group and $C_{i} \equiv 0$ for i < 0. It is also required that the composition of any two consecutive boundary operators be trivial. That is, for all n,

\partial_{n} \circ \partial_{n + 1} = 0_{n + 1, n - 1},

i.e., the constant map sending every element of C_{n + 1} to the group identity in C_{n - 1}. This means $i m (\partial_{n + 1}) \subseteq \ker (\partial_{n})$ .

Now since each C_n is abelian all its subgroups are normal and because $i m (\partial_{n + 1})$ and $\ker (\partial_{n})$ are both subgroups of C_n, $i m (\partial_{n + 1})$ is a normal subgroup of $\ker (\partial_{n})$ and one can consider the factor group

H_{n} (X) : = \ker (\partial_{n}) / i m (\partial_{n + 1}),

called the n-th homology group of X.

We also use the notation $\ker (\partial_{n}) = Z_{n} (X)$ and $i m (\partial_{n + 1}) = B_{n} (X)$ , so

H_{n} (X) = Z_{n} (X) / B_{n} (X) .

Computing these two groups is usually rather difficult since they are very large groups. On the other hand, we do have tools which make the task easier.

The simplicial homology groups H_n(X) of a simplicial complex X are defined using the simplicial chain complex C(X), with C(X)_n the free abelian group generated by the n-simplices of X. The singular homology groups H_n(X) are defined for any topological space X, and agree with the simplicial homology groups for a simplicial complex.

A chain complex is said to be exact if the image of the (n + 1)-th map is always equal to the kernel of the nth map. The homology groups of X therefore measure "how far" the chain complex associated to X is from being exact.

Cohomology groups are formally similar: one starts with a cochain complex, which is the same as a chain complex but whose arrows, now denoted dⁿ point in the direction of increasing n rather than decreasing n; then the groups $\ker (d^{n}) = Z^{n} (X)$ and $i m (d^{n - 1}) = B^{n} (X)$ follow from the same description and

H^{n} (X) = Z^{n} (X) / B^{n} (X),

as before.

Sometimes, reduced homology groups of a chain complex C(X) are defined as homologies of the augmented complex

\dots \overset{\partial_{n + 1}}{⟶} C_{n} \overset{\partial_{n}}{⟶} C_{n - 1} \overset{\partial_{n - 1}}{⟶} \dots \overset{\partial_{2}}{⟶} C_{1} \overset{\partial_{1}}{⟶} C_{0} \overset{ϵ}{⟶} ℤ ⟶ 0

where

ϵ (\sum_{i} n_{i} σ_{i}) = \sum_{i} n_{i}

for a combination Σ n_iσ_i of points σ_i (fixed generators of C₀). The reduced homologies ${\tilde{H}}_{i} (X)$ coincide with $H_{i} (X)$ for i≠0.

Examples

The motivating example comes from algebraic topology: the simplicial homology of a simplicial complex X. Here A_n is the free abelian group or module whose generators are the n-dimensional oriented simplexes of X. The mappings are called the boundary mappings and send the simplex with vertices

(a [0], a [1], \dots, a [n])

to the sum

\sum_{i = 0}^{n} (- 1)^{i} (a [0], \dots, a [i - 1], a [i + 1], \dots, a [n])

(which is considered 0 if n = 0).

If we take the modules to be over a field, then the dimension of the n-th homology of X turns out to be the number of "holes" in X at dimension n.

Using this example as a model, one can define a singular homology for any topological space X. We define a chain complex for X by taking A_n to be the free abelian group (or free module) whose generators are all continuous maps from n-dimensional simplices into X. The homomorphisms $\partial_{n}$ arise from the boundary maps of simplices.

In abstract algebra, one uses homology to define derived functors, for example the Tor functors. Here one starts with some covariant additive functor F and some module X. The chain complex for X is defined as follows: first find a free module F₁ and a surjective homomorphism p₁: F₁ → X. Then one finds a free module F₂ and a surjective homomorphism p₂: F₂ → ker(p₁). Continuing in this fashion, a sequence of free modules F_n and homomorphisms p_n can be defined. By applying the functor F to this sequence, one obtains a chain complex; the homology H_n of this complex depends only on F and X and is, by definition, the n-th derived functor of F, applied to X.

Homology functors

Chain complexes form a category: A morphism from the chain complex (d_n: A_n → A_n-1) to the chain complex (e_n: B_n → B_n-1) is a sequence of homomorphisms f_n: A_n → B_n such that $f_{n - 1} \circ d_{n} = e_{n} \circ f_{n}$ for all n. The n-th homology H_n can be viewed as a covariant functor from the category of chain complexes to the category of abelian groups (or modules).

If the chain complex depends on the object X in a covariant manner (meaning that any morphism X → Y induces a morphism from the chain complex of X to the chain complex of Y), then the H_n are covariant functors from the category that X belongs to into the category of abelian groups (or modules).

The only difference between homology and cohomology is that in cohomology the chain complexes depend in a contravariant manner on X, and that therefore the homology groups (which are called cohomology groups in this context and denoted by Hⁿ) form contravariant functors from the category that X belongs to into the category of abelian groups or modules.

Properties

If (d_n: A_n → A_n-1) is a chain complex such that all but finitely many A_n are zero, and the others are finitely generated abelian groups (or finite dimensional vector spaces), then we can define the Euler characteristic

χ = \sum (- 1)^{n} r a n k (A_{n})

(using the rank in the case of abelian groups and the Hamel dimension in the case of vector spaces). It turns out that the Euler characteristic can also be computed on the level of homology:

χ = \sum (- 1)^{n} r a n k (H_{n})

and, especially in algebraic topology, this provides two ways to compute the important invariant χ for the object X which gave rise to the chain complex.

Every short exact sequence

0 \to A \to B \to C \to 0

of chain complexes gives rise to a long exact sequence of homology groups

\dots \to H_{n} (A) \to H_{n} (B) \to H_{n} (C) \to H_{n - 1} (A) \to H_{n - 1} (B) \to H_{n - 1} (C) \to H_{n - 2} (A) \to \dots .

All maps in this long exact sequence are induced by the maps between the chain complexes, except for the maps H_n(C) → H_n-1(A) The latter are called connecting homomorphisms and are provided by the snake lemma. The snake lemma can be applied to homology in numerous ways that aid in calculating homology groups, such as the theories of relative homology and Mayer-Vietoris sequences.

History

Homology classes were first defined rigorously by Henri Poincaré in his seminal paper "Analysis situs", J. Ecole polytech. (2) 1. 1–121 (1895).

The homology group was further developed by Emmy Noether^[1]^[2] and, independently, by Leopold Vietoris and Walther Mayer, in the period 1925–28.^[3] Prior to this, topological classes in combinatorial topology were not formally considered as abelian groups. The spread of homology groups marked the change of terminology and viewpoint from "combinatorial topology" to "algebraic topology".^[4]

Applications

Notable theorems proved using homology include the following:

The Brouwer fixed point theorem: If f is any continuous map from the ball Bⁿ to itself, then there is a fixed point a ∈ Bⁿ with f(a) = a.
Invariance of domain: If U is an open subset of Rⁿ and f : U → Rⁿ is an injective continuous map, then V = f(U) is open and f is a homeomorphism between U and V.
The Hairy ball theorem: any vector field on the 2-sphere (or more generally, the 2k-sphere for any k ≥ 1) vanishes at some point.
The Borsuk–Ulam theorem: any continuous function from an n-sphere into Euclidean n-space maps some pair of antipodal points to the same point. (Two points on a sphere are called antipodal if they are in exactly opposite directions from the sphere's center.)

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

Cartan, Henri Paul and Eilenberg, Samuel (1956) Homological Algebra Princeton University Press, Princeton, NJ, OCLC 529171
Eilenberg, Samuel and Moore, J. C. (1965) Foundations of relative homological algebra (Memoirs of the American Mathematical Society number 55) American Mathematical Society, Providence, R.I., OCLC 1361982
Hatcher, A., (2002) Algebraic Topology Cambridge University Press, ISBN 0-521-79540-0. Detailed discussion of homology theories for simplicial complexes and manifolds, singular homology, etc.
Homology group at Encyclopaedia of Mathematics
Many property agents need to declare for the PIC grant in Singapore. However, not all of them know find out how to do the correct process for getting this PIC scheme from the IRAS. There are a number of steps that you need to do before your software can be approved.

Naturally, you will have to pay a safety deposit and that is usually one month rent for annually of the settlement. That is the place your good religion deposit will likely be taken into account and will kind part or all of your security deposit. Anticipate to have a proportionate amount deducted out of your deposit if something is discovered to be damaged if you move out. It's best to you'll want to test the inventory drawn up by the owner, which can detail all objects in the property and their condition. If you happen to fail to notice any harm not already mentioned within the inventory before transferring in, you danger having to pay for it yourself.

In case you are in search of an actual estate or Singapore property agent on-line, you simply should belief your intuition. It's because you do not know which agent is nice and which agent will not be. Carry out research on several brokers by looking out the internet. As soon as if you end up positive that a selected agent is dependable and reliable, you can choose to utilize his partnerise in finding you a home in Singapore. Most of the time, a property agent is taken into account to be good if he or she locations the contact data on his website. This may mean that the agent does not mind you calling them and asking them any questions relating to new properties in singapore in Singapore. After chatting with them you too can see them in their office after taking an appointment.

Have handed an trade examination i.e Widespread Examination for House Brokers (CEHA) or Actual Property Agency (REA) examination, or equal; Exclusive brokers are extra keen to share listing information thus making certain the widest doable coverage inside the real estate community via Multiple Listings and Networking. Accepting a severe provide is simpler since your agent is totally conscious of all advertising activity related with your property. This reduces your having to check with a number of agents for some other offers. Price control is easily achieved. Paint work in good restore-discuss with your Property Marketing consultant if main works are still to be done. Softening in residential property prices proceed, led by 2.8 per cent decline within the index for Remainder of Central Region

Once you place down the one per cent choice price to carry down a non-public property, it's important to accept its situation as it is whenever you move in – faulty air-con, choked rest room and all. Get round this by asking your agent to incorporate a ultimate inspection clause within the possibility-to-buy letter. HDB flat patrons routinely take pleasure in this security net. "There's a ultimate inspection of the property two days before the completion of all HDB transactions. If the air-con is defective, you can request the seller to repair it," says Kelvin.

15.6.1 As the agent is an intermediary, generally, as soon as the principal and third party are introduced right into a contractual relationship, the agent drops out of the image, subject to any problems with remuneration or indemnification that he could have against the principal, and extra exceptionally, against the third occasion. Generally, agents are entitled to be indemnified for all liabilities reasonably incurred within the execution of the brokers´ authority.

To achieve the very best outcomes, you must be always updated on market situations, including past transaction information and reliable projections. You could review and examine comparable homes that are currently available in the market, especially these which have been sold or not bought up to now six months. You'll be able to see a pattern of such report by clicking here It's essential to defend yourself in opposition to unscrupulous patrons. They are often very skilled in using highly unethical and manipulative techniques to try and lure you into a lure. That you must also protect your self, your loved ones, and personal belongings as you'll be serving many strangers in your home. Sign a listing itemizing of all of the objects provided by the proprietor, together with their situation. HSR Prime Recruiter 2010
Many property agents need to declare for the PIC grant in Singapore. However, not all of them know find out how to do the correct process for getting this PIC scheme from the IRAS. There are a number of steps that you need to do before your software can be approved.

Naturally, you will have to pay a safety deposit and that is usually one month rent for annually of the settlement. That is the place your good religion deposit will likely be taken into account and will kind part or all of your security deposit. Anticipate to have a proportionate amount deducted out of your deposit if something is discovered to be damaged if you move out. It's best to you'll want to test the inventory drawn up by the owner, which can detail all objects in the property and their condition. If you happen to fail to notice any harm not already mentioned within the inventory before transferring in, you danger having to pay for it yourself.

In case you are in search of an actual estate or Singapore property agent on-line, you simply should belief your intuition. It's because you do not know which agent is nice and which agent will not be. Carry out research on several brokers by looking out the internet. As soon as if you end up positive that a selected agent is dependable and reliable, you can choose to utilize his partnerise in finding you a home in Singapore. Most of the time, a property agent is taken into account to be good if he or she locations the contact data on his website. This may mean that the agent does not mind you calling them and asking them any questions relating to new properties in singapore in Singapore. After chatting with them you too can see them in their office after taking an appointment.

Have handed an trade examination i.e Widespread Examination for House Brokers (CEHA) or Actual Property Agency (REA) examination, or equal; Exclusive brokers are extra keen to share listing information thus making certain the widest doable coverage inside the real estate community via Multiple Listings and Networking. Accepting a severe provide is simpler since your agent is totally conscious of all advertising activity related with your property. This reduces your having to check with a number of agents for some other offers. Price control is easily achieved. Paint work in good restore-discuss with your Property Marketing consultant if main works are still to be done. Softening in residential property prices proceed, led by 2.8 per cent decline within the index for Remainder of Central Region

Once you place down the one per cent choice price to carry down a non-public property, it's important to accept its situation as it is whenever you move in – faulty air-con, choked rest room and all. Get round this by asking your agent to incorporate a ultimate inspection clause within the possibility-to-buy letter. HDB flat patrons routinely take pleasure in this security net. "There's a ultimate inspection of the property two days before the completion of all HDB transactions. If the air-con is defective, you can request the seller to repair it," says Kelvin.

15.6.1 As the agent is an intermediary, generally, as soon as the principal and third party are introduced right into a contractual relationship, the agent drops out of the image, subject to any problems with remuneration or indemnification that he could have against the principal, and extra exceptionally, against the third occasion. Generally, agents are entitled to be indemnified for all liabilities reasonably incurred within the execution of the brokers´ authority.

To achieve the very best outcomes, you must be always updated on market situations, including past transaction information and reliable projections. You could review and examine comparable homes that are currently available in the market, especially these which have been sold or not bought up to now six months. You'll be able to see a pattern of such report by clicking here It's essential to defend yourself in opposition to unscrupulous patrons. They are often very skilled in using highly unethical and manipulative techniques to try and lure you into a lure. That you must also protect your self, your loved ones, and personal belongings as you'll be serving many strangers in your home. Sign a listing itemizing of all of the objects provided by the proprietor, together with their situation. HSR Prime Recruiter 2010
Template:Planetmath reference

↑ Template:Harvnb
↑ For example L'émergence de la notion de groupe d'homologie, Nicolas Basbois (PDF), in French, note 41, explicitly names Noether as inventing the homology group.
↑ Hirzebruch, Friedrich, Emmy Noether and Topology in Template:Harvnb.
↑ Bourbaki and Algebraic Topology by John McCleary (PDF) gives documentation (translated into English from French originals).

[1] Template:Harvnb

[2] For example L'émergence de la notion de groupe d'homologie, Nicolas Basbois (PDF), in French, note 41, explicitly names Noether as inventing the homology group.

[3] Hirzebruch, Friedrich, Emmy Noether and Topology in Template:Harvnb.

[4] Bourbaki and Algebraic Topology by John McCleary (PDF) gives documentation (translated into English from French originals).

[1]

[2]

[3]

[4]

Magma (algebra)

Contents

Construction of homology groups

Examples

Homology functors

Properties

History

Applications

See also

Notes

References

Navigation menu

Magma (algebra)

Construction of homology groups

Examples

Homology functors

Properties

History

Applications

See also

Notes

References

Navigation menu

Search