On partial Galois abelian extensions
In this article we construct the inverse semigroup of equivalence classes of partial Galois abelian extensions of a commutative ring R with same group G, called the Harrison partial inverse semigroup.
Discover
Workspaces
Network
Opportunities
Account
Researcher profile
Andrés Cañas contributes to research discovery and scholarly infrastructure.
Trust snapshot
Actions
Identity and collaboration
Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.
Log in to claimDirect collaboration
Claim this author entity first to unlock direct invitations.
Research graph
Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.
Published work
In this article we construct the inverse semigroup of equivalence classes of partial Galois abelian extensions of a commutative ring R with same group G, called the Harrison partial inverse semigroup.
We introduce a theory of cyclic Kummer extensions of commutative rings for partial Galois extensions of finite groups, extending some of the well-known results of the theory of Kummer extensions of commutative rings developed by A. Z. Borevich. In particular, we provide necessary and sufficient conditions to determine when a partial $n$-kummerian extension is equivalent to either a radical or a $I$-radical extension, for some subgroup $I$ of the cyclic group $C_n$.
This paper is a new contribution to the partial Galois theory of groups. First, given a unital partial action $α_G$ of a finite group $G$ on an algebra $S$ such that $S$ is an $α_G$-partial Galois extension of $S^{α_G}$ and a normal subgroup $H$ of $G$, we prove that $α_G$ induces a unital partial action $α_{G/H}$ of $G/H$ on the subalgebra of invariants $S^{α_H}$ of $S$ such that $S^{α_H}$ is an $α_{G/H}$-partial Galois extension of $S^{α_G}$. Second, assuming that $G$ is abelian, we construct a commutative inverse semigroup $T_{par}(G,R)$, whose elements are equivalence classes of $α_G$-partial abelian extensions of a commutative algebra $R$. We also prove that there exists a group isomorphism between $T_{par}(G,R)/ρ$ and $T(G,A)$, where $ρ$ is a congruence on $T_{par}(G,R)$ and $T(G,A)$ is the classical Harrison group of the $G$-isomorphism classes of the abelian extensions of a commutative ring $A$. It is shown that the study of $T_{par}(G,R)$ reduces to the case where $G$ is cyclic. The set of idempotents of $T_{par}(G,R)$ is also investigated.