Plücker embedding

In mathematics, the interplay between the Galois group G of a Galois extension L of a number field K, and the way the prime ideals P of the ring of integers O_K factorise as products of prime ideals of O_L, provides one of the richest parts of algebraic number theory. The splitting of prime ideals in Galois extensions is sometimes attributed to David Hilbert by calling it Hilbert theory. There is a geometric analogue, for ramified coverings of Riemann surfaces, which is simpler in that only one kind of subgroup of G need be considered, rather than two. This was certainly familiar before Hilbert.

Definitions

Let L / K be a finite extension of number fields, and let B and A be the corresponding ring of integers of L and K, respectively, which are defined to be the integral closure of the integers Z in the field in question.

${\begin{array}{ccc}A&\hookrightarrow &B\\\downarrow &&\downarrow \\K&\hookrightarrow &L\end{array}}$

Finally, let p be a non-zero prime ideal in A, or equivalently, a maximal ideal, so that the residue A/p is a field.

From the basic theory of one-dimensional rings follows the existence of a unique decomposition

$pB=\prod _{j}P_{j}^{e(j)}$

of the ideal pB generated in B by p into a product of distinct maximal ideals P_j, with multiplicities e(j).

The multiplicity e(j) are called ramification indices of the extension at p. If they are all equal to 1 and if in addition the field extensions B/P_j over A/p is separable, the field extension L/K is called unramified at p.

If this is the case, by the Chinese remainder theorem, the quotient

B/pB

is a product of fields

F_j = B/P_j.

The Galois situation

In the following, the extension L / K is assumed to be a Galois extension. Then the Galois group G acts transitively on the P_j. That is, the prime ideal factors of p in L form a single orbit under the automorphisms of L over K. From this and the unicity of prime factorisation, it follows that e(j) = e is independent of j; something that certainly need not be the case for extensions that are not Galois.

The basic relation then reads

pB = (Π P_j)^e

Facts

• Given an extension as above, it is unramified in all but finitely many points.

• In the unramified case, because of the transitivity of the Galois group action, the fields F_j introduced above are all isomorphic, say to the finite field F ′, containing

F = A/p

A counting argument shows that

[L:K]/[F ′:F]

equals the number of prime factors of P in B. By the orbit-stabilizer formula this number is also equal to

|G|/|D|

where by definition D, the decomposition group of p, is the subgroup of elements of G sending a given P_j to itself. That is, since the degree of L/K and the order of G are equal by basic Galois theory, the order of the decomposition group D is the degree of the residue field extension F ′/F. The theory of the Frobenius element goes further, to identify an element of D, for j given, which generates the Galois group of the finite field extension.

• In the ramified case, there is the further phenomenon of inertia: the index e is interpreted as the extent to which elements of G are not seen in the Galois groups of any of the residue field extensions. Each decomposition group D, for a given P_j, contains an inertia group I consisting of the g in G that send P_j to itself, but induce the identity automorphism on

F_j = B/P_j.

In the geometric analogue, for complex manifolds or algebraic geometry over an algebraically closed field, the concepts of decomposition group and inertia group coincide. There, given a Galois ramified cover, all but finitely many points have the same number of preimages.

The splitting of primes in extensions that are not Galois may be studied by using a splitting field initially, i.e. a Galois extension that is somewhat larger. For example cubic fields usually are 'regulated' by a degree 6 field containing them.

Example — the Gaussian integers

This section describes the splitting of prime ideals in the field extension Q(i)/Q. That is, we take K = Q and L = Q(i), so O_K is simply Z, and O_L = Z[i] is the ring of Gaussian integers. Although this case is far from representative — after all, Z[i] has unique factorisation — it exhibits many of the features of the theory.

Writing G for the Galois group of Q(i)/Q, and σ for the complex conjugation automorphism in G, there are three cases to consider.

The prime p = 2

The prime 2 of Z ramifies in Z[i]:

(2) = (1+i)²,

so the ramification index here is e = 2. The residue field is

O_L / (1+i)O_L

which is the finite field with two elements. The decomposition group must be equal to all of G, since there is only one prime of Z[i] above 2. The inertia group is also all of G, since

a + bi ≡ a − bi

modulo (1+i), for any integers a and b.

In fact, 2 is the only prime that ramifies in Z[i], since every prime that ramifies must divide the discriminant of Z[i], which is −4.

Primes p ≡ 1 mod 4

Any prime p ≡ 1 mod 4 splits into two distinct prime ideals in Z[i]; this is a manifestation of Fermat's theorem on sums of two squares. For example,

(13) = (2 + 3i)(2 − 3i).

The decomposition groups in this case are both the trivial group {1}; indeed the automorphism σ switches the two primes (2 + 3i) and (2 − 3i), so it cannot be in the decomposition group of either prime. The inertia group, being a subgroup of the decomposition group, is also the trivial group. There are two residue fields, one for each prime,

O_L / (2 ± 3i)O_L,

which are both isomorphic to the finite field with 13 elements. The Frobenius element is the trivial automorphism; this means that

