The nonabelian tensor product of finite groups is finite by graham ellis, journal of algebra, issn 00218693, volume 111, page 203 205year 1987. The tensor product of nonabelian groups and exact sequences. Tensor products of modules over a commutative ring are due to bourbaki 2 in 1948. In this paper we shall consider abelian groups only. On the nonabelian tensor product of groups algebra colloquium. Representations of algebras and finite groups 7 preface these notes describe the basic ideas of the theory of representations of nite groups. Tensor product of finite groups is finite groupprops. Smith normal form is a reduced form similar to the row reduced matrices encountered in elementary linear algebra.
Prove the existence part of the fundamental structure theorem for abelian groups. Most of the essential structural results of the theory follow immediately from the structure theory of semisimple algebras, and so this topic occupies a long chapter. And of course the product of the powers of orders of these cyclic groups is the order of the original group. B c a \times b \to c that are right exact in each argument separately. For a and b two abelian groups, their tensor product a. The nonabelian tensor product of finite groups is finite graham j. Suppose and are abelian groups possibly equal, possibly distinct. Isomorphism between tensor products of abelian groups. Suppose that g is residually finite and the subgroup \g,h \langle g1gh \ \mid g \in g, h\in h\rangle \ satisfies some nontrivial identity \f \equiv 1\. 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. Tensor products of affine and formal abelian groups arxiv. He argues that in this case it is better to use kellys tensor product of finitely cocomplete categories, because it always exists, and it agrees with delignes tensor product. Every nite abelian group is isomorphic to a direct product of cyclic groups of orders that are powers of prime numbers.
Combining the little we know about character groups with the fundamental theorem of nite abelian groups we get proposition 8. Every nite abelian group a can be expressed as a direct sum of cyclic groups of primepower order. A nonabelian tensor product of lie algebras volume 33 issue 1 graham j. Direct products and classification of finite abelian groups 16a. Every finite abelian group is isomorphic to a product of cyclic groups of primepower orders. If any abelian group g has order a multiple of p, then g must contain an element of order p. Ellis department of pure mathematics, university college of north wales, bangor, gwynedd ll57 zuw, united kingdom communicated by p. Some of the general structure theory in the compact case is quite similar to that of the case of. A homologyfree proof article pdf available in glasgow mathematical journal 5203. B c a \boxtimes b \to c are equivalent to functors a. 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. Aata finite abelian groups university of puget sound. Browse other questions tagged abstractalgebra group theory finite groups tensor products abelian groups or ask your own question.
Pointed finite tensor categories over abelian groups arxiv. A nonabelian tensor product of lie algebras glasgow. Let g be a finite abelian group acting by tensorproduct automorphisms on a uhfc. Classify all representations of a given group g, up to isomorphism. Since and are abelian, is a normal subgroup of both and thus is also a normal subgroup of because an element of is a finite product of elements of and. Finiteness of a non abelian tensor product of groups article pdf available in theory and applications of categories 25. If x is of finite order, then yf is a torsion group and splits trivially. 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. Applications to second homology groups, topology 23, no. The tensor product of two abelian groups ubc library open.
The fundamental thm of finite abelian gps every finite abelian group is a direct product of cyclic groups of prime power order, uniquely determined up to the order in which the factors of the product are written. Direct products and finitely generated abelian groups note. The fixedpoint algebra of tensorproduct actions of finite. B a, b \mapsto a \otimes b in this multicategory is the tensor product of abelian groups. The fundamental thm of finite abelian groups we are now in a position to give a complete classification of all finite abelian groups. Nonabelian tensor product of residually finite groups.
Kishimoto it is shown that the number of extremal traces on the fixedpoint algebra 9. We prove that if p is a prime and every tensor has p. Using our results, we obtain some upper bounds for the exponent of the schur multiplier of the nonabelian tensor product of groups. For finite groups g and h the nonabelian tensor product of groups is finite 25. Note that the primes p 1p r are not necessarily distinct. 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. Finally, an abelian group is constructed by taking nonabelian tensor product of groups. The non abelian tensor product of finite groups is finite.
B is defined by factoring out an appropriate subgroup of the free group on the cartesian product of the two groups. As with all universal properties, the above property defines the tensor product uniquely up to a unique isomorphism. Theorem let a be a finite abelian group of order n. In case that both the groups are abelian groups and both the maps are trivial maps i. The fixedpoint algebra of tensorproduct actions of. Kishimoto it is shown that the number of extremal traces on the fixedpoint algebra 9 equals the cardinality of. Pairing, tensor product, finite abelian group, module, duality. Pdf the nonabelian tensor product of finite groups is finite. Statement from exam iii pgroups proof invariants theorem. In fact, the claim is true if k 1 because any group of prime order is a cyclic group, and in this case any nonidentity element will. In this paper we study tensor products of affine abelian group. The non abelian tensor product of finite groups is finite by graham ellis, journal of algebra, issn 00218693, volume 111, page 203 205year 1987.
Ii for tensor products they wrote \direct products of hilbert spaces. Here the author points out that while delignes tensor product always exists for finite abelian categories, it does not always exist for general abelian categories. Deligne tensor product of abelian categories in nlab. Let be a finite non abelian group in which every proper subgroup is abelian. The nonabelian tensor squares of finite pgroups have been studied. More precisely, if g is abelian and h is a nilpotent group, then an upper bound for the exponent of g.
In 9 and 21, the authors prove that the non abelian tensor product of finite groups is a finite group, and they also show that the non abelian tensor product of finite p groups is a finite p. 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. This is a useful approach i have seen used in some results. The nonabelian tensor product of finite groups is finite. B is a new abelian group which is such that a group homomorphism a. This is a group via pointwise operations, so it is clearly abelian. For a a and b b two abelian categories, their deligne tensor product a. Official copy elsevier sciencedirect, via doi more info.
On the tensor square of non abelian nilpotent finite. Pdf the nonabelian tensor product of finite groups is. 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. Kishimoto it is shown that the number of extremal traces on the fixedpoint algebra d g equals the cardinality of the subgroup k of automorphisms in g which are weakly inner in the trace representation of d. We shall prove the fundamental theorem of finite abelian groups which tells us that every finite abelian group is isomorphic to a direct product of cyclic \p\groups. The nonabelian tensor product of finite groups is finite, j. A generalized tensor product of groups was introduced by r. The role of the tensor product in the splitting of abelian groups. Let g, h be groups that act compatibly on each other and consider the non abelian tensor product \g \otimes h\. This is the content of the fundamental theorem for finite abelian groups. A bilinear map is a function of two variables that belong. In this section, we introduce a process to build new bigger groups from known groups. In 9 and 21, the authors prove that the nonabelian tensor product of finite groups is a finite group, and they also show that the nonabelian tensor product of finite p groups is a finite p.
These actions form a compatible pair of actions, hence it makes sense to take the tensor product of the two groups. Tensor products of affine and formal abelian groups tilman bauer and magnus carlson abstract. Let g and h be groups that act compatibly on each other. There are many examples of application of the construction and universal properties of. Direct products and classification of finite abelian groups. Classi cation of finitely generated abelian groups the proof given below uses vector space techniques smith normal form and generalizes from abelian groups to \modules over pids essentially generalized vector spaces. Pdf finiteness of a nonabelian tensor product of groups. Tensors of free groups and abelian groups physics forums. Direct products and classification of finite abelian.
B a \boxtimes b is the abelian category such that for any other abelian category c c right exact functors of the form a. Pdf in this note, we give a homologyfree proof that the nonabelian tensor product of two finite groups is finite. Let ab be the collection of abelian groups, regarded as a multicategory whose multimorphisms are the multilinear maps a 1. After explicating a minimalist notion of reasonability, we will see that a tensor product a z q is just right. Let g be a finite abelian group acting by tensorproduct automorphisms on a uhfcalgebra 8. Further, we show that if n is a positive integer and every tensor is left nengel in \\eta g,h\, then the non abelian tensor product \g \otimes h\ is locally nilpotent.
In the previous section, we took given groups and explored the existence of subgroups. Aug 18, 2017 we prove that if p is a prime and every tensor has ppower order, then the non abelian tensor product \g \otimes h\ is locally finite. We brie y discuss some consequences of this theorem, including the classi cation of nite. Mathematics stack exchange is a question and answer site for people studying math at any level and professionals in related fields. Moreover the powers pe 1 1p er r are uniquely determined by a. For every abelian group g and every balanced product. Pairings from a tensor product point of view archive ouverte hal. The concept of an abelian group is one of the first concepts encountered in undergraduate abstract algebra, from which many other basic concepts, such as modules and vector spaces, are developed. For every subgroup hof gthere is a subgroup kof gwith hk g and h\k feg. 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.
Finite abelian groups amin witno abstract we detail the proof of the fundamental theorem of nite abelian groups, which states that every nite abelian group is isomorphic to the direct product of a unique collection of cyclic groups of prime power orders. Finite groups and character theory this semester well be studying representations of lie groups, mostly compact lie groups. We denote by \\eta g,h\ a certain extension of the nonabelian tensor product \g \otimes h\ by \g \times h\. Some remarks on history the earliest paper which uses a version of the nonabelian tensor square, and so a replacement of the commutator map by a morphism, is surely 1 by claire miller. Finiteness conditions for the nonabelian tensor product of. Representation theory university of california, berkeley. 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. Characters on nite abelian groups satisfy a sort of hahnbanach theorem.
1255 648 732 1094 1196 1640 580 444 509 817 1059 760 23 1170 333 711 1413 1067 234 1517 956 888 834 9 115 1524 117 318 1433 205 1263 560 1103 606 275