You are currently browsing the tag archive for the ‘Set theory’ tag.
Introduction: Hello! Project’s Central Mystery
For ages, it has defied explanation, piggybacking on one group name after another. It waits, announcing its presence in a subtle yet forceful fashion, catching the eye with its unexpected existence yet never explaining its purpose. This elusive typographical flourish is none other than the ideographic full stop (。) at the end of several Hello! Project group names: モーニング娘。 (Morning Musume。), ココナッツ娘。 (Coconuts Musume。), カントリー娘。 (Country Musume。), アイスクリー娘。 (Ice Creamusume。), ミニモニ。 (Mini Moni。), エコモニ。 (Eco Moni。)—but interestingly, not プッチモニ (Pucchi Moni), a puzzle that we may be able to solve shortly. Unlike the names that precede it, this hardy symbol has proven immune to transformations like romanization: while “モーニング娘” can be written “MORNING MUSUME” in official documents (often, but not always, in all caps), the stop itself is never replaced by its Latin counterpart (.). There is something intrinsic to the ideographic full stop, then, that would be lost in translation. But what is it? As a distinguishing feature of the flagship group’s name since the very beginning, this little circular symbol lies at the heart of the Hello! Project enterprise, and understanding its true meaning may very well be the key to unlocking H!P’s greatest mysteries.
Perhaps it is a simple matter of topology. The ideographic and Latin full stops can be viewed as essentially a zerodimensional point and a onedimensional circle, respectively. Since they are represented in two dimensions on the page, however, we can also consider them to be projections of twodimensional objects in a threedimensional space (the page itself is a twodimensional Euclidean plane, so we must go to higher dimensions to have other types of twodimensional objects). From this perspective, the ideographic full stop is homeomorphic to a 1torus, while its Latin counterpart is homeomorphic to a sphere. These are distinct homeomorphism classes since there is no continuous deformation from one to the other, just as there is no way to continuously deform a donut into a ball.
But of course this does not explain the relevance of the full stop to Hello! Project. One important characteristic of the full stop is that it appears in the names of groups, so it is inextricably linked to H!P’s concept of a group. We may therefore be able to come to a fuller understanding of H!P by studying the structure of its constituent groups.
The term group also has a mathematical meaning, of course, and while on the surface the two meanings may seem disparate and unrelated, an indepth analysis from a grouptheoretic standpoint does yield a surprising number of coincidences, suggesting that H!P groups do have inherent mathematical structure worth taking a closer look at, whether or not this is the intention of producer Tsunku♂ et al. We may be able to gain insight into the nature of Hello! Project by viewing its groups in mathematical terms, and using group theory as a tool to aid our understanding.
The Basics of Groups
(See also Wikipedia’s article on elementary group theory, which may be a more useful intro to group theory.)
The mathematical discipline of group theory, a part of abstract algebra, examines the algebraic structures called groups. Groups are a central concept in algebra and other areas of mathematics, and have also found applications to physics, chemistry, computer science, and linguistics, among other fields.
Definition: A group consists of a set of objects along with a binary operator that can be applied to any two objects in the set. We can denote the set as G and the operator as ×, which for explanatory purposes we’ll call “multiplication” in a general sense, though numerical multiplication is only one example of a binary operator. Furthermore, the four group axioms must hold:
 Closure: For all a, b in G, a × b is also in G. (The result of multiplying any two elements in the set produces an element in the set.)
 Associativity: For all a, b, c in G, (a × b) × c = a × (b × c). (When there is more than one multiplication, it doesn’t matter which pair gets multiplied first—the result is the same.)
 Identity: There exists an element e in G such that for all a in G, a × e = e × a = a. (There is an element that can be multiplied with any element, in either order, without changing it.)
 Inverse: For each a in G, there exists an element b in G such that a × b = b × a = e. (Every element can be multiplied with some other element, in either order, to produce the identity.)
If a set and a binary operator defined on the set meet these conditions, then they form a group. We can specify further restrictions to define particular types of groups. For example, we can add commutativity to define the notion of an abelian group:
 Commutativity: For all a, b in G, a × b = b × a. (The order in which you multiply elements doesn’t matter.)
