Ideals and left ideals

Question

Ideals and left ideals

Opened this issue 7 years ago · 3 comments

Add support for ideals and left ideals. Compute the socle and check if the (skew) brace is simple. Compute quotients of skew braces by ideals

Answer 1 · 2017-12-13T15:34:07.000Z

We should also display ideals as ideals.

Answer 2 · 2023-05-18T11:57:02.000Z

@vendramin the 1st comment is already implemented. The 2nd would really be an improvement. We think with @VanAntwerpen of something like

<two-sided ideal of size 4 in <brace of size 8>>

properly handling cases of left or two-sides, classical or skew etc.

Answer 3 · 2023-05-18T13:02:51.000Z

Sounds good. Note that we need to use (left) ideals as independent skew braces as well as ideals of a bigger skew brace.

…

On 18 May 2023, at 13:57, Olexandr Konovalov ***@***.***> wrote: @vendramin the 1st comment is already implemented. The 2nd would really be an improvement. We think with @VanAntwerpen of something like <two-sided ideal of size 4 in <brace of size 8>> properly handling cases of left or two-sides, classical or skew etc. — Reply to this email directly, view it on GitHub, or unsubscribe. You are receiving this because you were mentioned.Message ID: ***@***.***>