1 Introduction
Recent years have seen significant progress in machine learning (ML), in particular in terms of supervised
[44, 49, 73, 37][60, 59, 45, 38, 29, 68]. Many of the best performing algorithms, however, often suffer from poor data efficiency. Furthermore, their performance often lacks the same level of robustness and generalisability that is characteristic of biological intelligence [52, 31, 57].A long standing idea in ML is that such shortcomings can be reduced by introducing certain inductive biases into the model architecture that reflect the structure of the underlying data [12, 33, 21, 43]
. One of the most impactful demonstration of this idea, which caused a step change in machine vision, is the convolutional neural network, in which the translation symmetry characteristic of visual observations is hard wired into the network architecture through the convolution operator
[54].An alternative to hard wiring inductive biases into the network architecture is to instead learn a representation that is faithful to the underlying data structure [76, 2, 3, 5, 4, 8, 69]. This is the motivation for the work on disentangled representation learning, which differs from other dimensionality reduction approaches through its explicit aim to learn a representation that axis aligns with the generative factors of the data [10, 67, 25]. Note, however, that currently there is little agreement in the field on many aspects of disentangled representations [55], including what constitutes the data generative factors, whether each data generative factor should be represented with a single or multiple dimensions, and whether the representation should have a unique axis alignment. The lack of a formal definition for disentangled representations makes it hard to evaluate new approaches and measure progress in the field.
Our work attempts to bridge this gap. In particular, we use tools from mathematics and physics to show that, under certain assumptions, a formal connection can be made between the symmetry transformations characteristic of our world and disentangled representations. In particular, our argument is based on the observation that many natural transformations will change certain aspects of the world state, while keeping other aspects unchanged (or invariant). Such transformations are called symmetry transformations, and they can be described and characterised using group and representation theories in mathematics. In particular, these approaches can be used to define a set of constraints on the decomposition of a vector space into independent subspaces to ensure that the vector space is reflective of the underlying structure of the corresponding symmetry group. We apply these insights to the vector space of the model representations and, through that, arrive at the first principled definition of a disentangled representation. Intuitively, we define a vector representation as disentangled, if it can be decomposed into a number of subspaces, each one of which is compatible with, and can be transformed independently by a unique symmetry transformation.
Note that this paper only aims to make a theoretical contribution and does not provide a recipe for a general algorithmic solution to disentangled representation learning. It builds a framework to establish a formal connection between symmetry groups and vector representations, which in turn helps resolve many outstanding points of contention surrounding disentangled representation learning. For example, our insights can elucidate answers to questions like what are the “data generative factors”, which factors should in principle be possible to disentangle (and what form their representations may take), should each generative factor correspond to a single or multiple latent dimensions, and should a disentangled representation of a particular dataset have a unique basis (up to a permutation of axes). We hope that by gaining a better understanding of what disentangling is and what it is not, faster progress can be made in devising more robust and scalable approaches to disentangled representation learning.
The rest of the paper is organised as follows. We start by reviewing some of the insights from modern physics on importance of symmetry transformations in our world (Sec. 2). We then present a highlevel overview of our perspective on how the connections between symmetry transformations and vector representations can be used to define disentangled representations (Sec. 3), before giving a brief history of research on disentangled representations and related work on symmetries in machine perception (Sec. 4). We then provide a formal definition of the highlevel definitions from Sec. 3 using the mathematical formalism of group and representation theories (Secs. 56), and discuss the consequences of our definition in the context of the current beliefs about disentangled representations in Sec. 7. We start with a nontechnical overview to ensure that the readers are introduced to the big picture first and can use the built intuitions to navigate the details of the mathematical formalism that follows. Nonmathematically inclined readers can safely skip Secs. 56 and instead concentrate on Secs. 3 and 7.
2 Our symmetrical world
At the basis of our reasoning lies the assumption that the world dynamics can be described in terms of symmetry transformations that change certain aspects of the world state while keeping other aspects unchanged. This assumption is inspired by the profound role of symmetries in physics. Physics aims to build useful predictive models of our world at different levels of abstraction (e.g. from quantum physics, to electromagnetism, to thermodynamics, to classical mechanics). Symmetry transformations are prevalent at every level of abstraction and “it is only slightly overstating the case to say that physics is the study of symmetry” [6].
Intuitively, a symmetry of an object is a transformation that leaves certain properties of the object invariant. For example, translation and rotation are symmetries of objects – an apple is still an apple whether it is placed on a table or in a bag, and whether it rolls on its side or remains upright. Note that the word “object” is used in the broadest possible sense – it could be a mathematical object. For example, the subspace of a unit circle defined by the function in remains invariant under the symmetry transformation of axis permutation.
The study of symmetries in physics in its modern form originates with Noether’s Theorem [61], which proved that every conservation law is grounded in a corresponding continuous symmetry transformation. For example, the conservation of energy arises from the time translation symmetry, the conservation of momentum arises from the space translation symmetry, and the conservation of angular momentum arises due to the rotational symmetry. Since then, the study of symmetries in physics has allowed for extraordinary generalisation of prediction to new domains. For example, GellMann [32] predicted the existence of a particle called in 1962 based on the Eightfold Way theory of organising subatomic hadrons according to the flavour symmetries of its constituent quarks. This particle was indeed observed two years later [9].
Ever since the Noether’s Theorem, the study of symmetries has been used to unify the existing branches of physics (e.g. the unification of the fields of electricity and magnetism into electromagnetism was implicitly done by unifying the symmetry transformations of the two systems); to categorise the known physical objects, (e.g. crystals and elementary particles); and to discover new physical objects by attempting to find an entity that fills a vacant place in a symmetrybased classification scheme (e.g. the particle). Modern physics underwent a paradigm shift – there was a realisation that studying the symmetries of a system can help uncover many new properties of the system itself – and the emphasis in theoretical physics changed from studying objects to studying transformations
. A similar change in focus in artificial intelligence may help move beyond some of the current limitations of deep learning systems.
While Noether’s Theorem is a particularly beautiful and mathematically precise instance of symmetry in the natural world, we should note that there are numerous other instances where a close study of structurepreserving transformations have led to the discovery of new concepts and prediction of new phenomena. For instance, Mendeleev famously predicted the existence of gallium and germanium by studying gaps in his periodic table of elements [58]. The more precise and exact these symmetries are, the more powerful the generalisation is to new domains.
In machine perception, the most powerful generalisation we can hope for is by understanding what properties of the world remain the same when transformed in certain ways. This should lead to rapid generalisation in new settings, such as recognising a new object as an object because it demonstrates the same symmetries already recognised in other objects. In scene understanding, these transformations include translations, rotations and changes in object colour, and we will consider these as canonical examples through the rest of the paper. We hope that by providing a formal definition of disentangling we can inspire new algorithms that will allow intelligent systems to display the same rapid generalisation that humans do.
3 A roadmap to defining disentangled representations
This section introduces our definition of disentangled representations in a nontechnical way. One may think of this section as a roadmap to help guide the readers through the technical sections that follow, ensuring that they can see the forest for the trees. Note that we omit many important details here (e.g. what needs to hold in order for a set of transformations to be considered a group), so the reader is strongly encouraged to read the technical sections with care.
As discussed previously, symmetry transformations are ubiquitous in our world (Sec. 2), and many approaches have tried to bring ideas from group theory to machine learning in the past (see Sec. 4 for an overview). However, none of these approaches so far have formally connected symmetry groups to disentangled representations. How can this connection be made?
Let us consider a concrete example. Imagine a grid world with a single object, which can move around in four directions (up, down, left, right), and change colour by taking discrete steps on a circular hue axis. Whenever the object steps beyond the boundary of the grid world, it is placed at the opposite end (e.g. stepping up at the top of the grid places the object at the bottom of the grid) (see Fig. 1A).
Horizontal and vertical translations and colour changes are the symmetry transformations of such a world, since none of these transformations affect the identity of the object. The set of these transformations makes up a symmetry group, and the effects of these transformations on the state of the world are called the actions of the symmetry group on the world state.
Note that the horizontal translation action changes the horizontal position of the object, but not its vertical position or colour, the vertical translation action changes the vertical position, but not the horizontal position or colour, and finally the colour change action changes the object’s colour, but not its position. We define such actions, which change a certain aspect of the world state, while keeping others fixed, as disentangled group actions. Furthermore, we can say that the symmetry group of this world can be decomposed into three separate symmetry subgroups: one that affects the horizontal translations, another affecting vertical translations and the last one affecting colour changes.
So far we have only considered the transformations of the abstract world states. However, in order to define disentangled representations, we need to bring the observations of such abstract states into the picture. We do so by assuming that there exists a certain generative process that produces a dataset of observations from a set of world states. This process may have many different instantiations depending on the perceptual system of the observer. Without the loss of generality, in this paper we assume that the generative process produces pixel observations.
The pixel observations then form an input to a model that produces a representation (the inference process). We consider a composition of the generative and the inference processes, going from the abstract world states to the model representation, and argue that in some situations it may be possible to find such a composite mapping, so that it also preserves the abstract disentangled group action. In other words, we want to find a mapping between the disentangled group action in the abstract state space and the transformations in the vector space of representations, so that the latter reflect the structure of the former. If such a mapping exists, then it produces a disentangled representation. Hence:
A vector representation is called a disentangled representation with respect to a particular decomposition of a symmetry group into subgroups, if it decomposes into independent subspaces, where each subspace is affected by the action of a single subgroup, and the actions of all other subgroups leave the subspace unaffected.
This definition of disentangled representations is very general – it does not assume any particular dimensionality or basis for each subspace. Furthermore, there are no constraints on the nature of the disentangled group action on each subspace, as long as these actions affect the model representation in a way that is equivalent to how they affect the abstract world states. However, it is important to note that we define disentangled representations with respect to a particular decomposition of a symmetry group into subgroups. This aspect of our definition will be discussed in more detail later in this section.
A representation disentangled by the definition above will have the compositional property often found to be desirable. For example, subsequent tasks may safely ignore certain parts of such a representation to form abstractions [41, 53], or use novel recombinations of values within the subspaces for improved generalisation [40]. However, a disentangled representation may be even more useful if the additional linearity
property is imposed on group actions in its vector space. For example, if the colour and position changes can be implemented using linear transformation matrices applied to the vector space of a disentangled representation, then an agent equipped with such a representation could learn a transition model of the grid world much more efficiently than if the transitions (i.e. group actions) were nonlinear. Hence, we also propose a definition for a
linear disentangled representation:A vector representation is called a linear disentangled representation with respect to a particular decomposition of a symmetry group into subgroups, if it is a disentangled representation with respect to the same group decomposition, and the actions of all the subgroups on their corresponding subspaces are linear.
What would be a disentangled representation of our example grid world? The vector space of such a representation would be a concatenation of three independent multidimensional vector subspaces, such that, for example, a change in colour only affects the “colour subspace”, but not the “position x” and “position y” subspaces. The changes along each of the subspaces in the representation may be implemented by an arbitrary mapping. If this mapping is linear, then the representation is a linear disentangled representation (see Secs. 5.3 and 6.3 for more details). Finally, each subspace may have an arbitrary suitable basis. For example, the “colour subspace” may have a multidimensional RGB or a singledimensional hue basis. Furthermore, we do not require the “position x” and “position y” subspaces to actually align with the Cartesian coordinates. Any rotation of the axes is also acceptable. An entangled representation of the same grid world will have subspaces that are affected by the actions of more than one subgroup.
Note that we define disentangled representations with respect to a particular decomposition of a symmetry group into subgroups. This has two important consequences. First, it helps shed light on some current areas of disagreement, where it is not clear whether a representation for a particular dataset could be disentangled in principle. For example, consider rotations of an object in 3D. These form a symmetry group, since they do not affect the object identity. Intuitively, we might think that a representation of such a group could be disentangled into rotations about the x, y and z axes. However, changes in rotation around the different axes will affect each other, since rotations in 3D are not commutable. For example, rotating the object by first around the x and then the y axis will not be the same as rotating by the same angle and around the same axes but in the opposite order (see Fig. 1B). In other words, when we consider the symmetry group of 3D rotations, we find that rotations about the different axes do not commute with one another, and hence the group of symmetries does not decompose in the way that we might intuitively hope. This means that the resulting representation should contain a single subspace affected by rotations around all three axes, which a priori dooms the prospect of disentangling these factors.
Another consequence of defining disentangled representations with respect to a particular decomposition of a symmetry group is that symmetry groups may have multiple possible subgroup decompositions, and not all group decompositions may lead to disentangled representations useful for subsequent tasks. For example, one of the decompositions of the symmetry group acting on our grid world example may be the one we have already discussed: three subgroups representing changes in colour, position x and position y. However, for some instantiations of the group, it may also decompose into more than three subgroups, where each of the colour and each of the two position changes are themselves decomposed into multiple subgroups. This is not particularly problematic, since subsequent tasks may pick out the subset of the most useful disentangled subspaces. However, another possibility is that the group may decompose into subgroups that mix colour and position changes, which is clearly not desirable. This may happen because by themselves abstract groups often do not provide a way to identify useful group decompositions.
Saying this, we believe that useful group decompositions can be discovered empirically through active perception. By acting in the world, agents should be able to discover which aspects of the world remain invariant under various transformations. For example, gravity based manipulations can be used to decompose a group of 3D translations into subgroups of translations in the vertical and horizontal planes. Similar arguments were also made in [69]. This also relates to the recent work by [55]
, who proved that unsupervised learning of disentangled representations is impossible unless certain biases are introduced into the model architecture or the data. The latter can be done through active perception or causal manipulations of the world
[72].To summarise, for a given symmetry group, it may be the case that many different subgroup decompositions are possible. We assume that the structure of the world dictates a certain natural
decomposition. In our example, we would regard a decomposition into position and colour as natural. A decomposition in which position and colour remain mixed is possible, but not natural. One problem that a learning algorithm needs to solve is to find natural decompositions that reflect the structure of the world, rather than the unnatural ones. In earlier approaches, it is usually assumed that natural decompositions can be found on the basis of statistical independence structure found in the data, which is assumed to be i.i.d. We hope that our approach lends itself better to an active learning approach, in which the data cannot be assumed to be i.i.d.
Note that the question of finding a useful group decomposition is a separate question from defining disentangled representations, and we leave it for future work. Hence, in the rest of the paper we will assume that a useful group decomposition is given. Regardless of which particular group decomposition a disentangled representation is defined in terms of, the insights on the structure of the resulting representation will still hold; this provides a principled resolution to many current points of disagreement about disentangled representations. We discuss the consequences of our definition in the context of the current beliefs about disentangled representations in more detail in Sec. 7.
In the rest of the paper we will illustrate our ideas using toy idealised examples. Our insights, however, are generalisable to the more realistic environments, but we leave the question of how to empirically learn disentangled representations to future work.
4 Related work
There is a long history of research in psychology and artificial intelligence that attempts to formalise the idea that different factors of variation in the world can be recovered from raw perceptual inputs. It was recognised early on in the study of vision that certain transformations would leave object identity invariant, that there are many such transformations which are independent of one another, and that understanding how the visual system forms representations invariant to these transformations is critical to understanding perception. For instance, J. J. Gibson in his classic work on the ecological approach to visual perception [34] wrote:
Four kinds of invariants have been postulated: those that underlie change of illumination, those that underlie change of the point of observation, those that underlie overlapping samples, and those that underlie a local disturbance of structure.
Following Gibson’s work, psychologists almost immediately picked up on the mathematical framework of group theory as a way of formalising the notion of invariants and symmetry [26]
, but progress in applying this framework usefully in computer vision would take many decades.
Much of the research on perception and representation learning, especially in object recognition, has followed Gibson and his contemporaries in emphasising features which are invariant to transformations like pose or illumination [56, 22, 71, 49]. In this framework, transformations are considered nuisance variables to be thrown away. However, other researchers have advocated an approach to representation learning which preserves information about these transformations  in other words, representations that are equivariant to transformations instead of invariant [42]. In the equivariant approach to perception, certain subsets of features may be invariant to specific transformations, but the overall representation will still preserve all information. Especially in an unsupervised setting, where the representations may be used for many different tasks, and it is not known ahead of time which transformations are “nuisances”, an equivariant approach to perception seems more appropriate. Work on learning disentangled representations falls into this line of research.
Significant work in machine perception, both invariant and equivariant, has tried to use the machinery of group theory to quantify natural symmetries. While classic work showed that there are no generalpurpose features for 3D point clouds that are invariant to changes in viewpoint [14], later work on more realistic models of images showed that features simultaneously invariant to changes in illumination and viewpoint do in fact exist [71]. These two transformations are invertible, and hence can be described as elements of a group. Other transformations like occlusion can be made invertible if the viewer is able to interact with the scene. This is the basis of the theory of actionable information, which holds that a complete theory of visual perception needs to treat image acquisition as an active process of information gathering [69]. The term “disentangling" is used frequently in this line of research, including later work in a deep learning framework [2], but in this context it is meant more in the sense of disentangling (and throwing away) nuisance variables and preserving taskrelevant information. This is not the sense in which we use the term disentangling.
Group theory also forms the foundation of Anselmi et al’s theory of visual recognition with hierarchical models [8]. In their framework, an “object” is defined as the orbit of a prototypical object under all symmetries from a particular group. The goal of hierarchical visual models is then to find an invariant signature which maps all elements of this group orbit to a single descriptor, while maintaining a large difference between descriptors for different objects. While group transformations are used here to define the space of nuisance parameters, there is little discussion of the structure of the groups themselves. Our notion of disentangling in this paper is primarily concerned with the way that the symmetry group of the invariant transformations decomposes into simpler subgroups for each separate transformation, a topic not addressed in [8].
The idea of learning symmetry transformations from data has appeared many times, mostly in the context of continuous symmetries like translation and rotation. Earlier work in this area mostly focused on learning transformations in observation space, such as translation and inplane rotation of objects [62, 70, 19]. Later work extended this to general 3D rotations [20], but did not learn to disentangle this rotation from other factors of variation. Though it does not touch on all aspects of the theory outlined here, we believe the work in [19, 20] is the most closely related work to our theory of disentangling for its emphasis on irreducible group representations.
Our definition of disentangling relies heavily on group theory, and it is worth mentioning many other ways ideas from group theory have influenced machine learning, such as orthonormality constraints on network weights [30, 18], extensions to convolutional network architectures that build in full affine invariance rather than just translation invariance [33], and discovering abstractions by partitioning sets [79]. However, none of these explicitly address the way disentangled representations can be learned or defined.
Separate from much of this work on group theory, a significant part of the deep learning community in recent years has become focused on disentangling as a highlevel goal of unsupervised learning, and tried to build models that can automatically discover the disentangled factors of variation in data. The idea of learning a distributed code where each feature would correspond to a relevant factor of variation dates back at least to Schmidhuber [67], though the use of the term “disentangling" for this property of a model appeared much later [11].
Most initial attempts to learn disentangled representations required a priori knowledge of the data generative factors [43, 66, 63, 80, 78, 36, 50, 17, 77, 46]. This, however, is unrealistic in most real world scenarios. A number of purely unsupervised approaches to disentangled factor learning have been proposed [67, 24, 74], however they did not tend to scale well beyond toy datasets. Recently, this shortcoming was overcome by two new approaches to unsupervised disentangled representation learning developed concurrently and independently: InfoGAN [16], based on Generative Adversarial Networks (GANs) [35], and VAE [39]
, based on Variational Autoencoders (VAEs)
[48, 64]. InfoGAN was found to suffer from training instabilities and to perform worse in terms of disentangling [39, 47], often failing to discover many of the data generative factors. Hence, the majority of the most recent techniques have built upon the VAE approach [13, 47, 15, 51, 7, 28], improving on the poor disentanglement/reconstruction tradeoff of the original.To date, most work on disentangling has relied on comparison with human intuition for evaluation, though a number of metrics have been proposed in the case where the ground truth factors are known [27, 65, 51, 47, 55, 72]
. The lack of clear definition is the main motivation for this work, and the relationship between our definition and prior evaluation metrics is discussed in Sec.
7.5 A formal definition of disentangled representations
This section provides a formal definition of disentangled representations. It assumes a certain degree of familiarity with group theory. Readers unfamiliar with the preliminaries outlined below are referred to Appendix A.1 for a review of the elementary concepts of group theory.
Preliminaries (Appendix A.1): group , binary operator , group decomposition into a direct product of subgroups , set , group action on .
We start by defining a disentangled group action, before using it to define a disentangled representation.
5.1 Disentangled group action
Suppose that we have a group action , and that the group decomposes as a direct product . We are going to refer to the action of the full group as , and the actions of each subgroup as . Then we propose the following definition: the action is disentangled (with respect to the decomposition of ) if there is a decomposition , and actions such that
(1) 
In particular this says that an element of acts on but leaves fixed, and vice versa.
If is a space with additional structure, such as a vector space or a topological space, then we may be interested in actions that preserve that structure (linear or continuous actions). We remark that in that case the subspace actions also preserve this structure. For example, if is a vector space, and the action is linear, then the subspace actions are linear too.
When is a vector space – even if the action of on is not linear – then we write the decomposition instead as . We emphasise that if a basis is given for , we do not require that the decomposition factors and are aligned to this basis.
Our definition extends to group decompositions . In that case, we say that the action is disentangled (with respect to the decomposition of ) if there is a decomposition or such that each is fixed by (is invariant to) the action of all the and affected only by .
5.2 Disentangled representation
In this section, we would like to show how the group structure of symmetries of the world can have implications for an agent’s internal representations.
Let be the set of worldstates. We suppose that there is a generative process leading from worldstates to observations (these could be pixel, retinal, or any other potentially multisensory observations), and an inference process leading from observations to an agent’s representations. At times we will assume that is a vector space (whereas is assumed only to be a set). We consider the composition , .
Suppose also that there is a group of symmetries acting on via an action . What we would like is to find a corresponding action so that the symmetry structure of is reflected in ^{1}^{1}1Note that in the rest of the section may indicate two different things: actions of on the abstract states or actions of on the vector space of representations . The relevant group action should be referred from the context.. In other words, we want the action on to correspond to the action on . This can be achieved if the following condition is satisfied:
(2) 
This states that the action should commute with . This is the definition of a morphism or an equivariant map. Hence, can be called a morphism or an equivariant map.
For a given , there is no guarantee that we can find a compatible action satisfying Eq. 2. If is bijective then in fact Eq. 2 can be taken as the definition of the action (setting , we have ). If is injective but not surjective, then this recipe does not tell us how to define the action on the part of which is not in the image . However, this does not matter: we do not care about all of , but only about the action of on the parts of that are mapped to by . If is not injective, then there exist , such that . For example, this may happen because different world states give rise to the same observations, because of occlusion. In theory this can be a problem, however, such noninvertible mappings can be made invertible in practice through active sensing, as discussed in [69].
In Sec. 5.3, we give an example of an satisfying the equivariance condition. For the remainder of this section, we assume that we have an action and an equivariant map .
Suppose also that the symmetries of the world decompose as a direct product . In Sec. 5.1, we defined what it means to say that a group action is disentangled with respect to such a group decomposition. We now propose the following definition: We say that an agent’s representation is disentangled if the conditions above are satisfied, and the action on is disentangled according to the earlier definition.
In other words, an agent’s representation is disentangled with respect to the decomposition if

