For each matrix A in G, the QR decomposition asserts that there exists a unique unitary matrix Q and a unique upper triangular matrix R with positive real entries on the main diagonal such that A = QR.
One of the most important examples of this is Hall's 1937 theorem on the existence of Sylow systems for soluble groups.