Zobrazeno 1 - 8
of 8
pro vyhledávání: '"Buran, Michal"'
Autor:
Cerna, David M., Buran, Michal
Generalization techniques have many applications, including template construction, argument generalization, and indexing. Modern interactive provers can exploit advancement in generalization methods over expressive type theories to further develop pr
Externí odkaz:
http://arxiv.org/abs/2207.08918
Autor:
Buran, Michal
We prove new separability results about free groups. Namely, if $H_1, \ldots , H_k$ are infinite index, finitely generated subgroups of a non-abelian free group $F$, then there exists a homomorphism onto some alternating group $f:F \twoheadrightarrow
Externí odkaz:
http://arxiv.org/abs/2105.10540
Autor:
Pawlenka, Tomáš, Juránek, Martin, Klaus, Pavel, Beseda, Marek, Buráň, Michal, Suchánek, Miroslav, Sehnoutka, Petr, Kulhánek, Jiří
Publikováno v:
In Thermal Science and Engineering Progress 1 September 2023 44
Autor:
Buran, Michal
Let $W$ be a right-angled Coxeter group corresponding to a finite non-discrete graph $\mathcal{G}$ with at least $3$ vertices. Our main theorem says that $\mathcal{G}^c$ is connected if and only if for any infinite index quasiconvex subgroup $H$ of $
Externí odkaz:
http://arxiv.org/abs/1906.00857
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Buran, Michal
Publikováno v:
In Journal of Algebra 15 May 2022 598:518-535
Autor:
Buran, Michal
This thesis promotes known residual properties of free groups, surface groups, right angled Coxeter groups and right angled Artin groups to the situation where the quotient is only allowed to be an alternating group. The proofs follow two related thr
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::5c5b5c6fef03b1fbb39f3b65e2209599
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.