Pdf the nonabelian tensor product of finite groups is. Tensor products of affine and formal abelian groups tilman bauer and magnus carlson abstract. In the previous section, we took given groups and explored the existence of subgroups. Direct products and classification of finite abelian. Classify all representations of a given group g, up to isomorphism. The non abelian tensor product of finite groups is finite. Theorem let a be a finite abelian group of order n.
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. There are many examples of application of the construction and universal properties of. These actions form a compatible pair of actions, hence it makes sense to take the tensor product of the two groups. Statement from exam iii pgroups proof invariants theorem. Direct products and classification of finite abelian groups 16a. Pdf the nonabelian tensor product of finite groups is finite. Using our results, we obtain some upper bounds for the exponent of the schur multiplier of the nonabelian tensor product of groups. On the tensor square of non abelian nilpotent finite. In this section, we introduce a process to build new bigger groups from known groups.
The non abelian tensor product of finite groups is finite by graham ellis, journal of algebra, issn 00218693, volume 111, page 203 205year 1987. 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. Pairings from a tensor product point of view archive ouverte hal. Applications to second homology groups, topology 23, no.
For every abelian group g and every balanced product. A bilinear map is a function of two variables that belong. A generalized tensor product of groups was introduced by r. Let g, h be groups that act compatibly on each other and consider the non abelian tensor product \g \otimes h\. B a, b \mapsto a \otimes b in this multicategory is the tensor product of abelian groups. Isomorphism between tensor products of 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. B a \boxtimes b is the abelian category such that for any other abelian category c c right exact functors of the form a. B is a new abelian group which is such that a group homomorphism a. Finite groups and character theory this semester well be studying representations of lie groups, mostly compact lie groups. 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. A nonabelian tensor product of lie algebras glasgow.
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. This is a useful approach i have seen used in some results. 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. A homologyfree proof article pdf available in glasgow mathematical journal 5203. For finite groups g and h the nonabelian tensor product of groups is finite 25. Smith normal form is a reduced form similar to the row reduced matrices encountered in elementary linear algebra. Pointed finite tensor categories over abelian groups arxiv.
Aata finite abelian groups university of puget sound. 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. Pdf finiteness of a nonabelian tensor product of 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\. The nonabelian tensor product of finite groups is finite. Official copy elsevier sciencedirect, via doi more info. Combining the little we know about character groups with the fundamental theorem of nite abelian groups we get proposition 8. The nonabelian tensor squares of finite pgroups have been studied. The fixedpoint algebra of tensorproduct actions of. 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. Tensor products of affine and formal abelian groups arxiv. Every nite abelian group a can be expressed as a direct sum of cyclic groups of primepower order.
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. Deligne tensor product of abelian categories in nlab. 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. For every subgroup hof gthere is a subgroup kof gwith hk g and h\k feg. Let be a finite non abelian group in which every proper subgroup is abelian. The role of the tensor product in the splitting of abelian groups.
Kishimoto it is shown that the number of extremal traces on the fixedpoint algebra 9. 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. Finiteness conditions for the nonabelian tensor product of. In case that both the groups are abelian groups and both the maps are trivial maps i. Direct products and classification of finite abelian groups.
A nonabelian tensor product of lie algebras volume 33 issue 1 graham j. Let g be a finite abelian group acting by tensorproduct automorphisms on a uhfc. 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. 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. Tensors of free groups and abelian groups physics forums. 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. Pairing, tensor product, finite abelian group, module, duality. Note that the primes p 1p r are not necessarily distinct.
And of course the product of the powers of orders of these cyclic groups is the order of the original group. 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. 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. In this paper we shall consider abelian groups only. This is the content of the fundamental theorem for finite abelian groups. Finiteness of a non abelian tensor product of groups article pdf available in theory and applications of categories 25. 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. Every finite abelian group is isomorphic to a product of cyclic groups of primepower orders. Ii for tensor products they wrote \direct products of hilbert spaces. Let g and h be groups that act compatibly on each other. The tensor product of nonabelian groups and exact sequences.
Tensor products of modules over a commutative ring are due to bourbaki 2 in 1948. Prove the existence part of the fundamental structure theorem for abelian groups. We denote by \\eta g,h\ a certain extension of the nonabelian tensor product \g \otimes h\ by \g \times h\. B c a \boxtimes b \to c are equivalent to functors a. Moreover the powers pe 1 1p er r are uniquely determined by a. Some of the general structure theory in the compact case is quite similar to that of the case of. Ellis department of pure mathematics, university college of north wales, bangor, gwynedd ll57 zuw, united kingdom communicated by p.
For a a and b b two abelian categories, their deligne tensor product a. The nonabelian tensor product of finite groups is finite, j. We prove that if p is a prime and every tensor has p. Mathematics stack exchange is a question and answer site for people studying math at any level and professionals in related fields. 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. The theory of abelian groups is generally simpler than that of their non abelian counterparts, and finite abelian groups are very well understood. Representations of algebras and finite groups 7 preface these notes describe the basic ideas of the theory of representations of nite groups. For a and b two abelian groups, their tensor product a. On the nonabelian tensor product of groups algebra colloquium. The nonabelian tensor product of finite groups is finite by graham ellis, journal of algebra, issn 00218693, volume 111, page 203 205year 1987. We brie y discuss some consequences of this theorem, including the classi cation of nite. In this paper we study tensor products of affine abelian group. The fundamental thm of finite abelian groups we are now in a position to give a complete classification of all finite abelian groups. If x is of finite order, then yf is a torsion group and splits trivially.
Finally, an abelian group is constructed by taking nonabelian tensor product of groups. The fixedpoint algebra of tensorproduct actions of finite. Let ab be the collection of abelian groups, regarded as a multicategory whose multimorphisms are the multilinear maps a 1. The tensor product of two abelian groups ubc library open. 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. 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 nonabelian tensor product of finite groups is finite graham j. 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. 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. 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. Browse other questions tagged abstractalgebra group theory finite groups tensor products abelian groups or ask your own question. Representation theory university of california, berkeley.
Suppose and are abelian groups possibly equal, possibly distinct. After explicating a minimalist notion of reasonability, we will see that a tensor product a z q is just right. 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. Let g be a finite abelian group acting by tensorproduct automorphisms on a uhfcalgebra 8. Characters on nite abelian groups satisfy a sort of hahnbanach theorem. Pdf in this note, we give a homologyfree proof that the nonabelian tensor product of two finite groups is finite. Nonabelian tensor product of residually finite groups. 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. Every nite abelian group is isomorphic to a direct product of cyclic groups of orders that are powers of prime numbers.
If any abelian group g has order a multiple of p, then g must contain an element of order p. Tensor product of finite groups is finite groupprops. This is a group via pointwise operations, so it is clearly abelian. B c a \times b \to c that are right exact in each argument separately.
904 1420 1558 1610 1343 1157 1343 709 555 401 281 184 332 559 1255 150 1523 98 515 887 1101 1346 593 1649 1523 866 202 990 260 913 1064 160 1119 439 1443 901 906 395 1580 515 436 608 513 587 768 232 506 1004 302