One example of a group (which also happens to be abelian) is the set of real numbers, R, under addition. (Note that here the group operator is addition, not multiplication). We can easily verify that the four group axioms, as well as commutativity, hold (this is not a proof, just an example):
 Closure: The sum of two real numbers is a real number.
 Associativity: For any real numbers a, b, c, (a + b) + c = a + (b + c).
 Identity: 0 is the additive identity. You can add it to any real number without changing it.
 Inverse: For any real number a, a is its inverse. The sum of the two is 0.
 Commutativity: For any real numbers a, b, a + b = b + a.
The set of real numbers under multiplication is not a group, however, since 0 does not have a multiplicative inverse (there’s no real number you can multiply with 0 to make 1, the multiplicative identity). But you can make this a group by excluding 0.
As we will see shortly, H!P groups consist of both abelian and nonabelian groups.
Hello! Project Groups as Mathematical Groups
Set Composition
There are a number of ways in which to regard H!P groups as groups in the grouptheoretic sense. A naïve approach would be to define a set consisting of the members of the group and define some appropriate binary operator over the members. Though this makes some intuitive sense and is relatively simple to start out with, we can easily show that it fails to capture the nature of H!P groups.
A counterexample would be Coconuts Musume。 after Ayaka’s graduation on 20080430. According to the official graduation announcement on Hello! Project’s site, Ayaka, the last remaining member of the group, graduated from Hello! Project as well as Coconuts Musume。 (“２００８年４月３０日（水）をもちまして『ココナッツ娘。』及び『ハロー！プロジェクト』から卒業することになりました。”) This implies that Coconuts Musume。 as a group did not graduate from Hello! Project. After losing its last member, it must remain as a zeromember group.
Unfortunately, there is no such thing as a zeroelement group. That would violate the identity property, which states that there exists an identity element. The smallest group is the trivial group, which contains just the identity and nothing else.
And that is the key to understanding how H!P groups work in a grouptheoretic sense. All groups must have an identity, and H!P groups are no exception. What Coconuts Musume。 retained after Ayaka’s graduation was its identity: the name “Coconuts Musume。”. The name did not graduate along with Ayaka but remained as the single persisting feature of the group. Here, the term identity is applicable in both its mathematical sense and its sense of being a name or label, an identifier.
So all true H!P groups have an identity, a name that is distinct from the members who constitute the group but is itself an element of the group. Due to the potential for confusion in terminology, I’ll clarify that I’m using member to refer to a human constituent of a group and element to refer to a constituent of the group in the theoretical sense. In this study, I assume that a group’s elements are solely its identity and its members, but that assumption need not hold in possible alternative grouptheoretic conceptions of H!P groups, which I will not consider here. Thus the current lineup of Morning Musume。 has ten elements (that is, it’s a group of order 10): nine members and an identity.
One could argue that the identity is just an insignificant auxiliary feature of a group, but I think treating it as an element in its own right does better to characterize H!P’s conception of its groups. The only element of Morning Musume。 that has remained throughout its changing generations is the identity, and it is solely due to the inclusion of the identity that the current lineup can still claim older songs like “LOVE Machine” or “Renai Revolution 21” as its own, even though none of the current members were around at the time of those releases. The Hello! Project web site acknowledges the importance of the group identity: the official profile of the group has a section devoted to each of its ten elements, and each of the ten elements has its name highlighted in blue. The identity has its own section at the top, where it belongs, since it is the longest lasting and arguably most important element of the group.
Interestingly, H!P uses the term unit (ユニット) to refer to its groups. This term appears, for example, in reference to H!P’s special and shuffle units, and Tsunku♂ uses it frequently. In a mathematical sense, unit can refer to some form of the number 1 (for example, the unit circle, the set of points with a distance of 1 from the origin), which is often the identity element in groups (especially when the group operator is regarded as multiplication). In a way, H!P’s use of the term associates a group with its identity.
Group Operator
Having considered the question of set composition, we now turn to what kinds of binary operators exist in H!P groups. This is a crucial aspect of a group, as the group operator determines the structure of a group, and without it, a group is simply a set, an unordered, unstructured collection of distinct elements. It can also be particularly tricky to discern the existence of a group operator, since it is not always clear what the inherent structure of an H!P group is. That said, we can find examples of group operators in some H!P groups.
Let us turn to the tracklist for Morning Musume。’s album Platinum 9 DISC. Several of the songs are credited to a single member (Mitsui, Michishige, Kamei) or to a subset of the members ({Takahashi, Niigaki, Tanaka}, {Kusumi, Junjun, Linlin}). Especially noteworthy is the use of an interpunct (・) to separate the names. The interpunct is commonly used in mathematics to denote multiplication (a · b), alongside other representations such as a × b, a * b, or simply ab. (My physical copy of the album uses a space to separate the names, which is another common way to denote multiplication.) We can assume that this indicates the application of the group operator to the members in question. As the group operator is associative, we need not specify an order in which pairs should be operated on, but since groups are not in general commutative, the order in which the members are listed may be relevant. (In the next section, I argue that Morning Musume。 is an abelian group, in which case the order of the members is actually not relevant.)
Given the prominence of the “Produced by Tsunku♂” credit on the cover of most of Tsunku♂’s productions, it seems sensible to call the group operator the “Tsunku♂ product” (or maybe “Tsunku♂ produce”) for those groups produced by Tsunku♂.
Groups vs. NonGroups
We have been discussing H!P groups without really defining what counts as an H!P group and what doesn’t. Here is a good place to distinguish between the two. A common taxonomy of H!P divides it into two categories: “groups” and “soloists”. This classification is largely consistent with our grouptheoretic formulation of H!P groups, but there are a few exceptions, which I will now examine more closely. In particular, there are acts commonly classified as “soloists” that are actually groups, and there are acts consisting of more than one member that are not actually groups.
One example of the former is Tsukishima Kirari starring Kusumi Koharu (Morning Musume。). Commonly regarded as a soloist, this is actually a twoelement group consisting of the identity “Tsukishima Kirari starring Kusumi Koharu (Morning Musume。)” and the single member Kusumi Koharu. The two elements are distinct from each other: Kusumi is also a member of Morning Musume。, but Tsukishima Kirari isn’t.
Most soloists are not groups. The key criterion is whether or not the soloist’s performing identity is distinct from their own. If so, then the soloist and the identity together form a group; if not, then the soloist is not a group.
On the other hand, we have collections of members that do not constitute groups. One example is the aforementioned “Takahashi Ai · Niigaki Risa · Tanaka Reina”, who are credited for two songs on Platinum 9 DISC. In this case, there is no distinct identity associated with this trio. They are simply individual members appearing together, credited as such. If one applies the group operator to the trio, the result is an element of Morning Musume。, but which one it is depends on the definition of the group operator, a topic we will address in the next section.
In practice, there is not always a clear distinction between groups and nongroups in H!P. Some acts, like Abe Natsumi & Yajima Maimi (°Cute), have names that are composed of individual members’ names, so it may be equally valid to regard them as individual members appearing together, or as a group with a distinct identity that just happens to resemble the individual members’ names. H!P acts vary a bit in this regard, and some composite names seem more like distinct group identities than others.
One important feature of an identity, however, is its immutability. If you change the name of an identity, it becomes a different identity. So this could be used to determine what counts as a distinct identity. In the case of “Takahashi Ai · Niigaki Risa · Tanaka Reina”, different official representations have used interpuncts and spaces to separate the members’ names, so there is no single correct representation of the name, and hence no distinct identity. On the other hand, Shigepink, Kohappink is an actual group, even if it looks as though it could be a composite of smaller groups Shigepink and Kohappink. The halfstop or comma between the names is invariable, as can be seen in the track listing for 7.5 Fuyu Fuyu Morning Musume。 Mini!. While an interpunct separates Yoshizawa, Niigaki, and Kamei in the track credit above, Shigepink, Kohappink’s credit retains a halfstop.
Group Isomorphisms
Once we can characterize the structure of a group, it is useful to relate it to a more abstract notion of a group. We can say that an H!P group is isomorphic to some abstract group—that the two exhibit the same group structure. In particular, this means that there is a onetoone correspondence between H!P group elements and elements of the abstract group such that the relationships expressed by the group operator are preserved: if Takahashi, Michishige, and Kusumi correspond to the elements a, b, and c, respectively, in another group, and multiplying Takahashi and Michishige produces Kusumi, then applying the group operator to a and b in the other group should yield c.
One can then apply what is already known about such an abstract group to the H!P group in question, and also relate different H!P groups that are isomorphic to the same abstract group (and hence to each other).
Up to this point, we have not yet conclusively defined the group operator for any group, but for groups with three or fewer elements, we do not need any additional information to determine an isomorphism, as long as we know which element is the identity.
Field Guide???
If this were, say, a field guide to H!P groups in their natural habitats (or should I say group guide, since a field is another kind of algebraic structure), each group could have its own entry with relevant info, statistics, and taxonomic classification. In this post, I will attempt to provide a brief entry for several of the groups, and if any of you are interested, you can try adding entries for the other groups.
The first three entries will include one representative group each of orders 1, 2, and 3; the groups have already been mentioned above.
(Note that the concepts of subgroup and center don’t exactly correspond to their conventional H!P meanings. I’ll discuss these in Part 2.)
Coconuts Musume。 (postAyaka era, May 2008 — ???)  
Order  1  
Identity  ココナッツ娘。  
Elements and inverses 


