Correspondence theorem

Last updated April 02, 2023

In group theory, the correspondence theorem^[1]^[2]^[3]^[4]^[5]^[6]^[7]^[8] (also the lattice theorem,^[9] and variously and ambiguously the third and fourth isomorphism theorem ^[6]^[10]) states that if $N$ is a normal subgroup of a group $G$ , then there exists a bijection from the set of all subgroups $A$ of $G$ containing $N$ , onto the set of all subgroups of the quotient group $G/N$ . Loosely speaking, the structure of the subgroups of $G/N$ is exactly the same as the structure of the subgroups of $G$ containing $N$ , with $N$ collapsed to the identity element.

Specifically, if

G is a group,

N\triangleleft G

, a normal subgroup of G,

{\mathcal {G}}=\{A\mid N\subseteq A<G\}

, the set of all subgroups A of G that contain N, and

{\mathcal {N}}=\{S\mid S<G/N\}

, the set of all subgroups of G/N,

then there is a bijective map ${\displaystyle \phi$ such that

\phi (A)=A/N

for all

A\in {\mathcal {G}}.

One further has that if A and B are in ${\mathcal {G}}$ then

$A\subseteq B$ if and only if $A/N\subseteq B/N$ ;
if $A\subseteq B$ then $|B:A|=|B/N:A/N|$ , where $|B:A|$ is the index of A in B (the number of cosets bA of A in B);
$\langle A,B\rangle /N=\left\langle A/N,B/N\right\rangle ,$ where $\langle A,B\rangle$ is the subgroup of $G$ generated by $A\cup B;$
$(A\cap B)/N=A/N\cap B/N$ , and
$A$ is a normal subgroup of $G$ if and only if $A/N$ is a normal subgroup of $G/N$ .

This list is far from exhaustive. In fact, most properties of subgroups are preserved in their images under the bijection onto subgroups of a quotient group.

More generally, there is a monotone Galois connection $(f^{*},f_{*})$ between the lattice of subgroups of $G$ (not necessarily containing $N$ ) and the lattice of subgroups of $G/N$ : the lower adjoint of a subgroup $H$ of $G$ is given by $f^{*}(H)=HN/N$ and the upper adjoint of a subgroup $K/N$ of $G/N$ is a given by $f_{*}(K/N)=K$ . The associated closure operator on subgroups of $G$ is ${\bar {H}}=HN$ ; the associated kernel operator on subgroups of $G/N$ is the identity. A proof of the correspondence theorem can be found here.

Similar results hold for rings, modules, vector spaces, and algebras. More generally an analogous result that concerns congruence relations instead of normal subgroups holds for any algebraic structure.

Related Research Articles

In mathematics, any vector space has a corresponding dual vector space consisting of all linear forms on , together with the vector space structure of pointwise addition and scalar multiplication by constants.

The Riesz representation theorem, sometimes called the Riesz–Fréchet representation theorem after Frigyes Riesz and Maurice René Fréchet, establishes an important connection between a Hilbert space and its continuous dual space. If the underlying field is the real numbers, the two are isometrically isomorphic; if the underlying field is the complex numbers, the two are isometrically anti-isomorphic. The (anti-) isomorphism is a particular natural isomorphism.

In mathematics, specifically abstract algebra, the isomorphism theorems are theorems that describe the relationship between quotients, homomorphisms, and subobjects. Versions of the theorems exist for groups, rings, vector spaces, modules, Lie algebras, and various other algebraic structures. In universal algebra, the isomorphism theorems can be generalized to the context of algebras and congruences.

Distributions, also known as Schwartz distributions or generalized functions, are objects that generalize the classical notion of functions in mathematical analysis. Distributions make it possible to differentiate functions whose derivatives do not exist in the classical sense. In particular, any locally integrable function has a distributional derivative.

In mathematics, especially in order theory, a Galois connection is a particular correspondence (typically) between two partially ordered sets (posets). Galois connections find applications in various mathematical theories. They generalize the fundamental theorem of Galois theory about the correspondence between subgroups and subfields, discovered by the French mathematician Évariste Galois.

In mathematics, a self-adjoint operator on an infinite-dimensional complex vector space V with inner product $is a linear map A that is its own adjoint. If V is finite-dimensional with a given orthonormal basis, this is equivalent to the condition that the matrix of A is a Hermitian matrix, i.e., equal to its conjugate transpose A * . By the finite-dimensional spectral theorem, V has an orthonormal basis such that the matrix of A relative to this basis is a diagonal matrix with entries in the real numbers. In this article, we consider generalizations of this concept to operators on Hilbert spaces of arbitrary dimension.$

In mathematics, a quotient algebra is the result of partitioning the elements of an algebraic structure using a congruence relation. Quotient algebras are also called factor algebras. Here, the congruence relation must be an equivalence relation that is additionally compatible with all the operations of the algebra, in the formal sense described below. Its equivalence classes partition the elements of the given algebraic structure. The quotient algebra has these classes as its elements, and the compatibility conditions are used to give the classes an algebraic structure.

In mathematics, more specifically in functional analysis, a positive linear functional on an ordered vector space $is a linear functional on so that for all positive elements that is it holds that$

In mathematics, a duality translates concepts, theorems or mathematical structures into other concepts, theorems or structures, in a one-to-one fashion, often by means of an involution operation: if the dual of $A$ is $B$ , then the dual of $B$ is $A$ . Such involutions sometimes have fixed points, so that the dual of $A$ is $A$ itself. For example, Desargues' theorem is self-dual in this sense under the standard duality in projective geometry.

In functional analysis, a branch of mathematics, the Borel functional calculus is a functional calculus, which has particularly broad scope. Thus for instance if T is an operator, applying the squaring function s → s² to T yields the operator T². Using the functional calculus for larger classes of functions, we can for example define rigorously the "square root" of the (negative) Laplacian operator $-Δ$ or the exponential

In mathematics, particularly in functional analysis, a projection-valued measure (PVM) is a function defined on certain subsets of a fixed set and whose values are self-adjoint projections on a fixed Hilbert space. Projection-valued measures are formally similar to real-valued measures, except that their values are self-adjoint projections rather than real numbers. As in the case of ordinary measures, it is possible to integrate complex-valued functions with respect to a PVM; the result of such an integration is a linear operator on the given Hilbert space.

In linear algebra, the transpose of a linear map between two vector spaces, defined over the same field, is an induced map between the dual spaces of the two vector spaces. The transpose or algebraic adjoint of a linear map is often used to study the original linear map. This concept is generalised by adjoint functors.

In mathematics, specifically in group theory, the direct product is an operation that takes two groups $G$ and $H$ and constructs a new group, usually denoted $G \times H$ . This operation is the group-theoretic analogue of the Cartesian product of sets and is one of several important notions of direct product in mathematics.

In mathematics, in the realm of group theory, a countable group is said to be SQ-universal if every countable group can be embedded in one of its quotient groups. SQ-universality can be thought of as a measure of largeness or complexity of a group.

In the mathematical discipline of functional analysis, the concept of a compact operator on Hilbert space is an extension of the concept of a matrix acting on a finite-dimensional vector space; in Hilbert space, compact operators are precisely the closure of finite-rank operators in the topology induced by the operator norm. As such, results from matrix theory can sometimes be extended to compact operators using similar arguments. By contrast, the study of general operators on infinite-dimensional spaces often requires a genuinely different approach.

In mathematics, Hilbert spaces allow generalizing the methods of linear algebra and calculus from (finite-dimensional) Euclidean vector spaces to spaces that may be infinite-dimensional. Hilbert spaces arise naturally and frequently in mathematics and physics, typically as function spaces. Formally, a Hilbert space is a vector space equipped with an inner product that defines a distance function for which the space is a complete metric space.

In mathematics, and in particular representation theory, Frobenius reciprocity is a theorem expressing a duality between the process of restricting and inducting. It can be used to leverage knowledge about representations of a subgroup to find and classify representations of "large" groups that contain them. It is named for Ferdinand Georg Frobenius, the inventor of the representation theory of finite groups.

<span class="mw-page-title-main">Glossary of Lie groups and Lie algebras</span>

This is a glossary for the terminology applied in the mathematical theories of Lie groups and Lie algebras. For the topics in the representation theory of Lie groups and Lie algebras, see Glossary of representation theory. Because of the lack of other options, the glossary also includes some generalizations such as quantum group.

In mathematics, a dual system, dual pair, or duality over a field $is a triple consisting of two vector spaces and over and a non-degenerate bilinear map . Duality theory, the study of dual systems, is part of functional analysis.$

In functional analysis, every C^*-algebra is isomorphic to a subalgebra of the C^*-algebra $of bounded linear operators on some Hilbert space This article describes the spectral theory of closed normal subalgebras of . A subalgebra of is called normal if it is commutative and closed under the operation: for all, we have and that .$

References

↑ Derek John Scott Robinson (2003). An Introduction to Abstract Algebra . Walter de Gruyter. p. 64. ISBN 978-3-11-017544-8.
↑ J. F. Humphreys (1996). A Course in Group Theory . Oxford University Press. p. 65. ISBN 978-0-19-853459-4.
↑ H.E. Rose (2009). A Course on Finite Groups . Springer. p. 78. ISBN 978-1-84882-889-6.
↑ J.L. Alperin; Rowen B. Bell (1995). Groups and Representations . Springer. p. 11. ISBN 978-1-4612-0799-3.
↑ I. Martin Isaacs (1994). Algebra: A Graduate Course . American Mathematical Soc. p. 35. ISBN 978-0-8218-4799-2.
1 2 Joseph Rotman (1995). An Introduction to the Theory of Groups (4th ed.). Springer. pp. 37–38. ISBN 978-1-4612-4176-8.
↑ W. Keith Nicholson (2012). Introduction to Abstract Algebra (4th ed.). John Wiley & Sons. p. 352. ISBN 978-1-118-31173-8.
↑ Steven Roman (2011). Fundamentals of Group Theory: An Advanced Approach. Springer Science & Business Media. pp. 113–115. ISBN 978-0-8176-8301-6.
↑ W.R. Scott: Group Theory, Prentice Hall, 1964, p. 27.
↑ Jonathan K. Hodge; Steven Schlicker; Ted Sundstrom (2013). Abstract Algebra: An Inquiry Based Approach. CRC Press. p. 425. ISBN 978-1-4665-6708-5.

This page is based on this Wikipedia article
Text is available under the CC BY-SA 4.0 license; additional terms may apply.
Images, videos and audio are available under their respective licenses.

[Robinson2003-1] Derek John Scott Robinson (2003). An Introduction to Abstract Algebra . Walter de Gruyter. p. 64. ISBN 978-3-11-017544-8.

[Humphreys1996-2] J. F. Humphreys (1996). A Course in Group Theory . Oxford University Press. p. 65. ISBN 978-0-19-853459-4.

[Rose2009-3] H.E. Rose (2009). A Course on Finite Groups . Springer. p. 78. ISBN 978-1-84882-889-6.

[AlperinBell1995-4] J.L. Alperin; Rowen B. Bell (1995). Groups and Representations . Springer. p. 11. ISBN 978-1-4612-0799-3.

[Isaacs1994-5] I. Martin Isaacs (1994). Algebra: A Graduate Course . American Mathematical Soc. p. 35. ISBN 978-0-8218-4799-2.

[Rotman1995-6] 1 2 Joseph Rotman (1995). An Introduction to the Theory of Groups (4th ed.). Springer. pp. 37–38. ISBN 978-1-4612-4176-8.

[Nicholson2012-7] W. Keith Nicholson (2012). Introduction to Abstract Algebra (4th ed.). John Wiley & Sons. p. 352. ISBN 978-1-118-31173-8.

[Roman2011-8] Steven Roman (2011). Fundamentals of Group Theory: An Advanced Approach. Springer Science & Business Media. pp. 113–115. ISBN 978-0-8176-8301-6.

[9] W.R. Scott: Group Theory, Prentice Hall, 1964, p. 27.

[HodgeSchlicker2013-10] Jonathan K. Hodge; Steven Schlicker; Ted Sundstrom (2013). Abstract Algebra: An Inquiry Based Approach. CRC Press. p. 425. ISBN 978-1-4665-6708-5.

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]

[9]

[10]

Correspondence theorem

See also

Related Research Articles

References