Definition
Let G be a group, written multiplicatively, and let R be a ring. The group ring of G over R, which we will denote by R, is the set of mappings f : G → R of finite support, where the product of a scalar in R and a vector (or mapping) f is defined as the vector, and the sum of two vectors f and g is defined as the vector . To turn the commutative group R into a ring, we define the product of f and g to be the vector
The summation is legitimate because f and g are of finite support, and the ring axioms are readily verified.
Some variations in the notation and terminology are in use. In particular, the mappings such as f : G → R are sometimes written as what are called "formal linear combinations of elements of G, with coefficients in R":
or simply
where this doesn't cause confusion.
Read more about this topic: Group Ring
Famous quotes containing the word definition:
“It is very hard to give a just definition of love. The most we can say of it is this: that in the soul, it is a desire to rule; in the spirit, it is a sympathy; and in the body, it is but a hidden and subtle desire to possess—after many mysteries—what one loves.”
—François, Duc De La Rochefoucauld (1613–1680)
“No man, not even a doctor, ever gives any other definition of what a nurse should be than this—”devoted and obedient.” This definition would do just as well for a porter. It might even do for a horse. It would not do for a policeman.”
—Florence Nightingale (1820–1910)
“Scientific method is the way to truth, but it affords, even in
principle, no unique definition of truth. Any so-called pragmatic
definition of truth is doomed to failure equally.”
—Willard Van Orman Quine (b. 1908)