Cayley table 


Nontrivial proper subgroups and cosets 


Minimal generating sets  {}  
Center  {e}  
Cycle graph 


Isomorphic to  Trivial group  
Finite?  Yes  
Simple?  No  
Abelian?  Yes  
Cyclic?  Yes  
Perfect?  Yes  
Nilpotent?  Yes  
Solvable?  Yes 
Tsukishima Kirari starring Kusumi Koharu (Morning Musume。) (2006 — 2009)  
Order  2  
Identity  月島きらり starring 久住小春(モーニング娘。)  
Elements and inverses 


Cayley table 


Nontrivial proper subgroups and cosets 


Minimal generating sets  {K}  
Center  {e,K}  
Cycle graph 


Isomorphic to  Cyclic group C_{2}  
Finite?  Yes  
Simple?  Yes  
Abelian?  Yes  
Cyclic?  Yes  
Perfect?  No  
Nilpotent?  Yes  
Solvable?  Yes 
Shigepink, Kohappink (2006 — ???)  
Order  3  
Identity  重ピンク、こはっピンク  
Elements and inverses 


Cayley table 


Nontrivial proper subgroups and cosets 


Minimal generating sets  {M},{K}  
Center  {e,M,K}  
Cycle graph 


Isomorphic to  Cyclic group C_{3}  
Finite?  Yes  
Simple?  Yes  
Abelian?  Yes  
Cyclic?  Yes  
Perfect?  No  
Nilpotent?  Yes  
Solvable?  Yes 
The Cyclic Groups of H!P
It is interesting that Morning Musume。 was founded on a notion of “cycling” through members to establish successive generations, by inducting new members and graduating existing members. Both words in the name also reflect a notion of periodic cycles: mornings are part of the daily cycle, and musume (daughters) are part of a cycle of familial generations. The full stop also adds a notion of periodicity—both in its more common North American name, the period, and its circular shape. All of this suggests that a notion of cyclicity is integral to the concept of Morning Musume。 as a group, and perhaps to others as well, particularly those with the full stop in their names.
Indeed, groups in the mathematical sense can also be cyclic. A cyclic group is one whose elements can be generated by a single element of the group: every element can be produced by successively applying the group operator to the generator. In a multiplicative sense, every element is a power of the generator.
We can then conclude that every H!P group with a circular full stop in its name is a cyclic group. If a group has n members, then it is isomorphic to the cyclic group of order n + 1, which is isomorphic to both Z_{n+1}, the group of integers under addition modulo n + 1, and the complex (n + 1)st roots of unity, . For example, here are the 6th complex roots of unity, a cyclic group of order 6:
(It is worth noting that the circle group, being an uncountably infinite group, is not a cyclic group, so the pictorial representation of the full stop may not be accurate if perceived as a circle. However, it is possible to generate a dense cyclic subgroup of the circle group by using any irrational number as a generator, so there is a valid cyclic group interpretation.)
The three groups detailed above are all cyclic groups, but as we go higher in order, it is possible for groups not to be cyclic, so it is useful to be able to recognize cyclic structure where it exists.
The presence of the full stop establishes Morning Musume。 as a cyclic group of order 10. However, from just this information alone, we cannot conclusively determine Morning Musume。’s group structure. We know that it is isomorphic to the cyclic group of order 10, but we don’t know which isomorphism is correct. Depending on our choice of isomorphism, we could identify different subsets of the members as generators. (In the previous three groups, all isomorphisms are equivalent: any permutation of the members yields the same group structure; but in Morning Musume。, different permutations of the members can yield different group structures. There are in fact 90720 possible distinct group structures you can produce depending on which of the possible permutations of the nine members you pick—I leave the proof of this fact as an exercise for the reader.)
We therefore look to the standard order of H!P’s groups. Hello! Project generally orders its groups by seniority, and the standard order features prominently in musical releases, concerts, and public appearances. It is not an arbitrary order but an integral feature of each group. Accordingly, we use the standard order to enumerate the elements of an H!P cyclic group: the kth member in a group with n members is mapped to k in Z_{n+1} and to in the group of complex (n + 1)st roots of unity.
This yields the following entry for the current lineup of Morning Musume。:
Morning Musume。 (Takahashi era, June 2007 — present)  
Order  10  
Identity  モーニング娘。  
Elements and inverses 


