arXiv 0906.44012009-06-24math.RA

Groupoid identities common to four abelian group operations

David Kelly

英文摘要：

We exhibit a finite basis M for a certain variety $\mathbf{V}$ of medial groupoids. The set M consists of the medial law (xy)(zt)=(xz)(yt) and five other identities involving four variables. The variety $\mathbf{V}$ is generated by the four groupoids $\pm x\pm y$ on the integers. Since $\mathbf{V}$ is a very natural variety, proving it to be finitely based should be of interest. In an earlier paper, we made a conjecture which implies that $\mathbf{V}$ is finitely based. In this paper, we show that $\mathbf{V}$ is finitely based by proving that M is a basis. Based on our proof, we think that our conjecture will be difficult to prove. We used four medial groupoids to define $\mathbf{V}$. We also present a finite basis for the variety generated by any proper subset of these four groupoids. In an earlier paper with R. Padmanabhan, we gave the corresponding finite bases when the constant zero is allowed.

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

阅读原文

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

本文内容

英文摘要相关论文

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

继续探索

相关论文

Abelian and Hamiltonian groupoids

In the work we investigate some groupoids which are the Abelian algebras and the Hamiltonian algebras. An algebra is Abelian if for every polynomial operation and for all elements $a,b,\bar c,\bar d$ the implication $t(a,\bar c)=t(a,\bar d)\rightarrow t(b,\bar c)=t(b,\bar d)$ holds; an algebra is Hamiltonian if every subalgebra is a block of some congruence on the algebra. R.V. Warne in 1994 described the structure of the Abelian semigroups. In this work we describe the Abelian groupoids with identity, the Abelian finite quasigroups and the Abelian semigroups $S$ such that $abS=aS$ and $Sba=Sa…

2018-04-25math.LOmath.RA

非阿贝尔群oid的扩展及其群oid环

Non-Abelian extensions of groupoids and their groupoid rings

本文提出了一种群oid扩展的分类理论，并展示了群oid交叉积的构造及其分类意义。

2022-08-11math.CTmath.OAmath.RA

On the structure of completely inverse AG**-groupoids

We determine the structure of completely inverse AG**-groupoids modulo semilattices of abelian groups and their involutive, idempotent-fixed automorphisms.

2014-11-23math.RA

Completely inverse $AG^{**}$-groupoids

