Showing 1–6 of 6 results for author: Karhumäki, U

Fixed point subgroups of a supertight automorphism

Authors: Ulla Karhumäki

Abstract: Let $G$ be an infinite simple group of finite Morley rank and $α$ a supertight automorphism of $G$ so that the fixed point subgroup $P_n:=C_G(α^n)$ is pseudofinite for all $n\in \mathbb{N}\setminus\{0\}$. It is know (using CFSG) that the socle $S_n:={\rm Soc}(P_n)$ is a (twisted) Chevalley group over a pseudofinite field. We prove that there is $r\in \mathbb{N}\setminus\{0\}$ so that for each $n$… ▽ More Let $G$ be an infinite simple group of finite Morley rank and $α$ a supertight automorphism of $G$ so that the fixed point subgroup $P_n:=C_G(α^n)$ is pseudofinite for all $n\in \mathbb{N}\setminus\{0\}$. It is know (using CFSG) that the socle $S_n:={\rm Soc}(P_n)$ is a (twisted) Chevalley group over a pseudofinite field. We prove that there is $r\in \mathbb{N}\setminus\{0\}$ so that for each $n$ we have $[P_n:S_n] < r$ and that there is no $m \in \mathbb{N}\setminus \{0\}$ so that for each $n$ the sizes of the Sylow $2$-subgroups of $S_n$ are bounded by $m$. We also note that in the recent identification result of $G$ under the assumption ${\rm pr}_2(G)=1$, the use of CFSG is not needed. △ Less

Submitted 25 January, 2024; originally announced January 2024.

A note on pseudofinite groups of finite centraliser dimension

Authors: Ulla Karhumäki

Abstract: We give a structural theorem for pseudofinite groups of finite centraliser dimension. As a corollary, we observe that there is no finitely generated pseudofinite group of finite centraliser dimension. We give a structural theorem for pseudofinite groups of finite centraliser dimension. As a corollary, we observe that there is no finitely generated pseudofinite group of finite centraliser dimension. △ Less

Submitted 10 June, 2021; originally announced June 2021.

Small groups of finite Morley rank with a supertight automorphism

Authors: Ulla Karhumäki, Pınar Uğurlu

Abstract: Let $G$ be an infinite simple group of finite Morley rank and of Prüfer $2$-rank $1$ which admits a supertight automorphism $α$ such that the fixed-point subgroup $C_G(α^n)$ is pseudofinite for all integers $n > 0$. We prove that $G \cong {\rm PGL}_2(K)$ for some algebraically closed field $K$ of characteristic $\neq 2$. Let $G$ be an infinite simple group of finite Morley rank and of Prüfer $2$-rank $1$ which admits a supertight automorphism $α$ such that the fixed-point subgroup $C_G(α^n)$ is pseudofinite for all integers $n > 0$. We prove that $G \cong {\rm PGL}_2(K)$ for some algebraically closed field $K$ of characteristic $\neq 2$. △ Less

Submitted 20 September, 2023; v1 submitted 17 December, 2020; originally announced December 2020.

MSC Class: 03C20; 03C45; 20G99

Locally finite groups of finite centraliser dimension

Authors: Alexandre Borovik, Ulla Karhumäki

Abstract: We describe structure of locally finite groups of finite centraliser dimension. We describe structure of locally finite groups of finite centraliser dimension. △ Less

Submitted 30 January, 2019; v1 submitted 21 April, 2018; originally announced April 2018.

Comments: This is the Author Accepted Manuscript of the paper: A. Borovik and U. Karhumäki, Locally finite groups of finite centralizer dimension. J. Group Theory (2019). Accepted for publication 22 January 2019. The manuscript will undergo copyediting, typesetting, and review of the resulting proof before it is published in its final form

MSC Class: 20F50

Definably simple stable groups with finitary groups of automorphisms

Authors: Ulla Karhumäki

Abstract: We prove that infinite definably simple locally finite groups of finite centraliser dimension are simple groups of Lie type over locally finite fields. Then, we identify conditions on automorphisms of a stable group that make it resemble the Frobenius maps, and allow us to classify definably simple stable groups in the specific case when they admit such automorphisms. We prove that infinite definably simple locally finite groups of finite centraliser dimension are simple groups of Lie type over locally finite fields. Then, we identify conditions on automorphisms of a stable group that make it resemble the Frobenius maps, and allow us to classify definably simple stable groups in the specific case when they admit such automorphisms. △ Less

Submitted 28 March, 2019; v1 submitted 2 January, 2018; originally announced January 2018.

Journal ref: J. symb. log. 84 (2019) 704-712

Online Exploration of Rectangular Grids

Authors: Hans-Joachim Böckenhauer, Janosch Fuchs, Ulla Karhumäki, Walter Unger

Abstract: In this paper, we consider the problem of exploring unknown environments with autonomous agents. We model the environment as a graph with edge weights and analyze the task of visiting all vertices of the graph at least once. The hardness of this task heavily depends on the knowledge and the capabilities of the agent. In our model, the agent sees the whole graph in advance, but does not know the we… ▽ More In this paper, we consider the problem of exploring unknown environments with autonomous agents. We model the environment as a graph with edge weights and analyze the task of visiting all vertices of the graph at least once. The hardness of this task heavily depends on the knowledge and the capabilities of the agent. In our model, the agent sees the whole graph in advance, but does not know the weights of the edges. As soon as it arrives in a vertex, it can see the weights of all the outgoing edges. We consider the special case of two different edge weights $1$ and $k$ and prove that the problem remains hard even in this case. We prove a lower bound of $11/9$ on the competitive ratio of any deterministic strategy for exploring a ladder graph and complement this result by a $4$-competitive algorithm. All of these results hold for undirected graphs. Exploring directed graphs, where the direction of the edges is not known beforehand, seems to be much harder. Here, we prove that a natural greedy strategy has a linear lower bound on the competitive ratio both in ladders and square grids. △ Less

Submitted 3 November, 2016; originally announced November 2016.