The unitary extension principle (UEP) by Ron and Shen yields a sufficient condition for the construction of Parseval wavelet frames with multiple generators. In this paper we characterize the UEP-type wavelet systems that can be extended to a Parseval wavelet frame by adding just one UEP-type wavelet system. We derive a condition that is necessary for the extension of a UEP-type wavelet system to any Parseval wavelet frame with any number of generators, and prove that this condition is also sufficient to ensure that an extension with just two generators is possible.

In this work we introduce a class of discrete groups containing subgroups of abstract translations and dilations, respectively. A variety of wavelet systems can appear as $\pi(\Gamma)\psi$, where $\pi$ is a unitary representation of a wavelet group and $\Gamma$ is the abstract pseudo-lattice $\Gamma$. We prove a condition in order that a Parseval frame $\pi(\Gamma)\psi$ can be dilated to an orthonormal basis of the form $\tau(\Gamma)\Psi$ where $\tau$ is a super-representation of $\pi$. For a subclass of groups that includes the case where the translation subgroup is Heisenberg, we show that this condition always holds, and we cite familiar examples as applications.

Given a finite group $G$, we examine the classification of all frame representations of $G$ and the classification of all $G$-frames, \emph{i.e.,} frames induced by group representations of $G$. We show that the exact number of equivalence classes of $G$-frames and the exact number of frame representations can be explicitly calculated. We also discuss how to calculate the largest number $L$ such that there exists an $L$-tuple of strongly disjoint $G$-frames.

\begin{abstract} We prove that a Minkowski plane is Euclidean if and only if Busemann's or Glogovskij's definitions of angular bisectors coincide with a bisector defined by an angular measure in the sense of Brass. In addition, bisectors defined by the area measure coincide with bisectors defined by the circumference (arc length) measure if and only if the unit circle is an equiframed curve.