All Questions
Tagged with universal-algebra terminology
12 questions
2
votes
0
answers
128
views
What is the name of the largest subobject where a map is equivariant?
Suppose we have two objects $X,Y$ with a $G$-operation and a non-equivariant map between them. In this situation, we can look at the largest subobject $X'$ of $X$ on which $f$ is $G$-equivariant.
Is ...
- 63.9k
4
votes
2
answers
236
views
Presentationally finite group "extensions"
Fix a group $G$ and fix a presentation of $G$ as $\langle X\mid R\rangle$. A presentationally finite extension of $G$ is any group that can be presented as $H=\langle X\cup X'\mid R\cup R'\rangle$, ...
- 63.9k
0
votes
3
answers
139
views
value (element of an algebra), constant, variable, ground and non-ground terms, free algebras : there is a need for clarification
I have been developing an algorithm to compute the congruence defined by a finite set of "generators" and a finite set of equations (in the sense of equational theories). The algorithm ...
- 740
13
votes
3
answers
8k
views
$fgf = f$, $gfg = g$, $fg$ not necessarily identity, what is this called?
A very simple question, I just totally forgot how it was called, and Google is not helping.
There's a pair of functions $f:X\to Y$, $g:Y\to X$.
$fgf = f$, $gfg = g$, but $fg$ and $gf$ don't need to ...
- 63.9k
6
votes
2
answers
457
views
Name of a group-like structure
The late Vladimir Arnold, in
Arnold, V., Arithmetics of binary quadratic forms, symmetry of their continued fractions and geometry of their de Sitter world, Bull. Braz. Math. Soc. (N.S.) 34, No. 1, ...
- 63.9k
2
votes
0
answers
115
views
Name for generalization of property: $f^n(x) \ne x$ for all $n > 0$
I am curious about how to specify with standard terminology that a certain function is non-periodic, in the following sense:
In the simple case of a unary operation $f: X \to X$, this property would ...
- 63.9k
2
votes
1
answer
302
views
Name for this algebraic structure?
I've found myself looking at a structure $\mathbb{M}$ whose important properties are:
$\mathbb{M}$ is a discretely ordered additive monoid.
$\mathbb{M}$ has a least element, and this least element is ...
- 10.1k
4
votes
1
answer
434
views
Regarding a new algebraic structure
By "left semigroup-joined-semigroup" I mean an algebraic structures $(S,\cdot,*)$ such that both $\cdot,*$ are associative, and the following property holds (see this )
$$
x*(y\cdot z)=x*y*z\;\; ; \;...
- 44.4k
6
votes
3
answers
487
views
Terminology: Name for a homomorphism from the free object?
Is there a standard name for taking a homomorphism from the free object over an algebraic structure? Roughly speaking, this should amount to evaluation of any element of the free object under the ...
- 562
1
vote
0
answers
142
views
A generalization of quasi-identities
In universal algebra, a variety is axiomatized by identities $t \approx s$ between terms $t$ and $s$. More general are quasi-varieties that are axiomatized by quasi-identities of the form $$u_1 \...
- 44.4k
3
votes
1
answer
297
views
What to call substructures in universal algebra in which we restrict the signature?
Suppose $\Sigma$ is a signature in the sense of universal algebra and $\Sigma' \subseteq \Sigma$ a sub-signature. Every $\Sigma$-algebra is also a $\Sigma'$-algebra in a forgetful way. Suppose $A$ is ...
- 236k
8
votes
0
answers
619
views
The name for a partial order
In a recent paper of mine, my co-authors found that a partial order that we were using was contained in a paper by Kundgen. In it, he called it "right-shifted partial order". I was curious, and found ...
- 4,636