Related papers: Conjugacy in inverse semigroups
Let $G$ be a semisimple algebraic group over an algebraically closed field of characteristic $p \geq 0$. At the 1966 International Congress of Mathematicians in Moscow, Robert Steinberg conjectured that two elements $a, a' \in G$ are…
Let $G$ be a compact, simply connected Lie group. If $\mathcal{C}_1,\mathcal{C}_2$ are two $G$-conjugacy classes, then the set of elements in $G$ that can be written as products $g=g_1g_2$ of elements $g_i\in \mathcal{C}_i$ is invariant…
In this paper we provide an overview of the class of inverse semigroups $S$ such that every congruence on $S$ relates at least one idempotent to a non-idempotent; such inverse semigroups are called $E$-disjunctive. This overview includes…
Let $\F$ be a field with a non-trivial involution $c: \alpha \to \alpha^c$. An element $g \in {\rm GL}_n(\F)$ is called $c$-real if it is conjugate to $(g^c)^{-1}$. We prove that for $n \geq 2$, $g \in {\rm GL}_n(\F)$ is $c$-real if and…
Double cosets appear in many contexts in combinatorics, for example in the enumeration of certain objects up to symmetries. Double cosets in a quotient of the form $H\backslash G / H$ have an inverse, and can be their own inverse. In this…
Given a group $G$, we write $g^G$ for the conjugacy class of $G$ containing the element $g$. A theorem of B. H. Neumann states that if $G$ is a group in which all conjugacy classes are finite with bounded size, then the commutator subgroup…
This survey article explores the notion of z-classes in groups. The concept introduced here is related to the notion of orbit types in transformation groups, and types or genus in the representation theory of finite groups of Lie type. Two…
A partial automorphism of a semigroup $S$ is any isomorphism between its subsemigroups, and the set all partial automorphisms of $S$ with respect to composition is the inverse monoid called the partial automorphism monoid of $S$. Two…
A group G is almost cyclic if there is an element x in G, such that for all g in G, there is an element y in G and an integer n with ygy^{-1} = x^n (that is, every element is conjugate to some power of x). W. Ziller asked whether there are…
A group $G$ is called subgroup conjugacy separable if for every pair of non-conjugate finitely generated subgroups of $G$, there exists a finite quotient of $G$ where the images of these subgroups are not conjugate. We prove that limit…
An element of a group is called $\textit{strongly reversible}$ or $\textit{strongly real}$ if it can be expressed as a product of two involutions. We provide necessary and sufficient conditions for an element of $\mathrm{SL}(n,\mathbb{C})$…
An element of a group is said to be reversible if it is conjugate to its inverse. We characterise the reversible elements in the group of diffeomorphisms of the real line, and in the subgroup of order preserving diffeomorphisms.
Given a semigroup $S$ and $s,t \in S$, write $s \sim_p^1 t$ if $s=pr$ and $t=rp$, for some $p,r \in S \cup \{1\}$. This relation, known as "primary conjugacy", along with its transitive closure $\sim_p$, has been extensively used and…
A group $G$ is called subgroup conjugacy separable (abbreviated as SCS), if any two finitely generated and non-conjugate subgroups of $G$ remain non-conjugate in some finite quotient of $G$. We prove that free groups and the fundamental…
Let $G$ be a finite group. Let $k(G)$ denote the number of conjugacy classes of $G$ and let $m(G)$ denote the least positive integer $n$ such that the union of any $n$ distinct non-trivial conjugacy classes of $G$ together with the identity…
Suppose that $G$ is a finite group and $K$ a non-trivial conjugacy class of $G$ such that $KK^{-1}=1\cup D\cup D^{-1}$ with $D$ a conjugacy class of $G$. We prove that $G$ is not a non-abelian simple group. We also give arithmetical…
Let $G$ be a group. We say that an element $f\in G$ is {\em reversible in} $G$ if it is conjugate to its inverse, i.e. there exists $g\in G$ such that $g^{-1}fg=f^{-1}$. We denote the set of reversible elements by $R(G)$. For $f\in G$, we…
We examine, in a general setting, a notion of inverse semigroup of left quotients, which we call left I-quotients. This concept has appeared, and has been used, as far back as Clifford's seminal work describing bisimple inverse monoids in…
Let $G$ be a group. Write $G^{*}=G\setminus \{1\}$. An element $x$ of $G^{*}$ will be called deficient if $ \langle x\rangle < C_G(x)$ and it will be called non-deficient if $\langle x\rangle = C_G(x).$ If $x\in G$ is deficient…
Let $G$ be a finite group, and let $\kappa(G)$ be the probability that elements $g$, $h\in G$ are conjugate, when $g$ and $h$ are chosen independently and uniformly at random. The paper classifies those groups $G$ such that $\kappa(G) \geq…