Related papers: Free groups and automorphism groups of infinite fi…

We investigate effective properties of uncountable free abelian groups. We show that identifying free abelian groups and constructing bases for such groups is often computationally hard, depending on the cardinality. For example, we show,…

In this note, we show that an uncountable locally free group, and therefore every locally free group, has a free subgroup whose cardinality is the same as that of $G$. This result directly improve the main result in [T. Nishinaka,"Group…

Given a countable abelian group $A$, we construct a row finite directed graph $\Gamma(A)$ such that the $K_{0}$-group of the graph $\textrm{C}^{\ast}$-algebra $\textrm{C}^{\ast}(\Gamma(A))$ is canonically isomorphic to $A$. Moreover, each…

We study automorphism and birational automorphism groups of varieties over fields of positive characteristic from the point of view of Jordan and $p$-Jordan property. In particular, we show that the Cremona group of rank $2$ over a field of…

For infinite cardinals $\kappa,\lambda$ let $C(\kappa,\lambda)$ denote the class of all compact Hausdorff spaces of weight $\kappa$ and size $\lambda$. So $C(\kappa,\lambda)=\emptyset$ if $\kappa>\lambda$ or $\lambda>2^\kappa$. If F is a…

We prove that groups for which every countable subgroup is free ($\aleph_1$-free groups) are n-slender, cm-slender, and lcH-slender. In particular every homomorphism from a completely metrizable group to an $\aleph_1$-free group has an open…

We give a definition of some classes of boolean algebras generalizing free boolean algebras; they satisfy a universal property that certain functions extend to homomorphisms. We give a combinatorial property of generating sets of these…

It is well known there is no finitely generated abelian group which has the $R_\infty$ property. We will show that also many non-finitely generated abelian groups do not have the $R_\infty$ property, but this does not hold for all of them.…

We study the automorphism group of the algebraic closure of a substructure A of a pseudo-finite field F, or more generally, of a bounded PAC field F. This paper answers some of the questions of [1], and in particular that any finite group…

It is well known that every finite subgroup of automorphism group of polynomial algebra of rank 2 over the field of zero characteristic is conjugated with a subgroup of linear automorphisms. We prove that it is not true for an arbitrary…

Let $G$ be a compact connected Lie group and let $P$ be a principal $G$-bundle over $K$. The gauge group of $P$ is the topological group of automorphisms of $P$. For fixed $G$ and $K$, consider all principal $G$-bundles $P$ over $K$. It is…

We prove that for a stable theory $T,$ if $M$ is a saturated model of $T$ of cardinality $\lambda$ where $\lambda > \big|T\big|,$ then $Aut(M)$ has a dense free subgroup on $2^{\lambda}$ generators. This affirms a conjecture of Hodges.

A finite subset $A$ of an abelian group $G$ is said to be zero-free if the identity element of $G$ cannot be written as a sum of distinct elements from $A$. In this article we study the structure of zero-free subsets of $Z/pZ$ the…

Given an uncountable cardinal $\kappa$, we consider the question of whether subsets of the power set of $\kappa$ that are usually constructed with the help of the Axiom of Choice are definable by $\Sigma_1$-formulas that only use the…

Let $R$ be a commutative $k-$algebra over a field $k$. Assume $R$ is a noetherian, infinite, integral domain. The group of $k-$automorphisms of $R$,i.e.$Aut_k(R)$ acts in a natural way on $(R-k)$.In the first part of this article, we study…

Proofs that an arbitrary field has a separable closure are necessarily non-constructive, and separable closures are unique only up to non-canonical isomorphism. This means that the absolute Galois group of a field is defined only up to…

Our theme is that not every interesting question in set theory is independent of $ZFC$. We give an example of a first order theory $T$ with countable $D(T)$ which cannot have a universal model at $\aleph_1$ without CH; we prove in $ZFC$ a…

For a partition $\underline{\lambda} = (\lambda_{1}^{\rho_1}>\lambda_{2}^{\rho_2}>\lambda_{3}^{\rho_3}>\ldots>\lambda_{k}^{\rho_k})$ and its associated finite abelian $p$-group…

We study the influence of the existence of large cardinals on the existence of wellorderings of power sets of infinite cardinals $\kappa$ with the property that the collection of all initial segments of the wellordering is definable by a…

$\aleph_1$-free groups, abelian groups for which every countable subgroup is free, exhibit a number of interesting algebraic and set-theoretic properties. In this paper, we give a complete proof that the property of being $\aleph_1$-free is…