Related papers: The commutative inverse semigroup of partial abeli…
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.
Let $\operatorname{G}$ be a finite groupoid and $\alpha=(S_g,\alpha_g)_{g\in \operatorname{G}}$ a unital partial action of group-type of $\operatorname{G}$ on a commutative ring $S=\oplus_{y\in\operatorname{G}_0}S_y$. We shall prove a…
A Galois correspondence theorem is proved for the case of inverse semigroups acting orthogonally on commutative rings as a consequence of the Galois correspondence theorem for groupoid actions. To this end, we use a classic result of…
We develop a Galois theory of commutative rings under actions of finite inverse semigroups. We present equivalences for the definition of Galois extension as well as a Galois correspondence theorem. We also show how the theory behaves in…
For a semifield extension $T /S$, an action of a finite group $G$ on $T$ is Galois if $(1)$ the $G$-invariant subsemifield of $T$ is $S$ and $(2)$ subgroups of $G$ whose invariant semifields coincide are equal. We show that for a finite…
Given a group G, we construct, in a canonical way, an inverse semigroup S(G) associated to G. The actions of S(G) are shown to be in one-to-one correspondence with the partial actions of G, both in the case of actions on a set, and that of…
Let k be a field of positive characteristic p and let G be a finite group. In this paper we study the category TsG of finitely generated commutative k-algebras A on which G acts by algebra automorphisms with surjective trace. If A = k[X],…
We define the notion of a partial action on a generalized Boolean algebra and associate to every such system and commutative unital ring $R$ an $R$-algebra. We prove that every strongly $E^{\ast}$-unitary inverse semigroup has an associated…
Given a unital partial action $\alpha $ of a group $G$ on a commutative ring $R$ we denote by $ {\bf PicS} _{R^{\alpha}}(R) $ the Picard monoid of the isomorphism classes of partially invertible $R$-bimodules, which are central over the…
For any finite abelian group $G$ and commutative unitary ring $R$, by $R[G]$ we denote the group algebra over $R$. Let $T=(g_1,\ldots,g_{\ell})$ be a sequence over the group $G$. We say $T$ is algebraically zero-sum free over R if…
If $\mathfrak{g} \subseteq \mathfrak{h}$ is an extension of Lie algebras over a field $k$ such that ${\rm dim}_k (\mathfrak{g}) = n$ and ${\rm dim}_k (\mathfrak{h}) = n + m$, then the Galois group ${\rm Gal} \, (\mathfrak{h}/\mathfrak{g})$…
We prove a structure result on proper extensions of two-sided restriction semigroups in terms of partial actions, generalizing respective results for monoids and for inverse semigroups and upgrading the latter. We introduce and study…
We present some generalizations of the well-known correspondence, found by R. Exel, between partial actions of a group $G$ on a set $X$ and semigroup homomorphism of $S(G)$ on the semigroup $I(X)$ of partial bijections of $X,$ being $S(G)$…
Given a non-necessarily commutative unital ring $R$ and a unital partial representation $\Theta $ of a group $G$ into the Picard semigroup $\mathbf{PicS} (R)$ of the isomorphism classes of partially invertible $R$-bimodules, we construct an…
Given a partial action $\alpha=(A_g,\alpha_g)_{g\in \mathcal{G}}$ of a connected groupoid $\mathcal{G}$ on a ring $A$ and an object $x$ of $\mathcal{G}$, the isotropy group $\mathcal{G}(x)$ acts partially on the ideal $A_x$ of $A$ by the…
For a given inverse semigroup S , we introduce the notion of algebraic crossed product by using a given partial action of S, and we will prove that under some condition it is associative. Also we will introduce the concept of partial…
This is a further investigation of our approach to group actions in homological algebra in the settings of homology of {\Gamma}-simplicial groups, particularly of {\Gamma}-equivariant homology and cohomology of {\Gamma}-groups. This…
Let $G$ be a group, $F$ a field, and $A$ a finite-dimensional central simple algebra over $F$ on which $G$ acts by $F$-algebra automorphisms. We study the ideals and subalgebras of $A$ which are preserved by the group action. Let $V$ be the…
Let $G$ be a finite $p$-group and $k$ a field of characteristic $p>0$. We show that $G$ has a \emph{non-linear} faithful action on a polynomial ring $U$ of dimension $n=\mathrm{log}_p(|G|)$ such that the invariant ring $U^G$ is also…
In this work, we give a presentation of the prefix expansion Pr(G) of an inverse semigroup G as recently introduced by Lawson, Margolis and Steinberg which is similar to the universal inverse semigroup defined by the second named author in…