Cayley table 


Nontrivial proper subgroups and cosets 


Minimal generating sets  {TA}, {KE}, {MA}, {L}  
Center  {e,TA,N,KE,MS,TR,KK,MA,J,L}  
Cycle graph 


Isomorphic to  Cyclic group C_{10}  
Finite?  Yes  
Simple?  No  
Abelian?  Yes  
Cyclic?  Yes  
Perfect?  No  
Nilpotent?  Yes  
Solvable?  Yes 
With this group structure, we can evaluate the combinations of group members mentioned earlier (and since all cyclic groups are abelian, the order in which we apply the group operator does not matter):
 Takahashi · Niigaki · Tanaka = 1 + 2 + 5 = 8 = Junjun
 Kusumi · Junjun · Linlin = 6 + 8 + 9 = 23 ≡ 3 (mod 10) = Kamei
Or, equivalently, treating the operation as a product (the “Tsunku♂ product”) of complex numbers:
 Takahashi · Niigaki · Tanaka = = Junjun
 Kusumi · Junjun · Linlin = = Kamei
Of course, this raises newer questions that we have yet to answer, but it seems Kamei is somehow responsible for “Guruguru JUMP”.
If we consider °Cute a cyclic group as well, interpreting the degree symbol (°) to be analogous to the full stop, we have the following entry (assuming standard order to resolve among the 120 possible distinct group structures):
°Cute (postArihara era, July 2009 — present)  
Order  7  
Identity  °Cute  
Elements and inverses 


