二次拟群的同构

Pub Date : 2023-11-24 DOI:10.1017/s0013091523000585
Aleš Drápal, Ian M. Wanless
{"title":"二次拟群的同构","authors":"Aleš Drápal, Ian M. Wanless","doi":"10.1017/s0013091523000585","DOIUrl":null,"url":null,"abstract":"Let <jats:inline-formula> <jats:alternatives> <jats:inline-graphic xmlns:xlink=\"http://www.w3.org/1999/xlink\" mime-subtype=\"png\" mimetype=\"image\" xlink:href=\"S0013091523000585_inline1.png\" /> <jats:tex-math>$\\mathbb F$</jats:tex-math> </jats:alternatives> </jats:inline-formula> be a finite field of odd order and <jats:inline-formula> <jats:alternatives> <jats:inline-graphic xmlns:xlink=\"http://www.w3.org/1999/xlink\" mime-subtype=\"png\" mimetype=\"image\" xlink:href=\"S0013091523000585_inline2.png\" /> <jats:tex-math>$a,b\\in\\mathbb F\\setminus\\{0,1\\}$</jats:tex-math> </jats:alternatives> </jats:inline-formula> be such that <jats:inline-formula> <jats:alternatives> <jats:inline-graphic xmlns:xlink=\"http://www.w3.org/1999/xlink\" mime-subtype=\"png\" mimetype=\"image\" xlink:href=\"S0013091523000585_inline3.png\" /> <jats:tex-math>$\\chi(a) = \\chi(b)$</jats:tex-math> </jats:alternatives> </jats:inline-formula> and <jats:inline-formula> <jats:alternatives> <jats:inline-graphic xmlns:xlink=\"http://www.w3.org/1999/xlink\" mime-subtype=\"png\" mimetype=\"image\" xlink:href=\"S0013091523000585_inline4.png\" /> <jats:tex-math>$\\chi(1-a)=\\chi(1-b)$</jats:tex-math> </jats:alternatives> </jats:inline-formula>, where <jats:italic>χ</jats:italic> is the extended quadratic character on <jats:inline-formula> <jats:alternatives> <jats:inline-graphic xmlns:xlink=\"http://www.w3.org/1999/xlink\" mime-subtype=\"png\" mimetype=\"image\" xlink:href=\"S0013091523000585_inline5.png\" /> <jats:tex-math>$\\mathbb F$</jats:tex-math> </jats:alternatives> </jats:inline-formula>. Let <jats:inline-formula> <jats:alternatives> <jats:inline-graphic xmlns:xlink=\"http://www.w3.org/1999/xlink\" mime-subtype=\"png\" mimetype=\"image\" xlink:href=\"S0013091523000585_inline6.png\" /> <jats:tex-math>$Q_{a,b}$</jats:tex-math> </jats:alternatives> </jats:inline-formula> be the quasigroup over <jats:inline-formula> <jats:alternatives> <jats:inline-graphic xmlns:xlink=\"http://www.w3.org/1999/xlink\" mime-subtype=\"png\" mimetype=\"image\" xlink:href=\"S0013091523000585_inline7.png\" /> <jats:tex-math>$\\mathbb F$</jats:tex-math> </jats:alternatives> </jats:inline-formula> defined by <jats:inline-formula> <jats:alternatives> <jats:inline-graphic xmlns:xlink=\"http://www.w3.org/1999/xlink\" mime-subtype=\"png\" mimetype=\"image\" xlink:href=\"S0013091523000585_inline8.png\" /> <jats:tex-math>$(x,y)\\mapsto x+a(y-x)$</jats:tex-math> </jats:alternatives> </jats:inline-formula> if <jats:inline-formula> <jats:alternatives> <jats:inline-graphic xmlns:xlink=\"http://www.w3.org/1999/xlink\" mime-subtype=\"png\" mimetype=\"image\" xlink:href=\"S0013091523000585_inline9.png\" /> <jats:tex-math>$\\chi(y-x) \\geqslant 0$</jats:tex-math> </jats:alternatives> </jats:inline-formula>, and <jats:inline-formula> <jats:alternatives> <jats:inline-graphic xmlns:xlink=\"http://www.w3.org/1999/xlink\" mime-subtype=\"png\" mimetype=\"image\" xlink:href=\"S0013091523000585_inline10.png\" /> <jats:tex-math>$(x,y) \\mapsto x+b(y-x)$</jats:tex-math> </jats:alternatives> </jats:inline-formula> if <jats:inline-formula> <jats:alternatives> <jats:inline-graphic xmlns:xlink=\"http://www.w3.org/1999/xlink\" mime-subtype=\"png\" mimetype=\"image\" xlink:href=\"S0013091523000585_inline11.png\" /> <jats:tex-math>$\\chi(y-x) = -1$</jats:tex-math> </jats:alternatives> </jats:inline-formula>. We show that <jats:inline-formula> <jats:alternatives> <jats:inline-graphic xmlns:xlink=\"http://www.w3.org/1999/xlink\" mime-subtype=\"png\" mimetype=\"image\" xlink:href=\"S0013091523000585_inline12.png\" /> <jats:tex-math>$Q_{a,b} \\cong Q_{c,d}$</jats:tex-math> </jats:alternatives> </jats:inline-formula> if and only if <jats:inline-formula> <jats:alternatives> <jats:inline-graphic xmlns:xlink=\"http://www.w3.org/1999/xlink\" mime-subtype=\"png\" mimetype=\"image\" xlink:href=\"S0013091523000585_inline13.png\" /> <jats:tex-math>$\\{a,b\\} = \\{\\alpha(c),\\alpha(d)\\}$</jats:tex-math> </jats:alternatives> </jats:inline-formula> for some <jats:inline-formula> <jats:alternatives> <jats:inline-graphic xmlns:xlink=\"http://www.w3.org/1999/xlink\" mime-subtype=\"png\" mimetype=\"image\" xlink:href=\"S0013091523000585_inline14.png\" /> <jats:tex-math>$\\alpha\\in \\operatorname{Aut}(\\mathbb F)$</jats:tex-math> </jats:alternatives> </jats:inline-formula>. We also characterize <jats:inline-formula> <jats:alternatives> <jats:inline-graphic xmlns:xlink=\"http://www.w3.org/1999/xlink\" mime-subtype=\"png\" mimetype=\"image\" xlink:href=\"S0013091523000585_inline15.png\" /> <jats:tex-math>$\\operatorname{Aut}(Q_{a,b})$</jats:tex-math> </jats:alternatives> </jats:inline-formula> and exhibit further properties, including establishing when <jats:inline-formula> <jats:alternatives> <jats:inline-graphic xmlns:xlink=\"http://www.w3.org/1999/xlink\" mime-subtype=\"png\" mimetype=\"image\" xlink:href=\"S0013091523000585_inline16.png\" /> <jats:tex-math>$Q_{a,b}$</jats:tex-math> </jats:alternatives> </jats:inline-formula> is a Steiner quasigroup or is commutative, entropic, left or right distributive, flexible or semisymmetric. In proving our results, we also characterize the minimal subquasigroups of <jats:inline-formula> <jats:alternatives> <jats:inline-graphic xmlns:xlink=\"http://www.w3.org/1999/xlink\" mime-subtype=\"png\" mimetype=\"image\" xlink:href=\"S0013091523000585_inline17.png\" /> <jats:tex-math>$Q_{a,b}$</jats:tex-math> </jats:alternatives> </jats:inline-formula>.","PeriodicalId":0,"journal":{"name":"","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2023-11-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"3","resultStr":"{\"title\":\"Isomorphisms of quadratic quasigroups\",\"authors\":\"Aleš Drápal, Ian M. Wanless\",\"doi\":\"10.1017/s0013091523000585\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"Let <jats:inline-formula> <jats:alternatives> <jats:inline-graphic xmlns:xlink=\\\"http://www.w3.org/1999/xlink\\\" mime-subtype=\\\"png\\\" mimetype=\\\"image\\\" xlink:href=\\\"S0013091523000585_inline1.png\\\" /> <jats:tex-math>$\\\\mathbb F$</jats:tex-math> </jats:alternatives> </jats:inline-formula> be a finite field of odd order and <jats:inline-formula> <jats:alternatives> <jats:inline-graphic xmlns:xlink=\\\"http://www.w3.org/1999/xlink\\\" mime-subtype=\\\"png\\\" mimetype=\\\"image\\\" xlink:href=\\\"S0013091523000585_inline2.png\\\" /> <jats:tex-math>$a,b\\\\in\\\\mathbb F\\\\setminus\\\\{0,1\\\\}$</jats:tex-math> </jats:alternatives> </jats:inline-formula> be such that <jats:inline-formula> <jats:alternatives> <jats:inline-graphic xmlns:xlink=\\\"http://www.w3.org/1999/xlink\\\" mime-subtype=\\\"png\\\" mimetype=\\\"image\\\" xlink:href=\\\"S0013091523000585_inline3.png\\\" /> <jats:tex-math>$\\\\chi(a) = \\\\chi(b)$</jats:tex-math> </jats:alternatives> </jats:inline-formula> and <jats:inline-formula> <jats:alternatives> <jats:inline-graphic xmlns:xlink=\\\"http://www.w3.org/1999/xlink\\\" mime-subtype=\\\"png\\\" mimetype=\\\"image\\\" xlink:href=\\\"S0013091523000585_inline4.png\\\" /> <jats:tex-math>$\\\\chi(1-a)=\\\\chi(1-b)$</jats:tex-math> </jats:alternatives> </jats:inline-formula>, where <jats:italic>χ</jats:italic> is the extended quadratic character on <jats:inline-formula> <jats:alternatives> <jats:inline-graphic xmlns:xlink=\\\"http://www.w3.org/1999/xlink\\\" mime-subtype=\\\"png\\\" mimetype=\\\"image\\\" xlink:href=\\\"S0013091523000585_inline5.png\\\" /> <jats:tex-math>$\\\\mathbb F$</jats:tex-math> </jats:alternatives> </jats:inline-formula>. Let <jats:inline-formula> <jats:alternatives> <jats:inline-graphic xmlns:xlink=\\\"http://www.w3.org/1999/xlink\\\" mime-subtype=\\\"png\\\" mimetype=\\\"image\\\" xlink:href=\\\"S0013091523000585_inline6.png\\\" /> <jats:tex-math>$Q_{a,b}$</jats:tex-math> </jats:alternatives> </jats:inline-formula> be the quasigroup over <jats:inline-formula> <jats:alternatives> <jats:inline-graphic xmlns:xlink=\\\"http://www.w3.org/1999/xlink\\\" mime-subtype=\\\"png\\\" mimetype=\\\"image\\\" xlink:href=\\\"S0013091523000585_inline7.png\\\" /> <jats:tex-math>$\\\\mathbb F$</jats:tex-math> </jats:alternatives> </jats:inline-formula> defined by <jats:inline-formula> <jats:alternatives> <jats:inline-graphic xmlns:xlink=\\\"http://www.w3.org/1999/xlink\\\" mime-subtype=\\\"png\\\" mimetype=\\\"image\\\" xlink:href=\\\"S0013091523000585_inline8.png\\\" /> <jats:tex-math>$(x,y)\\\\mapsto x+a(y-x)$</jats:tex-math> </jats:alternatives> </jats:inline-formula> if <jats:inline-formula> <jats:alternatives> <jats:inline-graphic xmlns:xlink=\\\"http://www.w3.org/1999/xlink\\\" mime-subtype=\\\"png\\\" mimetype=\\\"image\\\" xlink:href=\\\"S0013091523000585_inline9.png\\\" /> <jats:tex-math>$\\\\chi(y-x) \\\\geqslant 0$</jats:tex-math> </jats:alternatives> </jats:inline-formula>, and <jats:inline-formula> <jats:alternatives> <jats:inline-graphic xmlns:xlink=\\\"http://www.w3.org/1999/xlink\\\" mime-subtype=\\\"png\\\" mimetype=\\\"image\\\" xlink:href=\\\"S0013091523000585_inline10.png\\\" /> <jats:tex-math>$(x,y) \\\\mapsto x+b(y-x)$</jats:tex-math> </jats:alternatives> </jats:inline-formula> if <jats:inline-formula> <jats:alternatives> <jats:inline-graphic xmlns:xlink=\\\"http://www.w3.org/1999/xlink\\\" mime-subtype=\\\"png\\\" mimetype=\\\"image\\\" xlink:href=\\\"S0013091523000585_inline11.png\\\" /> <jats:tex-math>$\\\\chi(y-x) = -1$</jats:tex-math> </jats:alternatives> </jats:inline-formula>. We show that <jats:inline-formula> <jats:alternatives> <jats:inline-graphic xmlns:xlink=\\\"http://www.w3.org/1999/xlink\\\" mime-subtype=\\\"png\\\" mimetype=\\\"image\\\" xlink:href=\\\"S0013091523000585_inline12.png\\\" /> <jats:tex-math>$Q_{a,b} \\\\cong Q_{c,d}$</jats:tex-math> </jats:alternatives> </jats:inline-formula> if and only if <jats:inline-formula> <jats:alternatives> <jats:inline-graphic xmlns:xlink=\\\"http://www.w3.org/1999/xlink\\\" mime-subtype=\\\"png\\\" mimetype=\\\"image\\\" xlink:href=\\\"S0013091523000585_inline13.png\\\" /> <jats:tex-math>$\\\\{a,b\\\\} = \\\\{\\\\alpha(c),\\\\alpha(d)\\\\}$</jats:tex-math> </jats:alternatives> </jats:inline-formula> for some <jats:inline-formula> <jats:alternatives> <jats:inline-graphic xmlns:xlink=\\\"http://www.w3.org/1999/xlink\\\" mime-subtype=\\\"png\\\" mimetype=\\\"image\\\" xlink:href=\\\"S0013091523000585_inline14.png\\\" /> <jats:tex-math>$\\\\alpha\\\\in \\\\operatorname{Aut}(\\\\mathbb F)$</jats:tex-math> </jats:alternatives> </jats:inline-formula>. We also characterize <jats:inline-formula> <jats:alternatives> <jats:inline-graphic xmlns:xlink=\\\"http://www.w3.org/1999/xlink\\\" mime-subtype=\\\"png\\\" mimetype=\\\"image\\\" xlink:href=\\\"S0013091523000585_inline15.png\\\" /> <jats:tex-math>$\\\\operatorname{Aut}(Q_{a,b})$</jats:tex-math> </jats:alternatives> </jats:inline-formula> and exhibit further properties, including establishing when <jats:inline-formula> <jats:alternatives> <jats:inline-graphic xmlns:xlink=\\\"http://www.w3.org/1999/xlink\\\" mime-subtype=\\\"png\\\" mimetype=\\\"image\\\" xlink:href=\\\"S0013091523000585_inline16.png\\\" /> <jats:tex-math>$Q_{a,b}$</jats:tex-math> </jats:alternatives> </jats:inline-formula> is a Steiner quasigroup or is commutative, entropic, left or right distributive, flexible or semisymmetric. In proving our results, we also characterize the minimal subquasigroups of <jats:inline-formula> <jats:alternatives> <jats:inline-graphic xmlns:xlink=\\\"http://www.w3.org/1999/xlink\\\" mime-subtype=\\\"png\\\" mimetype=\\\"image\\\" xlink:href=\\\"S0013091523000585_inline17.png\\\" /> <jats:tex-math>$Q_{a,b}$</jats:tex-math> </jats:alternatives> </jats:inline-formula>.\",\"PeriodicalId\":0,\"journal\":{\"name\":\"\",\"volume\":null,\"pages\":null},\"PeriodicalIF\":0.0,\"publicationDate\":\"2023-11-24\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"3\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"\",\"FirstCategoryId\":\"100\",\"ListUrlMain\":\"https://doi.org/10.1017/s0013091523000585\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"","FirstCategoryId":"100","ListUrlMain":"https://doi.org/10.1017/s0013091523000585","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 3

摘要

设$\mathbb F$为奇阶有限域,且$a,b\in\mathbb F\setminus\{0,1\}$为$\chi(a) = \chi(b)$和$\chi(1-a)=\chi(1-b)$,其中χ为$\mathbb F$上的扩展二次元。设$Q_{a,b}$为$\mathbb F$上的准群,如果$\chi(y-x) \geqslant 0$定义为$(x,y)\mapsto x+a(y-x)$,如果$\chi(y-x) = -1$定义为$(x,y) \mapsto x+b(y-x)$。我们证明$Q_{a,b} \cong Q_{c,d}$当且仅当$\{a,b\} = \{\alpha(c),\alpha(d)\}$对于某些$\alpha\in \operatorname{Aut}(\mathbb F)$。我们还描述了$\operatorname{Aut}(Q_{a,b})$并展示了进一步的性质,包括确定$Q_{a,b}$是Steiner拟群还是交换的、熵的、左分配的或右分配的、柔性的或半对称的。为了证明我们的结果,我们也刻画了$Q_{a,b}$的最小子拟群。
本文章由计算机程序翻译,如有差异,请以英文原文为准。
查看原文
分享 分享
微信好友 朋友圈 QQ好友 复制链接
Isomorphisms of quadratic quasigroups
Let $\mathbb F$ be a finite field of odd order and $a,b\in\mathbb F\setminus\{0,1\}$ be such that $\chi(a) = \chi(b)$ and $\chi(1-a)=\chi(1-b)$ , where χ is the extended quadratic character on $\mathbb F$ . Let $Q_{a,b}$ be the quasigroup over $\mathbb F$ defined by $(x,y)\mapsto x+a(y-x)$ if $\chi(y-x) \geqslant 0$ , and $(x,y) \mapsto x+b(y-x)$ if $\chi(y-x) = -1$ . We show that $Q_{a,b} \cong Q_{c,d}$ if and only if $\{a,b\} = \{\alpha(c),\alpha(d)\}$ for some $\alpha\in \operatorname{Aut}(\mathbb F)$ . We also characterize $\operatorname{Aut}(Q_{a,b})$ and exhibit further properties, including establishing when $Q_{a,b}$ is a Steiner quasigroup or is commutative, entropic, left or right distributive, flexible or semisymmetric. In proving our results, we also characterize the minimal subquasigroups of $Q_{a,b}$ .
求助全文
通过发布文献求助,成功后即可免费获取论文全文。 去求助
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
0
微信
客服QQ
Book学术公众号 扫码关注我们
反馈
×
意见反馈
请填写您的意见或建议
请填写您的手机或邮箱
已复制链接
已复制链接
快去分享给好友吧!
我知道了
×
扫码分享
扫码分享
Book学术官方微信
Book学术文献互助
Book学术文献互助群
群 号:481959085
Book学术
文献互助 智能选刊 最新文献 互助须知 联系我们:info@booksci.cn
Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。
Copyright © 2023 Book学术 All rights reserved.
ghs 京公网安备 11010802042870号 京ICP备2023020795号-1