# Is there an involutive automorphism mapping two given elements of a poset or lattice?

Mathematics Asked by ycras on November 3, 2020

$$S$$ is a finite poset or lattice ; $$A$$ and $$B$$ two distinct elements. If there is at least one automorphism that maps $$A$$ to $$B$$, can I find one such automorphism that is an involution?
The set of automorphisms of $$S$$ is a subgroup of its permutation group, so any automorphism can be decomposed into products of cycles with disjoint supports. It seems to me that if I look for all the automorphisms of $$S$$ that map $$A$$ to $$B$$, if this set is not empty then I should be able to find one, $$F$$, with cycles of max lenght 2, in which case $$F = F^{-1}$$. But is this true?
In other terms, I’m looking for an automorphism that swaps A and B, and also swaps any pairs of elements as required by compatibility with the partial order (e.g., swap a cover of A with a cover of B), leaving all other elements unchanged. I believe that if any automorphism mapping A to B exists, then one such automorphism exists, but I’m stuck about how to prove it.
NB this is not homework (I’m close to 60) but amateur interest in lattices and posets, and I haven’t done any serious math since my PhD…. so thanks for being indulgent!

The answer is no; consider the following finite poset, where the two dashed segments are supposed to be two ends of the same segment:

Its automorphism group is cyclic of order $$3$$, so there are nontrivial automorphisms but no involutions.

In fact more is true; for every finite group $$G$$ there exists a finite poset $$P$$ with $$operatorname{Aut}(P)cong G$$. Moreover, given a set of generators of $$G$$ one can construct such a finite poset $$P$$ explicitly. For more details see this paper.

Answered by Servaes on November 3, 2020

## Related Questions

### How the square model of Fano 3-space, a.k.a. $PG(3, 2)$, embeds in the MOG?

0  Asked on January 13, 2021 by riccardoventrella

### Closed-form analytical solutions to Optimal Transport/Wasserstein distance

2  Asked on January 13, 2021 by random_shape

### Questions about set cardinalities (infinite/finite).

1  Asked on January 13, 2021 by pwaol

### Forming 2 teams of five from 11 people, but first person of each team has the captain role.

0  Asked on January 13, 2021 by diagoot

### An easier evaluation of $detlimits_{1leqslant i,jleqslant n}left{frac{x_i-x_j}{x_i+x_j}right}$

1  Asked on January 12, 2021 by metamorphy

### Gaussian concentration of measure, equivalent definitions

1  Asked on January 12, 2021 by monty

### Markov’s Chain stationary matrix determination

2  Asked on January 12, 2021 by ignacio-toro

### Show that if $A+delta A$ is singular, $|delta A| = |A^{-1}|^{-1}$

0  Asked on January 12, 2021 by flerovium

### Shelah’s uncountable categoricity theorem

1  Asked on January 12, 2021 by user826451

### Incidence matrix proof.

1  Asked on January 12, 2021

### Partial Differential Equation with Travelling Wave Solutions

1  Asked on January 12, 2021 by zeinabqom

### Sigma value for defect ratio

1  Asked on January 12, 2021

### How can I prove $2^n+10n^2 le 12 cdot 2^n, n ge 1$ is true by induction?

4  Asked on January 12, 2021 by guk

### ODE direction field doesn’t match solution

3  Asked on January 11, 2021

### How do I convert this equation to the standard form of a circle?

2  Asked on January 11, 2021

### Reasoning about products of reals

2  Asked on January 11, 2021

### Does a cone in $mathbb{R}^3$ admit a warped geometry?

1  Asked on January 11, 2021 by eduardo-longa

### Is $h(n)$ independent of $n$?

1  Asked on January 11, 2021 by infinity_hunter

### Banach space for Frobenius norm

1  Asked on January 11, 2021 by dong-le

### show that all trees are planar without using Euler’s formula or the fact that all trees are planar

1  Asked on January 11, 2021 by user812532