(a + bi)¹³ ≡ a + bi

modulo (2 ± 3i), for any integers a and b.

Primes p ≡ 3 mod 4

Any prime p ≡ 3 mod 4 remains inert in Z[i]; that is, it does not split. For example, (7) remains prime in Z[i]. In this situation, the decomposition group is all of G, again because there is only one prime factor. However, this situation differs from the p = 2 case, because now σ does not act trivially on the residue field

O_L / (7)O_L,

which is the finite field with 7² = 49 elements. For example, the difference between 1 + i and σ(1 + i) = 1 − i  is  2i, which is certainly not divisible by 7. Therefore the inertia group is the trivial group {1}. The Galois group of this residue field over the subfield Z/7Z has order 2, and is generated by the image of the Frobenius element. The Frobenius is none other than σ; this means that

(a + bi)⁷ ≡ a − bi

modulo 7, for any integers a and b.

Summary

Prime in Z	How it splits in Z[i]	Inertia group	Decomposition group
2	Ramifies with index 2	G	G
p ≡ 1 mod 4	Splits into two distinct factors	1	1
p ≡ 3 mod 4	Remains inert	1	G

Computing the factorisation

Suppose that we wish to determine the factorisation of a prime ideal P of O_K into primes of O_L. We will assume that the extension L/K is a finite separable extension; the extra hypothesis of normality in the definition of Galois extension is not necessary.

The following procedure (Neukirch, p47) solves this problem in many cases. The strategy is to select an integer θ in O_L so that L is generated over K by θ (such a θ is guaranteed to exist by the primitive element theorem), and then to examine the minimal polynomial H(X) of θ over K; it is a monic polynomial with coefficients in O_K. Reducing the coefficients of H(X) modulo P, we obtain a monic polynomial h(X) with coefficients in F, the (finite) residue field O_K/P. Suppose that h(X) factorises in the polynomial ring F[X] as

$h(X)=h_{1}(X)^{e_{1}}\cdots h_{n}(X)^{e_{n}},$

where the h_j are distinct monic irreducible polynomials in F[X]. Then, as long as P is not one of finitely many exceptional primes (the precise condition is described below), the factorisation of P has the following form:

$PO_{L}=Q_{1}^{e_{1}}\cdots Q_{n}^{e_{n}},$

where the Q_j are distinct prime ideals of O_L. Furthermore, the inertia degree of each Q_j is equal to the degree of the corresponding polynomial h_j, and there is an explicit formula for the Q_j:

$Q_{j}=PO_{L}+h_{j}(\theta )O_{L}.$

In the Galois case, the inertia degrees are all equal, and the ramification indices e₁ = ... = e_n are all equal.

The exceptional primes, for which the above result does not necessarily hold, are the ones not relatively prime to the conductor of the ring O_K[θ]. The conductor is defined to be the ideal

$\{y\in O_{L}:yO_{L}\subseteq O_{K}[\theta ]\};$

it measures how far the order O_K[θ] is from being the whole ring of integers (maximal order) O_L.

A significant caveat is that there exist examples of L/K and P such that there is no available θ that satisfies the above hypotheses (see for example ). Therefore the algorithm given above cannot be used to factor such P, and more sophisticated approaches must be used, such as that described in.

An example

Consider again the case of the Gaussian integers. We take θ to be the imaginary unit i, with minimal polynomial H(X) = X² + 1. Since Z[$i$] is the whole ring of integers of Q($i$), the conductor is the unit ideal, so there are no exceptional primes.

For P = (2), we need to work in the field Z/(2)Z, which amounts to factorising the polynomial X² + 1 modulo 2:

$X^{2}+1=(X+1)^{2}{\pmod {2}}.$

Therefore there is only one prime factor, with inertia degree 1 and ramification index 2, and it is given by

$Q=(2)\mathbf {Z} [i]+(i+1)\mathbf {Z} [i]=(1+i)\mathbf {Z} [i].$

The next case is for P = (p) for a prime p ≡ 3 mod 4. For concreteness we will take P = (7). The polynomial X² + 1 is irreducible modulo 7. Therefore there is only one prime factor, with inertia degree 2 and ramification index 1, and it is given by

$Q=(7)\mathbf {Z} [i]+(i^{2}+1)\mathbf {Z} [i]=7\mathbf {Z} [i].$

The last case is P = (p) for a prime p ≡ 1 mod 4; we will again take P = (13). This time we have the factorisation

$X^{2}+1=(X+5)(X-5){\pmod {13}}.$

Therefore there are two prime factors, both with inertia degree and ramification index 1. They are given by

$Q_{1}=(13)\mathbf {Z} [i]+(i+5)\mathbf {Z} [i]=\cdots =(2+3i)\mathbf {Z} [i]$

and

$Q_{2}=(13)\mathbf {Z} [i]+(i-5)\mathbf {Z} [i]=\cdots =(2-3i)\mathbf {Z} [i].$

External links

• Template:Planetmath reference
• 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

References

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.

• Template:Neukirch ANT