|
Finitely Presented Algebra
Ring theory is the branch of mathematics in which rings are studied: that is, structures supporting both an addition and a multiplication operation. This is a glossary of some terms of the subject. For the items in commutative algebra (the theory of commutative rings), see glossary of commutative algebra. For ring-theoretic concepts in the language of modules, see also Glossary of module theory. For specific types of algebras, see also: Glossary of field theory and Glossary of Lie groups and Lie algebras. Since, currently, there is no glossary on not-necessarily-associative algebra-structures in general, this glossary includes some concepts that do not need associativity; e.g., a derivation. A B C D E F G H I J K L M N O ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Ring Theory
In algebra, ring theory is the study of rings— algebraic structures in which addition and multiplication are defined and have similar properties to those operations defined for the integers. Ring theory studies the structure of rings, their representations, or, in different language, modules, special classes of rings (group rings, division rings, universal enveloping algebras), as well as an array of properties that proved to be of interest both within the theory itself and for its applications, such as homological algebra, homological properties and Polynomial identity ring, polynomial identities. Commutative rings are much better understood than noncommutative ones. Algebraic geometry and algebraic number theory, which provide many natural examples of commutative rings, have driven much of the development of commutative ring theory, which is now, under the name of ''commutative algebra'', a major area of modern mathematics. Because these three fields (algebraic geometry, alge ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Azumaya Algebra
In mathematics, an Azumaya algebra is a generalization of central simple algebras to ''R''-algebras where ''R'' need not be a field. Such a notion was introduced in a 1951 paper of Goro Azumaya, for the case where ''R'' is a commutative local ring. The notion was developed further in ring theory, and in algebraic geometry, where Alexander Grothendieck made it the basis for his geometric theory of the Brauer group in Bourbaki seminars from 1964–65. There are now several points of access to the basic definitions. Over a ring An Azumaya algebra over a commutative ring R is an R-algebra A that is finitely generated, faithful, and projective as an R-module, such that the tensor product A \otimes_R A^\circ (where A^\circ is the opposite algebra) is isomorphic to \text_R(A) via the map sending a \otimes b to the endomorphism x\mapsto axb of A. Examples over a field Over a field k, Azumaya algebras are completely classified by the Artin-Wedderburn theorem since they are the same ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Characteristic (algebra)
In mathematics, the characteristic of a ring (mathematics), ring , often denoted , is defined to be the smallest number of times one must use the ring's identity element, multiplicative identity (1) in a sum to get the additive identity (0). If this sum never reaches the additive identity the ring is said to have characteristic zero. That is, is the smallest positive number such that: :\underbrace_ = 0 if such a number exists, and otherwise. Motivation The special definition of the characteristic zero is motivated by the equivalent definitions characterized in the next section, where the characteristic zero is not required to be considered separately. The characteristic may also be taken to be the exponent (group theory), exponent of the ring's additive group, that is, the smallest positive integer such that: :\underbrace_ = 0 for every element of the ring (again, if exists; otherwise zero). Some authors do not include the multiplicative identity element in their r ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Double Centralizer Theorem
In the branch of abstract algebra called ring theory, the double centralizer theorem can refer to any one of several similar results. These results concern the centralizer of a subring ''S'' of a ring ''R'', denoted C''R''(''S'') in this article. It is always the case that C''R''(C''R''(''S'')) contains ''S'', and a double centralizer theorem gives conditions on ''R'' and ''S'' that guarantee that C''R''(C''R''(''S'')) is ''equal'' to ''S''. Statements of the theorem Motivation The centralizer of a subring ''S'' of ''R'' is given by :\mathrm_R(S)=\.\, Clearly C''R''(C''R''(''S'')) ⊇ ''S'', but it is not always the case that one can say the two sets are equal. The double centralizer theorems give conditions under which one can conclude that equality occurs. There is another special case of interest. Let ''M'' be a right ''R'' module and give ''M'' the natural left ''E''-module structure, where ''E'' is End(''M''), the ring of endomorphisms of the abelian group ''M''. ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Double Centralizer
A double is a look-alike or doppelgänger; one person or being that resembles another. Double, The Double or Dubble may also refer to: Film and television * Double (filmmaking), someone who substitutes for the credited actor of a character * ''The Double'' (1934 film), a German crime comedy film * ''The Double'' (1971 film), an Italian film * ''The Double'' (2011 film), a spy thriller film * ''The Double'' (2013 film), a film based on the Dostoevsky novella * '' Kamen Rider Double'', a 2009–10 Japanese television series ** Kamen Rider Double (character), the protagonist in a Japanese television series of the same name Food and drink * Doppio, a double shot of espresso * Dubbel, a strong Belgian Trappist beer or, more generally, a strong brown ale * A drink order of two shots of hard liquor in one glass * A "double decker", a hamburger with two patties in a single bun Games * Double, action in games whereby a competitor raises the stakes ** , in contract bridge ** Doublin ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Centralizer (ring Theory)
In mathematics, especially group theory, the centralizer (also called commutant) of a subset ''S'' in a group ''G'' is the set of elements \mathrm_G(S) of ''G'' such that each member g \in \mathrm_G(S) commutes with each element of ''S'', or equivalently, such that conjugation by g leaves each element of ''S'' fixed. The normalizer of ''S'' in ''G'' is the set of elements \mathrm_G(S) of ''G'' that satisfy the weaker condition of leaving the set S \subseteq G fixed under conjugation. The centralizer and normalizer of ''S'' are subgroups of ''G''. Many techniques in group theory are based on studying the centralizers and normalizers of suitable subsets ''S''. Suitably formulated, the definitions also apply to semigroups. In ring theory, the centralizer of a subset of a ring is defined with respect to the semigroup (multiplication) operation of the ring. The centralizer of a subset of a ring ''R'' is a subring of ''R''. This article also deals with centralizers and normal ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Central Simple Algebra
In ring theory and related areas of mathematics a central simple algebra (CSA) over a field ''K'' is a finite-dimensional associative ''K''-algebra ''A'' which is simple, and for which the center is exactly ''K''. (Note that ''not'' every simple algebra is a central simple algebra over its center: for instance, if ''K'' is a field of characteristic 0, then the Weyl algebra K ,\partial_X/math> is a simple algebra with center ''K'', but is ''not'' a central simple algebra over ''K'' as it has infinite dimension as a ''K''-module.) For example, the complex numbers C form a CSA over themselves, but not over the real numbers R (the center of C is all of C, not just R). The quaternions H form a 4-dimensional CSA over R, and in fact represent the only non-trivial element of the Brauer group of the reals (see below). Given two central simple algebras ''A'' ~ ''M''(''n'',''S'') and ''B'' ~ ''M''(''m'',''T'') over the same field ''F'', ''A'' and ''B'' are called ''similar'' (or ''Brauer equ ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Central Algebra
In algebra, the center of a ring ''R'' is the subring consisting of the elements ''x'' such that ''xy = yx'' for all elements ''y'' in ''R''. It is a commutative ring and is denoted as Z(R); "Z" stands for the German word ''Zentrum'', meaning "center". If ''R'' is a ring, then ''R'' is an associative algebra over its center. Conversely, if ''R'' is an associative algebra over a commutative subring ''S'', then ''S'' is a subring of the center of ''R'', and if ''S'' happens to be the center of ''R'', then the algebra ''R'' is called a central algebra. Examples *The center of a commutative ring ''R'' is ''R'' itself. *The center of a skew-field is a field. *The center of the (full) matrix ring with entries in a commutative ring ''R'' consists of ''R''-scalar multiples of the identity matrix. *Let ''F'' be a field extension of a field ''k'', and ''R'' an algebra over ''k''. Then Z\left(R \otimes_k F\right) = Z(R) \otimes_k F. *The center of the universal enveloping algebra of a Lie ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Center (ring Theory)
In algebra, the center of a ring ''R'' is the subring consisting of the elements ''x'' such that ''xy = yx'' for all elements ''y'' in ''R''. It is a commutative ring and is denoted as Z(R); "Z" stands for the German word ''Zentrum'', meaning "center". If ''R'' is a ring, then ''R'' is an associative algebra over its center. Conversely, if ''R'' is an associative algebra over a commutative subring ''S'', then ''S'' is a subring of the center of ''R'', and if ''S'' happens to be the center of ''R'', then the algebra ''R'' is called a central algebra. Examples *The center of a commutative ring ''R'' is ''R'' itself. *The center of a skew-field is a field. *The center of the (full) matrix ring with entries in a commutative ring ''R'' consists of ''R''-scalar multiples of the identity matrix. *Let ''F'' be a field extension of a field ''k'', and ''R'' an algebra over ''k''. Then Z\left(R \otimes_k F\right) = Z(R) \otimes_k F. *The center of the universal enveloping algebra of a Lie ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Subring
In mathematics, a subring of ''R'' is a subset of a ring that is itself a ring when binary operations of addition and multiplication on ''R'' are restricted to the subset, and which shares the same multiplicative identity as ''R''. For those who define rings without requiring the existence of a multiplicative identity, a subring of ''R'' is just a subset of ''R'' that is a ring for the operations of ''R'' (this does imply it contains the additive identity of ''R''). The latter gives a strictly weaker condition, even for rings that do have a multiplicative identity, so that for instance all ideals become subrings (and they may have a multiplicative identity that differs from the one of ''R''). With definition requiring a multiplicative identity (which is used in this article), the only ideal of ''R'' that is a subring of ''R'' is ''R'' itself. Definition A subring of a ring is a subset ''S'' of ''R'' that preserves the structure of the ring, i.e. a ring with . Equivalently, it ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Category Of Rings
In mathematics, the category of rings, denoted by Ring, is the category whose objects are rings (with identity) and whose morphisms are ring homomorphisms (that preserve the identity). Like many categories in mathematics, the category of rings is large, meaning that the class of all rings is proper. As a concrete category The category Ring is a concrete category meaning that the objects are sets with additional structure (addition and multiplication) and the morphisms are functions that preserve this structure. There is a natural forgetful functor :''U'' : Ring → Set for the category of rings to the category of sets which sends each ring to its underlying set (thus "forgetting" the operations of addition and multiplication). This functor has a left adjoint :''F'' : Set → Ring which assigns to each set ''X'' the free ring generated by ''X''. One can also view the category of rings as a concrete category over Ab (the category of abelian groups) or over Mon (the category of ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Brauer Group
Brauer or Bräuer is a surname of German origin, meaning "brewer". Notable people with the name include:- * Alfred Brauer (1894–1985), German-American mathematician, brother of Richard * Andreas Brauer (born 1973), German film producer * Arik Brauer (1929–2021), Austrian painter, poet, and actor, father of Timna Brauer * August Brauer (1863-1917), German zoologist * Friedrich Moritz Brauer (1832–1904), Austrian entomologist and museum director * Georg Brauer (1908–2001), German chemist * Ingrid Arndt-Brauer (born 1961), German politician; member of the Bundestag * Jono Brauer (born 1981), Australian Olympic skier * Max Brauer (1887–1973), German politician; First Mayor of Hamburg * Michael Brauer (contemporary), American audio engineer * Rich Brauer (born 1954), American politician from Illinois; state legislator since 2003 * Richard Brauer (1901–1977), German-American mathematician * Richard H. W. Brauer (contemporary), American art museum director; eponym of the Bra ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |