|
E N-ring
In mathematics, an \mathcal_n-algebra in a symmetric monoidal infinity category ''C'' consists of the following data: *An object A(U) for any open subset ''U'' of Rn homeomorphic to an ''n''-disk. *A multiplication map: *:\mu: A(U_1) \otimes \cdots \otimes A(U_m) \to A(V) :for any disjoint open disks U_j contained in some open disk ''V'' subject to the requirements that the multiplication maps are compatible with composition, and that \mu is an equivalence if m=1. An equivalent definition is that ''A'' is an algebra in ''C'' over the little ''n''-disks operad. Examples * An \mathcal_n-algebra in vector spaces over a field is a unital associative algebra if ''n'' = 1, and a unital commutative associative algebra if ''n'' ≥ 2. * An \mathcal_n-algebra in categories is a monoidal category if ''n'' = 1, a braided monoidal category if ''n'' = 2, and a symmetric monoidal category if ''n'' ≥ 3. * If Λ is a commutative ring, then X \mapsto C_*(\Omega^n X; \Lambda) defines an \math ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Mathematics
Mathematics is an area of knowledge that includes the topics of numbers, formulas and related structures, shapes and the spaces in which they are contained, and quantities and their changes. These topics are represented in modern mathematics with the major subdisciplines of number theory, algebra, geometry, and analysis, respectively. There is no general consensus among mathematicians about a common definition for their academic discipline. Most mathematical activity involves the discovery of properties of abstract objects and the use of pure reason to prove them. These objects consist of either abstractions from nature orin modern mathematicsentities that are stipulated to have certain properties, called axioms. A ''proof'' consists of a succession of applications of deductive rules to already established results. These results include previously proved theorems, axioms, andin case of abstraction from naturesome basic properties that are considered true starting points of ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Unital Associative Algebra
In mathematics, an associative algebra ''A'' is an algebraic structure with compatible operations of addition, multiplication (assumed to be associative), and a scalar multiplication by elements in some field ''K''. The addition and multiplication operations together give ''A'' the structure of a ring; the addition and scalar multiplication operations together give ''A'' the structure of a vector space over ''K''. In this article we will also use the term ''K''-algebra to mean an associative algebra over the field ''K''. A standard first example of a ''K''-algebra is a ring of square matrices over a field ''K'', with the usual matrix multiplication. A commutative algebra is an associative algebra that has a commutative multiplication, or, equivalently, an associative algebra that is also a commutative ring. In this article associative algebras are assumed to have a multiplicative identity, denoted 1; they are sometimes called unital associative algebras for clarification. In s ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Categorical Ring
In mathematics, a categorical ring is, roughly, a Category (mathematics), category equipped with addition and multiplication. In other words, a categorical ring is obtained by replacing the underlying set of a Ring (mathematics), ring by a category. For example, given a ring ''R'', let ''C'' be a category whose Object (category theory), objects are the elements of the Set (mathematics), set ''R'' and whose morphisms are only the identity morphisms. Then ''C'' is a categorical ring. But the point is that one can also consider the situation in which an element of ''R'' comes with a "nontrivial automorphism" (cf. Lurie). This line of generalization of a ring eventually leads to the notion of an En ring, ''E''''n''-ring. See also *Categorification *Higher-dimensional algebra References *Laplaza, M. Coherence for distributivity. Coherence in categories, 29-65. Lecture Notes in Mathematics 281, Springer-Verlag, 1972. *Lurie, J. Derived Algebraic Geometry V: Structured Spaces Exter ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Module (mathematics)
In mathematics, a module is a generalization of the notion of vector space in which the field of scalars is replaced by a ring. The concept of ''module'' generalizes also the notion of abelian group, since the abelian groups are exactly the modules over the ring of integers. Like a vector space, a module is an additive abelian group, and scalar multiplication is distributive over the operation of addition between elements of the ring or module and is compatible with the ring multiplication. Modules are very closely related to the representation theory of groups. They are also one of the central notions of commutative algebra and homological algebra, and are used widely in algebraic geometry and algebraic topology. Introduction and definition Motivation In a vector space, the set of scalars is a field and acts on the vectors by scalar multiplication, subject to certain axioms such as the distributive law. In a module, the scalars need only be a ring, so the module conc ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Chain Complex
In mathematics, a chain complex is an algebraic structure that consists of a sequence of abelian groups (or module (mathematics), modules) and a sequence of group homomorphism, homomorphisms between consecutive groups such that the image (mathematics), image of each homomorphism is included in the kernel (algebra)#Group homomorphisms, kernel of the next. Associated to a chain complex is its Homology (mathematics), homology, which describes how the images are included in the kernels. A cochain complex is similar to a chain complex, except that its homomorphisms are in the opposite direction. The homology of a cochain complex is called its cohomology. In algebraic topology, the singular chain complex of a topological space X is constructed using continuous function#continuous functions between topological spaces, continuous maps from a simplex to X, and the homomorphisms of the chain complex capture how these maps restrict to the boundary of the simplex. The homology of this chain co ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Commutative Ring
In mathematics, a commutative ring is a ring in which the multiplication operation is commutative. The study of commutative rings is called commutative algebra. Complementarily, noncommutative algebra is the study of ring properties that are not specific to commutative rings. This distinction results from the high number of fundamental properties of commutative rings that do not extend to noncommutative rings. Definition and first examples Definition A ''ring'' is a set R equipped with two binary operations, i.e. operations combining any two elements of the ring to a third. They are called ''addition'' and ''multiplication'' and commonly denoted by "+" and "\cdot"; e.g. a+b and a \cdot b. To form a ring these two operations have to satisfy a number of properties: the ring has to be an abelian group under addition as well as a monoid under multiplication, where multiplication distributes over addition; i.e., a \cdot \left(b + c\right) = \left(a \cdot b\right) + \left(a \cdot ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Braided Monoidal Category
In mathematics, a ''commutativity constraint'' \gamma on a monoidal category ''\mathcal'' is a choice of isomorphism \gamma_ : A\otimes B \rightarrow B\otimes A for each pair of objects ''A'' and ''B'' which form a "natural family." In particular, to have a commutativity constraint, one must have A \otimes B \cong B \otimes A for all pairs of objects A,B \in \mathcal. A braided monoidal category is a monoidal category \mathcal equipped with a braiding—that is, a commutativity constraint \gamma that satisfies axioms including the hexagon identities defined below. The term ''braided'' references the fact that the braid group plays an important role in the theory of braided monoidal categories. Partly for this reason, braided monoidal categories and other topics are related in the theory of knot invariants. Alternatively, a braided monoidal category can be seen as a tricategory with one 0-cell and one 1-cell. Braided monoidal categories were introduced by André Joyal an ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Monoidal Category
In mathematics, a monoidal category (or tensor category) is a category \mathbf C equipped with a bifunctor :\otimes : \mathbf \times \mathbf \to \mathbf that is associative up to a natural isomorphism, and an object ''I'' that is both a left and right identity for ⊗, again up to a natural isomorphism. The associated natural isomorphisms are subject to certain coherence conditions, which ensure that all the relevant diagrams commute. The ordinary tensor product makes vector spaces, abelian groups, ''R''-modules, or ''R''-algebras into monoidal categories. Monoidal categories can be seen as a generalization of these and other examples. Every (small) monoidal category may also be viewed as a "categorification" of an underlying monoid, namely the monoid whose elements are the isomorphism classes of the category's objects and whose binary operation is given by the category's tensor product. A rather different application, of which monoidal categories can be considered an abstractio ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Category (mathematics)
In mathematics, a category (sometimes called an abstract category to distinguish it from a concrete category) is a collection of "objects" that are linked by "arrows". A category has two basic properties: the ability to compose the arrows associatively and the existence of an identity arrow for each object. A simple example is the category of sets, whose objects are sets and whose arrows are functions. '' Category theory'' is a branch of mathematics that seeks to generalize all of mathematics in terms of categories, independent of what their objects and arrows represent. Virtually every branch of modern mathematics can be described in terms of categories, and doing so often reveals deep insights and similarities between seemingly different areas of mathematics. As such, category theory provides an alternative foundation for mathematics to set theory and other proposed axiomatic foundations. In general, the objects and arrows may be abstract entities of any kind, and the n ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Commutative Algebra
Commutative algebra, first known as ideal theory, is the branch of algebra that studies commutative rings, their ideals, and modules over such rings. Both algebraic geometry and algebraic number theory build on commutative algebra. Prominent examples of commutative rings include polynomial rings; rings of algebraic integers, including the ordinary integers \mathbb; and ''p''-adic integers. Commutative algebra is the main technical tool in the local study of schemes. The study of rings that are not necessarily commutative is known as noncommutative algebra; it includes ring theory, representation theory, and the theory of Banach algebras. Overview Commutative algebra is essentially the study of the rings occurring in algebraic number theory and algebraic geometry. In algebraic number theory, the rings of algebraic integers are Dedekind rings, which constitute therefore an important class of commutative rings. Considerations related to modular arithmetic have led to the no ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Field (mathematics)
In mathematics, a field is a set on which addition, subtraction, multiplication, and division are defined and behave as the corresponding operations on rational and real numbers do. A field is thus a fundamental algebraic structure which is widely used in algebra, number theory, and many other areas of mathematics. The best known fields are the field of rational numbers, the field of real numbers and the field of complex numbers. Many other fields, such as fields of rational functions, algebraic function fields, algebraic number fields, and ''p''-adic fields are commonly used and studied in mathematics, particularly in number theory and algebraic geometry. Most cryptographic protocols rely on finite fields, i.e., fields with finitely many elements. The relation of two fields is expressed by the notion of a field extension. Galois theory, initiated by Évariste Galois in the 1830s, is devoted to understanding the symmetries of field extensions. Among other results, thi ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Symmetric Monoidal Category
In category theory, a branch of mathematics, a symmetric monoidal category is a monoidal category (i.e. a category in which a "tensor product" \otimes is defined) such that the tensor product is symmetric (i.e. A\otimes B is, in a certain strict sense, naturally isomorphic to B\otimes A for all objects A and B of the category). One of the prototypical examples of a symmetric monoidal category is the category of vector spaces over some fixed field ''k,'' using the ordinary tensor product of vector spaces. Definition A symmetric monoidal category is a monoidal category (''C'', ⊗, ''I'') such that, for every pair ''A'', ''B'' of objects in ''C'', there is an isomorphism s_: A \otimes B \to B \otimes A that is natural in both ''A'' and ''B'' and such that the following diagrams commute: *The unit coherence: *: *The associativity coherence: *: *The inverse law: *: In the diagrams above, ''a'', ''l'' , ''r'' are the associativity isomorphism, the left unit isomorphism, and the right un ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
