In mathematics, one can define a product of group subsets in a natural way. If S and T are subsets of a group G, then their product is the subset of G defined by
The subsets S and T need not be subgroups for this product to be well defined. The associativity of this product follows from that of the group product. The product of group subsets therefore defines a natural monoid structure on the power set of G.
A lot more can be said in the case where S and T are subgroups. The product of two subgroups S and T of a group G is itself a subgroup of G if and only if ST = TS.
If S and T are subgroups of G, their product need not be a subgroup (for example, two distinct subgroups of order 2 in the symmetric group on 3 symbols). This product is sometimes called the Frobenius product. In general, the product of two subgroups S and T is a subgroup if and only if ST = TS, and the two subgroups are said to permute. (Walter Ledermann has called this fact the Product Theorem, but this name, just like "Frobenius product" is by no means standard.) In this case, ST is the group generated by S and T; i.e., ST = TS = ⟨S ∪ T⟩.
If either S or T is normal then the condition ST = TS is satisfied and the product is a subgroup. If both S and T are normal, then the product is normal as well.
If S and T are finite subgroups of a group G, then ST is a subset of G of size |ST| given by the product formula:
Note that this applies even if neither S nor T is normal.
The following modular law (for groups) holds for any Q a subgroup of S, where T is any other arbitrary subgroup (and both S and T are subgroups of some group G):
Q(S ∩ T) = S ∩ (QT).
The two products that appear in this equality are not necessarily subgroups.
If QT is a subgroup (equivalently, as noted above, if Q and T permute) then QT = ⟨Q ∪ T⟩ = Q ∨ T; i.e., QT is the join of Q and T in the lattice of subgroups of G, and the modular law for such a pair may also be written as Q ∨ (S ∩ T) = S ∩ (Q ∨ T), which is the equation that defines a modular lattice if it holds for any three elements of the lattice with Q ≤ S.
This page is automatically generated and may contain information that is not correct, complete, up-to-date, or relevant to your search query. The same applies to every other page on this website. Please make sure to verify the information with EPFL's official sources.
In the branch of mathematics called order theory, a modular lattice is a lattice that satisfies the following self-dual condition, Modular lawa ≤ b implies a ∨ (x ∧ b) = (a ∨ x) ∧ b where x, a, b are arbitrary elements in the lattice, ≤ is the partial order, and ∨ and ∧ (called join and meet respectively) are the operations of the lattice. This phrasing emphasizes an interpretation in terms of projection onto the sublattice [a, b], a fact known as the diamond isomorphism theorem.
A lattice is an abstract structure studied in the mathematical subdisciplines of order theory and abstract algebra. It consists of a partially ordered set in which every pair of elements has a unique supremum (also called a least upper bound or join) and a unique infimum (also called a greatest lower bound or meet). An example is given by the power set of a set, partially ordered by inclusion, for which the supremum is the union and the infimum is the intersection.
Related lectures (5)
Group representation theory studies the actions of groups on vector spaces. This allows the use of linear algebra to study certain group theoretical questions. In this course the groups in question wi
The goal of this course/seminar is to introduce the students to some contemporary aspects of geometric group theory. Emphasis will be put on Artin's Braid groups and Thompson's groups.
By juxtaposing ideas from fractal geometry and dynamical systems, Furstenberg proposed a series of conjectures in the late 1960's that explore the relationship between digit expansions with respect to multiplicatively independent bases. In this work, we in ...
The Cremona group is the group of birational transformations of the complex projective plane. In this paper we classify its subgroups that consist only of elliptic elements using elementary model theory. This yields in particular a description of the struc ...
By juxtaposing ideas from fractal geometry and dynamical systems, Furstenberg proposed a series of conjectures in the late 1960's that explore the relationship between digit expansions with respect to multiplicatively independent bases. In this work, we in ...