# Questions tagged [involutions]

The tag has no usage guidance.

41 questions
Filter by
Sorted by
Tagged with
174 views

### Two-generated ideal of $k[x,y]$ invariant under an involution

The following question is a natural continuation of this MSE question; further elaboration can be found in it. I have now edited my current question, according to the two nice comments that I have ...
695 views

### Finite field special functions

I am looking for special class of involutive functions (f) with exactly one (zero) fixed point over finite field $F_q$ with properties: 1) $f(f(x))=x$ for any $x \in F_q$ , $f(x)=x$ iff $x=0$ 2) ...
194 views

### Symmetric subgroups of simple algebraic groups over finite fields

Let $G$ be a simply connected simple algebraic group over a field $k$. Let $\theta\colon G\to G$ be an involution of $G$ over $k$ (an automorphism of order 2). Let $H=(G^\theta)^0$, the identity ...
56 views

82 views

58 views

### Generators of fixed function fields under involutions

I am trying to prove something for function fields in two generators and only one involution but I don't know if it is true, if true, I would like to generalize, here it is. Let $K=k(\eta_1,\eta_2)$ ...
163 views

### When is a Hermitian matrix of the form $g^*g$ for some matrix $g$

I tried asking this question on Math StackExchange and didn't get any replies. I was hoping that maybe someone here could help, sorry for duplicating. I'm trying to figure out some properties of ...
270 views

### Stinespring's dilation without $C^{\ast}$-algebras

Does Stinespring's dilation theorem hold if the algebra of interest is a topological $\ast$-algebra instead of the usual $C^{\ast}$-algebra? I will now state the version of Stinespring's dilation ...
252 views

1k views

### A function composed with itself produces the identity

Let $B$ be the closed unit ball in $\mathbb R^3$ and $f: B\to B$ continuous, such that $f\circ f$ is the identity (i.e., $f\circ f=\mathbb 1_B$) and $f$ restricted on $\partial B$ is also the identity ...
519 views

### Involution centralizers in simple groups

I often see lower bounds on the size of centralizers of involutions in finite (nonabelian) simple groups, but is there a general upper bound for the size of an involution centralizer in such a ...
642 views

236 views

### (Non-)existence of skew fields satisfying a SGPI (=skew generalized polynomial identity)

Let $K$ be a skew-field, infinite dimensional over its center $F$. From Kaplansky's PI-theorem it then follows that $K$ cannot satisfy a polynomial identity (the theorem says that primitive PI-...
533 views

### Does a fixed-point free “homotopy involution” imply that a manifold bounds?

Let $M^n$ be a closed (compact, connected, without boundary) smooth manifold. It is known that if there exists a fixed point free involution $\tau:M \rightarrow M$, then M bounds. That is, there ...
632 views

### Algebraic axiomatization for AB+BA^T operation on matrices

Let us consider a matrix algebra $Mat_{n\times n}(K)$, where $K$ is a field, $char K \neq 2.$ It is well-known that the axiomatization of commutator operation $[A,B]=AB-BA$ on matrix algebra leads us ...
209 views

### Find elements $\rho_i$ such that $H < B : [\langle H, \rho_i \rangle : H ] = 2$

Let $\Gamma (G;(G_i)_{i \in I})$ be a coset geometry (in the sense of Buekenhout) firm, residually connected and flag transitive with Borel subgroup $B$. Consider $H$ any subgroup of $B$. I want to ...
Let $q$ be a prime power, and $D$ a non-commutative division algebra (skew field) over $\mathbb{F}_q$ (the finite field with $q$ elements) such that the center $C(D)$ equals $\mathbb{F}_q$. ...
I was recently taking some notes on the Cartan-Dieudonné theorem: if $(V,q)$ is a nondegenerate quadratic space of finite dimension $n$ over a field of characteristic not $2$, then every element of ...