There is an action ,

The map is equivariant between the actions on and , and

There is a decomposition or such that each is fixed by the action of all and affected only by .
When has additional structure (such as a vector space or topological space) then we may consider actions that preserve that structure (linear actions or continuous actions). For vector spaces in particular there is a welldeveloped theory of group representations, which we discuss in more detail in Sec. 6.2.
Note that in the preceding we did not assume that the action of on is disentangled. Nevertheless, this is a very natural assumption to make, in which case there would be a decomposition such that the action decomposes into subactions , . Although this assumption is not necessary for our argument, it is a natural way to express our intuition that the world has compositional structure that we would like our agent’s representation to reflect.
In summary:

Given a world with symmetries , we have shown how it is possible for an agent’s representation to induce corresponding symmetries in the agent’s representation space .

We have given a definition of what it means for an agent’s representation to be disentangled with respect to a factorisation of the symmetry structure of into independent factors of variation as .
5.3 A worked example of a disentangled representation
Let us consider what a disentangled representation of our grid world example from Sec. 3 might look like. The gridworld can be described by a symmetry group , where is the set of all translation transformations along the x axis, is the set of all translation transformations along the y axis, and is the set of all colour transformations. Note that , , are each isomorphic to the cyclic group .
We trained one of the current state of the art disentangling models CCIVAE [13] on a dataset of observations from such a grid world. Fig. 2 shows that the latent representation learnt by the model is an acceptable approximation for the underlying group action of . In particular, in this example the generative process is the graphics engine we used to generate the dataset, and the inference process is the encoder of CCIVAE. We can see that is indeed an approximately equivariant map as required by our definition , where and so we may take as the coordinate axes. Each subgroup acts independently on its corresponding subspace in the latent representation, and a lot of the group structure is preserved (e.g. the commutativity of the group actions). Note, however, that the group action on the learnt representation space is a translation and hence is not linear. Furthermore, the cyclical nature of the group has been lost. An alternative representation with a linear group action will be discussed in Sec. 6.3.
Note that, as discussed in Sec. 3, the symmetry group may have many possible decompositions. The representation discussed above is disentangled with respect to a particular group decomposition . However, cyclic groups may decompose into smaller subgroups for all nonprime . For example, for , the following group decompositon may also be possible . A representation disentangled with respect to this new decomposition would then have six invariant subspaces, and three of them would be redundant. Another possibility is to decompose the group into , where
is the subgroup of all positional changes. A representation disentangled with respect to this decomposition would have two invariant subspaces, and the basis for the “position” subspace may be any rotation of the Cartesian axes. Note that the question of learning a useful group decomposition is beyond the scope of this paper, however we believe that active learning may play an important part in this regard. Alternatively a search heuristic like the one proposed in
[79] may be useful.Now let us also consider the example of 3D rotations from Sec. 3. Rotations in 3D are isomorphic to the special orthogonal group . Intuitively we might think that an agent’s representation could disentangle rotations about the x, y and z axes. indeed has three subgroups , and consisting of rotations about the x, y and z axes. Moreover, the intersection of any two of these subgroups is , and taken together, the subgroups generate the group. However, the problem is that elements of these subgroups do not commute with one another, and so cannot be written as a direct product of these subgroups. While the subgroups express factors of variation, they are not independent. Our definition of disentangled representation rules out disentangling along these lines, which our representation indeed fails to capture. To be clear, this does not rule out that object rotations can be disentangled from other symmetries, such as colour changes. In that case we would be interested in the group , where is the subgroup of colour change symmetries. This is a direct product, since presumably rotations are independent from colour changes.
6 A formal definition of linear disentangled representations
This section builds on the material from Sec. 5 to provide a formal definition of linear disentangled representations. Our definition of disentangled representations from the previous section does not make any assumptions on what form the group action should take when acting on the relevant disentangled vector subspace. However, many subsequent tasks may benefit from a disentangled representation where the group actions transform their corresponding disentangled subspace linearly. This section follows a similar pattern to Sec. 5 in connecting abstract group actions to the group actions on the vector space of representations. However, we now add an additional linearity constraint to our construction. This requires a certain degree of familiarity with group representation theory. Readers unfamiliar with the preliminaries outlined below are referred to Appendix A.2 for a review the elementary concepts of group representation theory.
Preliminaries (Appendix A.2): vector space
, tensor product of vector spaces
, group action on a vector space , group representation , direct sum of representations , irreducible representation, tensor product representation .If a group is a direct product , then the irreducible representations of are precisely the representations , for irreducible representations of respectively (see Lemma 22.6 in [75]).
We start by defining a disentangled group representations, before using it to define a linear disentangled representation.
6.1 Disentangled group representation
We say that a group representation is linearly disentangled with respect to the group decomposition if there exists a decomposition and representations such that , that is
(This is just Eq. 1 rewritten in terms of group representations. Compared to that equation, the additional assumption here is that the action is linear.)
In terms of irreducible representations, we know that can be decomposed as where each factor is a minimal invariant subspace under the action of . We also know that for each of these irreducible subspaces , the subrepresentation restricted to the subspace has the form , for an irreducible representation of . What the definition of a disentangled representation says is that in each , at most one of the is a nontrivial representation, so that is a representation either of or of , not both. In that case, we may gather together the that are representations of as the first factor, and the that are representations of as the second factor, to give a disentangled representation.
All of the above extends in an obvious way to decompositions . In that case, the irreducible representations of will be of the form , where each is an irreducible representation of , and any representation of will be a direct sum of such representations. Then the representation is disentangled if in each such factor , at most one of the is a nontrivial representation.
6.2 Linear disentangled representation
Previously we defined what it means to say that an agent’s representation is disentangled, using the concept of a disentangled group action. If additionally, the group action is linear, and hence a group representation, then we may define the concept of a linearly disentangled (agent) representation analogously. Linearity is a strong constraint, with the result that we can say much more about group representations than we could about group actions.
As before (see Sec. 5.2), we assume a set of worldstates, a group acting on via , a generative process leading from worldstates to observations, an inference process leading from observations to an agent’s representations, and the composition , . As before, we are interested in finding an action , such that is equivariant between the two actions and . However, in this case we impose the additional constraint that the action on should be linear, so that we can also view it as a group representation
Then a linear disentangled representation is just an that admits such an action, and is disentangled with respect to a decomposition . From the previous section, we see that this means that there is a decomposition , where each factor is a representation either of or of alone. Specifically, what is excluded is factors of the form , where is an action of , unless at most one of the is a nontrivial representation.
6.3 A worked example of a linear disentangled representation
Let us consider what a linear disentangled representation of our grid world example from Sec. 3 might look like. From Sec. 5.3 we know that the symmetry group acting on the gridworld can be decomposed into a direct product , where is the set of all translation transformations along the x axis, is the set of all translation transformations along the y axis, and is the set of all colour transformations. The set of abstract world states for such a world will be the Cartesian product of all possible positions and colours:
where .
In this simple example, we can easily exhibit an equivariant map , as follows. Let , which we identify with . Then define:
Intuitively, this seems like a good representation to learn. We now show that there is a linear action (a group representation) of on , and that it is disentangled.
Suppose that , , and are generators of the subgroups , and respectively. Then we may define as follows:
This action is clearly linear. Furthermore, it clearly satisfies . Hence, is equivariant between the actions on and . Furthermore, we can easily see that the invariant subspaces in this case are the first, second, and third coordinate subspaces, and that each subspace is acted on trivially by all but one of the subgroups , and . Hence the agent’s representation is disentangled in our sense.
If we view as a representation over , then the group action will be expressed using blockdiagonal matrices of rotation matrices, and the invariant subspaces will be twodimensional, but the argument will be the same.
7 Backward compatibility of the new definition
This section examines whether the new definition fits with the old intuitions on disentangled representations. These intuitions can be characterised along three dimensions: modularity, compactness and explicitness^{2}^{2}2These are also sometimes referred to as disentanglement, completeness and informativeness by following the naming notation in [27] [65]. Different models and different disentanglement metrics have often disagreed on what qualifies as a disentangled representation when considered in terms of these qualities. We are going to show that our definition helps resolve these points of disagreement in a principled manner.
Modularity
Modularity measures whether a single latent dimension encodes no more than a single data generative factor. All previous approaches agree that disentangled representations should have this property. This is also true for our definition, provided that we replace what was previously called the “data generative factors” with “disentangled actions of the symmetry group”. Note that there are examples where our definition may disagree with the past intuitions. For example, consider the case of 3D rotations. Intuitively we might think that the representation could disentangle rotations about the x, y and z axes. However, according to our definition, the representation can only be disentangled with respect to a direct product decomposition of a group. In particular, if the group cannot be factored as a direct product, then the agent’s representation cannot be disentangled according to our definition. As discussed in Sec. 5.3, the group of 3D rotations does not decompose into a direct product, and hence a disentangled representation is not possible.
Compactness
Compactness measures whether each data generative factor is encoded by a single latent dimension. This is definitely a point of disagreement. Most of the recent approaches to disentangled representation learning [39, 15, 47, 13, 51, 7, 28], as well as the majority of the disentanglement metrics [39, 15, 47, 27] assume that this property should be true. However, many other approaches [50, 23, 66, 63, 80, 78, 36, 17, 77, 46] and a recent disentanglement metric by [65] consider it perfectly fine for each data generative factor to be encoded by multiple latent dimensions. According to our definition, each disentangled subspace can be multidimensional.
Explicitness
Explicitness measures whether the values of all of the data generative factors can be decoded from the representation using a linear transformation. This is the strongest requirement of the three, since it encompasses two points: that a disentangled representation captures information about all the data generative factors, and that this information is linearly decodable. Let us consider the two points separately.
In terms of capturing the information about all the data generative factors, there seems to be general agreement among all the approaches and metrics that this is an important aspect of a disentangled representation. Our definition agrees, but with a caveat. Since we define disentangled representations with respect to a particular group decomposition, and groups often have multiple possible decompositions, the same data can induce many different disentangled representations. For example, the maximal decomposition of the symmetry group acting on our grid world example from Sec. 3 is . However, the same group can also be decomposed into , where is the group of all position transformations. Hence, a vector representation that consists of two subspaces, one transforming under the colour change action, and the other transforming under the actions of the horizontal and vertical translations will be considered entangled under the former group decomposition, and disentangled under the latter one. Note that this can be beneficial, since different subsequent tasks may benefit from different group decompositions. For example, in order to find a forest one does not need to represent each tree.
In terms of the linearity aspect of a disentangled representation, it appears to be a point of contention. Most of the models do not optimise for it. However, a few recent disentanglement metrics give reduced disentanglement scores to models that do poorly on this metric [27, 51, 65]. Linearity is not required for a representation to be disentangled according to our definition, unless we are talking about linear disentangled representations discussed in Sec. 6.
8 Conclusions
The aim of this paper was to provide a formal definition of disentangled representations. We started by bringing the insights from modern physics and past work in machine learning to argue that the structure of the world that disentangled representations should capture are the symmetry transformations of the world state. This replaced the illdefined notion of “data generative factors” used in the past. We then used group and representation theory to show how the structure of the symmetry transformations can be reflected in the representation vector space. The resulting insights served as the basis for our definition of disentangled representations. In order to make the connection between symmetry groups and disentangled representations, we had to make a number of simplifying assumptions. In particular, we assumed that the symmetry groups can be decomposed as direct products of subgroups in a natural way and that their interesting decompositions into subgroups were known. We believe that these assumptions can be relaxed in the future, but we leave this to future work.
We have shown that our definition of disentangled representations fits well with the previously held views on the topic, while also providing a principled way to resolve past disagreements. For example, according to our definition a disentangled subspace can be single or multidimensional, depending on the structure of the symmetry group. Furthermore, we have shown that each disentangled subspace may have many different suitable bases, and the action of the group does not have to be implemented as a linear transformation in the representation vector space, unless a linear disentangled representation is required.
Our framework suggests that the invariant subspaces in the representation vector space are in effect separate representations. So it is as if instead of having a single representation , the model has several different representations , , … . They are separate because under the action of the world’s dynamics, there is no mixing between them. Hence, it is feasible to assume that the set of representations may be extended in a continual learning scenario, as the model experiences new aspects of the world. In fact, an empirical demonstration of a similar process already exists [1].
We hope that the insights provided by our proposed definition of disentangled representations will be helpful in speeding up and measuring progress in finding scalable algorithmic solutions to disentangled representation learning.
Acknowledgements
We thank Chris Burgess, Matt Botvinick, Nick Watters and Pedro Ortega for useful discussions.
References
 [1] A. Achille, T. Eccles, L. Matthey, C. P. Burgess, N. Watters, A. Lerchner, and I. Higgins. Lifelong disentangled representation learning with crossdomain latent homologies. NIPS, 2018.
 [2] A. Achille and S. Soatto. Emergence of invariance and disentanglement in deep representations. Journal of Machine Learning Research, 19(50):1–34, 2018.
 [3] A. Achille and S. Soatto. Information dropout: Learning optimal representations through noisy computation. IEEE Transactions on Pattern Analysis and Machine Intelligence, PP(99):1–1, 2018.
 [4] A. Alemi, B. Poole, I. Fischer, J. Dillon, R. A. Saurus, and K. Murphy. An informationtheoretic analysis of deep latentvariable models. arXiv, 2018.
 [5] A. A. Alemi, I. Fischer, J. V. Dillon, and K. Murphy. Deep variational information bottleneck. arXiv preprint arXiv:1612.00410, 2016.
 [6] P. W. Anderson. More is different. Science, 177(4047):393–396, 1972.
 [7] A. F. Ansari and H. Soh. Hyperprior induced unsupervised disentanglement of latent representations. arxiv, 2018.
 [8] F. Anselmi, L. Rosasco, and T. Poggio. On invariance and selectivity in representation learning. Information and Inference, 2016.
 [9] V. E. Barnes. Observation of a hyperon with strangeness minus three. Physical Review Letters, 12(8), 1964.
 [10] Y. Bengio, A. Courville, and P. Vincent. Representation learning: A review and new perspectives. IEEE transactions on pattern analysis and machine intelligence, 35(8):1798–1828, 2013.
 [11] Y. Bengio et al. Learning deep architectures for AI. Foundations and trends® in Machine Learning, 2(1):1–127, 2009.
 [12] M. M. Botvinick, A. Weinstein, A. Solway, and A. Barto. Reinforcement learning, efficient coding, and the statistics of natural tasks. Current Opinion in Behavioural Sciences, 5, 2015.
 [13] C. P. Burgess, I. Higgins, A. Pal, L. Matthey, N. Watters, G. Desjardins, and A. Lerchner. Understanding disentangling in VAE. NIPS Workshop of Learning Disentangled Features, 2017.
 [14] J. B. Burns, R. S. Weiss, and E. M. Riseman. The nonexistence of generalcase viewinvariants. Geometric invariance in computer vision, 1:554–559, 1992.
 [15] T. Q. Chen, X. Li, R. Grosse, and D. Duvenaud. Isolating sources of disentanglement in variational autoencoders. NIPS, 2018.
 [16] X. Chen, Y. Duan, R. Houthooft, J. Schulman, I. Sutskever, and P. Abbeel. Infogan: Interpretable representation learning by information maximizing generative adversarial nets. arXiv, 2016.
 [17] B. Cheung, J. A. Levezey, A. K. Bansal, and B. A. Olshausen. Discovering hidden factors of variation in deep networks. In Proceedings of the International Conference on Learning Representations, Workshop Track, 2015.
 [18] M. Cisse, P. Bojanowski, E. Grave, Y. Dauphin, and N. Usunier. Parseval networks: Improving robustness to adversarial examples. ICML, 2017.
 [19] T. Cohen and M. Welling. Learning the irreducible representations of commutative lie groups. arXiv, 2014.
 [20] T. Cohen and M. Welling. Transformation properties of learned visual representations. In ICLR, 2015.
 [21] T. Cohen and M. Welling. Group equivariant convolutional networks. ICML, 2016.

