# About Finitely presented groups in Oscar.jl
**URL:** https://discourse.julialang.org/t/about-finitely-presented-groups-in-oscar-jl/125268
**Category:** General Usage
**Tags:** question
**Created:** [January 27, 2025, 3:27pm UTC](https://discourse.julialang.org/t/about-finitely-presented-groups-in-oscar-jl/125268 "2025-01-27T15:27:33Z")
**Posts on this page:** 5
**Page:** 1
### Author:  [@Hakan\_Kucuk](https://discourse.julialang.org/u/Hakan_Kucuk)
#### Post date: [January 27, 2025, 3:27pm UTC](https://discourse.julialang.org/t/about-finitely-presented-groups-in-oscar-jl/125268/1 "2025-01-27T15:27:34Z")
Hello Julia community, I am new to programming, especially abstract programming. I find the Oscar.jl package quite powerful and successful, but I need your help in creating finite and abstract groups ( Finitely presented groups). For example,
H = \< a, x | x^2=a^(2^m-1)=1, a^x=a^(2^(m-2))\>
How can I create a group in the form above using the Oscar.jl package?. Thanks in advance
---
### Author:  [@thofma](https://discourse.julialang.org/u/thofma)
#### Post date: [January 27, 2025, 3:44pm UTC](https://discourse.julialang.org/t/about-finitely-presented-groups-in-oscar-jl/125268/2 "2025-01-27T15:44:15Z")
> [@Hakan\_Kucuk](#):
>
> H = \< a, x | x^2=a^(2^m-1)=1, a^x=a^(2^(m-2))\>
What is `m`?
---
### Author:  [@Hakan\_Kucuk](https://discourse.julialang.org/u/Hakan_Kucuk)
#### Post date: [January 27, 2025, 3:49pm UTC](https://discourse.julialang.org/t/about-finitely-presented-groups-in-oscar-jl/125268/3 "2025-01-27T15:49:07Z")
m is any possitive integer number
---
### Author:  [@thofma](https://discourse.julialang.org/u/thofma)
#### Post date: [January 27, 2025, 3:59pm UTC](https://discourse.julialang.org/t/about-finitely-presented-groups-in-oscar-jl/125268/4 "2025-01-27T15:59:44Z")
Here is how it is done for e.g. `m = 2`:
```julia
julia> F = free_group([:a, :x]);
julia> a, x = gens(F);
julia> m = 2; H, = quo(F, [x^2 * a^(-(2^m-1)), a^x*a^(-(2^(m-2)))]);
julia> relators(H)
2-element Vector{FPGroupElem}:
x^2*a^-3
x^-1*a*x*a^-1
```
---
### Author:  [@Hakan\_Kucuk](https://discourse.julialang.org/u/Hakan_Kucuk)
#### Post date: [January 27, 2025, 4:06pm UTC](https://discourse.julialang.org/t/about-finitely-presented-groups-in-oscar-jl/125268/5 "2025-01-27T16:06:50Z")
Thank you, thofma