A completely inverse $AG^{**}$-groupoid is a groupoid satisfying the identities $(xy)z=(zy)x$, $x(yz)=y(xz)$ and $xx^{-1}=x^{-1}x$, where $x^{-1}$ is a unique inverse of $x$, that is, $x=(xx^{-1})x$ and $x^{-1}=(x^{-1}x)x^{-1}$. First we study some fundamental properties of such groupoids. Then we determine certain fundamental congruences on a completely inverse $AG^{**}$-groupoid; namely: the maximum idempotent-separating congruence, the least $AG$-group congruence and the least $E$-unitary congruence. Finally, we investigate the complete lattice of congruences of a completely inverse $AG^{**…

2013-05-25math.RA

Action representability of the category of internal groupoids

When $\mathbb C$ is a semi-abelian category, it is well known that the category $\mathsf{Grpd}(\mathbb C)$ of internal groupoids in $\mathbb C$ is again semi-abelian. The problem of determining whether the same kind of phenomenon occurs when the property of being semi-abelian is replaced by the one of being action representable (in the sense of Borceux, Janelidze and Kelly) turns out to be rather subtle. In the present article we give a sufficient condition for this to be true: in fact we prove that the category $\mathsf{Grpd}(\mathbb C)$ is a semi-abelian action representable algebraically co…

2020-12-25math.ATmath.CTmath.RA

Sheffer operation in relational systems

The concept of a Sheffer operation known for Boolean algebras and orthomodular lattices is extended to arbitrary directed relational systems with involution. It is proved that to every such relational system there can be assigned a Sheffer groupoid and also, conversely, every Sheffer groupoid induces a directed relational system with involution. Hence, investigations of these relational systems can be transformed to the treaty of special groupoids which form a variety of algebras. If the Sheffer operation is also commutative then the induced binary relation is antisymmetric. Moreover, commutat…

2021-01-28math.RA

更多相关论文收起更多论文

高阶双对数恒等式与簇$a$-变量周期性

Dilogarithm identities of higher degree and cluster $a$-variable periodicity

本文利用Li及第二作者建立的簇群胚变异周期性，证明了在交换矩阵满秩时，Nakanishi的高阶双对数恒等式可由经典双对数恒等式导出。

2025-06-24math.COmath.RA

Identities and central polynomials of real graded division algebras

Let $A$ be a finite dimensional real algebra with a division grading by a finite abelian group $G$. In this paper we provide finite basis for the $T_G$-ideal of graded identities and for the $T_G$-space of graded central polynomials for $A$.

2017-01-05math.RA

群体学分级半单环

Groupoid Graded Semisimple Rings

本文研究群体学分级半单环的理论，提出Γ₀-artinian概念，并证明了Wedderburn-Artin定理的群体学分级版本，同时探讨了群体学分级环的自由性及与半单范畴的关系。

2025-12-15math.CTmath.RA

Simple G-graded algebras and their polynomial identities

Let G be any group and F an algebraically closed field of characteristic zero. We show that any G-graded finite dimensional associative G-simple algebra over F is determined up to a G-graded isomorphism by its G-graded polynomial identities. This result was proved by Koshlukov and Zaicev in case G is abelian.

2011-11-15math.RA

Identities and isomorphisms of finite-dimensional graded simple algebras

Let $\mathbb F$ be an algebraically closed field, $G$ be an abelian group, and let $A$ and $B$ be arbitrary finite-dimensional $G$-graded simple algebras over $\mathbb F$. We prove that $A$ and $B$ are isomorphic if, and only if, they satisfy the same graded polynomial identities.

2018-06-07math.RA

Graded Identities and Isomorphisms on Algebras of Upper Block-Triangular Matrices

Let $G$ be an abelian group and $\mathbb{K}$ an algebraically closed field of characteristic zero. A. Valenti and M. Zaicev described the $G$-gradings on upper block-triangular matrix algebras provided that $G$ is finite. We prove that their result holds for any abelian group $G$: any grading is isomorphic to the tensor product $A\otimes B$ of an elementary grading $A$ on an upper block-triangular matrix algebra and a division grading $B$ on a matrix algebra. We then consider the question of whether graded identities $A\otimes B$, where $B$ is an algebra with a division grading, determine $A\o…

2018-03-26math.RA

Graded polynomial identities and exponential growth

Let A be a finite dimensional algebra over a field of characteristic zero graded by a finite abelian group G. Here we study a growth function related to the graded polynomial identities satisfied by A by computing the exponential rate of growth of the sequence of graded codimensions of A. We prove that the G-exponent of A exists and is an integer related in an explicit way to the dimension of a suitable semisimple subalgebra of A.

2009-03-10math.RA

Identities of finitely generated graded algebras with involution

We consider associative algebras with involution graded by a finite abelian group G over a field of characteristic zero. Suppose that the involution is compatible with the grading. We represent conditions permitting PI-representability of such algebras. Particularly, it is proved that a finitely generated (Z/qZ)-graded associative PI-algebra with involution satisfies exactly the same graded identities with involution as some finite dimensional (Z/qZ)-graded algebra with involution for any prime q or q = 4. This is an analogue of the theorem of A.Kemer for ordinary identities, and an extension …

2014-12-06math.RA

Graded polynomial identities, group actions, and exponential growth of Lie algebras

Consider a finite dimensional Lie algebra L with an action of a finite group G over a field of characteristic 0. We prove the analog of Amitsur's conjecture on asymptotic behavior for codimensions of polynomial G-identities of L. As a consequence, we prove the analog of Amitsur's conjecture for graded codimensions of any finite dimensional Lie algebra graded by a finite Abelian group.

2013-03-08math.RA

Graded identities of simple real graded division algebras

Let A and B be finite dimensional simple real algebras with division gradings by an abelian group G. In this paper we give necessary and sufficient conditions for the coincidence of the graded identities of A and B. We also prove that every finite dimensional simple real algebra with a G-grading satisfies the same graded identities as a matrix algebra over an algebra D with a division grading that is either a regular grading or a non-regular Pauli grading. Moreover we determine when the graded identities of two such algebras coincide. For graded simple algebras over an algebraically closed fie…

2016-02-26math.RA

Nichols algebras over groups with finite root system of rank two III

We compute the finite-dimensional Nichols algebras over the sum of two simple Yetter-Drinfeld modules V and W over non-abelian quotients of a certain central extension of the dihedral group of eight elements or SL(2,3), and such that the Weyl groupoid of the pair (V,W) is finite. These central extensions appear in the classification of non-elementary finite-dimensional Nichols algebras with finite Weyl groupoid of rank two. We deduce new information on the structure of primitive elements of finite-dimensional Nichols algebras over groups.

2014-09-17math.QAmath.RA

A classification of Nichols algebras of semi-simple Yetter-Drinfeld modules over non-abelian groups

Over fields of arbitrary characteristic we classify all braid-indecomposable tuples of at least two absolutely simple Yetter-Drinfeld modules over non-abelian groups such that the group is generated by the support of the tuple and the Nichols algebra of the tuple is finite-dimensional. Such tuples are classified in terms of analogs of Dynkin diagrams which encode much information about the Yetter-Drinfeld modules. We also compute the dimensions of these finite-dimensional Nichols algebras. Our proof uses the Weyl groupoid of a tuple of simple Yetter-Drinfeld modules.

2016-05-30math.GRmath.QAmath.RA

李 $H$-伪代数的非阿贝尔上同调与自同构的可诱导性

Non-abelian cohomology of Lie $H$-pseudoalgebras and inducibility of automorphisms

本文研究李$H$-伪代数的非阿贝尔上同调与自同构可诱导性，用非阿贝尔上同调群分类非阿贝尔扩张等价类，证明该群可实现为微分分次李代数的Deligne广群，并刻画自同构可诱导性的阻碍为Wells映射的像。

2023-12-16math.KTmath.RAmath.RT