Cayley table 


Nontrivial proper subgroups and cosets 


Minimal generating sets  {U}, {Y}, {N}, {S}, {O}, {H}  
Center  {e,U,Y,N,S,O,H}  
Cycle graph 


Isomorphic to  Cyclic group C_{7}  
Finite?  Yes  
Simple?  Yes  
Abelian?  Yes  
Cyclic?  Yes  
Perfect?  No  
Nilpotent?  Yes  
Solvable?  Yes 
Being a cyclic group of prime order, °Cute is a simple group, as opposed to Morning Musume。, which is not currently a simple group but has been so several times in the past. Prior to losing Arihara, however, °Cute was also not a simple group, and in addition, had the curious distinction of being a group whose leader (Yajima) was not a generator, since Yajima’s index, 2, is not relatively prime to °Cute’s group order at the time, 8. In most groups, the leader has the highest seniority and accordingly has an index of 1, which is relatively prime to everything, so it is usually the case that the leader is also a generator.
With that, we end our discussion of cyclic groups in H!P. Not all groups are cyclic, however, and while one valid approach would be to categorize all H!P groups as cyclic (since there is a cyclic group for every positive integer order), the characteristics of some H!P groups suggest that they exhibit different group structures not isomorphic to cyclic groups. And this is where H!P groups start to get very interesting, but as I’ve already written way too much for this post, I’ll end it here and promise to resume next time with a survey of a variety of noncyclic Hello! Project groups, as well as a possible explanation for the lack of a full stop in Pucchi Moni’s name and the meaning behind the V in Pucchi Moni V.
to be continued…
Countdown! The Top 100 Hello! Project PVs
At this rate, we’ll get to the #1 video in the year 2023 or so…
Recent Comments