[22]
N. Dalal and B. Triggs.
Histograms of oriented gradients for human detection.
In
Computer Vision and Pattern Recognition, 2005. CVPR 2005. IEEE Computer Society Conference on
, volume 1, pages 886–893. IEEE, 2005.  [23] E. L. Denton. Unsupervised learning of disentangled representations from video. NIPS, 2017.
 [24] G. Desjardins, A. Courville, and Y. Bengio. Disentangling factors of variation via generative entangling. arXiv, 2012.
 [25] J. J. DiCarlo and D. D. Cox. Untangling invariant object recognition. TRENDS in Cognitive Sciences, 11, 2007.
 [26] P. C. Dodwell. The lie transformation group model of visual perception. Perception & Psychophysics, 34(1):1–16, 1983.
 [27] C. Eastwood and C. K. I. Williams. A framework for the quantitative evaluation of disentangled representations. ICLR, 2018.
 [28] B. Esmaeili, H. Wu, S. Jain, A. Bozkurt, N. Siddharth, B. Paige, D. H. Brooks, J. Dy, and J.W. van de Meent. Structured disentangled representations. arxiv, 2018.
 [29] L. Espeholt, H. Soyer, R. Munos, K. Simonyan, V. Mnih, T. Ward, Y. Doron, V. Firoiu, T. Harley, I. Dunning, S. Legg, and K. Kavukcuoglu. IMPALA: Scalable distributed deeprl with importance weighted actorlearner architectures. arxiv, 2018.
 [30] S. Fiori. Unsupervised neural learning on lie group. International Journal of Neural Systems, 12(34), 2002.
 [31] M. Garnelo, K. Arulkumaran, and M. Shanahan. Towards deep symbolic reinforcement learning. arXiv preprint arXiv:1609.05518, 2016.
 [32] M. GellMann. Symmetries of baryons and mesons. Physical Review, 125(3), 1962.
 [33] R. Gens and P. M. Domingos. Deep symmetry networks. NIPS, 2014.
 [34] J. J. Gibson. The ecological approach to visual perception. Houghton Mifflin Company, 1979.
 [35] I. Goodfellow, J. PougetAbadie, M. Mirza, B. Xu, D. WardeFarley, S. Ozair, A. Courville, and Y. Bengio. Generative adversarial nets. NIPS, page 2672–2680, 2014.
 [36] R. Goroshin, M. Mathieu, and Y. LeCun. Learning to linearize under uncertainty. NIPS, 2015.
 [37] K. He, X. Zhang, S. Ren, and J. Sun. Deep residual learning for image recognition. CVPR, pages 770–778, 2016.
 [38] M. Hessel, J. Modayil, H. van Hasselt, T. Schaul, G. Ostrovski, W. Dabney, D. Horgan, B. Piot, M. Azar, and D. Silver. Rainbow: Combining improvements in deep reinforcement learning. arxiv, 2017.
 [39] I. Higgins, L. Matthey, A. Pal, C. Burgess, X. Glorot, M. Botvinick, S. Mohamed, and A. Lerchner. VAE: Learning basic visual concepts with a constrained variational framework. ICLR, 2017.
 [40] I. Higgins, A. Pal, A. Rusu, L. Matthey, C. Burgess, A. Pritzel, M. Botvinick, C. Blundell, and A. Lerchner. DARLA: Improving zeroshot transfer in reinforcement learning. ICML, 2017.
 [41] I. Higgins, N. Sonnerat, L. Matthey, A. Pal, C. Burgess, M. Bosnjak, M. Shanahan, M. Botvinick, D. Hassabis, and A. Lerchner. SCAN: Learning hierarchical compositional visual concepts. ICLR, 2018.
 [42] G. Hinton, A. Krizhevsky, N. Jaitly, T. Tieleman, and Y. Tang. Does the brain do inverse graphics? In Brain and Cognitive Sciences Fall Colloquium, volume 2, 2012.
 [43] G. Hinton, A. Krizhevsky, and S. D. Wang. Transforming autoencoders. International Conference on Artificial Neural Networks, 2011.
 [44] J. Hu, L. Shen, and G. Sun. Squeezeandexcitation networks. CVPR, 2018.
 [45] M. Jaderberg, V. Mnih, W. M. Czarnecki, T. Schaul, J. Z. Leibo, D. Silver, and K. Kavukcuoglu. Reinforcement learning with unsupervised auxiliary tasks. ICLR, 2017.
 [46] T. Karaletsos, S. Belongie, and G. Rätsch. Bayesian representation learning with oracle constraints. ICLR, 2016.
 [47] H. Kim and A. Mnih. Disentangling by factorising. ICLR, 2018.
 [48] D. P. Kingma and M. Welling. Autoencoding variational bayes. ICLR, 2014.
 [49] A. Krizhevsky, I. Sutskever, and G. E. Hinton. Imagenet classification with deep convolutional neural networks. NIPS, 2012.
 [50] T. Kulkarni, W. Whitney, P. Kohli, and J. Tenenbaum. Deep convolutional inverse graphics network. NIPS, 2015.
 [51] A. Kumar, P. Sattigeri, and A. Balakrishnan. Variational inference of disentangled latent concepts from unlabeled observations. arxiv, 2017.
 [52] B. M. Lake, T. D. Ullman, J. B. Tenenbaum, and S. J. Gershman. Building machines that learn and think like people. Behavioral and Brain Sciences, pages 1–101, 2016.
 [53] A. LaversanneFinot, A. Péré, and P.Y. Oudeyer. Curiosity driven exploration of learned disentangled goal spaces. arxiv, 2018.
 [54] Y. LeCun, B. Boser, J. S. Denker, D. Henderson, R. E. Howard, W. Hubbard, and L. D. Jackel. Backpropagation applied to handwritten zip code recognition. Neural Computation, 1(4):541–551, 1989.
 [55] F. Locatello, S. Bauer, M. Lucic, S. Gelly, B. Schölkopf, and O. Bachem. Challenging common assumptions in the unsupervised learning of disentangled representations. arXiv preprint arXiv:1811.12359, 2018.
 [56] D. G. Lowe. Object recognition from local scaleinvariant features. In Computer vision, 1999. The proceedings of the seventh IEEE international conference on, volume 2, pages 1150–1157. Ieee, 1999.
 [57] G. Marcus. Deep learning: A critical appraisal. arxiv, 2018.
 [58] D. Mendeleev. The natural system of elements and its application to the indication of the properties of undiscovered elements. Journal of the Russian Chemical Society, 3:25–56, 1871.
 [59] V. Mnih, A. P. Badia, M. Mirza, A. Graves, T. P. Lillicrap, T. Harley, D. Silver, and K. Kavukcuoglu. Asynchronous methods for deep reinforcement learning. ICML, 2016.
 [60] V. Mnih, K. Kavukcuoglu, D. S. Silver, A. A. Rusu, J. Veness, M. G. Bellemare, A. Graves, M. Riedmiller, A. K. Fidjeland, G. Ostrovski, S. Petersen, C. Beattie, A. Sadik, I. Antonoglou, H. King, D. Kumaran, D. Wierstra, S. Legg, and D. Hassabis. Humanlevel control through deep reinforcement learning. Nature, 518(7540):529–533, 2015.
 [61] E. Noether. The finiteness theorem for invariants of finite groups. Mathematische Annalen, 77:89–92, 1915.
 [62] R. P. Rao and D. L. Ruderman. Learning lie groups for invariant visual perception. In Advances in neural information processing systems, pages 810–816, 1999.
 [63] S. Reed, K. Sohn, Y. Zhang, and H. Lee. Learning to disentangle factors of variation with manifold interaction. ICML, 2014.
 [64] D. J. Rezende, S. Mohamed, and D. Wierstra. Stochastic backpropagation and approximate inference in deep generative models. ICML, 32(2):1278–1286, 2014.
 [65] K. Ridgeway and M. C. Mozer. Learning deep disentangled embeddings with the fstatistic loss. NIPS, 2018.

