Rng (algebra)
Algebraic structures |
---|
In
There is no consensus in the community as to whether the existence of a multiplicative identity must be one of the
A number of algebras of functions considered in
Definition
Formally, a rng is a
- (R, +) is an abelian group,
- (R, ·) is a semigroup,
- Multiplication distributesover addition.
A rng homomorphism is a function f: R → S from one rng to another such that
- f(x + y) = f(x) + f(y)
- f(x · y) = f(x) · f(y)
for all x and y in R.
If R and S are rings, then a ring homomorphism R → S is the same as a rng homomorphism R → S that maps 1 to 1.
Examples
All rings are rngs. A simple example of a rng that is not a ring is given by the
Rngs often appear naturally in
Also, many
Example: even integers
The set 2Z of even integers is closed under addition and multiplication and has an additive identity, 0, so it is a rng, but it does not have a multiplicative identity, so it is not a ring.
In 2Z, the only multiplicative idempotent is 0, the only nilpotent is 0, and the only element with a reflexive inverse is 0.
Example: finite quinary sequences
The direct sum equipped with coordinate-wise addition and multiplication is a rng with the following properties:
- Its idempotent elements form a lattice with no upper bound.
- Every element x has a reflexive inverse, namely an element y such that xyx = x and yxy = y.
- For every finite subset of , there exists an idempotent in that acts as an identity for the entire subset: the sequence with a one at every position where a sequence in the subset has a non-zero element at that position, and zero in every other position.
Properties
- Ideals, modulescan be defined for rngs in the same manner as for rings.
- Working with rngs instead of rings complicates some related definitions, however. For example, in a ring R, the left ideal (f) generated by an element f, defined as the smallest left ideal containing f, is simply Rf, but if R is only a rng, then Rf might not contain f, so instead
where nf must be interpreted using repeated addition/subtraction since n need not represent an element of R. Similarly, the left ideal generated by elements f1, ..., fm of a rng R isa formula that goes back toidempotent elementto an idempotent element.
- If f : R → S is a rng homomorphism from a ring to a rng, and the image of f contains a non-zero-divisor of S, then S is a ring, and f is a ring homomorphism.
Adjoining an identity element (Dorroh extension)
Every rng R can be enlarged to a ring R^ by adjoining an identity element. A general way in which to do this is to formally add an identity element 1 and let R^ consist of integral linear combinations of 1 and elements of R with the premise that none of its nonzero integral multiples coincide or are contained in R. That is, elements of R^ are of the form
where n is an integer and r ∈ R. Multiplication is defined by linearity:
More formally, we can take R^ to be the cartesian product Z × R and define addition and multiplication by
The multiplicative identity of R^ is then (1, 0). There is a natural rng homomorphism j : R → R^ defined by j(r) = (0, r). This map has the following universal property:
The map g can be defined by g(n, r) = n · 1S + f(r).
There is a natural
Note that j is never surjective. So, even when R already has an identity element, the ring R^ will be a larger one with a different identity. The ring R^ is often called the Dorroh extension of R after the American mathematician Joe Lee Dorroh, who first constructed it.
The process of adjoining an identity element to a rng can be formulated in the language of
Properties weaker than having an identity
There are several properties that have been considered in the literature that are weaker than having an identity element, but not so general. For example:
- Rings with enough idempotents: A rng R is said to be a ring with enough idempotents when there exists a subset E of R given by orthogonal (i.e. ef = 0 for all e ≠ f in E) idempotents (i.e. e2 = e for all e in E) such that R = ⊕e∈E eR = ⊕e∈E Re.
- Rings with local units: A rng R is said to be a ring with local units in case for every finite set r1, r2, ..., rt in R we can find e in R such that e2 = e and eri = ri = rie for every i.
- s-unital rings: A rng R is said to be s-unital in case for every finite set r1, r2, ..., rt in R we can find s in R such that sri = ri = ris for every i.
- Firm rings: A rng R is said to be firm if the canonical homomorphism R ⊗R R → R given by r ⊗ s ↦ rs is an isomorphism.
- Idempotent rings: A rng R is said to be idempotent (or an irng) in case R2 = R, that is, for every element r of R we can find elements ri and si in R such that .
It is not hard to check that these properties are weaker than having an identity element and weaker than the previous one.
- Rings are rings with enough idempotents, using E = {1}. A ring with enough idempotents that has no identity is for example the ring of infinite matrices over a field with just a finite number of nonzero entries. The matrices that have just 1 over one element in the main diagonal and 0 otherwise are the orthogonal idempotents.
- Rings with enough idempotents are rings with local units just taking finite sums of the orthogonal idempotents to satisfy the definition.
- Rings with local units are in particular s-unital; s-unital rings are firm and firm rings are idempotent.
Rng of square zero
A rng of square zero is a rng R such that xy = 0 for all x and y in R.[3] Any abelian group can be made a rng of square zero by defining the multiplication so that xy = 0 for all x and y;[4] thus every abelian group is the additive group of some rng. The only rng of square zero with a multiplicative identity is the zero ring {0}.[4]
Any additive subgroup of a rng of square zero is an ideal. Thus a rng of square zero is simple if and only if its additive group is a simple abelian group, i.e., a cyclic group of prime order.[5]
Unital homomorphism
Given two unital algebras A and B, an algebra homomorphism
is unital if it maps the identity element of A to the identity element of B.
If the associative algebra A over the field K is not unital, one can adjoin an identity element as follows: take A × K as underlying K-vector space and define multiplication ∗ by
for x, y in A and r, s in K. Then ∗ is an associative operation with identity element (0, 1). The old algebra A is contained in the new one, and in fact A × K is the "most general" unital algebra containing A, in the sense of
See also
Citations
- ^ Jacobson (1989), pp. 155–156
- ^ Noether (1921), p. 30, §1.2
- ^ See Bourbaki (1998), p. 102, where it is called a pseudo-ring of square zero. Some other authors use the term "zero ring" to refer to any rng of square zero; see e.g. Szele (1949) and Kreinovich (1995).
- ^ a b Bourbaki (1998), p. 102
- ^ Zariski & Samuel (1958), p. 133
References
- Bourbaki, N. (1998). Algebra I, Chapters 1–3. Springer.
- Dummit, David S.; Foote, Richard M. (2003). Abstract Algebra (3rd ed.). Wiley. ISBN 978-0-471-43334-7.
- Dorroh, J. L. (1932). "Concerning Adjunctions to Algebras". Bull. Amer. Math. Soc. 38 (2): 85–88. .
- Jacobson, Nathan (1989). Basic algebra (2nd ed.). New York: W.H. Freeman. ISBN 0-7167-1480-9.
- Kreinovich, V. (1995). "If a polynomial identity guarantees that every partial order on a ring can be extended, then this identity is true only for a zero-ring". Algebra Universalis. 33 (2): 237–242. S2CID 122388143.
- ISBN 978-0-471-36879-3.
- McCrimmon, Kevin (2004). A taste of Jordan algebras. Springer. ISBN 978-0-387-95447-9.
- S2CID 121594471.
- Szele, Tibor (1949). "Zur Theorie der Zeroringe". Mathematische Annalen. 121: 242–246. S2CID 122196446.
- Zariski, Oscar; Samuel, Pierre (1958). Commutative Algebra. Vol. 1. Van Nostrand.