Center (algebra)

The term center or centre is used in various contexts in abstract algebra to denote the set of all those elements that commute with all other elements. It is often denoted Z, from German Zentrum, meaning "center". More specifically:

• The center of a group G consists of all those elements x in G such that xg = gx for all g in G. This is a normal subgroup of G.
• The similarly named notion for a semigroup is defined likewise and it is a subsemigroup.^[1][2]
• The center of a ring R is the subset of R consisting of all those elements x of R such that xr = rx for all r in R.^[3] The center is a commutative subring of R, and R is an algebra over its center.
• The center of an algebra A consists of all those elements x of A such that xa = ax for all a in A. See also: central simple algebra.
• The center of a Lie algebra L consists of all those elements x in L such that [x,a] = 0 for all a in L. This is an ideal of the Lie algebra L.
• The center of a monoidal category C consists of pairs (A,u) where A is an object of C, and $u:A \otimes - \rightarrow - \otimes A$ a natural isomorphism satisfying certain axioms.

See also

• Centralizer and normalizer

References

1. Kilp, Mati; Knauer, Ulrich; Mikhalev, Aleksandr V. (2000). Monoids, Acts and Categories. De Gruyter Expositions in Mathematics 29. Walter de Gruyter. p. 25. ISBN 978-3-11-015248-7.
2. Ljapin, E. S. (1968). Semigroups. Translations of Mathematical Monographs 3. Translated by A. A. Brown, J. M. Danskin, D. Foley, S. H. Gould, E. Hewitt, S. A. Walker, J. A. Zilber. Providence, Rhode Island: American Mathematical Soc. p. 96. ISBN 978-0-8218-8641-0.
3. Durbin, John R. (1993). Modern Algebra: An Introduction (3rd ed.). John Wiley and Sons. p. 118. ISBN 0-471-51001-7. The center of a ring R is defined to be {c ∈ R: cr = rc for every r ∈ R}., Exercise 22.22