[66]
O. Rippel and R. P. Adams.
Highdimensional probability estimation with deep density models.
arXiv, 2013.  [67] J. Schmidhuber. Learning factorial codes by predictability minimization. Neural Computation, 4(6):863–869, 1992.
 [68] D. Silver, A. Huang, C. J. Maddison, A. Guez, L. Sifre, G. van den Driessche, J. Schrittwieser, I. Antonoglou, V. Panneershelvam, M. Lanctot, S. Dieleman, D. Grewe, J. Nham, N. Kalchbrenner, I. Sutskever, T. Lillicrap, M. Leach, K. Kavukcuoglu, T. Graepel, and D. Hassabis. Mastering the game of Go with deep neural networks and tree search. Nature, 529(7587):484–489, 2016.
 [69] S. Soatto. Steps toward a theory of visual information. Technical Report UCLACSD100028, 2010.
 [70] J. SohlDickstein, C. M. Wang, and B. A. Olshausen. An unsupervised algorithm for learning lie group transformations. arXiv, 2010.
 [71] G. Sundaramoorthi, P. Petersen, V. S. Varadarajan, and S. Soatto. On the set of images modulo viewpoint and contrast changes. In 2009 IEEE Conference on Computer Vision and Pattern Recognition, pages 832–839, June 2009.
 [72] R. Suter, D. Miladinovic, S. Bauer, and B. Scholkopf. Interventional robustness of deep latent variable models. arxiv, 2018.
 [73] C. Szegedy, W. Liu, Y. Jia, P. Sermanet, S. Reed, D. Anguelov, D. Erhan, V. Vanhoucke, and A. Rabinovich. Going deeper with convolutions. CVPR, 2015.
 [74] Y. Tang, R. Salakhutdinov, and G. Hinton. Tensor analyzers. In Proceedings of the 30th International Conference on Machine Learning, 2013, Atlanta, USA, 2013.
 [75] C. Teleman. Lecture notes in representation theory, 2005. URL: https://math.berkeley.edu/~teleman/math/RepThry.pdf. Last visited on 2018/11/19.
 [76] N. Tishby, F. C. Pereira, and W. Bialek. The information bottleneck method. In Proceedings of the 37th Annual Allerton Conference on Communication, Control and Computing, pages 368–377, 1999.
 [77] W. F. Whitney, M. Chang, T. Kulkarni, and J. B. Tenenbaum. Understanding visual concepts with continuation learning. arXiv, 2016.
 [78] J. Yang, S. Reed, M.H. Yang, and H. Lee. Weaklysupervised disentangling with recurrent transformations for 3d view synthesis. NIPS, 2015.
 [79] H. Yu, I. Mineyev, and L. R. Varshney. A grouptheoretic approch to abstraction: Hierarchical, interpretable and taskfree clustering. arXiv, 2018.

