Abelian groups

The symmetry groups for the chiral tubules are Abelian groups. The corresponding space groups are non-symmorphic and the basic symmetry operations... 

R = (i/ r) require translations t in addition to rotations j/. The irreducible representations for all Abelian groups have a phase factor c, consistent with the requirement that all h symmetry elements of the symmetry group commute. These symmetry elements of the Abelian group are obtained by multiplication of the symmetry element./ = (i/ lr) by itself an appropriate number of times, since R = E, where E is the identity element, and h is the number of elements in the Abelian group. We note that N, the number of hexagons in the ID unit cell of the nanotube, is not always equal h, particularly when d 1 and dfi d. 

D. L. Armacost, The Structure of Locally Compact Abelian Groups (1981)... 

The product of group elements is not necessarily commutative and in general AB BA. If all the elements of a group commute with each other, it is said to be an Abelian group. 

We will first consider an abelian group, namely the cyclic group Zra. The pi s forming a regular representation commute with each other and... 

H2i X) is the free abelian group generated by the homology classes of the closures of the i-dimensional cells. 

In this section, We assume X is simply-connected for simplicity. Let NS(X) be the Neron-Severi group of X. By the assumption this is a hnitely generated free abelian group. The intersection form dehnes a non-degenerate symmetric bilinear form, which we denote by ( , ). The Hodge index theorem (see e.g., [5]) says that its index is (1, n). 

More generally, suppose g = 2 and d = pn. We remark that we have an exact sequence of abelian groups... 

We will work in the fppf topology on the category of schemes over 5. A group scheme over S will be identified with the sheaf of abelian groups it gives rise to. A sequence G — G -+ Gft of group schemes over S will be called exact if the associated sequence of sheaves is exact. 

Let G — G be a morphism of finite flat group schemes over S. The sheaves of abelian groups Ker(< ), Im(< ) and Coker(< ) are in general not representable by finite flat group schemes over 5. However, if one of them is so representable then they all are. Such a will be called admissible. 

In 2 we determine how the fibres of the components of Ag,d over the finite primes split up into irreducible components. It turns out that this question is equivalent to a question in the theory of finite abelian groups (Proposition 2.3). 

In 3 we continue the study of the stratification by p-rank of Ag,d 0FP which was started in [NO]. The locus Z = Vg-i Vg 2 C A5,d Fp corresponding to abelian varieties of p-rank exactly g 1 is decomposed into irreducible components. Finally we determine which components of Z are contained in a fixed component of Ag, Fp again this turns out to be equivalent to a question in the theory of abelian groups (Proposition 3.4). 

The birth of the ideas related to the (non-)Abelian Stokes theorem dates back to the ninetenth century, with the emergence of the Abelian Stokes theorem. The Abelian Stokes theorem can be treated as a prototype of the non-Abelian Stokes theorem or a version of thereof when we confine our discussion to an Abelian group. 

It is dear that the elements of point groups do not necessarily commute, that is the order in which one combines two symmetry operations can be important (see, for example, Fig. 2-4.1 and Table 3-4.1 where for the symmetric tripod Ctar j o C ). A group for which all the elements do commute is called an Abelian group. 

Consider an Abelian group of order h. Since the group is Abelian, it has h classes (Section 9.2) and therefore h irreducible representations. Theorem... 

Consider Qn. This is an Abelian group of order n and therefore has n one-dimensional irreducible representations. These are easily found. Let to be the scalar that represents the operation C since C ( = E) must be represented by 1 in one-dimensional representations, we have to" = 1. Hence [Equation (1.76)]... 

For an Abelian group, each element is in a class by itself, since X 1AX = AX IX = A. Since rotations about the same axis commute with each other, the group e is Abelian and has n classes, each class consisting of one symmetry operation. 

An Abelian group has each element in a class by itself. The converse of this theorem is also true A group with each element in a class by itself is Abelian. The proof is simple By hypothesis C 1AC=A for all elements A and C left multiplication by C gives AC—CA. Q.E.D. The number of symmetry operations in each class of a point group is indicated by an integer in front of the symbol for the symmetry operation, and it is therefore easy to see whether a group is Abelian by looking at the top line of the character table. 

There are some groups, however, in which combination is commutative, and such groups are called Abelian groups. Because of the fact that multiplication is not in general commutative, it is sometimes convenient to have a means of stating whether an element B is to be multiplied by A in the sense AB or BA. In the first case we can say that B is left-multiplied by A, and in the second case that B is right-multiplied by A. 

Prove that in any Abelian group, each element is in a class by itself. 

Prove that all irreducible representations of Abelian groups must be one dimensional. 

---