Questions tagged [automorphisms]
An automorphism is an isomorphism from an object to itself, and which also preserves the objects structure .
79
questions
4
votes
1
answer
141
views
Automorphism on the hyperreals
$\DeclareMathOperator\hal{hal}$A field isomorphism $\phi:F\rightarrow G$ is a bijection such that (i) $\phi(x+y)=\phi(x)+\phi(y)$ and (ii) $\phi(xy)=\phi(x)\phi(y)$, where $F$ and $G$ are ordered ...
0
votes
0
answers
68
views
Is Acyclic ZF consistent with downshifting automorphisms?
Recall the criterion of acyclic comprehension. This is shown to be equivalent to stratified comprehension for language $\sf FOL(=, \in)$, given minimal assumptions. [See here, and here].
Let Acyclic ...
1
vote
0
answers
48
views
Can MLU prove symmetric comprehension?
Working in $\sf ML$$\sf U$:
Define: $x \in^f y \iff f(x) \in y$
by $\varphi^f$ we mean the formula obtained by merely replacing each "$\in$" symbol in formula $\varphi$ by the symbol "...
3
votes
0
answers
162
views
Can we have an inverted iterative hierarchy?
Let stratified $\sf Z$ have all axioms of $\sf Z$-$\sf Reg.$ with Infinity stipulated by existence of a Dedekind infinite set, and with Separation restricted to use only stratified formulas, where ...
4
votes
1
answer
172
views
Can we have external automorphisms over intersectional models?
Is the following inconsistent:
By "intersectional" set I mean a set having the intersectional set of every nonempty subset of it, being an element of it.
$\forall S \subset M: S\neq \...
0
votes
0
answers
68
views
Extension of automorphism of shift of finite type
$\DeclareMathOperator\Aut{Aut}$Let $X$ and $Y$ be two subshifts of finite type and $X\subset Y$, and $\phi:X\rightarrow X$ be a homeomorphism commuting with the shift map. Is there any homeomorphism $\...
2
votes
2
answers
474
views
What is a cogroup and what are coactions?
What is a cogroup and what are coactions?
A very nice way to think about a group action on an object $X$ is as a group homomorphism from $G$ to $\operatorname{Aut}(X)$. Is there something similar for ...
6
votes
0
answers
162
views
Combinatorial classes where not almost all objects are asymmetric
Let $\mathcal{C} = \bigcup_{n=0}^{\infty}\mathcal{C}_n$ be a class of finite (labeled) combinatorial objects, where $\mathcal{C}_n$ is the set of objects on $[n] = \{1,2,\dotsc,n\}$. For example, $\...
10
votes
1
answer
550
views
Can automorphism equivalence in a free group be detected in a nilpotent quotient?
If $G$ is a group and $g_1, g_2 \in G$ let us write $g_1 \sim g_2$ if there is an automorphism $\alpha \in \operatorname{Aut}(G)$ such that $g_1^\alpha = g_2$.
Let $F = F_2$ be the free group on two ...
0
votes
0
answers
111
views
Krull dimension of ring of invariants
Let $A$ be a $K$-algebra for some local number field $K$, and denote by $\dim A$ its Krull dimension. Let $G$ be an algebraic group defined over $\text{Spec}K$, and assume $G$ acts on $A$ by $K$-...
4
votes
1
answer
197
views
Subfields of division rings of degree $2$ which are not invariant
Let $A$ be a noncommutative division ring, and let $B$ be a sub division ring (here, $B$ is allowed to be commutative) of degree $2$. Are there easy examples known for which $B$ is not globally fixed ...
1
vote
0
answers
66
views
Twisting a graded algebra by an automorphism (Transitivity)
Definition: Let $A=A=\bigoplus_{j=0}^{\infty} A_j$ be a connected $\mathbb{N}$-graded $k$-graded algebra and let $\phi\in\text{Aut($A$)}$ be a graded automorphism of degree zero. A new graded algebra ...
4
votes
1
answer
277
views
The $1$-dimensional Jacobian Conjecture over $\mathbb{Z}$-torsion free rings
I am looking for further proofs, preferably in the literature, of the following result:
Proposition: Let $R$ be a unital commutative $\mathbb{Z}$-torsion free ring. If $f(x) \in R[x]$ with $f'(x) \in ...
2
votes
0
answers
60
views
Composition of correspondences pulled back to $\mathrm{CH}_0$
Let $X,Y,Z$ be varieties. Given two correspondences $\Gamma_1 \subset X \times Y$ and $\Gamma_2 \subset Y \times Z$ there is a composition,
$$ [\Gamma_1] \circ [\Gamma_2] = \pi_{13 *} (\pi_{12}^* [\...
0
votes
0
answers
89
views
What is $(C, D, \delta, \gamma)$ and $(C, \delta; D, \gamma)$ Desarguesian?
A projective plane is $(C, \gamma)$-Desarguesian if for any 2 triangles $A_1 B_1 C_1, A_2 B_2 C_2$ in perspective from $C$ (which means $C \in A_1 A_2, B_1 B_2, C_1 C_2$) such that $A_1 B_1 \cap A_2 ...