[80]
Z. Zhu, P. Luo, X. Wang, and X. Tang.
Multiview perceptron: a deep model for learning face identity and view representations.
In Advances in Neural Information Processing Systems 27, 2014.
Appendix A Appendix
a.1 Review of group theory
A group is a set together with a binary operation satisfying the following axioms:

Associativity

Identity

Inverse
Note that the binary operation is not required to be commutative. That is, we need not have . A group that is commutative is called Abelian.
When the binary operation is clear from context, it is customary to omit it, and write for and for . It is also customary to refer to the binary operation as multiplication, and to write 1 for .
Some important examples of groups are:

The symmetric group of permutations of the numbers . The elements of the group are the bijections from to itself. The binary operation is function composition.

The general linear group of invertible linear transformations of a vector space under composition. If we have with its usual basis, then this group is also called . From that point of view, its elements are the invertible matrices with entries in , and the binary operation is matrix multiplication.

The special orthogonal group of distancepreserving transformations of a Euclidean space that also preserve a fixed point. The elements are orthogonal matrices with determinant , and the binary operation is matrix multiplication. and are widely studied groups of rotations around a point in 2D or a line in 3D respectively.
Given a group , a subgroup of is a subset of the elements of which is closed under multiplication and inverses. That is, . For example, is a subgroup of .
Given two groups and , we can construct a new group , called their direct product, as follows:

