The ideal extension and congruence extension properties for compact semigroups. (Q1882672): Difference between revisions
From MaRDI portal
Removed claim: reviewed by (P1447): Item:Q186099 |
Set OpenAlex properties. |
||
(2 intermediate revisions by 2 users not shown) | |||
Property / reviewed by | |||
Property / reviewed by: Václav Koubek / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1007/s00233-002-0030-4 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2073191833 / rank | |||
Normal rank |
Latest revision as of 19:38, 19 March 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | The ideal extension and congruence extension properties for compact semigroups. |
scientific article |
Statements
The ideal extension and congruence extension properties for compact semigroups. (English)
0 references
1 October 2004
0 references
We say that a topological semigroup \(S\) has the extension congruence property if for every closed subsemigroup \(T\) of \(S\) and for every closed congruence \(\rho\) on \(T\) there exists a congruence \(\sigma\) on \(S\) such that the restriction of \(\sigma\) to \(T\) is equal to \(\rho\). We say that \(S\) has the extension ideal property if for every closed subsemigroup \(T\) of \(S\) and for every closed ideal \(I\) of \(T\) there exists an ideal \(J\) of \(S\) with \(I=J\cap T\). The paper contains proofs of two theorems. A compact semigroup \(S\) has the extension ideal property if and only if \(S\) is a semilattice of compact semigroups satisfying certain technical conditions (formulated in the paper). A compact semigroup \(S\) with the extension congruence property has the extension ideal property. An example of a compact semigroup with the extension ideal property and without the extension congruence property is presented.
0 references
compact semigroup
0 references
congruence
0 references
ideal
0 references
extension properties
0 references