In particular, the tensor product of two torsion groups is always a direct sum of cyclic groups. B is a new abelian group which is such that a group homomorphism a. Xi, 1960 tensor product of non abelian groups and exact sequences 167 independent of the choice of presentation of c, but that it does contain tor c, g, where c and are c and g. The tensor product of two abelian groups a and b, over z is a group denoted a b, equipped with a bilinear function i.
A bilinear map is a function of two variables that belong. The tensor product of two abelian groups ubc library. The tensor product of two abelian groups by david mit ton. The tensor product of torsionfree groups is a difficult subject. In abelian tensor product theory, the tensor product is known to be a right exact unctor. The concept of a free group is discussed first in chapter 1 and in chapter 2 the tensor product of two groups for which we write a. For a and b two abelian groups, their tensor product a. Pdf on dec 1, 1960, trueman machenry and others published the tensor product of nonabelian groups and exact sequences find, read and cite all the research you need on researchgate. Their tensor product as abelian groups, denoted or simply as, is defined as their tensor product as modules over the ring of integers note that in case are abelian groups but are also being thought of as modules over some other ring for instance, as vector spaces over a field then. B is the free rmodule generated by the cartesian product and g is the rmodule generated by the same relations as above. The tensor product of nonabelian groups and exact sequences.
The tensor product of two abelian groups ubc library open. Generally, the multiplicative notation is the usual notation for groups, while the additive notation is the usual notation for modules and rings. C,\otimes with a right and left action, respectively, of some monoid a a, their tensor product over a a is the quotient of their tensor product in c c by this action. Tensors of free groups and abelian groups physics forums. Pairing, tensor product, finite abelian group, module, duality. While it is comparatively simple to do so for nite groups and there are known methods for doing so, it is often very di cult to do so for in nite groups. W of two vector spaces v and w over the same field is itself a vector space, together with an operation of bilinear composition, denoted by. The tensor product university of california, berkeley. The tensor product and the 2nd nilpotent product of groups. The tensor product of two modules a and b over a commutative ring r is defined in exactly the same way as the tensor product of vector spaces over a field.
The tensor product of two abelian groups by david mit. These actions form a compatible pair of actions, hence it makes sense to take the tensor product of the two groups. Suppose and are abelian groups possibly equal, possibly distinct. Th freee abelian group over a set the subjec otf this paper, the tensor product of two abelian groups, involve intrinsicalls thye concept of a free group th tensoe r product m our case might better be termed the free bilinear product, as by fuchs and so this topic wil l. Th freee abelian group over a set the subjec otf this paper, the tensor product of two abelian groups, involve intrinsicalls thye concept of a free group th tensoe r product m our case might better be termed the free bilinear product, as by fuchs and so this topic wil l be dealt with first in its own right. Using this result we provide an example, based on work by soublin.
Similarly, the tensor product over z of an rchain complex x and a zchain complex y is an rchain complex. The tensor product of v and w is the vector space generated by the symbols v. This should be a special case of the tensor product whose existence i need and i really need this tensor product not only for the discrete, torsion free case, but in general. Tensor products of affine and formal abelian groups arxiv. We note that the nonabelian tensor square of two abelian groups is equivalent to the ordinary tensor square for abelian groups. Tensor products rst arose for vector spaces, and this is the only setting where tensor products occur in physics and engineering, so well describe the tensor product of vector spaces rst. Finally, the universal property which characterizes the tensor product of abelian groups follows for a c b from its very definition. After explicating a minimalist notion of reasonability, we will see that a tensor product a z q is just right. For every abelian group g and every balanced product.
A natural topology on the tensor power of real groups sung myung department of mathematics education, inha university, 100 inharo, namgu, incheon, 22212 korea. In this section, we introduce a process to build new bigger groups from known groups. W is the complex vector space of states of the twoparticle system. Note that each of these complexes is a tensor product complex, but for the two complexes on the ends, the contribution to the boundary from the second part of tensor product is trivial. A b c a b f6 i f the tensor product exists and it is unique. Tensor products of modules over a commutative ring are due to bourbaki 2 in 1948. Isomorphism between tensor products of abelian groups. Twogenerator twogroups of class two and their nonabelian. Pdf the order of the nonabelian tensor product of groups.
If one of the groups is a torsion group, then the tensor product can be completely described by invariants. May 27, 2014 tensors of free groups and abelian groups thread starter wwgd. There are many examples of application of the construction and universal properties of. The tensor product of two unipotent group schemes does not need to be. This may be a little vague so, if you prefer, you can.
Let rbe a commutative ring with unit, and let m and n be rmodules. Abelian affine group schemes, plethories, and arithmetic. The tensor products and tensor powers of abelian groups play signi. Tensor products of finitely cocomplete and abelian categories. Tensor, tor, ucf, and kunneth colorado state university. In the previous section, we took given groups and explored the existence of subgroups. Aunitalrmodule is an abelian group mtogether with a operation r. Given two abelian groups a and b, their tensor product a. Let g and h be a pair of groups acting upon each other in a compatible way, that is ghg0 gh g. Visscher, nor haniza sarmin skip to main content accessibility help we use cookies to distinguish you from other users and to provide you with a better experience on our websites. With this notion of product, ab is a symmetric monoidal category. Two generator two groups of class two and their nonabelian tensor squares volume 41 issue 3 luisecharlotte kappe, matthew p. The tensor product of two abelian groups by david mit ton a. Direct products and finitely generated abelian groups note.
Whenever a module has coe cients in a eld, you get a vector space. Tensor products of chain complexes 189 tensor the sequence 39 with c0to get the exact sequence of chain complexes 40 0. As this paper is simply an introduction into the simplest forms of representation theory, we deal exclusively with nite groups, in both the abelian and non abelian case. As with all universal properties, the above property defines the tensor product uniquely up to a unique isomorphism. The tensor product of groups is usually defined only for abelian groups 1, however, in what follows this definition will be extended to nonabelian. In order to be able to establish this relation, we need to keep in mind that given a copmodule f. The additive notation may also be used to emphasize that a particular group is abelian, whenever both abelian and non abelian groups are considered, some notable exceptions being nearrings and partially ordered groups, where an operation is written. In paper b we study tensor products of abelian affine group schemes over a perfect field k. Pairings from a tensor product point of view archive ouverte hal. V r w is the tensor product of two real vector spaces v and w, and any module homomorphism is just a linear map of.
The torsion product behaves differently, it raises more challenging problems. If a a is commutative, then this is a special case of the tensor product in a multicategory. A over z of an rmodule m and an abelian group a is an rmodule via rm. N in the category of abelian groups and with each homomorphismf. Let ab be the collection of abelian groups, regarded as a multicategory whose multimorphisms are the multilinear maps a 1. Note that we have associated with each object nin the category of amodules an object hom am. The reason why this is the situation may be sought primarily in the fact that forming tensor products simplifies the group structure in a considerable manner, as is shown by the result stating that the tensor product of two torsion groups is always the direct sum of cyclic groups. A z bis just the tensor product of two abelian groups.
A natural topology on the tensor power of real groups. Pdf the tensor product of nonabelian groups and exact. B is defined by factoring out an appropriate subgroup of the free group on the cartesian product of the two groups. G2 of two affine abelian group schemes g1, g2 over a perfect field k exists. In case that both the groups are abelian groups and both the maps are trivial maps i. Tensor products of affine and formal abelian groups tilman bauer and magnus carlson abstract. There exist two abelian qlinear categories whose deligne. Using the previous problem and the fundamental theorem of abelian groups and that tensor products distribute over direct sum. Let g, h be groups that act compatibly on each other and consider the non abelian tensor product g. Ii for tensor products they wrote \direct products of hilbert spaces. Xi, 1960 tensor product of nonabelian groups and exact sequences 167 independent of the choice of presentation of c, but that it does contain tor c, g, where c and are c and g. As with free abelian groups, being a minimal generating set is not enough to be a basis, as 2,3 is a minimal generating set for z, a free group of rank one. Their tensor product as abelian groups, denoted or simply as, is defined as the quotient of the free abelian group on the set of all symbols by the following relations. The following is an explicit construction of a module satisfying the properties of the tensor product.
318 300 1565 1434 801 963 683 1468 1310 629 1225 654 377 1548 1568 797 697 456 1298 1627 1035 1015 154 1153 488 1572 769 1074 873 84 755 1610 672 915 28 807 1082 851 214 838 1405 960 64