Questions tagged [automorphisms]
An automorphism is an isomorphism from an object to itself, and which also preserves the objects structure .
92 questions
5
votes
1
answer
327
views
Realizability of $(\mathbb{R},+)$ as automorphism group of a group
while looking for interesting group theoretic questions on MSE, I stumbled into the following:
there exists a group $G$ such that $\text{Aut}(G)\simeq(\mathbb{R},+)$?
In particular I'm interested at ...
2
votes
1
answer
158
views
Are there known necessary conditions for when a function field automorphism extends to an automorphism of its completion?
Given a function field $K$ over $\Bbb C$ with a discrete valuation $v$, are there known criteria under which an automorphism of $K$ extends to the completion $K_v$?
I’m aware of sufficient conditions ...
- 139
1
vote
0
answers
83
views
Graph automorphisms and total unimodularity
Question:
are there any graph automorphism that imply total unimodularity of the graph's adjacency matrix,
resp. for which automorphisms exist graphs whose adjacency matrix is not totally unimodular
- 14k
4
votes
2
answers
255
views
Is every external downshifting elementary embedding $j$ with $j(x)=j[x]$, an automorphism?
If $M$ is a model of $\sf ZF$, and $j:M \to M$ is an external elementary embedding that moves an $M$-ordinal $\alpha$ downwardly, i.e. $j(\alpha) <^M \alpha$. Suppose, we add that $j(x)=j[x]$ for ...
- 13.2k
3
votes
1
answer
207
views
Can an internal elementary embedding relate with an external automorphism this way?
Let $T$ be the theory $\sf ZF$ + there exists a nontrivial elementary embedding $j:V \to V$. This is formalized by adding a primitive unary function symbol $j$ to the first order language language of $...
- 13.2k
3
votes
0
answers
227
views
Where is the error in this argument against external automorphisms on models of ZFC?
Any theory in first order logic with an infinite model, there is a model that admits nontrivial external automorphisms.
Let $M$ be such a model of $\sf ZFC$, i.e. there exists an external automorphism ...
- 13.2k
9
votes
1
answer
636
views
Automorphisms over models of L?
let $M$ be a model of $\mathrm {ZF + V=L}$ , and let $j$ be an external automorphism on $M$. Is it possible to have an infinite cardinal $\kappa \in L$ such that $j(\kappa)=\kappa^+$? Note that $\...
- 13.2k
2
votes
0
answers
123
views
Is existence of one step downshifting embeddings consistent with Stratified ZF?
We add a total unary function symbol $j$ to the usual language $\{=,\in\}$ of ZF, and add to the axioms of Stratified ZF an axiom asserting that $j$ is an embedding, that is:
Embedding: $\forall x \...
- 13.2k
3
votes
2
answers
282
views
Indiscernible sequences as orbits of automorphisms
I just started reading Simon's A Guide to NIP theories, and in the proof of Lemma 2.7 Simon uses the fact that any monotonic injection $\tau:I\to I$ defines a partial automorphism such that $a_i\...
- 563
2
votes
0
answers
80
views
Strongly difference-closed field
Given a field $F$ and an automorphism $\phi:F\to F$, according to the definition in Kedlaya's book, a strongly difference closed field means that any dualizable (i.e., admits a dual) difference module ...
0
votes
1
answer
148
views
Normalizer of $\varphi$-invariant subgroup is $\varphi$-invariant
In a paper I'm writing, I'm proving the following two results:
Let $N$ be a finitely generated torsion-free nilpotent group and $H$ a subgroup of $N$. Suppose $\varphi$ is an automorphism of $N$ such ...
- 129
3
votes
1
answer
253
views
Inner endomorphisms induce the identity on algebraic K-theory
Let $A$ be an ring and consider the "inner endomorphism" $\varphi(a) := vaw$, where $v, w \in A$ are such that $wv = 1$ and such that $vw$ is an idempotent (more generally, if $A$ is not ...
- 10.2k
5
votes
1
answer
551
views
Groups with no proper non-trivial fully invariant subgroup
Let $G$ be a finite group. A subgroup $H$ of $G$ is said to be characteristic if $\phi(H)\subseteq H$, $\forall \phi \in \operatorname{Aut}(G)$ and fully invariant if $\phi(H)\subseteq H$, $\forall \...
- 79
1
vote
0
answers
131
views
Proposition 6.2.7 from Goss
I'm following David Goss's book Basic structures of function field arithmetic. Let $L$ be an extension field of $L_0$ and $\sigma$ an automorphism of infinite order which fixes $L_0$. Let $L\{\sigma\}$...
- 69
4
votes
1
answer
239
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 ...
- 151
1
vote
0
answers
79
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 "...
- 13.2k
3
votes
0
answers
202
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 ...
- 13.2k
4
votes
1
answer
239
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 \...
- 13.2k
0
votes
0
answers
123
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
900
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 ...
user525442
7
votes
0
answers
216
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, $\...
- 26k
10
votes
1
answer
593
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 ...
- 11.5k
0
votes
0
answers
161
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$-...
- 3,366
4
votes
1
answer
261
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 ...
- 4,837
1
vote
0
answers
107
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 ...
- 11
4
votes
1
answer
342
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 ...
- 7,933
2
votes
0
answers
81
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}^* [\...
- 4,480
0
votes
0
answers
128
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 ...
- 755
5
votes
1
answer
482
views
Automorphisms of vector spaces and the complex numbers without choice
In Zermelo-Fraenkel set theory without the Axiom of Choice (AC), it is consistent to say that there are models in which:
there are vector spaces without a basis;
the field of complex numbers $\mathbb{...
- 4,837
1
vote
0
answers
163
views
Is the commutator of the holomorph of generalized quaternion group abelian?
Let $Q_{2^{n}} = \langle x, y \mathrel\vert x^{2^{n-1}}=y^4 = 1, x^{2^{n-2}}=y^2, y^{-1}xy = x^{-1} \rangle$ be the generalized quaternion group of order $2^{n}$.
Let $\operatorname{Hol}(Q_{2^{n+1}})$ ...
- 19
3
votes
0
answers
114
views
Set of equivalence classes of a Lie algebra under the action of the automorphism group
I recently became interested in the following question: Given a Lie algebra $\mathfrak{g}$, define two elements $x,y\in\mathfrak{g}$ to be equivalent if there exists an automorphism $\phi\in\...
- 797
2
votes
1
answer
172
views
About external automorphism on non-well founded model of Finite ZF?
Let $M$ a non-well founded model of Finite $\sf ZF$, which is $\sf ZF$ with axiom of infinity replaced by the axiom stating that all sets are finite. So there must be a set $\zeta$ that $M$ thinks it'...
- 13.2k
2
votes
0
answers
230
views
Automorphisms of a K3 surface
I was studying the following algebraic surface in $\mathbb{P}^5$ defined by the following three quadrics:
\begin{cases}
x^2 + xy + y^2=w^2\\
x^2 + 3xz + z^2=t^2\\
y^2 + 5yz + z^2=s^2.
\...
- 667
3
votes
0
answers
85
views
Field automorphisms of projective spaces without the axiom of choice
Suppose P is a projective space over the field $k$. If P has finite dimension $n$, we can fix a base. Relative to this base, the full automorphism group of P can be described by the action on the ...
- 4,837
1
vote
1
answer
356
views
$K3$ surfaces in $\mathbb P^1 \times \mathbb P^1 \times \mathbb P^1$
I am considering $K3$ surfaces in $\mathbb P^1 \times \mathbb P^1 \times \mathbb P^1$ with an automorphism that preserves an ample divisor class.
For an automorphism $\rho$ of a $K3$ surface, let ${\...
- 1,943
4
votes
0
answers
100
views
Curves not invariant by non-trivial projective automorphisms
Let $g\ge 0$, $d\ge 1$ be integers. We consider the Moduli space $H_{g,d}$ parametrising smooth irreducible closed curves $C\subset \mathbb{P}^3$ of degree $d$ and genus $g$. Let us denote by $U_{g,d}$...
- 7,946
16
votes
2
answers
1k
views
Groups which maintain all their subgroups’ automorphisms as inner automorphisms
Are there any groups, finite or infinite, other than the first three symmetric groups which maintain all their subgroups’ automorphisms as inner automorphisms (every automorphism of every subgroup ...
- 3,213
-2
votes
1
answer
190
views
Are isomorphic quotients of abelian groups induced by automorphisms? [closed]
If I have an (abelian) group $G$ and an automorphism $\sigma: G \to G$ then for any subgroup $H$ of $G$ there is an induced isomorphism $G/H \cong G/\sigma(H)$ given by the map $gH \mapsto \sigma(g)\...
- 13
0
votes
1
answer
223
views
Moving general fibers of a fibration
Let $X$ be an irreducible projective variety over $\mathbb{C}$ admitting a morphism $\pi:X\rightarrow \mathbb{P}^1$ with connected fibers. We may assume that the general fiber of $\pi$ is smooth.
My ...
user114666
1
vote
1
answer
169
views
Would automorphisms cause nested subset-hood?
Working in $$\sf ZF + GC + j:V \xrightarrow {auto} V + \exists \alpha: V_{j(\alpha)} \subsetneq V_\alpha \land \alpha \text{ is limit }$$
Of course $j$ is external in the sense that it is not used in ...
- 13.2k
1
vote
0
answers
86
views
Is existence of external rank shifting automorphism proves moving of infinitely ranked stratified power stages of this theory?
In this posting, I've define stratified power sets $\mathcal P^\equiv$ operator.
Now we define $V^\equiv_\alpha$ as the iterative stratified power sets of $V_\omega$ as:
$$V^\equiv_0 = V_\omega \\ V^\...
- 13.2k
1
vote
1
answer
189
views
Do you know a finite unitary reversible ring that is not isomorphic to its opposite? And the minimal with that property?
Do you know a finite unitary reversible ring that is not isomorphic to its opposite? And the minimal with that property?
The examples of rings not isomorphic to their opposite that I know of are not ...
1
vote
1
answer
138
views
When is a infinite transcendence-degree rigid fields fixed by a finite extension?
A field is rigid if it has no nontrivial automorphisms. Let $F$ be a rigid field which has infinite transcendence degree over $\mathbb{Q}$, and let $E$ be a finite extension of $F$. Then my question ...
- 4,593
5
votes
1
answer
387
views
Isomorphisms of complete intersections
Let $X, Y\in \mathbb{P}^n$ be two singular Fano complete intersections of the same multidegree $(d_1,…,d_r)$.
If we assume there is an isomorphism $f\colon X\rightarrow Y$ are there any assumptions so ...
4
votes
1
answer
208
views
Certain endomorphisms of $\mathbb{C}(x,y)$
Let $f: (x,y) \mapsto (p,q)$ be a $\mathbb{C}$-algebra endomorphism of $\mathbb{C}(x,y)$
satisfying the following two conditions:
(i) $\operatorname{Jac}(p,q):=p_xq_y-p_yq_x \in \mathbb{C}-\{0\}$.
(...
- 2,883
1
vote
0
answers
129
views
Action on cohomology by automorphisms of ihs manifolds
For all known deformation types of irreducible holomorphic symplectic manifolds (which I call K3, K3$^n$, Kum$^n$, OG$^3$, OG$^5$, the exponent being half the complex dimension), it is known that the ...
3
votes
0
answers
145
views
Isomorphisms of weighted complete intersections
Let $X\subset\mathbb{P}(a_0,\dots,a_n)$ and $Y\subset\mathbb{P}(b_0,\dots,b_n)$ be two weighted complete intersections with mild (say terminal) singularities.
Assume that there is an isomorphism $f:...
user61586
9
votes
1
answer
470
views
Automorphisms and epimorphisms of finite groups
All groups in this question are finite, and epimorphism means surjective group homomorphism.
Suppose I have two epimorphisms $f,g\colon G\to H$. This implies that $\ker(f)$ and $\ker(g)$ have the ...
- 58.1k
3
votes
1
answer
539
views
Automorphisms of singular hypersurfaces
Let $X\subset\mathbb{P}^{n+1}$ be an irreducible and reduced hypersurface of degree $d$.
A theorem by Matsumura and Monski asserts that if $n\geq 2$, $d\geq 3$, $(n,d)\neq (2,4)$ and $X$ is smooth ...
user125056
2
votes
0
answers
151
views
Are there half-transitive convex polytopes?
I only consider convex polytopes, i.e. convex hulls of finitely many points. The (edge-)graph of a polytope $P\subseteq\Bbb R^d$ is the graph consisting of the polytope's vertices, two are adjacent if ...
- 14.5k