Related papers: Solving the membership problem for certain subgrou…

For positive integers $u$ and $v$, let $L_u=\begin{bmatrix} 1 & 0 \\ u & 1 \end{bmatrix}$ and $R_v=\begin{bmatrix} 1 & v \\ 0 & 1 \end{bmatrix}$. Let $S_{u,v}$ be the monoid generated by $L_u$ and $R_v$, and $G_{u,v}$ be the group generated…

The main result of this paper is the decidability of the membership problem for $2\times 2$ nonsingular integer matrices. Namely, we will construct the first algorithm that for any nonsingular $2\times 2$ integer matrices $M_1,\dots,M_n$…

The matrix semigroup membership problem asks, given square matrices $M,M_1,\ldots,M_k$ of the same dimension, whether $M$ lies in the semigroup generated by $M_1,\ldots,M_k$. It is classical that this problem is undecidable in general but…

We consider the problem whether for a group G there exists a constant Lambda(G) > 1 such that for any (r,s)-matrix A over the integral group ring ZG the Fuglede-Kadison determinant of the G-equivariant bounded operator from L^2(G)^r to…

Let $G$ be a linear algebraic group over a field $k$, and let $V$ be a $G$-module. Recall that the nullcone of $(G,V)$ is the set of points $v$ in $V$ with the property that $f(v)=0$ for every positive degree homogeneous invariant $f$ in…

Let $G$ be a connected reductive subgroup of a complex connected reductive group $\hat{G}$. We are interested in the branching problem. Fix maximal tori and Borel subgroups of $G$ and $\hat G$. Consider the cone $lr(G,\hat G)$ generated by…

Let $H$ be a connected reductive subgroup of a complex connected reductive group $G$. Fix maximal tori and Borel subgroups of $H$ and $G$. Consider the pairs $(V,V')$ of irreducible representations of $H$ and $G$ such that $V$ is a…

Let $G$ be a connected reductive subgroup of a complex connected reductive group $\hat{G}$. Fix maximal tori and Borel subgroups of $G$ and $\hat{G}$. Consider the cone $LR^\circ(\hat{G},G)$ generated by the pairs $(\nu,\hat{\nu})$ of…

For positive integers m and r, one can easily show there exist integers N such that for every map D:{1,2,...,N} -> {1,2,...,r} there exist 2m integers x_1 < ... < x_m < y_1 < ... < y_m which satisfy: (a) D(x_1) = ... = D(x_m), (b) D(y_1) =…

We consider the Membership and the Half-Space Reachability problems for matrices in dimensions two and three. Our first main result is that the Membership Problem is decidable for finitely generated sub-semigroups of the Heisenberg group…

Let $V$ be a vector space and $U$ a fixed subspace of $V$. We denote the semigroup of all linear transformations on $V$ under composition of functions by $L(V)$. In this paper, we study the semigroup of all linear transformations on $V$…

Let us consider the group $G = < x,y \mid x^m = y^n>$ with $m$ and $n$ nonzero integers. In this paper, we study the variety of epresentations $R(G)$ and the character variety $X(G)$ in $SL(2,\C)$ of the group $G$,obtaining by elementary…

The goal of this paper is to develop a systematic method of locating the Mueller matrices within the class of the matrices of the real group SL(4, R). The main idea is to construct the general transformation of the group SL(4, R) (whose…

In this paper we consider a refinement, due to Nathanson, of the Calkin-Wilf tree. In particular, we study the properties of such trees associated with the matrices $L_u=\begin{bmatrix} 1 & 0 \\ u & 1\end{bmatrix}$ and $R_v=\begin{bmatrix}…

Parametrization of $4\times 4$-matrices $G$ of the complex linear group $GL(4,C)$ in terms of four complex 4-vector parameters $(k,m,n,l)$ is investigated. Additional restrictions separating some subgroups of $GL(4,C)$ are given explicitly.…

We show that every countable group H with solvable word problem (=computable group) can be subnormally embedded into a 2-generated group G which also has solvable word problem. Moreover, the membership problem for H < G is also solvable. We…

We consider what some authors call 'parabolic M\"obius subgroups' of matrices over Z, Q, and R and focus on the membership problem in these subgroups and complexity of relevant algorithms.

We study the problem of determining, for a polynomial function $f$ on a vector space $V$, the linear transformations $g$ of $V$ such that $f g = f$. In case $f$ is invariant under a simple algebraic group $G$ acting irreducibly on $V$, we…

We consider membership problems for rational subsets of the semigroup of $2\times 2$ matrices over $\mathbb{Q}$. For a semigroup $M$, the rational subsets $\mathrm{Rat}(M)$ are defined as the sets accepted by NFAs whose transitions are…

The main results in this thesis deal with the representation growth of certain classes of groups. In chapter $1$ we present the required preliminary theory. In chapter $2$ we introduce the Congruence Subgroup Problem for an algebraic group…