Galois ring

In mathematics, Galois rings are a type of finite commutative rings which generalize both the finite fields and the rings of integers modulo a prime power. A Galois ring is constructed from the ring similar to how a finite field is constructed from . It is a Galois extension of , when the concept of a Galois extension is generalized beyond the context of fields.

Galois rings were studied by Krull (1924),[1] and independently by Janusz (1966)[2] and by Raghavendran (1969),[3] who both introduced the name Galois ring. They are named after Évariste Galois, similar to Galois fields, which is another name for finite fields. Galois rings have found applications in coding theory, where certain codes are best understood as linear codes over using Galois rings GR(4, r).[4][5]

Definition

A Galois ring is a commutative ring of characteristic pn which has pnr elements, where p is prime and n and r are positive integers. It is usually denoted GR(pn, r). It can be defined as a quotient ring

where is a monic polynomial of degree r which is irreducible modulo p.[6][7] Up to isomorphism, the ring depends only on p, n, and r and not on the choice of f used in the construction.[8]

Examples

The simplest examples of Galois rings are important special cases:

A less trivial example is the Galois ring GR(4, 3). It is of characteristic 4 and has 43 = 64 elements. One way to construct it is , or equivalently, where is a root of the polynomial . Although any monic polynomial of degree 3 which is irreducible modulo 2 could have been used, this choice of f turns out to be convenient because

in , which makes a 7th root of unity in GR(4, 3). The elements of GR(4, 3) can all be written in the form where each of a0, a1, and a2 is in . For example, and .[4]

Structure

(pr – 1)-th roots of unity

Every Galois ring GR(pn, r) has a primitive (pr – 1)-th root of unity. It is the equivalence class of x in the quotient when f is chosen to be a primitive polynomial. This means that, in , the polynomial divides and does not divide for all m < pr – 1. Such an f can be computed by starting with a primitive polynomial of degree r over the finite field and using Hensel lifting.[9]

A primitive (pr – 1)-th root of unity can be used to express elements of the Galois ring in a useful form called the p-adic representation. Every element of the Galois ring can be written uniquely as

where each is in the set .[7][9]

Ideals, quotients, and subrings

Every Galois ring is a local ring. The unique maximal ideal is the principal ideal , consisting of all elements which are multiples of p. The residue field is isomorphic to the finite field of order pr. Furthermore, are all the ideals.[6]

The Galois ring GR(pn, r) contains a unique subring isomorphic to GR(pn, s) for every s which divides r. These are the only subrings of GR(pn, r).[10]

Group of units

The units of a Galois ring R are all the elements which are not multiples of p. The group of units, R×, can be decomposed as a direct product G1×G2, as follows. The subgroup G1 is the group of (pr – 1)-th roots of unity. It is a cyclic group of order pr – 1. The subgroup G2 is 1+pR, consisting of all elements congruent to 1 modulo p. It is a group of order pr(n−1), with the following structure:

  • if p is odd or if p = 2 and n ≤ 2, then , the direct product of r copies of the cyclic group of order pn−1
  • if p = 2 and n ≥ 3, then

This description generalizes the structure of the multiplicative group of integers modulo pn, which is the case r = 1.[11]

Automorphisms

Analogous to the automorphisms of the finite field , the automorphism group of the Galois ring GR(pn, r) is a cyclic group of order r.[12] The automorphisms can be described explicitly using the p-adic representation. Specifically, the map

(where each is in the set ) is an automorphism, which is called the generalized Frobenius automorphism. The fixed points of the generalized Frobenius automorphism are the elements of the subring . Iterating the generalized Frobenius automorphism gives all the automorphisms of the Galois ring.[13]

The automorphism group can be thought of as the Galois group of GR(pn, r) over , and the ring GR(pn, r) is a Galois extension of . More generally, whenever r is a multiple of s, GR(pn, r) is a Galois extension of GR(pn, s), with Galois group isomorphic to .[14][13]

References

  1. Krull, Wolfgang (1924), "Algebraische Theorie der zerlegbaren Ringe (Algebraische Theorie der Ringe III)", Mathematische Annalen, 92: 183–213, doi:10.1007/BF01448006, JFM 50.0072.02, S2CID 116728217
  2. Janusz, G. J. (1966), "Separable algebras over commutative rings", Transactions of the American Mathematical Society, 122 (2): 461–479, doi:10.2307/1994561, JSTOR 1994561, Zbl 0141.03402
  3. Raghavendran 1969, p. 206
  4. van Lint, J.H. (1999), Introduction to Coding Theory (3rd ed.), Springer, Chapter 8: Codes over 4, ISBN 978-3-540-64133-9
  5. Hammons, A.R.; Kumar, P.V.; Calderbank, A.R.; Sloane, N.J.A.; Solé, P. (1994), "The Z_4-linearity of Kerdock, Preparata, Goethals, and related codes" (PDF), IEEE Transactions on Information Theory, 40: 301–319, doi:10.1109/18.312154, S2CID 7667081
  6. McDonald 1974, p. 308
  7. Bini & Flamini 2002, pp. 82–83
  8. Raghavendran 1969, p. 207
  9. Wan 2003, p. 316, Theorem 14.8
  10. Bini & Flamini 2002, p. 95, Proposition 6.2.3
  11. Wan 2003, p. 319, Theorem 14.11
  12. Raghavendran 1969, p. 213
  13. Wan 2003, pp. 327–331, Section 14.6
  14. Bini & Flamini 2002, p. 105
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.