The group operation is defined componentwise:
The direct product contains a subgroup that may be identified with , and a subgroup that may be identified with . Thus we may speak of as having and as subgroups.
Groups often arise as transformations of some space, such as a set, vector space, or topological space. In that case, we speak of the group’s action on the space. For example, acts on the set and acts on the vector space . Formally, a group action on a set is a function (hereafter indicated by concatenation) satisfying:
The conditions just say that the action is compatible with the group structure.
When a group acts on a space with additional structure, such as a vector space or a topological space, then we also require that the action preserves that structure. In the case of a vector space, the requirement would be that the action is linear:
In the case of a topological space, the requirement would be that the action is continuous, and so on.
When a group acts on a space , then we say informally that the elements of are symmetries of .
a.2 Review of group representation theory
The axiomatic definition of groups outlined in Appendix A.1 allows for any abstract structure to be a group. In order to understand these abstract groups, mathematicians have found it helpful to relate them to linear algebra. Group representation theory studies abstract groups by representing their elements as linear transformations of vector spaces. Concretely, a group representation is a function satisfying:
Note that in these equations there are two groups in play, and . On the left hand side of each equation, the multiplication or inverse takes place in . On the right hand side it takes place in . What the equations say is that the function preserves the group structure.
Relative to a given basis for , group elements are represented as invertible matrices in . If the representation is injective, then this allows us to think of as being a subgroup of . However, need not be injective in general. For example, every group has a trivial representation which sends every element to the identity.
Note that when is clear from context, we will sometimes omit it and refer to as being the representation.
Another way to think about a group representation is that it is a group action on a vector space that acts linearly. Given a representation , the action is defined as , . We shall switch freely between these two points of view as convenient.
Given two representations , of the same group, we can construct a new representation, their direct sum. This is a representation , of linear transformations acting on the direct sum of the two vector spaces. It is defined in the obvious way:
In matrix terms, if represents as the matrix and represents it as , then represents as the blockdiagonal matrix
Given a representation , a subrepresentation is any vector subspace that is invariant under the action of . That is, . Under certain conditions (for example, if is finite), then there exists another invariant subspace such that .
Every representation has the trivial subspace and V itself as subrepresentations. If V has other subrepresentations then it is said to be reducible. Otherwise it is irreducible. If is reducible, then we may recursively decompose its invariant subspaces, until we get a direct sum , where each of the is an irreducible representation. By suitable choice of basis, the matrices will then be blockdiagonal, as above.
It may appear that a representation could have different decompositions into irreducibles, depending for example on which invariant subspace we chose first. However it turns out that (under certain conditions) this is not true: for a given representation , it doesn’t matter how we decompose it, we will always end up with the same set of irreducible representations , up to isomorphisms, order and change of basis.
There is another construction that is important for our discussion. We can construct a tensor product representation , acting on the tensor product of the two vector spaces.
If has a basis and has a basis , then the tensor product is a vector space with a basis . It is an dimensional vector space. This gives rise to a tensor product representation via:
If we consider the basis as being ordered lexicographically, then in matrix terms, if is represented by as and by as , then in the tensor product representation it is represented as
Note that if is onedimensional, then can be identified with . If moreover is the trivial representation that sends everything to the identity, then every will be represented by the matrix , and will have the same matrix as . Similarly, if is onedimensional and is the trivial representation, then will be the same as .
Finally, we will need the following result: If our group is a direct product , then the irreducible representations of are precisely the representations , for irreducible representations of respectively (see Lemma 22.6 in [75]).